memory-manager.hpp File Reference
(Revision: 9692)
Go to the source code of this file.
Classes | |
| class | Gecode::MemoryChunk |
| Memory chunk with size information. More... | |
| class | Gecode::HeapChunk |
| Memory chunk allocated from heap with proper alignment. More... | |
| class | Gecode::SharedMemory |
| Shared object for several memory areas. More... | |
| class | Gecode::FreeList |
| Base-class for freelist-managed objects. More... | |
| class | Gecode::MemoryManager |
| Manage memory for space. More... | |
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |