CVC3::MemoryManager Class Reference
#include <memory_manager.h>
Public Member Functions
- virtual ~MemoryManager ()
- virtual void * newData (size_t size)=0
- virtual void deleteData (void *d)=0
Detailed Description
Definition at line 39 of file memory_manager.h.
Constructor & Destructor Documentation
| virtual CVC3::MemoryManager::~MemoryManager | ( | ) | [inline, virtual] |
Definition at line 42 of file memory_manager.h.
Member Function Documentation
| virtual void* CVC3::MemoryManager::newData | ( | size_t | size | ) | [pure virtual] |
Implemented in CVC3::MemoryManagerChunks, CVC3::ContextMemoryManager, and CVC3::MemoryManagerMalloc.
Referenced by CVC3::VariableValue::operator new(), CVC3::RWTheoremValue::operator new(), CVC3::RegTheoremValue::operator new(), CVC3::ExprClosure::operator new(), CVC3::ExprBoundVar::operator new(), CVC3::ExprSymbol::operator new(), CVC3::ExprVar::operator new(), CVC3::ExprRational::operator new(), CVC3::ExprSkolem::operator new(), CVC3::ExprString::operator new(), CVC3::ExprApply::operator new(), CVC3::ExprNode::operator new(), CVC3::ExprValue::operator new(), CVC3::ContextObj::operator new(), CVC3::ContextObjChain::operator new(), CVC3::Scope::operator new(), and CVC3::BVConstExpr::operator new().
| virtual void CVC3::MemoryManager::deleteData | ( | void * | d | ) | [pure virtual] |
Implemented in CVC3::MemoryManagerChunks, CVC3::ContextMemoryManager, and CVC3::MemoryManagerMalloc.
Referenced by CVC3::VariableManager::gc(), CVC3::VariableValue::operator delete(), CVC3::RWTheoremValue::operator delete(), CVC3::RegTheoremValue::operator delete(), CVC3::ExprClosure::operator delete(), CVC3::ExprBoundVar::operator delete(), CVC3::ExprSymbol::operator delete(), CVC3::ExprVar::operator delete(), CVC3::ExprRational::operator delete(), CVC3::ExprSkolem::operator delete(), CVC3::ExprString::operator delete(), CVC3::ExprApply::operator delete(), CVC3::ExprNode::operator delete(), CVC3::ExprValue::operator delete(), CVC3::ContextObj::operator delete(), CVC3::ContextObjChain::operator delete(), CVC3::Scope::operator delete(), CVC3::BVConstExpr::operator delete(), CVC3::Theorem::operator=(), CVC3::ExprManager::rebuildRec(), CVC3::VariableManager::resumeGC(), and CVC3::Theorem::~Theorem().
The documentation for this class was generated from the following file:
