CVCL::Context Class Reference
[Context Management]

#include <context.h>

Collaboration diagram for CVCL::Context:

Collaboration graph
List of all members.

Public Member Functions

Private Attributes

Detailed Description

Encapsulates the general notion of stack-based saving and restoring of a database.

Definition at line 235 of file context.h.

Constructor & Destructor Documentation

CVCL::Context::Context ContextManager cm,
const std::string &  name,
int  id

Context::~Context  ) 

Definition at line 293 of file context.cpp.

References CVCL::Scope::d_context, d_notifyObjList, d_topScope, and CVCL::Scope::prevScope().

Member Function Documentation

ContextManager* CVCL::Context::getCM  )  const [inline]

Access methods.

Definition at line 257 of file context.h.

References d_cm.

const std::string& CVCL::Context::name  )  const [inline]

Definition at line 258 of file context.h.

References d_name.

int CVCL::Context::id  )  const [inline]

Definition at line 259 of file context.h.

References d_id.

Referenced by CVCL::ContextManager::switchContext().

Scope* CVCL::Context::topScope  )  const [inline]

Definition at line 260 of file context.h.

References d_topScope.

Referenced by CVCL::Scope::isCurrent(), popto(), and CVCL::Scope::topScope().

Scope* CVCL::Context::bottomScope  )  const [inline]

Definition at line 261 of file context.h.

References d_bottomScope.

int CVCL::Context::level void   )  const [inline]

Definition at line 262 of file context.h.

References d_topScope, and CVCL::Scope::level().

Referenced by CVCL::SearchSat::Restorer::notifyPre(), pop(), popto(), push(), and CVCL::ContextManager::scopeLevel().

void CVCL::Context::push  )  [inline]

Definition at line 265 of file context.h.

References CVCL::Debug::counter(), d_topScope, CVCL::debugger, IF_DEBUG(), level(), and CVCL::TRACE.

Referenced by CVCL::ContextManager::push().

void Context::pop  ) 

Definition at line 311 of file context.cpp.

References d_notifyObjList, d_topScope, level(), CVCL::Scope::prevScope(), CVCL::Scope::restore(), and CVCL::TRACE.

Referenced by CVCL::ContextManager::pop(), and popto().

void Context::popto int  toLevel  ) 

Definition at line 339 of file context.cpp.

References level(), pop(), and topScope().

Referenced by CVCL::ContextManager::popto().

void CVCL::Context::addNotifyObj ContextNotifyObj obj  )  [inline]

Definition at line 273 of file context.h.

References d_notifyObjList.

Referenced by CVCL::ContextNotifyObj::ContextNotifyObj().

void Context::deleteNotifyObj ContextNotifyObj obj  ) 

Definition at line 348 of file context.cpp.

References d_notifyObjList.

Referenced by CVCL::ContextNotifyObj::~ContextNotifyObj().

Member Data Documentation

ContextManager* CVCL::Context::d_cm [private]

Context Manager.

Definition at line 237 of file context.h.

Referenced by getCM().

std::string CVCL::Context::d_name [private]

Name of context.

Definition at line 240 of file context.h.

Referenced by name().

int CVCL::Context::d_id [private]

Context ID.

Definition at line 243 of file context.h.

Referenced by id().

Scope* CVCL::Context::d_topScope [private]

Pointer to top and bottom scopes of context.

Definition at line 246 of file context.h.

Referenced by level(), pop(), push(), topScope(), and ~Context().

Scope* CVCL::Context::d_bottomScope [private]

Definition at line 247 of file context.h.

Referenced by bottomScope().

std::vector<ContextNotifyObj*> CVCL::Context::d_notifyObjList [private]

List of objects to notify with every pop.

Definition at line 250 of file context.h.

Referenced by addNotifyObj(), deleteNotifyObj(), pop(), and ~Context().

The documentation for this class was generated from the following files:
Generated on Thu Apr 13 16:57:42 2006 for CVC Lite by  doxygen 1.4.4