
Memory chunk with size information. More...
#include <manager.hpp>
Public Attributes | |
| MemoryChunk * | next |
| Next chunk. | |
| size_t | size |
| Size of chunk. | |
Memory chunk with size information.
Definition at line 44 of file manager.hpp.
| MemoryChunk* Gecode::Kernel::MemoryChunk::next |
Next chunk.
Definition at line 47 of file manager.hpp.
| size_t Gecode::Kernel::MemoryChunk::size |
Size of chunk.
Definition at line 49 of file manager.hpp.