70 template<
class InputIterator>
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
SetVarArgs(void)
Allocate empty array.
SetVarArray(void)
Default constructor (array of size 0)
Argument array for variables.
Gecode toplevel namespace