Modules | |
Space-memory management | |
Using allocators with Gecode | |
Region memory management | |
A region provides a handle to temporary memory owned by a space. The memory will be managed in a stack fashion, that is, the memory allocated through a region will be released only after the region is deleted and all other regions created later also have been deleted. | |
%Heap memory management | |
Classes | |
class | Gecode::Support::Allocator |
Default memory allocator. More... | |
Variables | |
Allocator | Gecode::Support::allocator |
The single global default memory allocator. More... | |
Allocator Gecode::Support::allocator |
The single global default memory allocator.
Definition at line 38 of file allocator.cpp.