CountRefHandle

Synopsis

Declared in <support/CountRefHandle.h>

template<class T>
class CountRefHandle;

Member Functions

Name	Description
CountRefHandle [constructor]	Constructors
~CountRefHandle [destructor]	Destructor
operator=	Copy assignment operator
Reset
operator==	Equality operator

Protected Member Functions

Name

ConstPtr

ConstRef

UpdatePtr

UpdateRef

Private Member Functions

Name

DecreaseUse

IncreaseUse

Init

RefCount

Private Data Members

Name

count

obj

Derived Classes

Name	Description
BitVectorRepr
IteratorWrap
SymbolicExpr
SymbolicVal

Created with MrDocs