Channel constraints
[Using finite domain integers]
Collaboration diagram for Channel constraints:
![]() |
Functions | |
void | Gecode::channel (Space *home, const IntVarArgs &x, const IntVarArgs &y, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() ![]() |
Function Documentation
void Gecode::channel | ( | Space * | home, | |
const IntVarArgs & | x, | |||
const IntVarArgs & | y, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for for all
.
- Supports value (icl = ICL_VAL) and domain propagation (all other values for icl).
- Throws an exception of type Int::ArgumentSizeMismatch, if x and n are of different size.
- Throws an exception of type Int::ArgumentSame, if x together with y contains the same variable multiply.
Definition at line 29 of file channel.cc.