#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.