| allocate(unsigned int size) | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [inline] |
| deallocate(void *ptr) | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [inline] |
| getHeader(void *ptr) | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [inline, static] |
| offset enum value | GaloisRuntime::MM::AddHeader< Header, SourceHeap > | [private] |
1.6.3