Engine for restart-based search.
More...
#include <rbs.hh>
Engine for restart-based search.
Definition at line 47 of file rbs.hh.
Constructor.
Definition at line 84 of file rbs.hh.
Gecode::Search::Meta::RBS::~RBS |
( |
void |
| ) |
|
|
virtual |
Destructor.
Definition at line 126 of file rbs.cpp.
Space * Gecode::Search::Meta::RBS::next |
( |
void |
| ) |
|
|
virtual |
bool Gecode::Search::Meta::RBS::stopped |
( |
void |
| ) |
const |
|
virtual |
void Gecode::Search::Meta::RBS::reset |
( |
Space * |
s | ) |
|
|
virtual |
NoGoods & Gecode::Search::Meta::RBS::nogoods |
( |
void |
| ) |
|
|
virtual |
Engine* Gecode::Search::Meta::RBS::e |
|
protected |
The actual engine.
Definition at line 50 of file rbs.hh.
Space* Gecode::Search::Meta::RBS::master |
|
protected |
The master space to restart from.
Definition at line 52 of file rbs.hh.
Space* Gecode::Search::Meta::RBS::last |
|
protected |
The last solution space (possibly NULL)
Definition at line 54 of file rbs.hh.
Cutoff* Gecode::Search::Meta::RBS::co |
|
protected |
The cutoff object.
Definition at line 56 of file rbs.hh.
MetaStop* Gecode::Search::Meta::RBS::stop |
|
protected |
The stop control object.
Definition at line 58 of file rbs.hh.
bool Gecode::Search::Meta::RBS::shared |
|
protected |
Whether the slave can be shared with the master.
Definition at line 60 of file rbs.hh.
unsigned long int Gecode::Search::Meta::RBS::sslr |
|
protected |
How many solutions since the last restart.
Definition at line 62 of file rbs.hh.
bool Gecode::Search::Meta::RBS::complete |
|
protected |
Whether search for the next solution will be complete.
Definition at line 64 of file rbs.hh.
The documentation for this class was generated from the following files: