
Memory chunk allocated from heap with proper alignment. More...
#include <memory-manager.hpp>
Public Attributes | |
| double | area [1] |
| Start of memory area inside chunk. | |
Memory chunk allocated from heap with proper alignment.
Definition at line 54 of file memory-manager.hpp.
| double Gecode::HeapChunk::area[1] |
Start of memory area inside chunk.
Definition at line 57 of file memory-manager.hpp.