CVC3  2.4.1
Static Public Member Functions | List of all members
CVC3::MemoryTracker Class Reference

#include <cvc_util.h>

Static Public Member Functions

static void print (std::string name, int verbosity, unsigned long memSelf, unsigned long mem)
 
template<typename T >
static unsigned long getVec (int verbosity, const std::vector< T > &v)
 
template<typename T >
static unsigned long getVecAndData (int verbosity, const std::vector< T > &v)
 
template<typename T >
static unsigned long getVecAndDataP (int verbosity, const std::vector< T > &v)
 
static unsigned long getString (int verbosity, const std::string &s)
 

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 
)
inlinestatic
template<typename T >
static unsigned long CVC3::MemoryTracker::getVec ( int  verbosity,
const std::vector< T > &  v 
)
inlinestatic
template<typename T >
static unsigned long CVC3::MemoryTracker::getVecAndData ( int  verbosity,
const std::vector< T > &  v 
)
inlinestatic

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 
)
inlinestatic

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 
)
inlinestatic

Definition at line 163 of file cvc_util.h.

References print().

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


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