Generated on Wed Nov 1 15:05:00 2006 for Gecode by doxygen 1.4.5

Equality constraints
[Using finite domain integers]

Collaboration diagram for Equality constraints:


Functions

void Gecode::eq (Space *home, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF)
 Post propagator for $ x_0 = x_1$.
void Gecode::eq (Space *home, IntVar x, int n, IntConLevel=ICL_DEF)
 Propagates $ x = n$.
void Gecode::eq (Space *home, IntVar x0, IntVar x1, BoolVar b, IntConLevel icl=ICL_DEF)
 Post propagator for $ (x_0 = x_1)\Leftrightarrow b$.
void Gecode::eq (Space *home, IntVar x, int n, BoolVar b, IntConLevel icl=ICL_DEF)
 Post propagator for $ (x=n)\Leftrightarrow b$.
void Gecode::eq (Space *home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
 Post propagator for $ x_0 = x_1=\ldots =x_{|x|-1}$.

Function Documentation

void Gecode::eq (  Space *  home,
IntVar  x0,
IntVar  x1,
IntConLevel  icl = ICL_DEF
) 
 

Post propagator for $ x_0 = x_1$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 172 of file rel.cc.

void Gecode::eq (  Space *  home,
IntVar  x0,
int  n,
IntConLevel  = ICL_DEF
) 
 

Propagates $ x = n$.

Definition at line 182 of file rel.cc.

void Gecode::eq (  Space *  home,
IntVar  x0,
IntVar  x1,
BoolVar  b,
IntConLevel  icl = ICL_DEF
) 
 

Post propagator for $ (x_0 = x_1)\Leftrightarrow b$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 189 of file rel.cc.

void Gecode::eq (  Space *  home,
IntVar  x,
int  n,
BoolVar  b,
IntConLevel  icl = ICL_DEF
) 
 

Post propagator for $ (x=n)\Leftrightarrow b$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 199 of file rel.cc.

void Gecode::eq (  Space *  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF
) 
 

Post propagator for $ x_0 = x_1=\ldots =x_{|x|-1}$.

Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).

Definition at line 209 of file rel.cc.