Stop-object based on number of failures More...
#include <search.hh>
Public Member Functions | |
FailStop (unsigned long int l) | |
Stop if failure limit l is exceeded. | |
unsigned long int | limit (void) const |
Return current limit. | |
void | limit (unsigned long int l) |
Set current limit to l failures. | |
virtual bool | stop (const Statistics &s, const Options &o) |
Return true if failure limit is exceeded. | |
Stop (void) | |
Default constructor. | |
virtual | ~Stop (void) |
Destructor. |
Protected Attributes | |
unsigned long int | l |
Failure limit. |
Additional Inherited Members | |
static Stop * | node (unsigned long int l) |
Stop if node limit l has been exceeded. | |
static Stop * | fail (unsigned long int l) |
Stop if failure limit l has been exceeded. | |
static Stop * | time (unsigned long int l) |
Stop if time limit l (in milliseconds) has been exceeded. | |
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. |
Stop-object based on number of failures
The number of failures reported (by the statistics) is the number since the engine started exploration. It is not the number since the last stop!
|
inline |
|
inline |
|
inline |
|
virtual |
Return true if failure limit is exceeded.
Implements Gecode::Search::Stop.
|
protected |