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

Element constraints
[Using finite domain integers]


Functions

void Gecode::element (Space *home, const IntArgs &n, IntVar x0, IntVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space *home, const IntArgs &n, IntVar x0, BoolVar x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space *home, const IntArgs &n, IntVar x0, int x1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ n_{x_0}=x_1$.
void Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_{y_0}=y_1$.
void Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, int y1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_{y_0}=y_1$.
void Gecode::element (Space *home, const BoolVarArgs &x, IntVar y0, BoolVar y1, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
 Post propagator for $ x_{y_0}=y_1$.

Function Documentation

void Gecode::element ( Space *  home,
const IntArgs &  n,
IntVar  x0,
IntVar  x1,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for $ n_{x_0}=x_1$.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Definition at line 45 of file element.cc.

void Gecode::element ( Space *  home,
const IntArgs &  n,
IntVar  x0,
BoolVar  x1,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for $ n_{x_0}=x_1$.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Definition at line 57 of file element.cc.

void Gecode::element ( Space *  home,
const IntArgs &  n,
IntVar  x0,
int  x1,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for $ n_{x_0}=x_1$.

Throws an exception of type Int::OutOfLimits, if the integers in n exceed the limits in Int::Limits.

Definition at line 70 of file element.cc.

void Gecode::element ( Space *  home,
const IntVarArgs &  x,
IntVar  y0,
IntVar  y1,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for $ x_{y_0}=y_1$.

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

Definition at line 85 of file element.cc.

void Gecode::element ( Space *  home,
const IntVarArgs &  x,
IntVar  y0,
int  y1,
IntConLevel  icl = ICL_DEF,
PropKind  pk = PK_DEF 
)

Post propagator for $ x_{y_0}=y_1$.

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

Definition at line 100 of file element.cc.

void Gecode::element ( Space *  home,
const BoolVarArgs &  c,
IntVar  x0,
BoolVar  x1,
IntConLevel  ,
PropKind   
)

Post propagator for $ x_{y_0}=y_1$.

Definition at line 117 of file element.cc.