40 namespace Gecode {
namespace Search {
80 if (e_stop->
stop(s,o)) {
86 if ((m_stop != NULL) && m_stop->
stop(m_stat+s,o)) {
unsigned long int l
Current limit in milliseconds.
unsigned long int fail
Number of failed nodes in search tree.
Support::Timer t
Time when execution should stop.
virtual bool stop(const Statistics &s, const Options &o)
Return true if failure limit is exceeded.
double stop(void)
Get time since start of timer.
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 l
Failure limit.
unsigned long int restart
Number of restarts.
Gecode toplevel namespace
virtual bool stop(const Statistics &s, const Options &o)=0
Stop search, if returns true.
unsigned long int node
Number of nodes expanded.
virtual bool stop(const Statistics &s, const Options &o)
Return true if time limit is exceeded.