

Definition at line 61 of file smartcdo.h.
| CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::RefNotifyObj | ( | RefCDO< U > * | ref, | |
| Context * | context | |||
| ) | [inline, private] |
| void CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::notifyPre | ( | void | ) | [inline, private, virtual] |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 67 of file smartcdo.h.
References CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::d_ref.
| void CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::notify | ( | void | ) | [inline, private, virtual] |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 68 of file smartcdo.h.
References CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::d_ref.
Definition at line 62 of file smartcdo.h.
RefCDO<U>* CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::d_ref [private] |
Definition at line 63 of file smartcdo.h.
Referenced by CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::notify(), and CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::SmartCDO::RefCDO::RefNotifyObj::notifyPre().
1.5.8