38 #ifndef __GECODE_SEARCH_SEQ_RBS_HH__ 39 #define __GECODE_SEARCH_SEQ_RBS_HH__ 43 namespace Gecode {
namespace Search {
namespace Seq {
49 template<
class,
template<
class>
class>
friend class ::Gecode::RBS;
50 friend class ::Gecode::Search::Seq::RBS;
66 void limit(
const Statistics& s,
unsigned long int l);
70 bool enginestopped(
void)
const;
103 virtual Space* next(
void);
107 virtual bool stopped(
void)
const;
109 virtual void constrain(
const Space&
b);
Search engine implementation interface
#define GECODE_SEARCH_EXPORT
RestartStop * stop
The stop control object.
void stop(Support::Timer &timer, std::ostream &os)
Get time since start of timer and print user friendly time information.
Base class for cutoff generators for restart-based meta engine.
Cutoff * co
The cutoff object.
Space * master
The master space to restart from.
bool complete
Whether search for the next solution will be complete.
unsigned long int sslr
How many solutions since the last restart.
bool best
Whether the engine performs best solution search.
Engine * e
The actual engine.
Stop-object for restart engine
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Space * last
The last solution space (possibly NULL)
Gecode toplevel namespace
Base-class for Stop-object.
bool shared_info
Whether the slave can share info (AFC) with the master.
bool restart
Whether a restart must be performed when next is called.
Engine for restart-based search.
void update(IntSet &y, Space &home, IntSet &py)