Generated on Mon Aug 27 2012 17:15:54 for Gecode by doxygen 1.8.1.2
Functions
Channel functions
Direct modeling support

Functions

BoolVar Gecode::channel (Home home, IntVar x, IntConLevel icl=ICL_DEF)
 Return Boolean variable equal to $x$.
IntVar Gecode::channel (Home home, BoolVar b, IntConLevel icl=ICL_DEF)
 Return integer variable equal to $b$.
SetVar Gecode::channel (Home home, const IntVarArgs &x, IntConLevel icl=ICL_DEF)
 Return set variable equal to $\{x_0,\dots,x_{n-1}\}$.

Detailed Description

Function Documentation

BoolVar Gecode::channel ( Home  home,
IntVar  x,
IntConLevel  icl = ICL_DEF 
)
inline

Return Boolean variable equal to $x$.

Definition at line 1305 of file minimodel.hh.

IntVar Gecode::channel ( Home  home,
BoolVar  b,
IntConLevel  icl = ICL_DEF 
)
inline

Return integer variable equal to $b$.

Definition at line 1313 of file minimodel.hh.

SetVar Gecode::channel ( Home  home,
const IntVarArgs &  x,
IntConLevel  icl = ICL_DEF 
)
inline

Return set variable equal to $\{x_0,\dots,x_{n-1}\}$.

Definition at line 1322 of file minimodel.hh.