Gecode::MemoryChunk Class Reference
Memory chunk with size information. More...
#include <memory-manager.hpp>
Public Attributes | |
| MemoryChunk * | next |
| Next chunk. | |
| size_t | size |
| Size of chunk. | |
Detailed Description
Memory chunk with size information.
Definition at line 48 of file memory-manager.hpp.
Member Data Documentation
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.
The documentation for this class was generated from the following file:
- gecode/kernel/memory-manager.hpp (Revision: 14967)