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 38 of file common.icc. |
|
Definition at line 43 of file common.icc. |
|
Definition at line 48 of file common.icc. |
|
Definition at line 53 of file common.icc. |
|
Definition at line 57 of file common.icc. |
|
Definition at line 61 of file common.icc. |
|
Definition at line 65 of file common.icc. |
|
Definition at line 69 of file common.icc. |
|
Definition at line 73 of file common.icc. |
|
Definition at line 77 of file common.icc. |
|
Definition at line 81 of file common.icc. |
|
Definition at line 85 of file common.icc. |
|
Definition at line 89 of file common.icc. |
|
Definition at line 93 of file common.icc. |
|
Definition at line 97 of file common.icc. |