CVC3
|
#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.
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 |
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.
|
inline |
Definition at line 428 of file context.h.
References CVC3::Context::addNotifyObj().
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
|
inlinevirtual |
Reimplemented in CVC3::ExprManagerNotifyObj.