CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
CVC3::ContextManager Class Reference

Manager for multiple contexts. Also holds current context. More...

#include <context.h>

Public Member Functions

 ContextManager ()
 ~ContextManager ()
void push ()
void pop ()
void popto (int toLevel)
int scopeLevel ()
ContextcreateContext (const std::string &name="")
ContextgetCurrentContext ()
ContextswitchContext (Context *context)
unsigned long getMemory (int verbosity)

Private Attributes

Contextd_curContext
std::vector< Context * > d_contexts

Detailed Description

Manager for multiple contexts. Also holds current context.

Author: Clark Barrett

Created: Thu Feb 13 00:26:29 2003

Definition at line 393 of file context.h.

Constructor & Destructor Documentation

ContextManager::ContextManager ( )

Definition at line 330 of file context.cpp.

ContextManager::~ContextManager ( )

Definition at line 336 of file context.cpp.

Member Function Documentation

void CVC3::ContextManager::push ( )
inline
void CVC3::ContextManager::pop ( )
inline
void CVC3::ContextManager::popto ( int  toLevel)
inline
int CVC3::ContextManager::scopeLevel ( )
inline
Context * ContextManager::createContext ( const std::string &  name = "")

Definition at line 345 of file context.cpp.

References CVC3::Context::Context().

Context* CVC3::ContextManager::getCurrentContext ( )
inline
Context * ContextManager::switchContext ( Context context)

Definition at line 352 of file context.cpp.

References DebugAssert, FatalAssert, and CVC3::Context::id().

unsigned long ContextManager::getMemory ( int  verbosity)

Member Data Documentation

Context* CVC3::ContextManager::d_curContext
private

Definition at line 394 of file context.h.

std::vector<Context*> CVC3::ContextManager::d_contexts
private

Definition at line 395 of file context.h.


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