CVC3
|
This is the complete list of members for CVC3::ContextMemoryManager, including all inherited members.
ContextMemoryManager() | CVC3::ContextMemoryManager | inline |
d_chunkList | CVC3::ContextMemoryManager | private |
d_endChunk | CVC3::ContextMemoryManager | private |
d_endChunkStack | CVC3::ContextMemoryManager | private |
d_indexChunkList | CVC3::ContextMemoryManager | private |
d_indexChunkListStack | CVC3::ContextMemoryManager | private |
d_nextFree | CVC3::ContextMemoryManager | private |
d_nextFreeStack | CVC3::ContextMemoryManager | private |
deleteData(void *d) | CVC3::ContextMemoryManager | inlinevirtual |
garbageCollect(void) | CVC3::ContextMemoryManager | inlinestatic |
getMemory(int verbosity) | CVC3::ContextMemoryManager | inline |
getStaticMemory(int verbosity) | CVC3::ContextMemoryManager | inlinestatic |
newChunk() | CVC3::ContextMemoryManager | inlineprivate |
newData(size_t size) | CVC3::ContextMemoryManager | inlinevirtual |
pop() | CVC3::ContextMemoryManager | inline |
push() | CVC3::ContextMemoryManager | inline |
s_freePages | CVC3::ContextMemoryManager | privatestatic |
~ContextMemoryManager() | CVC3::ContextMemoryManager | inline |
~MemoryManager() | CVC3::MemoryManager | inlinevirtual |