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 | detatch () |
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.
Referenced by reference_counting< ref_expr_set_dt >::operator=().
|
protected |
Definition at line 148 of file reference_counting.h.
Referenced by reference_counting< ref_expr_set_dt >::write().
|
inline |
Definition at line 112 of file reference_counting.h.
Referenced by operator==().
|
inline |
Definition at line 44 of file reference_counting.h.
|
inline |
Definition at line 67 of file reference_counting.h.
Referenced by value_sett::assign_rec(), value_set_fit::assign_rec(), value_set_fivrnst::assign_rec(), value_set_fivrt::assign_rec(), value_set_fivrnst::copy_objects(), value_set_fivrt::copy_objects(), value_sett::do_free(), value_set_fit::do_free(), value_set_fivrnst::do_free(), value_set_fivrt::do_free(), value_set_fit::flatten_rec(), value_set_fivrt::flatten_rec(), value_sett::get_reference_set(), value_set_fit::get_reference_set(), value_set_fivrnst::get_reference_set(), value_set_fivrt::get_reference_set(), value_sett::get_reference_set_rec(), value_set_fivrnst::get_reference_set_rec(), value_set_fit::get_reference_set_sharing(), value_set_fivrt::get_reference_set_sharing(), value_set_fit::get_reference_set_sharing_rec(), value_set_fivrt::get_reference_set_sharing_rec(), value_sett::get_value_set(), value_set_fit::get_value_set(), value_set_fivrnst::get_value_set(), value_set_fivrt::get_value_set(), value_sett::get_value_set_rec(), value_set_fit::get_value_set_rec(), value_set_fivrnst::get_value_set_rec(), value_set_fivrt::get_value_set_rec(), value_sett::insert(), value_set_fit::insert(), value_sett::make_union(), value_set_fit::make_union(), value_set_fivrnst::make_union(), value_set_fivrt::make_union(), value_set_fivrnst::make_valid_union(), value_set_fivrt::make_valid_union(), operator==(), value_sett::output(), value_set_fit::output(), value_set_fivrt::output(), value_set_fivrnst::output_entry(), and value_set_fivrt::recursive_find().
|
protected |
Definition at line 119 of file reference_counting.h.
Referenced by reference_counting< ref_expr_set_dt >::clear(), reference_counting< ref_expr_set_dt >::copy_from(), and reference_counting< ref_expr_set_dt >::~reference_counting().
|
inline |
Definition at line 56 of file reference_counting.h.
|
inline |
Definition at line 74 of file reference_counting.h.
Referenced by value_set_fivrnst::copy_objects(), value_set_fivrt::copy_objects(), value_set_fit::flatten_rec(), value_set_fivrt::flatten_rec(), value_set_fit::get_reference_set(), value_set_fivrt::get_reference_set(), value_set_fit::get_reference_set_sharing_rec(), value_set_fivrt::get_reference_set_sharing_rec(), value_set_fit::get_value_set(), value_set_fivrt::get_value_set(), value_sett::get_value_set_rec(), value_set_fivrnst::handover(), value_set_fivrt::handover(), value_sett::insert(), value_set_fit::insert(), value_set_fivrt::insert_from(), value_set_fivrnst::insert_from(), value_set_fivrnst::insert_to(), value_set_fivrt::insert_to(), reference_counting< ref_expr_set_dt >::reference_counting(), value_sett::set(), value_set_fit::set(), value_set_fivrt::set(), and value_set_fivrnst::set().
|
protected |
Definition at line 91 of file reference_counting.h.
Referenced by reference_counting< ref_expr_set_dt >::clear(), reference_counting< ref_expr_set_dt >::copy_from(), reference_counting< ref_expr_set_dt >::get_d(), reference_counting< ref_expr_set_dt >::read(), reference_counting< ref_expr_set_dt >::reference_counting(), reference_counting< ref_expr_set_dt >::swap(), reference_counting< ref_expr_set_dt >::write(), and reference_counting< ref_expr_set_dt >::~reference_counting().