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 |