36namespace Gecode {
namespace Kernel {
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.
Gecode toplevel namespace