CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes
CVC3::MemoryManagerChunks Class Reference

#include <memory_manager_chunks.h>

Inheritance diagram for CVC3::MemoryManagerChunks:
CVC3::MemoryManager

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Constructor & Destructor Documentation

CVC3::MemoryManagerChunks::MemoryManagerChunks ( unsigned  dataSize,
unsigned  chunkSize = 1024 
) [inline]

Definition at line 64 of file memory_manager_chunks.h.

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

Definition at line 69 of file memory_manager_chunks.h.

References d_chunkList.


Member Function Documentation

void CVC3::MemoryManagerChunks::newChunk ( ) [inline, private]

Definition at line 55 of file memory_manager_chunks.h.

References d_nextFree, d_chunkSizeBytes, FatalAssert, d_endChunk, and d_chunkList.

Referenced by newData().

void* CVC3::MemoryManagerChunks::newData ( size_t  size) [inline, virtual]

Implements CVC3::MemoryManager.

Definition at line 76 of file memory_manager_chunks.h.

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

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

Implements CVC3::MemoryManager.

Definition at line 93 of file memory_manager_chunks.h.

References d_freeList.


Member Data Documentation

Definition at line 44 of file memory_manager_chunks.h.

Referenced by newData().

Definition at line 45 of file memory_manager_chunks.h.

Definition at line 46 of file memory_manager_chunks.h.

Referenced by newChunk().

Definition at line 47 of file memory_manager_chunks.h.

Referenced by newData(), and deleteData().

Definition at line 48 of file memory_manager_chunks.h.

Referenced by newChunk(), and ~MemoryManagerChunks().

Definition at line 50 of file memory_manager_chunks.h.

Referenced by newChunk(), and newData().

Definition at line 52 of file memory_manager_chunks.h.

Referenced by newChunk(), and newData().


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