Test for binary set relation constraint More...
Public Member Functions | |
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. |
Test::Set::Rel::RelBin::RelBin | ( | Gecode::SetRelType | srt0, |
bool | shared0 | ||
) | [inline] |
int Test::Set::Rel::RelBin::minSymDiff | ( | const SetAssignment & | x | ) | const [inline] |
bool Test::Set::Rel::RelBin::in | ( | int | i, |
CountableSetRanges & | c, | ||
bool | eq = false |
||
) | const [inline] |
bool Test::Set::Rel::RelBin::solution | ( | const SetAssignment & | x | ) | const [inline, virtual] |
void Test::Set::Rel::RelBin::post | ( | Space & | home, |
SetVarArray & | x, | ||
IntVarArray & | |||
) | [inline, virtual] |
void Test::Set::Rel::RelBin::post | ( | Space & | home, |
SetVarArray & | x, | ||
IntVarArray & | , | ||
Reify | r | ||
) | [inline, virtual] |
Post reified constraint on x for b.
Reimplemented from Test::Set::SetTest.