Context Management
[Building Blocks]

Collaboration diagram for Context Management:

Classes

Functions


Detailed Description

Infrastructure for backtrackable data structures.

Function Documentation

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

Definition at line 278 of file context.h.

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

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

Scope * CVCL::Scope::topScope  )  const [inline, inherited]
 

Definition at line 281 of file context.h.

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

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


Generated on Thu Apr 13 16:57:38 2006 for CVC Lite by  doxygen 1.4.4