46 BoolExpr::MiscExpr::operator
new(
size_t size) {
50 BoolExpr::MiscExpr::operator
delete(
void*
p, size_t) {
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.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Gecode toplevel namespace