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 | |
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.
Definition at line 60 of file common.hpp.
Definition at line 65 of file common.hpp.
Definition at line 70 of file common.hpp.
Definition at line 75 of file common.hpp.
Definition at line 79 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.
|
inline |
Definition at line 107 of file common.hpp.
|
inline |
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.