Lines Matching refs:Constraints
27 * A solver for the problem of Variable Placement with Separation Constraints.
50 typedef std::vector<Constraint*> Constraints;
70 typedef Constraints::iterator Cit;
71 typedef Constraints::const_iterator Cit_const;
102 bool getActivePathBetween(Constraints& path, Variable const* u,
106 bool getActiveDirectedPathBetween(Constraints& path, Variable const * u, Variable const * v) const;
125 typedef std::vector<Constraint*> Constraints;
143 Constraints in;
144 Constraints out;
213 Constraints path;
220 * Variable Placement with Separation Constraints problem instance
229 IncSolver(Variables const &vs, Constraints const &cs);
236 Constraints const &cs;
244 Constraints inactive;
245 Constraints violated;
246 Constraint* mostViolated(Constraints &l);