
Stop-object for restart engine More...
#include <rbs.hh>
Public Member Functions | |
| RestartStop (Stop *s) | |
| Stop the meta engine if indicated by the stop object s. More... | |
| virtual bool | stop (const Statistics &s, const Options &o) |
| Return true if meta engine must be stopped. More... | |
| void | limit (const Search::Statistics &s, unsigned long int l) |
| Set current limit for the engine to l fails. More... | |
| void | update (const Search::Statistics &s) |
| Update statistics. More... | |
| Stop * | enginestop (void) const |
| Return the stop object to control the engine. More... | |
| bool | enginestopped (void) const |
| Return whether the engine has been stopped. More... | |
| Statistics | metastatistics (void) const |
| Return statistics for the meta engine. More... | |
| ~RestartStop (void) | |
| Delete object. More... | |
Public Member Functions inherited from Gecode::Search::Stop | |
| Stop (void) | |
| Default constructor. More... | |
| virtual | ~Stop (void) |
| Destructor. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Search::Stop | |
| static void * | operator new (size_t s) |
| Allocate memory from heap. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
| static Stop * | node (unsigned long int l) |
| Stop if node limit l has been exceeded. More... | |
| static Stop * | fail (unsigned long int l) |
| Stop if failure limit l has been exceeded. More... | |
| static Stop * | time (unsigned long int l) |
| Stop if time limit l (in milliseconds) has been exceeded. More... | |
|
inline |
|
inline |
|
virtual |
Return true if meta engine must be stopped.
Implements Gecode::Search::Stop.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |