38 namespace Gecode {
namespace Search {
49 Stop::operator
new(
size_t s) {
53 Stop::operator
delete(
void*
p) {
132 : e_stop(new
FailStop(0)), m_stop(s), e_stopped(false) {}
unsigned long int limit(void) const
Return current limit.
void rfree(void *p)
Free memory block starting at p.
unsigned long int l
Current limit in milliseconds.
void * ralloc(size_t s)
Allocate s bytes from heap.
Support::Timer t
Time when execution should stop.
NodeStop(unsigned long int l)
Stop if node limit l is exceeded.
Heap heap
The single global heap.
void start(void)
Start timer.
int p
Number of positive literals for node type.
FailStop(unsigned long int l)
Stop if failure limit l is exceeded.
unsigned long int limit(void) const
Return current limit.
void reset(void)
Reset time to zero.
Stop(void)
Default constructor.
unsigned long int l
Node limit.
unsigned long int l
Failure limit.
virtual ~Stop(void)
Destructor.
TimeStop(unsigned long int l)
Stop if search exceeds l milliseconds (from creation of this object)
Gecode toplevel namespace
unsigned long int limit(void) const
Return current limit in milliseconds.
Base-class for Stop-object.
Stop-object based on number of failures