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 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... | |
bool | enginestopped (void) const |
Return whether the engine has been stopped. More... | |
Statistics | metastatistics (void) const |
Return statistics for the meta engine. More... | |
![]() | |
Stop (void) | |
Default constructor. More... | |
virtual | ~Stop (void) |
Destructor. More... | |
Additional Inherited Members | |
![]() | |
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... | |
![]() | |
static void * | operator new (size_t s) |
Memory management. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
|
inline |
|
virtual |
Return true if meta engine must be stopped.
Implements Gecode::Search::Stop.
|
inline |
|
inline |
|
inline |
|
inline |