CVC3::ContextNotifyObj Class Reference

#include <context.h>

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

Collaboration diagram for CVC3::ContextNotifyObj:

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 ( )

inlinevirtual

Definition at line 430 of file context.h.

Member Function Documentation

virtual void CVC3::ContextNotifyObj::notifyPre ( void  )

inlinevirtual

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

Definition at line 436 of file context.h.

virtual void CVC3::ContextNotifyObj::notify ( void  )

inlinevirtual

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

Definition at line 437 of file context.h.

virtual unsigned long CVC3::ContextNotifyObj::getMemory ( int  verbosity )

inlinevirtual

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.

---

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

• context.h