Standard set relation propagators. More...
Classes | |
class | CharacteristicSets |
Representation of the characteristic functions of two sets. More... | |
class | Distinct |
Propagator for negated equality More... | |
class | DistinctDoit |
Propagator for negated equality More... | |
class | Eq |
Propagator for set equality More... | |
class | Lq |
Propagator for set less than or equal More... | |
class | NoSubset |
Propagator for the negated subset constraint More... | |
class | ReEq |
Reified equality propagator More... | |
class | ReLq |
Reified propagator for set less than or equal More... | |
class | ReSubset |
Reified subset propagator More... | |
class | Subset |
Propagator for the subset constraint 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) |
Standard set relation propagators.
|
inline |
Test whether two views are in fact the same.
Definition at line 57 of file common.hpp.
Definition at line 63 of file common.hpp.
Definition at line 68 of file common.hpp.
Definition at line 73 of file common.hpp.
Definition at line 78 of file common.hpp.
Definition at line 83 of file common.hpp.
Definition at line 87 of file common.hpp.
Definition at line 91 of file common.hpp.
Definition at line 95 of file common.hpp.
Definition at line 99 of file common.hpp.
Definition at line 103 of file common.hpp.
Definition at line 107 of file common.hpp.
Definition at line 111 of file common.hpp.
|
inline |
Definition at line 115 of file common.hpp.
|
inline |
Definition at line 119 of file common.hpp.
|
inline |
Definition at line 123 of file common.hpp.
|
inline |
Definition at line 127 of file common.hpp.