Gecode::Search::NodeStop Class Reference
[Stop-objects for stopping search]
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. |
Detailed Description
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!
Definition at line 531 of file search.hh.
Constructor & Destructor Documentation
Gecode::Search::NodeStop::NodeStop | ( | unsigned long int | l | ) | [inline] |
Member Function Documentation
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.
Member Data Documentation
unsigned long int Gecode::Search::NodeStop::l [protected] |
The documentation for this class was generated from the following files:
- gecode/search.hh (Revision: 15233)
- gecode/search/stop.cpp (Revision: 14435)
- gecode/search/stop.hpp (Revision: 14762)