Meta-engine performing restart-based search. More...
#include <search.hh>
Public Member Functions | |
RBS (T *s, const Search::Options &o) | |
Initialize engine for space s and options o. | |
T * | next (void) |
Return next solution (NULL, if non exists or search has been stopped) | |
Search::Statistics | statistics (void) const |
Return statistics. | |
bool | stopped (void) const |
Check whether engine has been stopped. |
Meta-engine performing restart-based search.
The engine uses the Cutoff sequence supplied in the options o to periodically restart the search of engine E.
The class T can implement member functions
virtual void master(unsigned long int i, const Space* s)
and
virtual void slave(unsigned long int i, const Space* s)
Whenever exploration restarts or a solution is found, the engine executes the functions on the master and slave space. For more details, consult "Modeling and Programming with Gecode".
Gecode::RBS< E, T >::RBS | ( | T * | s, |
const Search::Options & | o | ||
) | [inline] |
T * Gecode::RBS< E, T >::next | ( | void | ) | [inline] |
Search::Statistics Gecode::RBS< E, T >::statistics | ( | void | ) | const [inline] |
bool Gecode::RBS< E, T >::stopped | ( | void | ) | const [inline] |