Public Member Functions | Private Attributes

CVC3::ContextManager Class Reference

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

#include <context.h>

Collaboration diagram for CVC3::ContextManager:
Collaboration graph

List of all members.

Public Member Functions

Private Attributes

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

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: