42 namespace Gecode {
namespace Search {
67 return build<T,BAB>(s,
opt);
77 : Search::Base<T>(Search::
babengine(s,o)) {}
84 while (T*
n = b.
next()) {
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
A class for building search engines.
Options opt
Stored and already expanded options.
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.
Engine * babengine(Space *s, const Options &o)
Create branch and bound 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::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
BabBuilder(const Options &opt)
The constructor.
bool best(void) const
Whether engine is a best solution search engine.
virtual Engine * operator()(Space *s) const
The actual build function.
Gecode toplevel namespace