CVC3::MemoryManager Class Reference

#include <memory_manager.h>

Inheritance diagram for CVC3::MemoryManager:

[legend]List of all members.

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::ExprTheorem::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::ExprTheorem::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:

• memory_manager.h

---