cprover
|
#include <reference_counting.h>
Public Member Functions | |
dt () | |
Public Attributes | |
unsigned | ref_count |
Definition at line 81 of file reference_counting.h.
|
inline |
Definition at line 86 of file reference_counting.h.
unsigned reference_counting< T >::dt::ref_count |
Definition at line 84 of file reference_counting.h.
Referenced by reference_counting< ref_expr_set_dt >::copy_from(), and reference_counting< ref_expr_set_dt >::reference_counting().