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. |
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!
Gecode::Search::FailStop::FailStop | ( | unsigned long int | l | ) | [inline] |
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.
unsigned long int Gecode::Search::FailStop::l [protected] |