CBMC
copy_on_write_pointeet< Num > Member List

This is the complete list of members for copy_on_write_pointeet< Num >, including all inherited members.

copy_on_write_pointeet()=defaultcopy_on_write_pointeet< Num >
copy_on_write_pointeet(const copy_on_write_pointeet &)copy_on_write_pointeet< Num >inline
copy_on_write_pointeet(copy_on_write_pointeet &&)copy_on_write_pointeet< Num >inline
decrement_use_count()copy_on_write_pointeet< Num >inline
increment_use_count()copy_on_write_pointeet< Num >inline
is_shareable() constcopy_on_write_pointeet< Num >inline
operator=(const copy_on_write_pointeet &)copy_on_write_pointeet< Num >inline
operator=(copy_on_write_pointeet &&)copy_on_write_pointeet< Num >inline
set_shareable(bool u)copy_on_write_pointeet< Num >inline
unshareablecopy_on_write_pointeet< Num >privatestatic
use_count() constcopy_on_write_pointeet< Num >inline
use_count_copy_on_write_pointeet< Num >private
~copy_on_write_pointeet()=defaultcopy_on_write_pointeet< Num >protected