CVC3::MemoryManager Class Reference

#include <memory_manager.h>

Inheritance diagram for CVC3::MemoryManager:

Inheritance graph
[legend]
List of all members.

Public Member Functions


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:
Generated on Wed Nov 18 16:15:33 2009 for CVC3 by  doxygen 1.5.2