Generated on Thu Jul 6 07:07:07 2006 for Gecode by doxygen 1.4.7

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

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

Definition at line 53 of file common.icc.

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

Definition at line 58 of file common.icc.

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

Definition at line 63 of file common.icc.

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

Definition at line 68 of file common.icc.

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

Definition at line 72 of file common.icc.

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

Definition at line 76 of file common.icc.

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

Definition at line 80 of file common.icc.

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

Definition at line 84 of file common.icc.

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

Definition at line 88 of file common.icc.

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

Definition at line 92 of file common.icc.

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

Definition at line 96 of file common.icc.

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

Definition at line 100 of file common.icc.

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

Definition at line 104 of file common.icc.

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

Definition at line 108 of file common.icc.

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

Definition at line 112 of file common.icc.