21 #ifndef _cvc3__include__memory_manager_context_h
22 #define _cvc3__include__memory_manager_context_h
146 unsigned long mem = 0;
157 return mem + memSelf;
std::vector< char * > d_nextFreeStack
static unsigned getStaticMemory(int verbosity)
#define DebugAssert(cond, str)
std::vector< char * > d_endChunkStack
void * newData(size_t size)
#define FatalAssert(cond, msg)
If something goes horribly wrong, print a message and abort immediately with exit(1).
unsigned d_indexChunkList
unsigned getMemory(int verbosity)
static void print(std::string name, int verbosity, unsigned long memSelf, unsigned long mem)
std::vector< char * > d_chunkList
std::vector< unsigned > d_indexChunkListStack
static std::vector< char * > s_freePages
static void garbageCollect(void)
static unsigned long getVec(int verbosity, const std::vector< T > &v)
const unsigned chunkSizeBytes