39 : l(0), m_stop(s), e_stopped(false) {}
Search engine implementation interface
RestartStop * stop
The stop control object.
bool best
Whether the engine performs best solution search.
Space * master
The master space to restart from.
bool restart
Whether a restart must be performed when next is called.
bool complete
Whether search for the next solution will be complete.
Engine * e
The actual engine.
Space * last
The last solution space (possibly NULL)
unsigned long int sslr
How many solutions since the last restart.
RBS(Space *s, RestartStop *stop0, Engine *e0, const Search::Statistics &stat, const Options &o, bool best)
Constructor.
Cutoff * co
The cutoff object.
Stop-object for restart engine
Statistics metastatistics(void) const
Return statistics for the meta engine.
RestartStop(Stop *s)
Stop the meta engine if indicated by the stop object s.
void update(const Search::Statistics &s)
Update statistics.
void limit(const Statistics &s, unsigned long int l)
Set current limit for the engine to l fails.
bool enginestopped(void) const
Return whether the engine has been stopped.
Stop(void)
Default constructor.
Gecode toplevel namespace