
Base-class for Stop-object. More...
#include <search.hh>
Constructors and member functions | |
| Stop (void) | |
| Default constructor. More... | |
| virtual bool | stop (const Statistics &s, const Options &o)=0 |
| Stop search, if returns true. More... | |
| virtual | ~Stop (void) |
| Destructor. More... | |
Predefined stop objects | |
| 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... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
|
inline |
|
inlinevirtual |
|
pure virtual |
Stop search, if returns true.
Implemented in Gecode::Search::Seq::RestartStop, Gecode::Search::Seq::PortfolioStop, Gecode::Search::Par::PortfolioStop, Gecode::Search::TimeStop, Gecode::Search::FailStop, Gecode::Search::NodeStop, Gecode::Driver::CombinedStop, and FailTimeStop.
|
static |
|
static |
|
static |