cprover
reference_counting< T >::dt Class Reference

#include <reference_counting.h>

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

Public Member Functions

 dt ()
 

Public Attributes

unsigned ref_count
 

Detailed Description

template<typename T>
class reference_counting< T >::dt

Definition at line 81 of file reference_counting.h.

Constructor & Destructor Documentation

◆ dt()

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

Definition at line 86 of file reference_counting.h.

Member Data Documentation

◆ ref_count

template<typename T>
unsigned reference_counting< T >::dt::ref_count

Definition at line 84 of file reference_counting.h.


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