- Main Page
- Namespaces
- Classes
- Files
- Related Pages

- Alphabetical List
- Class List
- Class Hierarchy
- Class Members

# Mers::Solvers::SAT::AssignmentTesterInterface Member List

This is the complete list of members for Mers::Solvers::SAT::AssignmentTesterInterface, including all inherited members.

addConstraint(Mers::Models::Base::BaseModelClause const *constraint)=0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
addTemporaryConstraint(Mers::Models::Base::BaseModelClause const *constraint)=0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
AssignmentTesterInterface() | Mers::Solvers::SAT::AssignmentTesterInterface | `[inline]`
clearTemporaryConstraint()=0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
debug | Mers::Solvers::SAT::AssignmentTesterInterface | `[protected]`
getNumberOfSteps() const=0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
printStatistics(bool verbose=false) const =0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
Satisfiable enum value (defined in Mers::Solvers::SAT::AssignmentTesterInterface) | Mers::Solvers::SAT::AssignmentTesterInterface |
setDebug(unsigned int state) | Mers::Solvers::SAT::AssignmentTesterInterface | `[inline, virtual]`
setTemporaryConstraint(Mers::Models::Base::BaseModelClause const *constraint)=0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
SolutionType enum name | Mers::Solvers::SAT::AssignmentTesterInterface |
tryAssignment(Mers::Models::Base::BaseModelAssignmentArray const *candidate, int group, bool satisfy, Mers::Models::Base::BaseModelAssignmentArray &conflict)=0 | Mers::Solvers::SAT::AssignmentTesterInterface | `[pure virtual]`
Unsatisfiable enum value (defined in Mers::Solvers::SAT::AssignmentTesterInterface) | Mers::Solvers::SAT::AssignmentTesterInterface |
Valid enum value (defined in Mers::Solvers::SAT::AssignmentTesterInterface) | Mers::Solvers::SAT::AssignmentTesterInterface |
~AssignmentTesterInterface() | Mers::Solvers::SAT::AssignmentTesterInterface | `[inline, virtual]`