CVC3::ContextNotifyObj Class Reference
[Context Management]

#include <context.h>

Inheritance diagram for CVC3::ContextNotifyObj:

[legend]

Collaboration diagram for CVC3::ContextNotifyObj:

[legend]

List of all members.

Public Member Functions

• ContextNotifyObj (Context *context)
• virtual ~ContextNotifyObj ()
• virtual void notifyPre (void)
• virtual void notify (void)
• virtual unsigned long getMemory (int verbosity)

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 423 of file context.h.

---

Constructor & Destructor Documentation

CVC3::ContextNotifyObj::ContextNotifyObj

(

Context *

context

)

[inline]

Definition at line 428 of file context.h.

References CVC3::Context::addNotifyObj().

virtual CVC3::ContextNotifyObj::~ContextNotifyObj

(

)

[inline, virtual]

Definition at line 430 of file context.h.

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

---

Member Function Documentation

virtual void CVC3::ContextNotifyObj::notifyPre

(

void

)

[inline, virtual]

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

Definition at line 436 of file context.h.

virtual void CVC3::ContextNotifyObj::notify

(

void

)

[inline, virtual]

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

Definition at line 437 of file context.h.

virtual unsigned long CVC3::ContextNotifyObj::getMemory

(

int

verbosity

)

[inline, virtual]

Reimplemented in CVC3::ExprManagerNotifyObj.

Definition at line 438 of file context.h.

---

Friends And Related Function Documentation

friend class Context [friend]

Definition at line 424 of file context.h.

---

Member Data Documentation

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

Definition at line 426 of file context.h.

Referenced by ~ContextNotifyObj().

---

The documentation for this class was generated from the following file:

• context.h