CVC3::MemoryTracker Class Reference

#include <cvc_util.h>

List of all members.

Static Public Member Functions


Detailed Description

Definition at line 118 of file cvc_util.h.


Member Function Documentation

static void CVC3::MemoryTracker::print ( std::string  name,
int  verbosity,
unsigned long  memSelf,
unsigned long  mem 
) [inline, static]

template<typename T >
static unsigned long CVC3::MemoryTracker::getVec ( int  verbosity,
const std::vector< T > &  v 
) [inline, static]

template<typename T >
static unsigned long CVC3::MemoryTracker::getVecAndData ( int  verbosity,
const std::vector< T > &  v 
) [inline, static]

Definition at line 140 of file cvc_util.h.

References print().

template<typename T >
static unsigned long CVC3::MemoryTracker::getVecAndDataP ( int  verbosity,
const std::vector< T > &  v 
) [inline, static]

Definition at line 152 of file cvc_util.h.

References print().

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

static unsigned long CVC3::MemoryTracker::getString ( int  verbosity,
const std::string &  s 
) [inline, static]

Definition at line 163 of file cvc_util.h.

References print().

Referenced by CVC3::ExprManager::getMemory(), and CVC3::Context::getMemory().


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

Generated on Thu Oct 15 22:18:13 2009 for CVC3 by  doxygen 1.5.8