34#ifndef __GECODE_SEARCH_SEQ_RBS_HH__
35#define __GECODE_SEARCH_SEQ_RBS_HH__
45 template<
class,
template<
class>
class>
friend class ::Gecode::RBS;
46 friend class ::Gecode::Search::Seq::RBS;
103 virtual bool stopped(
void)
const;
Base class for cutoff generators for restart-based meta engine.
Search engine implementation interface
Engine for restart-based search.
RestartStop * stop
The stop control object.
virtual Space * next(void)
Return next solution (NULL, if none exists or search has been stopped)
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.
virtual bool stopped(void) const
Check whether engine has been stopped.
virtual void constrain(const Space &b)
Constrain future solutions to be better than b.
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.
bool shared_info
Whether the slave can share info (AFC) with the master.
Cutoff * co
The cutoff object.
virtual Statistics statistics(void) const
Return statistics.
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.
virtual bool stop(const Statistics &s, const Options &o)
Return true if meta engine must be stopped.
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
#define GECODE_SEARCH_EXPORT