50 for (
int i=0; i<
x.size(); i++)
62 template<
class InputIterator>
78 for (
int i=0; i<
n; i++, start+=inc)
107 template<
class InputIterator>
136 template<
class InputIterator>
Passing Boolean variables.
BoolVarArgs(void)
Allocate empty array.
BoolVarArray(void)
Default constructor (array of size 0)
Boolean integer variables.
Passing integer arguments.
static IntArgs create(int n, int start, int inc=1)
Allocate array with n elements such that for all .
IntArgs(void)
Allocate empty array.
Passing integer variables.
IntVarArgs(void)
Allocate empty array.
IntVarArray(void)
Default constructor (array of size 0)
Shared array with arbitrary number of elements.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar x