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
Search::Statistics statistics(void) const
Return statistics.
Meta-engine performing restart-based search.
#define GECODE_SEARCH_EXPORT
Search::Engine * e
The actual search engine.
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
unsigned long int fail
Number of failed nodes in search tree.
Cutoff * cutoff
Cutoff for restart-based search.
bool stopped(void) const
Check whether engine has been stopped.
bool clone
Whether engines create a clone when being initialized.
T * next(void)
Return next solution (NULL, if non exists or search has been stopped)
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
Exception: Uninitialized cutoff for restart-based search
RBS(T *s, const Search::Options &o)
Initialize engine for space s and options o.
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)