Generated on Thu Nov 2 14:49:36 2006 for Gecode/J by doxygen 1.5.0

Element constraints
[Using finite domain integers]

Collaboration diagram for Element constraints:


Functions

static synchronized void org::gecode::Gecode.element (JavaSpace home, int[] n, IntVar x0, IntVar x1, IntConLevel arg4)
 Post propagator for $ n_{x_0}=x_1$.
static synchronized void org::gecode::Gecode.element (JavaSpace home, int[] n, IntVar x0, IntVar x1)
 Post propagator for $ n_{x_0}=x_1$.
static synchronized void org::gecode::Gecode.element (JavaSpace home, VarArray<?extends IntVar > x, IntVar y0, IntVar y1, IntConLevel icl)
 Post propagator for $ x_{y_0}=y_1$.
static synchronized void org::gecode::Gecode.element (JavaSpace home, VarArray<?extends IntVar > x, IntVar y0, IntVar y1)
 Post propagator for $ x_{y_0}=y_1$.

Function Documentation

static synchronized void org.gecode.Gecode.element ( JavaSpace  home,
int[]  n,
IntVar  x0,
IntVar  x1,
IntConLevel  arg4 
) [static, inherited]

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

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

Definition at line 574 of file Gecode.java.

static synchronized void org.gecode.Gecode.element ( JavaSpace  home,
int[]  n,
IntVar  x0,
IntVar  x1 
) [static, inherited]

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

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

Definition at line 584 of file Gecode.java.

static synchronized void org.gecode.Gecode.element ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntVar  y0,
IntVar  y1,
IntConLevel  icl 
) [static, inherited]

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

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

Definition at line 593 of file Gecode.java.

static synchronized void org.gecode.Gecode.element ( JavaSpace  home,
VarArray<?extends IntVar >  x,
IntVar  y0,
IntVar  y1 
) [static, inherited]

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

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

Definition at line 602 of file Gecode.java.