CVC3
2.4.1
|
#include <memory_manager.h>
Public Member Functions | |
virtual | ~MemoryManager () |
virtual void * | newData (size_t size)=0 |
virtual void | deleteData (void *d)=0 |
Definition at line 39 of file memory_manager.h.
|
inlinevirtual |
Definition at line 42 of file memory_manager.h.
|
pure virtual |
Implemented in CVC3::ContextMemoryManager, CVC3::MemoryManagerChunks, and CVC3::MemoryManagerMalloc.
Referenced by CVC3::ContextObj::operator new(), CVC3::RegTheoremValue::operator new(), and CVC3::RWTheoremValue::operator new().
|
pure virtual |
Implemented in CVC3::ContextMemoryManager, CVC3::MemoryManagerChunks, and CVC3::MemoryManagerMalloc.
Referenced by CVC3::VariableManager::gc(), CVC3::ContextObj::operator delete(), CVC3::Theorem::operator=(), CVC3::ExprManager::rebuildRec(), CVC3::VariableManager::resumeGC(), and CVC3::Theorem::~Theorem().