CVCL::ContextNotifyObj Class Reference
[Context Management]

#include <context.h>

Inheritance diagram for CVCL::ContextNotifyObj:

[legend]Collaboration diagram for CVCL::ContextNotifyObj:

[legend]List of all members.

Public Member Functions

• ContextNotifyObj (Context *context)
• virtual ~ContextNotifyObj ()
• virtual void notifyPre (void)
• virtual void notify (void)

Protected Attributes

• Context * d_context

Friends

• class Context

---

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:

• context.h

---