Definition at line 55 of file smartcdo.h.
CVC3::SmartCDO< T >::RefCDO< U >::RefCDO | ( | Context * | context | ) | [inline, private] |
Definition at line 78 of file smartcdo.h.
CVC3::SmartCDO< T >::RefCDO< U >::RefCDO | ( | Context * | context, | |
const U & | cdo, | |||
int | scope = -1 | |||
) | [inline, private] |
Definition at line 81 of file smartcdo.h.
Definition at line 85 of file smartcdo.h.
void CVC3::SmartCDO< T >::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().
Definition at line 56 of file smartcdo.h.
Definition at line 76 of file smartcdo.h.
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().
Definition at line 58 of file smartcdo.h.
Referenced by CVC3::SmartCDO< unsigned >::get(), and CVC3::SmartCDO< unsigned >::set().
Whether to delay our own deletion.
Definition at line 59 of file smartcdo.h.
Referenced by CVC3::SmartCDO< T >::RefCDO< unsigned >::kill().
RefNotifyObj* CVC3::SmartCDO< T >::RefCDO< U >::d_notifyObj [private] |
Definition at line 74 of file smartcdo.h.
Referenced by CVC3::SmartCDO< T >::RefCDO< unsigned >::~RefCDO().