34 namespace Gecode {
namespace Search {
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);
Search engine implementation interface
Options & options(void)
Provide access to options.
Options opt
Stored and already expanded options.
Engine * build(Space *s, const Options &opt)
Build an engine of type E for a script T.
virtual ~Builder(void)
Destructor.
std::string expand(Gecode::IntRelType irt)
Expand relation to abbreviation.
const bool b
Whether engine to be built is a best solution search engine.
Base-class for search engines.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Builder(const Options &opt, bool best)
Initialize with options opt and best solution search support.
bool best(void) const
Whether engine is a best solution search engine.
Engine * e
The actual search engine.
Gecode toplevel namespace