CBMC
reference_counting< T, empty > Member List

This is the complete list of members for reference_counting< T, empty >, including all inherited members.

clear()reference_counting< T, empty >inline
copy_from(const reference_counting &other)reference_counting< T, empty >inlineprotected
dreference_counting< T, empty >protected
detach()reference_counting< T, empty >protected
get_d() constreference_counting< T, empty >inline
operator=(const reference_counting &other)reference_counting< T, empty >inline
read() constreference_counting< T, empty >inline
reference_counting()reference_counting< T, empty >inline
reference_counting(const T &other)reference_counting< T, empty >inlineexplicit
reference_counting(const reference_counting &other)reference_counting< T, empty >inline
remove_ref(dt *old_d)reference_counting< T, empty >protected
swap(reference_counting &other)reference_counting< T, empty >inline
write()reference_counting< T, empty >inline
~reference_counting()reference_counting< T, empty >inline