#include <context.h>
Inheritance diagram for CVCL::ContextNotifyObj:
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.
|
Definition at line 326 of file context.h. References CVCL::Context::addNotifyObj(). |
|
Definition at line 328 of file context.h. References d_context, and CVCL::Context::deleteNotifyObj(). |
|
Reimplemented in CVCL::ExprManagerNotifyObj, CVCL::SearchSat::Restorer, CVCL::SmartCDO< T >::RefCDO< U >::RefNotifyObj, and CVCL::VariableManagerNotifyObj. |
|
|
|
|
Definition at line 324 of file context.h. Referenced by CVCL::SearchSat::Restorer::notifyPre(), and ~ContextNotifyObj(). |