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.
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