CVC3  2.4.1
Classes | Private Member Functions | Private Attributes | Friends
CVC3::SmartCDO::RefCDO Class Reference

List of all members.

Classes

Private Member Functions

Private Attributes

Friends


Constructor & Destructor Documentation

CVC3::SmartCDO::RefCDO::RefCDO ( Context context) [inline, private]

Definition at line 78 of file smartcdo.h.

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

Definition at line 81 of file smartcdo.h.

CVC3::SmartCDO::RefCDO::~RefCDO ( ) [inline, private]

Definition at line 85 of file smartcdo.h.


Member Function Documentation

void CVC3::SmartCDO::RefCDO::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::RefCDO::RefNotifyObj::notify(), CVC3::SmartCDO::~SmartCDO(), and CVC3::SmartCDO::operator=().


Friends And Related Function Documentation

friend class SmartCDO [friend]

Definition at line 56 of file smartcdo.h.

friend class RefNotifyObj [friend]

Definition at line 76 of file smartcdo.h.


Member Data Documentation

Definition at line 58 of file smartcdo.h.

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

Definition at line 74 of file smartcdo.h.

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


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