52 for (
int i=
x.size(); i--;)
58 template<
class InputIterator>
95 template<
class InputIterator>
Argument array for non-primitive types.
FloatValArgs(void)
Allocate empty array.
FloatVarArgs(void)
Allocate empty array.
FloatVarArray(void)
Default constructor (array of size 0)
Shared array with arbitrary number of elements.
Argument array for variables.
Gecode toplevel namespace
Post propagator for SetVar x