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);
struct Gecode::@602::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.
std::string expand(Gecode::IntRelType irt)
Expand relation to abbreviation.