Gecode::Search::Stop Class Reference
[Stop-objects for stopping search]
Base-class for Stop-object. More...
#include <search.hh>
Constructors and member functions | |
|
| |
| Stop (void) | |
| Default constructor. | |
| virtual bool | stop (const Statistics &s, const Options &o)=0 |
| Stop search, if returns true. | |
| virtual | ~Stop (void) |
| Destructor. | |
Predefined stop objects | |
|
| |
| 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. | |
Detailed Description
Base-class for Stop-object.
Definition at line 799 of file search.hh.
Constructor & Destructor Documentation
| Gecode::Search::Stop::Stop | ( | void | ) | [inline] |
| Gecode::Search::Stop::~Stop | ( | void | ) | [inline, virtual] |
Member Function Documentation
| virtual bool Gecode::Search::Stop::stop | ( | const Statistics & | s, | |
| const Options & | o | |||
| ) | [pure virtual] |
Stop search, if returns true.
Implemented in FailTimeStop, Gecode::Driver::CombinedStop, Gecode::Search::Par::PortfolioStop, Gecode::Search::Seq::PortfolioStop, Gecode::Search::Seq::RestartStop, Gecode::Search::NodeStop, Gecode::Search::FailStop, and Gecode::Search::TimeStop.
| Stop * Gecode::Search::Stop::node | ( | unsigned long int | l | ) | [static] |
| Stop * Gecode::Search::Stop::fail | ( | unsigned long int | l | ) | [static] |
| Stop * Gecode::Search::Stop::time | ( | unsigned long int | l | ) | [static] |
The documentation for this class was generated from the following files: