52 template<
class InputIterator>
Argument array for primtive types.
A class for building search engines.
SEBs(void)
Allocate empty array.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
int n
Number of negative literals for node type.
Post propagator for SetVar x
Gecode toplevel namespace