cprover
reference_counting< T > Class Template Reference

#include <reference_counting.h>

+ Inheritance diagram for reference_counting< T >:
+ Collaboration diagram for reference_counting< T >:

Classes

class  dt
 

Public Member Functions

 reference_counting ()
 
 reference_counting (const T &other)
 
 reference_counting (const reference_counting &other)
 
reference_countingoperator= (const reference_counting &other)
 
 ~reference_counting ()
 
void swap (reference_counting &other)
 
void clear ()
 
const T & read () const
 
T & write ()
 
dtget_d () const
 

Protected Member Functions

void remove_ref (dt *old_d)
 
void detach ()
 
void copy_from (const reference_counting &other)
 

Protected Attributes

dtd
 

Detailed Description

template<typename T>
class reference_counting< T >

Definition at line 19 of file reference_counting.h.

Constructor & Destructor Documentation

◆ reference_counting() [1/3]

template<typename T>
reference_counting< T >::reference_counting ( )
inline

Definition at line 22 of file reference_counting.h.

◆ reference_counting() [2/3]

template<typename T>
reference_counting< T >::reference_counting ( const T &  other)
inlineexplicit

Definition at line 26 of file reference_counting.h.

◆ reference_counting() [3/3]

template<typename T>
reference_counting< T >::reference_counting ( const reference_counting< T > &  other)
inline

Definition at line 32 of file reference_counting.h.

◆ ~reference_counting()

template<typename T>
reference_counting< T >::~reference_counting ( )
inline

Definition at line 50 of file reference_counting.h.

Member Function Documentation

◆ clear()

template<typename T>
void reference_counting< T >::clear ( void  )
inline

Definition at line 61 of file reference_counting.h.

◆ copy_from()

template<typename T>
void reference_counting< T >::copy_from ( const reference_counting< T > &  other)
inlineprotected

Definition at line 97 of file reference_counting.h.

◆ detach()

template<class T >
void reference_counting< T >::detach ( )
protected

Definition at line 148 of file reference_counting.h.

◆ get_d()

template<typename T>
dt* reference_counting< T >::get_d ( ) const
inline

Definition at line 112 of file reference_counting.h.

◆ operator=()

template<typename T>
reference_counting& reference_counting< T >::operator= ( const reference_counting< T > &  other)
inline

Definition at line 44 of file reference_counting.h.

◆ read()

template<typename T>
const T& reference_counting< T >::read ( ) const
inline

Definition at line 67 of file reference_counting.h.

◆ remove_ref()

template<class T >
void reference_counting< T >::remove_ref ( dt old_d)
protected

Definition at line 119 of file reference_counting.h.

◆ swap()

template<typename T>
void reference_counting< T >::swap ( reference_counting< T > &  other)
inline

Definition at line 56 of file reference_counting.h.

◆ write()

template<typename T>
T& reference_counting< T >::write ( )
inline

Definition at line 74 of file reference_counting.h.

Member Data Documentation

◆ d

template<typename T>
dt* reference_counting< T >::d
protected

Definition at line 91 of file reference_counting.h.


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