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.