Sequence constraints
[Using finite integer sets]
Collaboration diagram for Sequence constraints:
Functions | |
void | Gecode::sequence (Space *home, const SetVarArgs &x) |
Post propagator for . | |
void | Gecode::sequentialUnion (Space *home, const SetVarArgs &y, SetVar x) |
Post propagator for and . |
Function Documentation
|
Post propagator for .
Definition at line 31 of file sequence.cc. |
|
Post propagator for and .
Definition at line 40 of file sequence.cc. |