Memory chunk allocated from heap with proper alignment. More...
#include <memory-manager.hpp>
Public Attributes | |
double | area [1] |
Start of memory area inside chunk. More... | |
![]() | |
MemoryChunk * | next |
Next chunk. More... | |
size_t | size |
Size of chunk. More... | |
Memory chunk allocated from heap with proper alignment.
Definition at line 57 of file memory-manager.hpp.
double Gecode::HeapChunk::area[1] |
Start of memory area inside chunk.
Definition at line 60 of file memory-manager.hpp.