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);
Base-class for search engines.
Base(Engine *e=NULL)
Constructor.
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