Public Member Functions | Static Public Member Functions | Private Member Functions | Private Attributes | Static Private Attributes

CVC3::ContextMemoryManager Class Reference

ContextMemoryManager. More...

#include <memory_manager_context.h>

Inheritance diagram for CVC3::ContextMemoryManager:
CVC3::MemoryManager

List of all members.

Public Member Functions

Static Public Member Functions

Private Member Functions

Private Attributes

Static Private Attributes


Detailed Description

ContextMemoryManager.

Author: Clark Barrett

Created: Thu Aug 3 16:41:35 2006

Stack-based memory manager

Definition at line 44 of file memory_manager_context.h.


Constructor & Destructor Documentation

CVC3::ContextMemoryManager::ContextMemoryManager (  )  [inline]
CVC3::ContextMemoryManager::~ContextMemoryManager (  )  [inline]

Definition at line 97 of file memory_manager_context.h.

References d_chunkList, and s_freePages.


Member Function Documentation

void CVC3::ContextMemoryManager::newChunk (  )  [inline, private]
void* CVC3::ContextMemoryManager::newData ( size_t  size  )  [inline, virtual]

Implements CVC3::MemoryManager.

Definition at line 104 of file memory_manager_context.h.

References d_endChunk, d_nextFree, DebugAssert, and newChunk().

void CVC3::ContextMemoryManager::deleteData ( void *  d  )  [inline, virtual]

Implements CVC3::MemoryManager.

Definition at line 116 of file memory_manager_context.h.

void CVC3::ContextMemoryManager::push (  )  [inline]
void CVC3::ContextMemoryManager::pop (  )  [inline]
static void CVC3::ContextMemoryManager::garbageCollect ( void   )  [inline, static]

Definition at line 137 of file memory_manager_context.h.

References s_freePages.

Referenced by CVC3::Context::~Context().

unsigned CVC3::ContextMemoryManager::getMemory ( int  verbosity  )  [inline]
static unsigned CVC3::ContextMemoryManager::getStaticMemory ( int  verbosity  )  [inline, static]

Member Data Documentation

Definition at line 53 of file memory_manager_context.h.

Referenced by newChunk(), pop(), and push().

std::vector<char*> CVC3::ContextMemoryManager::d_nextFreeStack [private]

Definition at line 56 of file memory_manager_context.h.

Referenced by getMemory(), pop(), and push().

std::vector<char*> CVC3::ContextMemoryManager::d_endChunkStack [private]

Definition at line 58 of file memory_manager_context.h.

Referenced by getMemory(), pop(), and push().

std::vector<unsigned> CVC3::ContextMemoryManager::d_indexChunkListStack [private]

Definition at line 60 of file memory_manager_context.h.

Referenced by getMemory(), pop(), and push().


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