38namespace Gecode {
namespace Search {
73 : Search::Base<T>(Search::babengine(s,o)) {}
80 while (T*
n =
b.next()) {
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
int n
Number of negative literals for node type.
Depth-first branch-and-bound search engine.
BAB(T *s, const Search::Options &o=Search::Options::def)
Initialize engine for space s and options o.
virtual Engine * operator()(Space *s) const
The actual build function.
BabBuilder(const Options &opt)
The constructor.
A class for building search engines.
Options opt
Stored and already expanded options.
Search engine implementation interface
T * bab(T *s, const Search::Options &o=Search::Options::def)
Perform depth-first branch-and-bound search for subclass T of space s and options o.
Engine * babengine(Space *s, const Options &o)
Create branch and bound engine.
Engine * build(Space *s, const Options &opt)
Build an engine of type E for a script T.
Gecode toplevel namespace
Search::Builder * SEB
Type for a search engine builder.
#define GECODE_SEARCH_EXPORT