Channel functions
[Direct modeling support]
Functions | |
| BoolVar | Gecode::channel (Space &home, IntVar x, IntConLevel icl=ICL_DEF) |
Return Boolean variable equal to . | |
| IntVar | Gecode::channel (Space &home, BoolVar b, IntConLevel icl=ICL_DEF) |
Return integer variable equal to . | |
Function Documentation
| BoolVar Gecode::channel | ( | Space & | home, | |
| IntVar | x, | |||
| IntConLevel | icl = ICL_DEF | |||
| ) | [inline] |
| IntVar Gecode::channel | ( | Space & | home, | |
| BoolVar | b, | |||
| IntConLevel | icl = ICL_DEF | |||
| ) | [inline] |

.
.