CVC3
|
#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) |
Definition at line 118 of file cvc_util.h.
|
inlinestatic |
Definition at line 120 of file cvc_util.h.
References std::endl().
Referenced by CVC3::ContextMemoryManager::getMemory(), CVC3::Context::getMemory(), CVC3::ContextManager::getMemory(), CVC3::ExprManager::getMemory(), CVC3::ContextMemoryManager::getStaticMemory(), getString(), getVec(), getVecAndData(), and getVecAndDataP().
|
inlinestatic |
Definition at line 131 of file cvc_util.h.
References print().
Referenced by CVC3::ContextMemoryManager::getMemory(), and CVC3::ContextMemoryManager::getStaticMemory().
|
inlinestatic |
Definition at line 140 of file cvc_util.h.
References print().
|
inlinestatic |
Definition at line 152 of file cvc_util.h.
References print().
Referenced by CVC3::Context::getMemory().
|
inlinestatic |
Definition at line 163 of file cvc_util.h.
References print().
Referenced by CVC3::Context::getMemory(), and CVC3::ExprManager::getMemory().