CVC3  2.4.1
Private Member Functions | Private Attributes | Friends | List of all members
CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj Class Reference
Inheritance diagram for CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj:
CVC3::ContextNotifyObj

Private Member Functions

 RefNotifyObj (RefCDO< U > *ref, Context *context)
 Constructor. More...
 
void notifyPre ()
 
void notify ()
 

Private Attributes

RefCDO< U > * d_ref
 

Friends

class RefCDO
 

Additional Inherited Members

- Public Member Functions inherited from CVC3::ContextNotifyObj
 ContextNotifyObj (Context *context)
 
virtual ~ContextNotifyObj ()
 
virtual unsigned long getMemory (int verbosity)
 
- Protected Attributes inherited from CVC3::ContextNotifyObj
Contextd_context
 

Detailed Description

template<class T>
template<class U>
class CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj

Definition at line 61 of file smartcdo.h.

Constructor & Destructor Documentation

template<class T>
template<class U>
CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::RefNotifyObj ( RefCDO< U > *  ref,
Context context 
)
inlineprivate

Constructor.

Definition at line 65 of file smartcdo.h.

Member Function Documentation

template<class T>
template<class U>
void CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notifyPre ( void  )
inlineprivatevirtual

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 67 of file smartcdo.h.

References CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref.

template<class T>
template<class U>
void CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notify ( void  )
inlineprivatevirtual

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 68 of file smartcdo.h.

References CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref.

Friends And Related Function Documentation

template<class T>
template<class U>
friend class RefCDO
friend

Definition at line 62 of file smartcdo.h.

Member Data Documentation

template<class T>
template<class U>
RefCDO<U>* CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref
private

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