CVCL::ContextNotifyObj Class Reference
[Context Management]

#include <context.h>

Inheritance diagram for CVCL::ContextNotifyObj:

Inheritance graph
Collaboration diagram for CVCL::ContextNotifyObj:

Collaboration graph
List of all members.

Public Member Functions

Protected Attributes


Detailed Description

Author: Clark Barrett

Created: Sat Feb 22 16:21:47 2003

Lightweight version of ContextObj: objects are simply notified every time there's a pop. notifyPre() is called right before the context is restored, and notify() is called after the context is restored.

Definition at line 321 of file context.h.

Constructor & Destructor Documentation

CVCL::ContextNotifyObj::ContextNotifyObj Context context  )  [inline]

Definition at line 326 of file context.h.

References CVCL::Context::addNotifyObj().

virtual CVCL::ContextNotifyObj::~ContextNotifyObj  )  [inline, virtual]

Definition at line 328 of file context.h.

References d_context, and CVCL::Context::deleteNotifyObj().

Member Function Documentation

virtual void CVCL::ContextNotifyObj::notifyPre void   )  [inline, virtual]

Reimplemented in CVCL::ExprManagerNotifyObj, CVCL::SearchSat::Restorer, CVCL::SmartCDO< T >::RefCDO< U >::RefNotifyObj, and CVCL::VariableManagerNotifyObj.

Definition at line 334 of file context.h.

virtual void CVCL::ContextNotifyObj::notify void   )  [inline, virtual]

Reimplemented in CVCL::ExprManagerNotifyObj, CVCL::SearchEngineFast::ConflictClauseManager, CVCL::SmartCDO< T >::RefCDO< U >::RefNotifyObj, CVCL::TheoryCore::CoreNotifyObj, and CVCL::VariableManagerNotifyObj.

Definition at line 335 of file context.h.

Friends And Related Function Documentation

friend class Context [friend]

Definition at line 322 of file context.h.

Member Data Documentation

Context* CVCL::ContextNotifyObj::d_context [protected]

Definition at line 324 of file context.h.

Referenced by CVCL::SearchSat::Restorer::notifyPre(), and ~ContextNotifyObj().

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