Generated on Mon Aug 25 11:35:46 2008 for Gecode by doxygen 1.5.6

Domain constraints
[Using finite integer sets with complete domain representation]


Functions

void Gecode::dom (Space *home, CpltSetVar x, SetRelType r, int i)
 Propagates $ x \sim_r \{i\}$.
void Gecode::dom (Space *home, CpltSetVar x, SetRelType r, int i, int j)
 Propagates $ x \sim_r \{i,\dots,j\}$.
void Gecode::dom (Space *home, CpltSetVar x, SetRelType r, const IntSet &s)
 Propagates $ x \sim_r s$.
void Gecode::cardinality (Space *home, CpltSetVar x, unsigned int l, unsigned int u)
 Post propagator for $ l \leq |x| \leq u $.
void Gecode::cardinality (Space *home, CpltSetVar x, unsigned int c)
 Post propagator for $ l |x| = c $.

Function Documentation

GECODE_CPLTSET_EXPORT void Gecode::dom ( Space *  home,
CpltSetVar  x,
SetRelType  r,
int  i 
)

Propagates $ x \sim_r \{i\}$.

Definition at line 133 of file dom.cc.

GECODE_CPLTSET_EXPORT void Gecode::dom ( Space *  home,
CpltSetVar  x,
SetRelType  r,
int  i,
int  j 
)

Propagates $ x \sim_r \{i,\dots,j\}$.

Definition at line 139 of file dom.cc.

GECODE_CPLTSET_EXPORT void Gecode::dom ( Space *  home,
CpltSetVar  x,
SetRelType  r,
const IntSet &  s 
)

Propagates $ x \sim_r s$.

Definition at line 43 of file dom.cc.

GECODE_CPLTSET_EXPORT void Gecode::cardinality ( Space *  home,
CpltSetVar  x,
unsigned int  l,
unsigned int  u 
)

Post propagator for $ l \leq |x| \leq u $.

Definition at line 46 of file cardinality.cc.

GECODE_CPLTSET_EXPORT void Gecode::cardinality ( Space *  home,
CpltSetVar  x,
unsigned int  c 
)

Post propagator for $ l |x| = c $.

Definition at line 63 of file cardinality.cc.