Functions | |
void | Gecode::sequence (Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() | |
void | Gecode::sequence (Home home, const BoolVarArgs &x, const IntSet &s, int q, int l, int u, IntConLevel icl=ICL_DEF) |
Post propagator for ![]() |
void Gecode::sequence | ( | Home | home, |
const IntVarArgs & | x, | ||
const IntSet & | s, | ||
int | q, | ||
int | l, | ||
int | u, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
Posts a domain consistent propagator for the constraint
where the among constraint is defined as
.
Throws the following exceptions: - Of type Int::TooFewArguments, if \form#247. - Of type Int::ArgumentSame, if \a x contains the same unassigned variable multiply. - Of type Int::OutOfRange, if \form#248.
Definition at line 51 of file sequence.cpp.
void Gecode::sequence | ( | Home | home, |
const BoolVarArgs & | x, | ||
const IntSet & | s, | ||
int | q, | ||
int | l, | ||
int | u, | ||
IntConLevel | icl = ICL_DEF |
||
) |
Post propagator for .
Posts a domain consistent propagator for the constraint
where the among constraint is defined as
.
Throws the following exceptions: - Of type Int::TooFewArguments, if \form#247. - Of type Int::ArgumentSame, if \a x contains the same unassigned variable multiply. - Of type Int::OutOfRange, if \form#248.
Definition at line 117 of file sequence.cpp.