Lines Matching refs:cs
31 IncSolver::IncSolver(const unsigned n, Variable* const vs[], const unsigned m, Constraint *cs[])
32 : Solver(n,vs,m,cs) {
33 inactive.assign(cs,cs+m);
38 Solver::Solver(const unsigned n, Variable* const vs[], const unsigned m, Constraint *cs[]) : m(m), cs(cs), n(n), vs(vs) {
58 f<<" "<<*cs[i]<<endl;
73 if(cs[i]->slack() < ZERO_UPPERBOUND) {
76 f<<"Error: Unsatisfied constraint: "<<*cs[i]<<endl;
78 //assert(cs[i]->slack()>-0.0000001);
117 if(cs[i]->slack() < ZERO_UPPERBOUND) {
118 assert(cs[i]->slack()>ZERO_UPPERBOUND);
179 v=cs[i];