Generated on Tue Apr 18 10:24:12 2017 for Gecode by doxygen 1.6.3

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

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::subsumesME ( ModEvent  me0,
ModEvent  me1,
ModEvent  me2,
ModEvent  me 
) [inline]

Definition at line 60 of file common.hpp.

bool Gecode::Set::Rel::subsumesME ( ModEvent  me0,
ModEvent  me1,
ModEvent  me 
) [inline]

Definition at line 65 of file common.hpp.

bool Gecode::Set::Rel::subsumesME ( ModEvent  me0,
ModEvent  me 
) [inline]

Definition at line 70 of file common.hpp.

bool Gecode::Set::Rel::testSetEventLB ( ModEvent  me0,
ModEvent  me1,
ModEvent  me2 
) [inline]

Definition at line 75 of file common.hpp.

bool Gecode::Set::Rel::testSetEventUB ( ModEvent  me0,
ModEvent  me1,
ModEvent  me2 
) [inline]

Definition at line 79 of file common.hpp.

bool Gecode::Set::Rel::testSetEventAnyB ( ModEvent  me0,
ModEvent  me1,
ModEvent  me2 
) [inline]

Definition at line 83 of file common.hpp.

bool Gecode::Set::Rel::testSetEventCard ( ModEvent  me0,
ModEvent  me1,
ModEvent  me2 
) [inline]

Definition at line 87 of file common.hpp.

bool Gecode::Set::Rel::testSetEventLB ( ModEvent  me0,
ModEvent  me1 
) [inline]

Definition at line 91 of file common.hpp.

bool Gecode::Set::Rel::testSetEventUB ( ModEvent  me0,
ModEvent  me1 
) [inline]

Definition at line 95 of file common.hpp.

bool Gecode::Set::Rel::testSetEventAnyB ( ModEvent  me0,
ModEvent  me1 
) [inline]

Definition at line 99 of file common.hpp.

bool Gecode::Set::Rel::testSetEventCard ( ModEvent  me0,
ModEvent  me1 
) [inline]

Definition at line 103 of file common.hpp.

bool Gecode::Set::Rel::testSetEventLB ( ModEvent  me0  )  [inline]

Definition at line 107 of file common.hpp.

bool Gecode::Set::Rel::testSetEventUB ( ModEvent  me0  )  [inline]

Definition at line 111 of file common.hpp.

bool Gecode::Set::Rel::testSetEventAnyB ( ModEvent  me0  )  [inline]

Definition at line 115 of file common.hpp.

bool Gecode::Set::Rel::testSetEventCard ( ModEvent  me0  )  [inline]

Definition at line 119 of file common.hpp.