CVC3::ContextMemoryManager Member List

This is the complete list of members for CVC3::ContextMemoryManager, including all inherited members.

ContextMemoryManager(unsigned chunkSize=16384)	CVC3::ContextMemoryManager	[inline]
d_chunkList	CVC3::ContextMemoryManager	[private]
d_chunkSizeBytes	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	[inline, virtual]
garbageCollect(void)	CVC3::ContextMemoryManager	[inline, static]
getMemory()	CVC3::ContextMemoryManager	[inline]
getStaticMemory()	CVC3::ContextMemoryManager	[inline, static]
newChunk()	CVC3::ContextMemoryManager	[inline, private]
newData(size_t size)	CVC3::ContextMemoryManager	[inline, virtual]
pop()	CVC3::ContextMemoryManager	[inline]
push()	CVC3::ContextMemoryManager	[inline]
s_freePages	CVC3::ContextMemoryManager	[private, static]
~ContextMemoryManager()	CVC3::ContextMemoryManager	[inline]
~MemoryManager()	CVC3::MemoryManager	[inline, virtual]

---