43 MemoryManager::alloc_refill(SharedMemory*
sm,
size_t sz) {
46 alloc_fill(
sm,sz,
false);
void reuse(void *p, size_t s)
Store for reusal, if of sufficient size for free list.
IntPropLevel sm(IntPropLevel ipl)
Extract speed or memory from propagation level.
Gecode toplevel namespace