|
cprover
|
#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_counting & | operator= (const reference_counting &other) |
| ~reference_counting () | |
| void | swap (reference_counting &other) |
| void | clear () |
| const T & | read () const |
| T & | write () |
| dt * | get_d () const |
Protected Member Functions | |
| void | remove_ref (dt *old_d) |
| void | detach () |
| void | copy_from (const reference_counting &other) |
Protected Attributes | |
| dt * | d |
Definition at line 19 of file reference_counting.h.
|
inline |
Definition at line 22 of file reference_counting.h.
|
inlineexplicit |
Definition at line 26 of file reference_counting.h.
|
inline |
Definition at line 32 of file reference_counting.h.
|
inline |
Definition at line 50 of file reference_counting.h.
|
inline |
Definition at line 61 of file reference_counting.h.
|
inlineprotected |
Definition at line 97 of file reference_counting.h.
|
protected |
Definition at line 148 of file reference_counting.h.
|
inline |
Definition at line 112 of file reference_counting.h.
|
inline |
Definition at line 44 of file reference_counting.h.
|
inline |
Definition at line 67 of file reference_counting.h.
|
protected |
Definition at line 119 of file reference_counting.h.
|
inline |
Definition at line 56 of file reference_counting.h.
|
inline |
Definition at line 74 of file reference_counting.h.
|
protected |
Definition at line 91 of file reference_counting.h.