Context Management
[Building Blocks]

Collaboration diagram for Context Management:

Classes

Functions


Detailed Description

Infrastructure for backtrackable data structures.

Function Documentation

bool CVC3::Scope::isCurrent ( void   )  const [inline, inherited]

Definition at line 347 of file context.h.

References CVC3::Scope::d_context, and CVC3::Context::topScope().

void CVC3::Scope::addToChain ( ContextObjChain obj  )  [inline, private, inherited]

Scope * CVC3::Scope::topScope (  )  const [inline, inherited]

Definition at line 358 of file context.h.

References CVC3::Scope::d_context, and CVC3::Context::topScope().

Referenced by CVC3::ContextObj::update().

void CVC3::Scope::restore ( void   )  [inline, inherited]

Restore all the values.

Definition at line 360 of file context.h.

References CVC3::Scope::d_restoreChain, and CVC3::ContextObjChain::restore().

Referenced by CVC3::Context::pop().

CVC3::ContextObj::ContextObj ( Context context  )  [inline, inherited]

Create a new ContextObj.

The initial scope is set to the bottom scope by default, to reduce the work of pop() (otherwise, if the object is defined only on a very high scope, its scope will be moved down with each pop). If 'atBottomScope' == false, the scope is set to the current scope.

Definition at line 371 of file context.h.

References DebugAssert, and IF_DEBUG.


Generated on Thu Oct 15 22:17:15 2009 for CVC3 by  doxygen 1.5.8