Generated on Wed Jan 4 17:49:24 2006 for Gecode by doxygen 1.4.6

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 38 of file common.icc.

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

Definition at line 43 of file common.icc.

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

Definition at line 48 of file common.icc.

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

Definition at line 53 of file common.icc.

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

Definition at line 57 of file common.icc.

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

Definition at line 61 of file common.icc.

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

Definition at line 65 of file common.icc.

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

Definition at line 69 of file common.icc.

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

Definition at line 73 of file common.icc.

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

Definition at line 77 of file common.icc.

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

Definition at line 81 of file common.icc.

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

Definition at line 85 of file common.icc.

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

Definition at line 89 of file common.icc.

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

Definition at line 93 of file common.icc.

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

Definition at line 97 of file common.icc.