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. | |
Protected Attributes | |
unsigned long int | l |
Node limit. |
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!
Gecode::Search::NodeStop::NodeStop | ( | unsigned long int | l | ) | [inline] |
unsigned long int Gecode::Search::NodeStop::limit | ( | void | ) | const [inline] |
void Gecode::Search::NodeStop::limit | ( | unsigned long int | l | ) | [inline] |
bool Gecode::Search::NodeStop::stop | ( | const Statistics & | s, |
const Options & | o | ||
) | [virtual] |
Return true if node limit is exceeded.
Implements Gecode::Search::Stop.
unsigned long int Gecode::Search::NodeStop::l [protected] |