Functions | |
void | Gecode::sequence (Home home, const SetVarArgs &x) |
Post propagator for ![]() | |
void | Gecode::sequence (Home home, const SetVarArgs &y, SetVar x) |
Post propagator for ![]() ![]() | |
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.