50 template<
template<
class>
class E,
class T>
70 E<T> engine(dynamic_cast<T*>(master),e_opt);
77 template<
template<
class>
class E,
class T>
80 return dynamic_cast<T*
>(e->next());
83 template<
template<
class>
class E,
class T>
86 return e->statistics();
89 template<
template<
class>
class E,
class T>
96 template<
template<
class>
class E,
class T>
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
Search::Engine * e
The actual search engine.
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
bool stopped(void) const
Check whether engine has been stopped.
unsigned long int fail
Number of failed nodes in search tree.
Search::Statistics statistics(void) const
Return statistics.
Cutoff * cutoff
Cutoff for restart-based search.
bool clone
Whether engines create a clone when being initialized.
Exception: Uninitialized cutoff for restart-based search
T * next(void)
Return next solution (NULL, if non exists or search has been stopped)
Meta-engine performing restart-based search.
Base-class for search engines.
Stop * stop
Stop object for stopping search.
Gecode toplevel namespace
T * rbs(T *s, const Search::Options &o)
Perform restart-based search.
Engine * rbs(Space *s, MetaStop *stop, Engine *e, const Options &o)
RBS(T *s, const Search::Options &o)
Initialize engine for space s and options o.