Inheritance diagram for Clasp::ModelEnumerator::ModelFinder:
Protected Types | |
| typedef Solver::ConstraintDB | ConstraintDB |
Protected Member Functions | |
| void | destroy (Solver *s, bool detach) |
| Default is to call delete this. | |
| ModelFinder (Solver &s, MinimizeConstraint *min, VarVec *p) | |
| bool | simplify (Solver &s, bool) |
Protected Attributes | |
| ConstraintDB | nogoods |
| VarVec * | project |
Detailed Description
Definition at line 28 of file model_enumerators.cpp.
Member Typedef Documentation
typedef Solver::ConstraintDB Clasp::ModelEnumerator::ModelFinder::ConstraintDB [protected] |
Definition at line 46 of file model_enumerators.cpp.
Constructor & Destructor Documentation
| Clasp::ModelEnumerator::ModelFinder::ModelFinder | ( | Solver & | s, |
| MinimizeConstraint * | min, | ||
| VarVec * | p | ||
| ) | [inline, protected] |
Definition at line 30 of file model_enumerators.cpp.
Member Function Documentation
| void Clasp::ModelEnumerator::ModelFinder::destroy | ( | Solver * | s, |
| bool | detach | ||
| ) | [inline, protected, virtual] |
Default is to call delete this.
Reimplemented from Clasp::EnumerationConstraint.
Definition at line 31 of file model_enumerators.cpp.
| bool Clasp::ModelEnumerator::ModelFinder::simplify | ( | Solver & | s, |
| bool | reinit | ||
| ) | [inline, protected, virtual] |
Simplify this constraint.
- Precondition:
- s.decisionLevel() == 0 and the current assignment is fully propagated.
- Returns:
- true if this constraint can be ignored (e.g. is satisfied), false otherwise.
- Postcondition:
- If simplify returned true, this constraint has previously removed all its watches from the solver.
- Note:
- The default implementation is a noop and returns false.
Reimplemented from Clasp::EnumerationConstraint.
Definition at line 45 of file model_enumerators.cpp.
Member Data Documentation
Definition at line 48 of file model_enumerators.cpp.
VarVec* Clasp::ModelEnumerator::ModelFinder::project [protected] |
Definition at line 47 of file model_enumerators.cpp.
The documentation for this class was generated from the following file: