Gecode::Set::Rel Namespace Reference
Standard set relation propagators. More...
Classes | |
| class | CharacteristicSets |
| Representation of the characteristic functions of two sets. More... | |
| 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 | Lq |
| Propagator for set less than or equal More... | |
| class | ReLq |
| Reified propagator for set less than or equal More... | |
| class | Distinct |
| Propagator for negated equality More... | |
| class | DistinctDoit |
| Propagator for negated equality More... | |
Functions | |
| template<class VX , class VY > | |
| bool | same (VX c, VY y) |
| Test whether two views are in fact the same. | |
| template<> | |
| bool | same (SetView x, SetView y) |
| 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) |
Detailed Description
Standard set relation propagators.
Function Documentation
| bool Gecode::Set::Rel::same | ( | VX | , | |
| VY | ||||
| ) | [inline] |
Test whether two views are in fact the same.
| bool Gecode::Set::Rel::same | ( | SetView | x, | |
| SetView | y | |||
| ) | [inline] |
Definition at line 63 of file common.hpp.
| bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
| ModEvent | me1, | |||
| ModEvent | me2, | |||
| ModEvent | me | |||
| ) | [inline] |
Definition at line 68 of file common.hpp.
| bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
| ModEvent | me1, | |||
| ModEvent | me | |||
| ) | [inline] |
Definition at line 73 of file common.hpp.
| bool Gecode::Set::Rel::subsumesME | ( | ModEvent | me0, | |
| ModEvent | me | |||
| ) | [inline] |
Definition at line 78 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0, | |
| ModEvent | me1, | |||
| ModEvent | me2 | |||
| ) | [inline] |
Definition at line 83 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0, | |
| ModEvent | me1, | |||
| ModEvent | me2 | |||
| ) | [inline] |
Definition at line 87 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0, | |
| ModEvent | me1, | |||
| ModEvent | me2 | |||
| ) | [inline] |
Definition at line 91 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0, | |
| ModEvent | me1, | |||
| ModEvent | me2 | |||
| ) | [inline] |
Definition at line 95 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0, | |
| ModEvent | me1 | |||
| ) | [inline] |
Definition at line 99 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0, | |
| ModEvent | me1 | |||
| ) | [inline] |
Definition at line 103 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0, | |
| ModEvent | me1 | |||
| ) | [inline] |
Definition at line 107 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0, | |
| ModEvent | me1 | |||
| ) | [inline] |
Definition at line 111 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventLB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 115 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventUB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 119 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventAnyB | ( | ModEvent | me0 | ) | [inline] |
Definition at line 123 of file common.hpp.
| bool Gecode::Set::Rel::testSetEventCard | ( | ModEvent | me0 | ) | [inline] |
Definition at line 127 of file common.hpp.