CVC3::MemoryTracker Class Reference

#include <cvc_util.h>

List of all members.

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
	)		[inline, static]

Definition at line 120 of file cvc_util.h.

References std::endl().

Referenced by CVC3::ContextMemoryManager::getMemory(), CVC3::ExprManager::getMemory(), CVC3::ContextManager::getMemory(), CVC3::Context::getMemory(), CVC3::ContextMemoryManager::getStaticMemory(), getString(), getVec(), getVecAndData(), and getVecAndDataP().

template<typename T >

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

Definition at line 131 of file cvc_util.h.

References print().

Referenced by CVC3::ContextMemoryManager::getMemory(), and CVC3::ContextMemoryManager::getStaticMemory().

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:

• cvc_util.h