
Functions | |
| void | Gecode::sequence (Home home, const SetVarArgs &x) |
Post propagator for . More... | |
| void | Gecode::sequence (Home home, const SetVarArgs &y, SetVar x) |
Post propagator for and . More... | |
| void Gecode::sequence | ( | Home | home, |
| const SetVarArgs & | xa | ||
| ) |
Post propagator for
.
Definition at line 47 of file sequence.cpp.
| void Gecode::sequence | ( | Home | home, |
| const SetVarArgs & | xa, | ||
| SetVar | y | ||
| ) |
Post propagator for
and
.
Definition at line 56 of file sequence.cpp.