Gecode::Search::FailStop Class Reference
[Stop-objects for stopping search]
Stop-object based on number of failures More...
#include <search.hh>
Public Member Functions | |
FailStop (unsigned long int l) | |
Stop if failure limit l is exceeded. | |
unsigned long int | limit (void) const |
Return current limit. | |
void | limit (unsigned long int l) |
Set current limit to l failures. | |
virtual bool | stop (const Statistics &s, const Options &o) |
Return true if failure limit is exceeded. | |
Protected Attributes | |
unsigned long int | l |
Failure limit. |
Detailed Description
Stop-object based on number of failures
The number of failures reported (by the statistics) is the number since the engine started exploration. It is not the number since the last stop!
Definition at line 554 of file search.hh.
Constructor & Destructor Documentation
Gecode::Search::FailStop::FailStop | ( | unsigned long int | l | ) | [inline] |
Member Function Documentation
unsigned long int Gecode::Search::FailStop::limit | ( | void | ) | const [inline] |
void Gecode::Search::FailStop::limit | ( | unsigned long int | l | ) | [inline] |
bool Gecode::Search::FailStop::stop | ( | const Statistics & | s, | |
const Options & | o | |||
) | [virtual] |
Return true if failure limit is exceeded.
Implements Gecode::Search::Stop.
Member Data Documentation
unsigned long int Gecode::Search::FailStop::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)