cprover
|
#include <reference_counting.h>
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.