CBMC
small_shared_n_way_pointee_baset< N, Num > Member List

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

bit_widthsmall_shared_n_way_pointee_baset< N, Num >privatestatic
decrement_use_count()small_shared_n_way_pointee_baset< N, Num >inline
get_use_count() constsmall_shared_n_way_pointee_baset< N, Num >inline
increment_use_count()small_shared_n_way_pointee_baset< N, Num >inline
is_derived() constsmall_shared_n_way_pointee_baset< N, Num >inline
is_same_type(const small_shared_n_way_pointee_baset &other) constsmall_shared_n_way_pointee_baset< N, Num >inline
num_bits(const std::size_t n)small_shared_n_way_pointee_baset< N, Num >inlineprivatestatic
operator=(const small_shared_n_way_pointee_baset &)small_shared_n_way_pointee_baset< N, Num >inline
set_derived()small_shared_n_way_pointee_baset< N, Num >inline
small_shared_n_way_pointee_baset()=defaultsmall_shared_n_way_pointee_baset< N, Num >
small_shared_n_way_pointee_baset(const small_shared_n_way_pointee_baset &)small_shared_n_way_pointee_baset< N, Num >inline
type_bit_widthsmall_shared_n_way_pointee_baset< N, Num >privatestatic
use_countsmall_shared_n_way_pointee_baset< N, Num >private
use_count_bit_widthsmall_shared_n_way_pointee_baset< N, Num >privatestatic
use_count_masksmall_shared_n_way_pointee_baset< N, Num >privatestatic