52 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.
SEBs(void)
Allocate empty array.
A class for building search engines.