52 for (
int i=
x.size();
i--;)
58 template<
class InputIterator>
95 template<
class InputIterator>
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
struct Gecode::@602::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.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode::IntArgs i({1, 2, 3, 4})