Test posting Boolean expressions
More...
List of all members.
Public Member Functions |
| BoolExprVar (const BoolInstr *bis0, const std::string &s) |
| Create and register test.
|
virtual bool | solution (const Assignment &x) const |
| Test whether x is solution
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x) |
| Post constraint on x.
|
| Test (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, Gecode::IntConLevel i=Gecode::ICL_DEF) |
| Constructor.
|
| Test (const std::string &s, int a, int min, int max, bool r=false, Gecode::IntConLevel i=Gecode::ICL_DEF) |
| Constructor.
|
virtual Assignment * | assignment (void) const |
| Create assignment.
|
virtual bool | ignore (const Assignment &) const |
| Whether to ignore assignment for reification.
|
virtual void | post (Gecode::Space &home, Gecode::IntVarArray &x, Gecode::BoolVar b) |
| Post reified constraint.
|
virtual bool | run (void) |
| Perform test.
|
| Base (const std::string &s) |
| Create and register test with name s.
|
const std::string & | name (void) const |
| Return name of test.
|
Base * | next (void) const |
| Return next test.
|
void | next (Base *n) |
| Set next test.
|
virtual | ~Base (void) |
| Destructor.
|
Detailed Description
Test posting Boolean expressions
Definition at line 142 of file mm-bool.cpp.
Constructor & Destructor Documentation
Test::Int::MiniModelBoolean::BoolExprVar::BoolExprVar |
( |
const BoolInstr * |
bis0, |
|
|
const std::string & |
s |
|
) |
| |
|
inline |
Member Function Documentation
virtual bool Test::Int::MiniModelBoolean::BoolExprVar::solution |
( |
const Assignment & |
x | ) |
const |
|
inlinevirtual |
Member Data Documentation
const BoolInstr* Test::Int::MiniModelBoolean::BoolExprVar::bis |
|
protected |
Boolean instruction sequence.
Definition at line 145 of file mm-bool.cpp.
The documentation for this class was generated from the following file: