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
|
|
Size of chunk.
Definition at line 197 of file memory-manager.icc. |
|
|
Next chunk for reusal.
Definition at line 199 of file memory-manager.icc. |
The documentation for this class was generated from the following file:
- gecode/kernel/memory-manager.icc (Revision: 3525)