CVC3::ContextMemoryManager Member List

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