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

Distinct constraints
[Using finite domain integers]

Collaboration diagram for Distinct constraints:


Functions

static synchronized void org::gecode::Gecode.distinct (JavaSpace home, VarArray<?extends IntVar > x, IntConLevel icl)
 Post propagator for $ x_i\neq x_j$ for all $0\leq i\neq j<|x|$.
static synchronized void org::gecode::Gecode.distinct (JavaSpace home, VarArray<?extends IntVar > x)
 Post propagator for $ x_i\neq x_j$ for all $0\leq i\neq j<|x|$.
static synchronized void org::gecode::Gecode.distinct (JavaSpace home, int[] n, VarArray<?extends IntVar > x, IntConLevel icl)
 Post propagator for $ x_i+n_i\neq x_j+n_j$ for all $0\leq i\neq j<|x|$.
static synchronized void org::gecode::Gecode.distinct (JavaSpace home, int[] n, VarArray<?extends IntVar > x)
 Post propagator for $ x_i+n_i\neq x_j+n_j$ for all $0\leq i\neq j<|x|$.

Function Documentation

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

Post propagator for $ x_i\neq x_j$ for all $0\leq i\neq j<|x|$.

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

Throws an exception of type Int.ArgumentSame, if x contains the same variable multiply.

Definition at line 623 of file Gecode.java.

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

Post propagator for $ x_i\neq x_j$ for all $0\leq i\neq j<|x|$.

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

Throws an exception of type Int.ArgumentSame, if x contains the same variable multiply.

Definition at line 636 of file Gecode.java.

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

Post propagator for $ x_i+n_i\neq x_j+n_j$ for all $0\leq i\neq j<|x|$.

  • Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain-consistency (icl = ICL_DOM).
  • Throws an exception of type Int.NumericalOverflow, if the integers in n exceed the limits in Limits.Int.
  • Throws an exception of type Int.ArgumentSizeMismatch, if x and n are of different size.
  • Throws an exception of type Int.ArgumentSame, if x contains the same variable multiply.

Definition at line 651 of file Gecode.java.

static synchronized void org.gecode.Gecode.distinct ( JavaSpace  home,
int[]  n,
VarArray<?extends IntVar >  x 
) [static, inherited]

Post propagator for $ x_i+n_i\neq x_j+n_j$ for all $0\leq i\neq j<|x|$.

  • Supports value (icl = ICL_VAL, default), bounds (icl = ICL_BND), and domain-consistency (icl = ICL_DOM).
  • Throws an exception of type Int.NumericalOverflow, if the integers in n exceed the limits in Limits.Int.
  • Throws an exception of type Int.ArgumentSizeMismatch, if x and n are of different size.
  • Throws an exception of type Int.ArgumentSame, if x contains the same variable multiply.

Definition at line 666 of file Gecode.java.