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:
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:
Definition at line 117 of file sequence.cpp.