|
| Construct (void) |
| Create and register test. More...
|
|
virtual bool | solution (const SetAssignment &) const |
| Test whether x is solution More...
|
|
void | con (Space &home, int glbMin, int glbMax, int lubMin, int lubMax, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true) |
|
void | con (Space &home, const IntSet &glb, int lubMin, int lubMax, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true) |
|
void | con (Space &home, int glbMin, int glbMax, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true) |
|
void | con (Space &home, const IntSet &glb, const IntSet &lub, unsigned int minCard=0, unsigned int maxCard=Gecode::Set::Limits::card, bool fail=true) |
|
virtual void | post (Space &home, SetVarArray &, IntVarArray &) |
| Post constraint on x. More...
|
|
| SetTest (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0) |
| Constructor. More...
|
|
virtual void | post (Gecode::Space &, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::Reify) |
| Post reified propagator. More...
|
|
virtual bool | run (void) |
| Perform test. More...
|
|
| Base (const std::string &s) |
| Create and register test with name s. More...
|
|
const std::string & | name (void) const |
| Return name of test. More...
|
|
Base * | next (void) const |
| Return next test. More...
|
|
void | next (Base *n) |
| Set next test. More...
|
|
virtual | ~Base (void) |
| Destructor. More...
|
|
Test for cardinality constraint
Definition at line 48 of file construct.cpp.