Channel functions
[Direct modelling]

Functions
BoolVar	Gecode::channel (Space *home, IntVar x, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Return Boolean variable equal to .
IntVar	Gecode::channel (Space *home, BoolVar b, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF)
	Return integer variable equal to .

---

Function Documentation

BoolVar Gecode::channel	(	Space *	home,
		IntVar	x,
		IntConLevel	icl = ICL_DEF,
		PropKind	pk = PK_DEF
	)			[inline]

Return Boolean variable equal to .

Definition at line 837 of file minimodel.hh.

IntVar Gecode::channel	(	Space *	home,
		BoolVar	b,
		IntConLevel	icl = ICL_DEF,
		PropKind	pk = PK_DEF
	)			[inline]

Return integer variable equal to .

Definition at line 845 of file minimodel.hh.