CVC3
2.4.1
|
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) More... | |
Private Attributes | |
unsigned | d_refCount |
CDO< U > | d_cdo |
bool | d_delay |
Whether to delay our own deletion. More... | |
RefNotifyObj * | d_notifyObj |
Friends | |
class | SmartCDO |
class | RefNotifyObj |
Definition at line 55 of file smartcdo.h.
|
inlineprivate |
Definition at line 78 of file smartcdo.h.
|
inlineprivate |
Definition at line 81 of file smartcdo.h.
Definition at line 85 of file smartcdo.h.
Delete itself, unless delayed (then we'll be called again later)
Definition at line 87 of file smartcdo.h.
Referenced by CVC3::SmartCDO< CVC3::Theorem >::operator=(), and CVC3::SmartCDO< CVC3::Theorem >::~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< CVC3::Theorem >::kill(), CVC3::SmartCDO< CVC3::Theorem >::operator=(), CVC3::SmartCDO< CVC3::Theorem >::SmartCDO(), and CVC3::SmartCDO< CVC3::Theorem >::~SmartCDO().
Definition at line 58 of file smartcdo.h.
Referenced by CVC3::SmartCDO< CVC3::Theorem >::get(), and CVC3::SmartCDO< CVC3::Theorem >::set().
Whether to delay our own deletion.
Definition at line 59 of file smartcdo.h.
Referenced by CVC3::SmartCDO< T >::RefCDO< CVC3::Theorem >::kill().
|
private |
Definition at line 74 of file smartcdo.h.
Referenced by CVC3::SmartCDO< T >::RefCDO< CVC3::Theorem >::~RefCDO().