CVCL::MemoryManager Class Reference

#include <memory_manager.h>

Inheritance diagram for CVCL::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 47 of file memory_manager.h.

---

Constructor & Destructor Documentation

virtual CVCL::MemoryManager::~MemoryManager (   )  [inline, virtual]

Definition at line 50 of file memory_manager.h.

---

Member Function Documentation

virtual void* CVCL::MemoryManager::newData (  size_t  size  )  [pure virtual]

Implemented in CVCL::MemoryManagerChunks, and CVCL::MemoryManagerMalloc. Referenced by CVCL::VariableValue::operator new(), CVCL::ReflexivityTheoremValue::operator new(), CVCL::RWTheoremValue::operator new(), CVCL::TheoremValue::operator new(), CVCL::ExprClosure::operator new(), CVCL::ExprBoundVar::operator new(), CVCL::ExprSymbol::operator new(), CVCL::ExprVar::operator new(), CVCL::ExprRational::operator new(), CVCL::ExprSkolem::operator new(), CVCL::ExprString::operator new(), CVCL::ExprApply::operator new(), CVCL::ExprNode::operator new(), CVCL::ExprValue::operator new(), and CVCL::BVConstExpr::operator new().

virtual void CVCL::MemoryManager::deleteData (  void *  d  )  [pure virtual]

Implemented in CVCL::MemoryManagerChunks, and CVCL::MemoryManagerMalloc. Referenced by CVCL::VariableManager::gc(), CVCL::Theorem::operator=(), CVCL::ExprManager::rebuildRec(), CVCL::VariableManager::resumeGC(), and CVCL::Theorem::~Theorem().

---

The documentation for this class was generated from the following file:

• memory_manager.h

---