Channel functions
[Direct modeling support]
Functions | |
BoolVar | Gecode::channel (Home home, IntVar x, IntPropLevel ipl=IPL_DEF) |
Return Boolean variable equal to . | |
IntVar | Gecode::channel (Home home, BoolVar b, IntPropLevel ipl=IPL_DEF) |
Return integer variable equal to . | |
IntVar | Gecode::channel (Home home, FloatVar f) |
Return integer variable equal to . | |
SetVar | Gecode::channel (Home home, const IntVarArgs &x, IntPropLevel ipl=IPL_DEF) |
Return set variable equal to . |
Function Documentation
BoolVar Gecode::channel | ( | Home | home, | |
IntVar | x, | |||
IntPropLevel | ipl = IPL_DEF | |||
) | [inline] |
Return Boolean variable equal to .
Definition at line 1615 of file minimodel.hh.
IntVar Gecode::channel | ( | Home | home, | |
BoolVar | b, | |||
IntPropLevel | ipl = IPL_DEF | |||
) | [inline] |
Return integer variable equal to .
Definition at line 1623 of file minimodel.hh.
IntVar Gecode::channel | ( | Home | home, | |
FloatVar | f | |||
) | [inline] |
Return integer variable equal to .
Definition at line 1632 of file minimodel.hh.
SetVar Gecode::channel | ( | Home | home, | |
const IntVarArgs & | x, | |||
IntPropLevel | ipl = IPL_DEF | |||
) | [inline] |
Return set variable equal to .
Definition at line 1645 of file minimodel.hh.