52 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.
SEBs(void)
Allocate empty array.
A class for building search engines.
Gecode toplevel namespace
Post propagator for SetVar x