CBMC
Public Member Functions | Public Attributes | List of all members
reference_counting< T, empty >::dt Class Reference

#include <reference_counting.h>

+ Inheritance diagram for reference_counting< T, empty >::dt:
+ Collaboration diagram for reference_counting< T, empty >::dt:

Public Member Functions

 dt ()
 

Public Attributes

unsigned ref_count
 

Detailed Description

template<typename T, const T & empty = T::blank>
class reference_counting< T, empty >::dt

Definition at line 83 of file reference_counting.h.

Constructor & Destructor Documentation

◆ dt()

template<typename T , const T & empty = T::blank>
reference_counting< T, empty >::dt::dt ( )
inline

Definition at line 88 of file reference_counting.h.

Member Data Documentation

◆ ref_count

template<typename T , const T & empty = T::blank>
unsigned reference_counting< T, empty >::dt::ref_count

Definition at line 86 of file reference_counting.h.

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