42 namespace Gecode {
namespace Search {
66 return build<T,BAB>(s,
opt);
76 : Search::Base<T>(Search::
bab(s,o)) {}
83 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.
Engine * bab(Space *s, const Options &o)
Create branch and bound engine.
int n
Number of negative literals for node type.
Depth-first branch-and-bound search engine.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Search::Builder * SEB
Type for a search engine builder.
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.
BabBuilder(const Options &opt)
The constructor.
virtual Engine * operator()(Space *s) const
The actual build function.
Gecode toplevel namespace