cprover
reference_counting< T >::dt Class Reference

#include <reference_counting.h>

Inheritance diagram for reference_counting< T >::dt:
[legend]
Collaboration diagram for reference_counting< T >::dt:
[legend]

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.

Referenced by reference_counting< ref_expr_set_dt >::detatch().

Member Data Documentation

§ ref_count

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

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