Gecode::Set::Rel Namespace Reference
Standard set relation propagators. More...
Classes | |
class | CharacteristicSets |
Representation of the characteristic functions of two sets. More... | |
class | Subset |
Propagator for the subset constraint More... | |
class | NoSubset |
Propagator for the negated subset constraint More... | |
class | ReSubset |
Reified subset propagator More... | |
class | Eq |
Propagator for set equality More... | |
class | ReEq |
Reified equality propagator More... | |
class | Lq |
Propagator for set less than or equal More... | |
class | ReLq |
Reified propagator for set less than or equal More... | |
class | Distinct |
Propagator for negated equality More... | |
class | DistinctDoit |
Propagator for negated equality More... | |
Functions | |
template<class VX , class VY > | |
bool | same (VX c, VY y) |
Test whether two views are in fact the same. | |
template<> | |
bool | same (SetView x, SetView y) |
bool | subsumesME (ModEvent me0, ModEvent me1, ModEvent me2, ModEvent me) |
bool | subsumesME (ModEvent me0, ModEvent me1, ModEvent me) |
bool | subsumesME (ModEvent me0, ModEvent me) |
bool | testSetEventLB (ModEvent me0, ModEvent me1, ModEvent me2) |
bool | testSetEventUB (ModEvent me0, ModEvent me1, ModEvent me2) |
bool | testSetEventAnyB (ModEvent me0, ModEvent me1, ModEvent me2) |
bool | testSetEventCard (ModEvent me0, ModEvent me1, ModEvent me2) |
bool | testSetEventLB (ModEvent me0, ModEvent me1) |
bool | testSetEventUB (ModEvent me0, ModEvent me1) |
bool | testSetEventAnyB (ModEvent me0, ModEvent me1) |
bool | testSetEventCard (ModEvent me0, ModEvent me1) |
bool | testSetEventLB (ModEvent me0) |
bool | testSetEventUB (ModEvent me0) |
bool | testSetEventAnyB (ModEvent me0) |
bool | testSetEventCard (ModEvent me0) |
Detailed Description
Standard set relation propagators.
Function Documentation
bool Gecode::Set::Rel::same | ( | VX | , | |
VY | ||||
) | [inline] |
Test whether two views are in fact the same.
bool Gecode::Set::Rel::same | ( | SetView | x, | |
SetView | y | |||
) | [inline] |
Definition at line 63 of file common.hpp.
bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me2, | |||
ModEvent | me | |||
) | [inline] |
Definition at line 68 of file common.hpp.
bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me | |||
) | [inline] |
Definition at line 73 of file common.hpp.
bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
ModEvent | me | |||
) | [inline] |
Definition at line 78 of file common.hpp.
bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me2 | |||
) | [inline] |
Definition at line 83 of file common.hpp.
bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me2 | |||
) | [inline] |
Definition at line 87 of file common.hpp.
bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me2 | |||
) | [inline] |
Definition at line 91 of file common.hpp.
bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me2 | |||
) | [inline] |
Definition at line 95 of file common.hpp.
bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0, | |
ModEvent | me1 | |||
) | [inline] |
Definition at line 99 of file common.hpp.
bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0, | |
ModEvent | me1 | |||
) | [inline] |
Definition at line 103 of file common.hpp.
bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0, | |
ModEvent | me1 | |||
) | [inline] |
Definition at line 107 of file common.hpp.
bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0, | |
ModEvent | me1 | |||
) | [inline] |
Definition at line 111 of file common.hpp.
bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 115 of file common.hpp.
bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 119 of file common.hpp.
bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 123 of file common.hpp.
bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0 | ) | [inline] |
Definition at line 127 of file common.hpp.