Heap information data structure. More...
Public Attributes | |
unsigned int | n |
Number of allocated heap blocks. | |
unsigned int | size |
Limit of allocated heap blocks. | |
void * | blocks [0] |
Pointers to allocated heap blocks (more entries) |
Heap information data structure.
unsigned int Gecode::Region::HeapInfo::n |
Number of allocated heap blocks.
Definition at line 71 of file region.hpp.
unsigned int Gecode::Region::HeapInfo::size |
Limit of allocated heap blocks.
Definition at line 73 of file region.hpp.
void* Gecode::Region::HeapInfo::blocks[0] |
Pointers to allocated heap blocks (more entries)
Definition at line 75 of file region.hpp.