34namespace Gecode {
namespace Search {
38 : opt(opt0.expand()),
b(b0) {}
56 template<
class T,
class E>
59 E engine(
dynamic_cast<T*
>(s),opt);
66 template<
class T,
template<
class>
class E>
69 E<T> engine(
dynamic_cast<T*
>(s),opt);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Base-class for search engines.
Engine * e
The actual search engine.
const bool b
Whether engine to be built is a best solution search engine.
Options opt
Stored and already expanded options.
Builder(const Options &opt, bool best)
Initialize with options opt and best solution search support.
virtual ~Builder(void)
Destructor.
bool best(void) const
Whether engine is a best solution search engine.
Options & options(void)
Provide access to options.
Search engine implementation interface
Engine * build(Space *s, const Options &opt)
Build an engine of type E for a script T.
Gecode toplevel namespace