35namespace Gecode {
namespace Search {
namespace Seq {
39 :
l(0), m_stop(s), e_stopped(false) {}
68 : e(e0), master(s), last(NULL), co(opt.cutoff), stop(stop0),
70 complete(true), restart(false), best(best0) {
Search engine implementation interface
RestartStop * stop
The stop control object.
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.
Base-class for Stop-object.
Gecode toplevel namespace