38 namespace Gecode {
namespace Search {
49 Stop::operator
new(
size_t s) {
53 Stop::operator
delete(
void*
p) {
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)
unsigned long int limit(void) const
Return current limit in milliseconds.