channel.cpp File Reference

#include <gecode/int/channel.hh>

Namespaces
namespace	Gecode
	Gecode toplevel namespace
Functions
void	Gecode::channel (Home home, const IntVarArgs &x, int xoff, const IntVarArgs &y, int yoff, IntConLevel icl=ICL_DEF)
	Post propagator for $x_i - \mathit{xoff} = j\leftrightarrow y_j - \mathit{yoff} = i$ for all $0\leq i<\|x\|$ .
void	Gecode::channel (Home 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\|$ .
void	Gecode::channel (Home home, BoolVar x0, IntVar x1, IntConLevel icl=ICL_DEF)
	Post domain consistent propagator for channeling a Boolean and an integer variable .
void	Gecode::channel (Home home, const BoolVarArgs &x, IntVar y, int o=0, IntConLevel icl=ICL_DEF)
	Post domain consistent propagator for channeling Boolean and integer variables $x_i = 1\leftrightarrow y=i+o$ .

Namespaces