Gecode::MemoryManager::ReuseChunk Class Reference
List of all members.Detailed Description
Memory-chunks for reusing slack memory.
Definition at line 194 of file memory-manager.icc.
Public Attributes | |
size_t | size |
Size of chunk. | |
ReuseChunk * | next |
Next chunk for reusal. |
Member Data Documentation
The documentation for this class was generated from the following file:
- gecode/kernel/memory-manager.icc (Revision: 3246)