38 Support::Mutex& SharedMemory::m(
void) {
39 static Support::Mutex _m;
44 MemoryManager::alloc_refill(
SharedMemory& sm,
size_t sz) {
47 alloc_fill(sm,sz,
false);
void reuse(void *p, size_t s)
Store for reusal, if of sufficient size for free list.
Shared object for several memory areas.
Gecode toplevel namespace