Generated on Fri Oct 6 16:26:45 2006 for Gecode/J by doxygen 1.4.7

Channel constraints
[Using finite domain integers]


Functions

static synchronized void org::gecode::Gecode.channel (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends IntVar > y, IntConLevel icl)
 Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.
static synchronized void org::gecode::Gecode.channel (JavaSpace home, VarArray<?extends IntVar > x, VarArray<?extends IntVar > y)
 Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.

Function Documentation

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

Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.

  • Supports value (icl = ICL_VAL) and domain propagation (all other values for icl).
  • Throws an exception of type Int.ArgumentSizeMismatch, if x and n are of different size.
  • Throws an exception of type Int.ArgumentSame, if x together with y contains the same variable multiply.

Definition at line 632 of file Gecode.java.

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

Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.

  • Supports value (icl = ICL_VAL) and domain propagation (all other values for icl).
  • Throws an exception of type Int.ArgumentSizeMismatch, if x and n are of different size.
  • Throws an exception of type Int.ArgumentSame, if x together with y contains the same variable multiply.

Definition at line 646 of file Gecode.java.