45 template<
template<
class>
class E,
class T>
65 slave = master->
clone();
69 E<T> engine(dynamic_cast<T*>(slave),e_opt);
77 template<
template<
class>
class E,
class T>
Search engine implementation interface
Meta-engine performing restart-based search.
unsigned long int fail
Number of failed nodes in search tree.
Current restart information during search.
Options expand(void) const
Expand with real number of threads.
virtual T * next(void)
Return next solution (NULL, if none exists or search has been stopped)
Cutoff * cutoff
Cutoff for restart-based search.
Base-class for search engines.
Engine * e
The actual search engine.
bool clone
Whether engines create a clone when being initialized.
virtual bool slave(const CRI &cri)
Slave configuration function for restart meta search engine.
Space * clone(bool share=true, CloneStatistics &stat=unused_clone) const
Clone space.
Exception: Uninitialized cutoff for restart-based search
static NoGoods eng
Empty no-goods.
RBS(T *s, const Search::Options &o)
Initialize engine for space s and options o.
Stop * stop
Stop object for stopping search.
Gecode toplevel namespace
T * rbs(T *s, const Search::Options &o)
Perform restart-based search.