|
| RelBin (Gecode::SetRelType srt0, bool shared0) |
| Create and register test.
|
|
int | minSymDiff (const SetAssignment &x) const |
|
bool | in (int i, CountableSetRanges &c, bool eq=false) const |
|
bool | solution (const SetAssignment &x) const |
| Test whether x is solution
|
|
void | post (Space &home, SetVarArray &x, IntVarArray &) |
| Post constraint on x.
|
|
void | post (Space &home, SetVarArray &x, IntVarArray &, Reify r) |
| Post reified constraint on x for b.
|
|
| SetTest (const std::string &s, int a, const Gecode::IntSet &d, bool r=false, int w=0) |
| Constructor.
|
|
virtual bool | solution (const SetAssignment &) const =0 |
| Check for solution.
|
|
virtual void | post (Gecode::Space &home, Gecode::SetVarArray &x, Gecode::IntVarArray &y)=0 |
| Post propagator.
|
|
virtual void | post (Gecode::Space &, Gecode::SetVarArray &, Gecode::IntVarArray &, Gecode::Reify) |
| Post reified propagator.
|
|
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 bool | run (void)=0 |
| Run test.
|
|
virtual | ~Base (void) |
| Destructor.
|
|
Test for binary set relation constraint
Definition at line 55 of file rel.cpp.