38 namespace Gecode {
namespace Search {
43 Engine::operator
new(
size_t s) {
47 Engine::operator
delete(
void*
p) {
virtual ~Engine(void)
Destructor.
void rfree(void *p)
Free memory block starting at p.
void * ralloc(size_t s)
Allocate s bytes from heap.
Heap heap
The single global heap.
int p
Number of positive literals for node type.