34#ifndef __GECODE_SEARCH_SEQ_RBS_HH__
35#define __GECODE_SEARCH_SEQ_RBS_HH__
39namespace Gecode {
namespace Search {
namespace Seq {
45 template<
class,
template<
class>
class>
friend class ::Gecode::RBS;
46 friend class ::Gecode::Search::Seq::RBS;
62 void limit(
const Statistics& s,
unsigned long int l);
66 bool enginestopped(
void)
const;
99 virtual Space* next(
void);
103 virtual bool stopped(
void)
const;
105 virtual void constrain(
const Space&
b);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
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.
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.
bool shared_info
Whether the slave can share info (AFC) with the master.
Cutoff * co
The cutoff object.
Stop-object for restart engine
Base-class for Stop-object.
Gecode toplevel namespace
#define GECODE_SEARCH_EXPORT