Element constraints
[Using finite domain integers]
Collaboration diagram for Element constraints:
![]() |
Functions | |
void | Gecode::element (Space *home, const IntArgs &n, IntVar x0, IntVar x1, IntConLevel=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::element (Space *home, const IntVarArgs &x, IntVar y0, IntVar y1, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() |
Function Documentation
void Gecode::element | ( | Space * | home, | |
const IntArgs & | n, | |||
IntVar | x0, | |||
IntVar | x1, | |||
IntConLevel | = ICL_DEF | |||
) |
Post propagator for .
Throws an exception of type Int::NumericalOverflow, if the integers in n exceed the limits in Limits::Int.
Definition at line 29 of file element.cc.
void Gecode::element | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVar | y0, | |||
IntVar | y1, | |||
IntConLevel | icl = ICL_DEF | |||
) |
Post propagator for .
Supports both bounds (icl = ICL_BND) and domain-consistency (icl = ICL_DOM, default).
Definition at line 42 of file element.cc.