Memory chunk with size information. More...
#include <memory-manager.hpp>
Public Attributes | |
MemoryChunk * | next |
Next chunk. More... | |
size_t | size |
Size of chunk. More... | |
Memory chunk with size information.
Definition at line 48 of file memory-manager.hpp.
MemoryChunk* Gecode::MemoryChunk::next |
Next chunk.
Definition at line 51 of file memory-manager.hpp.
size_t Gecode::MemoryChunk::size |
Size of chunk.
Definition at line 53 of file memory-manager.hpp.