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
|
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. |
|
Definition at line 91 of file common.icc. |
|
Definition at line 95 of file common.icc. |
|
Definition at line 99 of file common.icc. |
|
Definition at line 103 of file common.icc. |