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

Channel constraints
[Using finite domain integers]

Collaboration diagram for Channel constraints:


Functions

void Gecode::channel (Space *home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF)
 Post propagator for $ x_i = j\leftrightarrow y_j=i$ for all $0\leq i<|x|$.

Function Documentation

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

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 29 of file channel.cc.