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