40 namespace Gecode {
namespace Search {
Stop-object based on number of nodes
unsigned long int fail
Number of failed nodes in search tree.
static Stop * fail(unsigned long int l)
Stop if failure limit l has been exceeded.
static Stop * node(unsigned long int l)
Stop if node limit l has been exceeded.
virtual bool stop(const Statistics &s, const Options &o)
Return true if failure limit is exceeded.
static Stop * time(unsigned long int l)
Stop if time limit l (in milliseconds) has been exceeded.
virtual bool stop(const Statistics &s, const Options &o)
Return true if node limit is exceeded.
Gecode toplevel namespace
unsigned long int node
Number of nodes expanded.
Stop-object based on time
Base-class for Stop-object.
virtual bool stop(const Statistics &s, const Options &o)
Return true if time limit is exceeded.
Stop-object based on number of failures