Generated on Fri Oct 19 11:26:23 2018 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

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

template<class VX , class VY >
bool Gecode::Set::Rel::same ( VX  ,
VY   
) [inline]

Test whether two views are in fact the same.

template<>
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.