Lines Matching refs:order
420 // Because the constraint list is not order dependent we just
465 list<Variable*> *order = new list<Variable*>;
471 dfsVisit(vs[i],order);
474 return order;
476 // Recursive depth first search giving total order by pushing nodes in the DAG
478 void Blocks::dfsVisit(Variable *v, list<Variable*> *order) {
484 dfsVisit(c->right, order);
489 f<<" order="<<*v<<endl;
491 order->push_front(v);
914 // in order to avoid creating any new violations).