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.
int size(void) const
Return number of elements.
Gecode toplevel namespace