Gecode::Set::Rel Namespace Reference
Detailed Description
Standard set relation propagators.
Classes | |
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 | Distinct |
Propagator for negated equality More... | |
class | DistinctDoit |
Propagator for negated equality 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) |
Function Documentation
bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
ModEvent | me1, | |||
ModEvent | me2, | |||
ModEvent | me | |||
) | [inline] |
Definition at line 53 of file common.icc.
Definition at line 58 of file common.icc.
Definition at line 63 of file common.icc.
Definition at line 68 of file common.icc.
Definition at line 72 of file common.icc.
Definition at line 76 of file common.icc.
Definition at line 80 of file common.icc.
Definition at line 84 of file common.icc.
Definition at line 88 of file common.icc.
Definition at line 92 of file common.icc.
Definition at line 96 of file common.icc.
bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 100 of file common.icc.
bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 104 of file common.icc.
bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 108 of file common.icc.
bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0 | ) | [inline] |
Definition at line 112 of file common.icc.