Generated on Wed Nov 1 15:04:59 2006 for Gecode by doxygen 1.4.5

Domain constraints
[Using finite domain integers]

Collaboration diagram for Domain constraints:


Functions

void Gecode::dom (Space *home, IntVar x, int l, int m, IntConLevel=ICL_DEF)
 Propagates $ l\leq x\leq m$.
void Gecode::dom (Space *home, IntVarArgs &x, int l, int m, IntConLevel=ICL_DEF)
 Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.
void Gecode::dom (Space *home, IntVar x, const IntSet &s, IntConLevel=ICL_DEF)
 Propagates $ x\in s $.
void Gecode::dom (Space *home, IntVarArgs &x, const IntSet &s, IntConLevel=ICL_DEF)
 Propagates $ x_i\in s$ for all $0\leq i<|x|$.
void Gecode::dom (Space *home, IntVar x, int l, int m, BoolVar b, IntConLevel=ICL_DEF)
 Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.
void Gecode::dom (Space *home, IntVar x, const IntSet &s, BoolVar b, IntConLevel=ICL_DEF)
 Post propagator for $ (x \in s) \Leftrightarrow b$.

Function Documentation

void Gecode::dom (  Space *  home,
IntVar  x,
int  min,
int  max,
IntConLevel  = ICL_DEF
) 
 

Propagates $ l\leq x\leq m$.

Definition at line 30 of file dom.cc.

void Gecode::dom (  Space *  home,
IntVarArgs &  x,
int  min,
int  max,
IntConLevel  = ICL_DEF
) 
 

Propagates $ l\leq x_i\leq m$ for all $0\leq i<|x|$.

Definition at line 38 of file dom.cc.

void Gecode::dom (  Space *  home,
IntVar  x,
const IntSet &  is,
IntConLevel  = ICL_DEF
) 
 

Propagates $ x\in s $.

Definition at line 48 of file dom.cc.

void Gecode::dom (  Space *  home,
IntVarArgs &  x,
const IntSet &  is,
IntConLevel  = ICL_DEF
) 
 

Propagates $ x_i\in s$ for all $0\leq i<|x|$.

Definition at line 56 of file dom.cc.

void Gecode::dom (  Space *  home,
IntVar  x,
int  min,
int  max,
BoolVar  b,
IntConLevel  = ICL_DEF
) 
 

Post propagator for $ (l\leq x \leq m) \Leftrightarrow b$.

Definition at line 66 of file dom.cc.

void Gecode::dom (  Space *  home,
IntVar  x,
const IntSet &  is,
BoolVar  b,
IntConLevel  = ICL_DEF
) 
 

Post propagator for $ (x \in s) \Leftrightarrow b$.

Definition at line 73 of file dom.cc.