52 for (
int i=
x.size();
i--;)
58 template<
class InputIterator>
95 template<
class InputIterator>
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
FloatVal * a
Element array.
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.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode toplevel namespace
Post propagator for SetVar x
Gecode::IntArgs i({1, 2, 3, 4})