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. | |
Public Member Functions inherited from Gecode::Search::Base< T > | |
virtual T * | 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 | ~Base (void) |
Destructor. |
Static Public Attributes | |
static const bool | best = E<T>::best |
Whether engine does best solution search. |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
static void * | operator new (size_t s) |
Memory management. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
Protected Member Functions inherited from Gecode::Search::Base< T > | |
Base (Engine *e=NULL) | |
Constructor. | |
Protected Attributes inherited from Gecode::Search::Base< T > | |
Engine * | e |
The actual search engine. |
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
and
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".
|
inline |
|
static |