Home
last modified time | relevance | path

Searched defs:EqConstraint (Results 1 – 3 of 3) sorted by relevance

/dports/math/clasp/clasp-3.3.5/clasp/
H A Dsolver_types.h516 struct EqConstraint { struct
517 explicit EqConstraint(Constraint* c) : con(c) {} in EqConstraint() function
518 bool operator()(const GenericWatch& w) const { return con == w.con; } in operator()
519 Constraint* con;
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dsolver_types.h516 struct EqConstraint { struct
517 explicit EqConstraint(Constraint* c) : con(c) {} in EqConstraint() function
518 bool operator()(const GenericWatch& w) const { return con == w.con; } in operator()
519 Constraint* con;
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dsolver_types.h516 struct EqConstraint { struct
517 explicit EqConstraint(Constraint* c) : con(c) {} in EqConstraint() argument
518 bool operator()(const GenericWatch& w) const { return con == w.con; } in operator()
519 Constraint* con;