34namespace Gecode {
namespace Search {
unsigned long int l
Failure limit.
FailStop(unsigned long int l)
Stop if failure limit l is exceeded.
unsigned long int limit(void) const
Return current limit.
unsigned long int limit(void) const
Return current limit.
NodeStop(unsigned long int l)
Stop if node limit l is exceeded.
unsigned long int l
Node limit.
Stop(void)
Default constructor.
virtual ~Stop(void)
Destructor.
unsigned long int limit(void) const
Return current limit in milliseconds.
TimeStop(unsigned long int l)
Stop if search exceeds l milliseconds (from creation of this object)
Support::Timer t
Time when execution should stop.
unsigned long int l
Current limit in milliseconds.
void reset(void)
Reset time to zero.
void start(void)
Start timer.
Gecode toplevel namespace