Lines Matching defs:vs
55 IncSolver::IncSolver(vector<Variable*> const &vs, vector<Constraint *> const &cs)
58 n(vs.size()),
59 vs(vs)
62 vs[i]->in.clear();
63 vs[i]->out.clear();
70 bs=new Blocks(vs);
73 //COLA_ASSERT(!constraintGraphIsCyclic(n,vs));
104 for(Variables::const_iterator i=vs.begin();i!=vs.end();++i) {
116 bool IncSolver::constraintGraphIsCyclic(const unsigned n, Variable* const vs[]) {
122 varmap[vs[i]]=u;
125 for(vector<Constraint*>::iterator c=vs[i]->in.begin();c!=vs[i]->in.end();++c) {
127 varmap[vs[i]]->in.insert(varmap[l]);
130 for(vector<Constraint*>::iterator c=vs[i]->out.begin();c!=vs[i]->out.end();++c) {
132 varmap[vs[i]]->out.insert(varmap[r]);
445 Blocks::Blocks(vector<Variable*> const &vs) : vs(vs),nvs(vs.size()) {
448 insert(new Block(vs[i]));
467 vs[i]->visited=false;
470 if(vs[i]->in.size()==0) {
471 dfsVisit(vs[i],order);