CVC3
2.4.1
|
Private Member Functions | |
RefNotifyObj (RefCDO< U > *ref, Context *context) | |
Constructor. | |
void | notifyPre () |
void | notify () |
Private Attributes | |
RefCDO< U > * | d_ref |
Friends | |
class | RefCDO |
Additional Inherited Members | |
![]() | |
ContextNotifyObj (Context *context) | |
virtual | ~ContextNotifyObj () |
virtual unsigned long | getMemory (int verbosity) |
![]() | |
Context * | d_context |
Definition at line 61 of file smartcdo.h.
|
inlineprivate |
Constructor.
Definition at line 65 of file smartcdo.h.
|
inlineprivatevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 67 of file smartcdo.h.
References CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref.
|
inlineprivatevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 68 of file smartcdo.h.
References CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref.
Definition at line 62 of file smartcdo.h.
|
private |
Definition at line 63 of file smartcdo.h.
Referenced by CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notify(), and CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notifyPre().