Gecode::Search::Seq::RBS Class Reference
Engine for restart-based search.
More...
#include <rbs.hh>
List of all members.
Public Member Functions |
| RBS (Space *s, RestartStop *stop0, Engine *e0, const Search::Statistics &stat, const Options &o, bool best) |
| Constructor.
|
virtual Space * | next (void) |
| Return next solution (NULL, if none exists or search has been stopped).
|
virtual Statistics | statistics (void) const |
| Return statistics.
|
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.
|
virtual | ~RBS (void) |
| Destructor.
|
Protected Attributes |
Engine * | e |
| The actual engine.
|
Space * | master |
| The master space to restart from.
|
Space * | last |
| The last solution space (possibly NULL).
|
Cutoff * | co |
| The cutoff object.
|
RestartStop * | stop |
| The stop control object.
|
unsigned long int | sslr |
| How many solutions since the last restart.
|
bool | shared_info |
| Whether the slave can share info (AFC) with the master.
|
bool | complete |
| Whether search for the next solution will be complete.
|
bool | restart |
| Whether a restart must be performed when next is called.
|
bool | best |
| Whether the engine performs best solution search.
|
Detailed Description
Engine for restart-based search.
Definition at line 72 of file rbs.hh.
Constructor & Destructor Documentation
Constructor.
Definition at line 65 of file rbs.hpp.
Gecode::Search::Seq::RBS::~RBS |
( |
void |
|
) |
[virtual] |
Destructor.
Definition at line 150 of file rbs.cpp.
Member Function Documentation
Space * Gecode::Search::Seq::RBS::next |
( |
void |
|
) |
[virtual] |
bool Gecode::Search::Seq::RBS::stopped |
( |
void |
|
) |
const [virtual] |
void Gecode::Search::Seq::RBS::constrain |
( |
const Space & |
b |
) |
[virtual] |
Member Data Documentation
The actual engine.
Definition at line 75 of file rbs.hh.
The master space to restart from.
Definition at line 77 of file rbs.hh.
The last solution space (possibly NULL).
Definition at line 79 of file rbs.hh.
The cutoff object.
Definition at line 81 of file rbs.hh.
The stop control object.
Definition at line 83 of file rbs.hh.
How many solutions since the last restart.
Definition at line 85 of file rbs.hh.
Whether the slave can share info (AFC) with the master.
Definition at line 87 of file rbs.hh.
Whether search for the next solution will be complete.
Definition at line 89 of file rbs.hh.
Whether a restart must be performed when next is called.
Definition at line 91 of file rbs.hh.
Whether the engine performs best solution search.
Definition at line 93 of file rbs.hh.
The documentation for this class was generated from the following files: