52 : Search::EngineBase<T>(Search::
bab(s,o)) {}
59 while (T*
n = b.
next()) {
#define GECODE_SEARCH_EXPORT
Engine * bab(Space *s, const Options &o)
Create branch and bound engine.
virtual T * next(void)
Return next solution (NULL, if none exists or search has been stopped)
int n
Number of negative literals for node type.
Depth-first branch-and-bound search engine.
T * bab(T *s, const Search::Options &o)
Perform depth-first branch-and-bound search for subclass T of space s and options o...
BAB(T *s, const Search::Options &o=Search::Options::def)
Initialize engine for space s and options o.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)