CVC3  2.4.1
Classes | Functions
Context Management

Classes

class  CVC3::Scope
 
class  CVC3::ContextObjChain
 
class  CVC3::ContextObj
 
class  CVC3::Context
 
class  CVC3::ContextManager
 Manager for multiple contexts. Also holds current context. More...
 
class  CVC3::ContextNotifyObj
 

Functions

bool CVC3::Scope::isCurrent (void) const
 
void CVC3::Scope::addToChain (ContextObjChain *obj)
 Called by ContextObj when created. More...
 
Scope * CVC3::Scope::topScope () const
 
void CVC3::Scope::restore (void)
 Restore all the values. More...
 
 CVC3::ContextObj::ContextObj (Context *context)
 Create a new ContextObj. More...
 

Detailed Description

Infrastructure for backtrackable data structures.

Function Documentation

bool CVC3::Scope::isCurrent ( void  ) const
inline

Definition at line 347 of file context.h.

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

void CVC3::Scope::addToChain ( ContextObjChain obj)
inlineprivate
Scope * CVC3::Scope::topScope ( ) const
inline

Definition at line 358 of file context.h.

References CVC3::Scope::topScope().

Referenced by CVC3::Scope::topScope().

void CVC3::Scope::restore ( void  )
inline

Restore all the values.

Definition at line 360 of file context.h.

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

CVC3::ContextObj::ContextObj ( Context context)
inline

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 CVC3::Scope::addToChain(), CVC3::ContextObjChain::ContextObjChain(), DebugAssert, and IF_DEBUG.