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. More... | |
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 61 of file common.hpp.
Definition at line 67 of file common.hpp.
Definition at line 72 of file common.hpp.
Definition at line 77 of file common.hpp.
Definition at line 82 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.
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.
|
inline |
Definition at line 131 of file common.hpp.