#include <solver_types.h>
Public Member Functions | |
EqConstraint (Constraint *c) | |
bool | operator() (const GenericWatch &w) const |
Public Attributes | |
Constraint * | con |
Definition at line 562 of file solver_types.h.
Clasp::GenericWatch::EqConstraint::EqConstraint | ( | Constraint * | c | ) | [inline, explicit] |
Definition at line 563 of file solver_types.h.
bool Clasp::GenericWatch::EqConstraint::operator() | ( | const GenericWatch & | w | ) | const [inline] |
Definition at line 564 of file solver_types.h.
Definition at line 565 of file solver_types.h.