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 44 of file common.icc.
Definition at line 49 of file common.icc.
Definition at line 54 of file common.icc.
Definition at line 59 of file common.icc.
Definition at line 63 of file common.icc.
Definition at line 67 of file common.icc.
Definition at line 71 of file common.icc.
Definition at line 75 of file common.icc.
Definition at line 79 of file common.icc.
Definition at line 83 of file common.icc.
Definition at line 87 of file common.icc.
bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 91 of file common.icc.
bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 95 of file common.icc.
bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 99 of file common.icc.
bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0 | ) | [inline] |
Definition at line 103 of file common.icc.