36namespace Gecode {
namespace Search {
Stop-object based on number of failures
unsigned long int l
Failure limit.
virtual bool stop(const Statistics &s, const Options &o)
Return true if failure limit is exceeded.
Stop-object based on number of nodes
unsigned long int l
Node limit.
virtual bool stop(const Statistics &s, const Options &o)
Return true if node limit is exceeded.
unsigned long int fail
Number of failed nodes in search tree.
unsigned long int node
Number of nodes expanded.
Base-class for Stop-object.
static Stop * node(unsigned long int l)
Stop if node limit l has been exceeded.
static Stop * time(unsigned long int l)
Stop if time limit l (in milliseconds) has been exceeded.
static Stop * fail(unsigned long int l)
Stop if failure limit l has been exceeded.
Stop-object based on time
virtual bool stop(const Statistics &s, const Options &o)
Return true if time limit is exceeded.
Support::Timer t
Time when execution should stop.
unsigned long int l
Current limit in milliseconds.
double stop(void)
Get time since start of timer.
Gecode toplevel namespace