CVC3::SmartCDO< T >::SmartCDO::RefCDO< U > Class Template Reference

Inheritance diagram for CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >:

[legend]

Collaboration diagram for CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >:

[legend]

List of all members.

Classes

• class RefNotifyObj

Private Member Functions

• RefCDO (Context *context)
• RefCDO (Context *context, const U &cdo, int scope=-1)
• ~RefCDO ()
• void kill ()

  Delete itself, unless delayed (then we'll be called again later).
  

Private Attributes

• unsigned d_refCount
• CDO< U > d_cdo
• bool d_delay

  Whether to delay our own deletion.
  

• RefNotifyObj * d_notifyObj

Friends

• class SmartCDO
• class RefNotifyObj

---

Detailed Description

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

Definition at line 55 of file smartcdo.h.

---

Constructor & Destructor Documentation

template<class T>

template<class U>

CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::RefCDO

(

Context *

context

)

[inline, private]

Definition at line 78 of file smartcdo.h.

template<class T>

template<class U>

CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::RefCDO	(	Context *	context,
		const U &	cdo,
		int	scope = -1
	)			[inline, private]

Definition at line 81 of file smartcdo.h.

template<class T>

template<class U>

CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::~RefCDO

(

)

[inline, private]

Definition at line 85 of file smartcdo.h.

---

Member Function Documentation

template<class T>

template<class U>

void CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::kill

(

)

[inline, private]

Delete itself, unless delayed (then we'll be called again later).

Definition at line 87 of file smartcdo.h.

Referenced by CVC3::SmartCDO< Unsigned >::operator=(), and CVC3::SmartCDO< Unsigned >::~SmartCDO().

---

Friends And Related Function Documentation

template<class T>

template<class U>

friend class SmartCDO [friend]

Definition at line 56 of file smartcdo.h.

template<class T>

template<class U>

friend class RefNotifyObj [friend]

Definition at line 76 of file smartcdo.h.

---

Member Data Documentation

template<class T>

template<class U>

unsigned CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::d_refCount [private]

Definition at line 57 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< Unsigned >::kill(), CVC3::SmartCDO< Unsigned >::operator=(), CVC3::SmartCDO< Unsigned >::SmartCDO(), and CVC3::SmartCDO< Unsigned >::~SmartCDO().

template<class T>

template<class U>

CDO<U> CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::d_cdo [private]

Definition at line 58 of file smartcdo.h.

Referenced by CVC3::SmartCDO< Unsigned >::get(), and CVC3::SmartCDO< Unsigned >::set().

template<class T>

template<class U>

bool CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::d_delay [private]

Whether to delay our own deletion.

Definition at line 59 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< Unsigned >::kill().

template<class T>

template<class U>

RefNotifyObj* CVC3::SmartCDO< T >::SmartCDO::RefCDO< U >::d_notifyObj [private]

Definition at line 74 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< Unsigned >::~RefCDO().

---

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

• smartcdo.h