Stop-object based on number of nodes More...
#include <search.hh>
Public Member Functions | |
NodeStop (unsigned long int l) | |
Stop if node limit l is exceeded. | |
unsigned long int | limit (void) const |
Return current limit. | |
void | limit (unsigned long int l) |
Set current limit to l nodes. | |
virtual bool | stop (const Statistics &s, const Options &o) |
Return true if node limit is exceeded. | |
Stop (void) | |
Default constructor. | |
virtual | ~Stop (void) |
Destructor. |
Protected Attributes | |
unsigned long int | l |
Node 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 nodes
The number of nodes 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 node limit is exceeded.
Implements Gecode::Search::Stop.
|
protected |