CBMC
sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT > Member List

This is the complete list of members for sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >, including all inherited members.

add_item_if_not_shared(const nodet &leaf, const nodet &inner, const std::size_t level, delta_viewt &delta_view, const bool only_common) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
bitssharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protectedstatic
chunksharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protectedstatic
clear()sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
count_unmarked_nodes(bool leafs_only, std::set< const void * > &marked, bool mark=true) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
delta_viewt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
dummy_levelsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protectedstatic
empty() constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
erase(const key_type &k)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
erase_if_exists(const key_type &k)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
find(const key_type &k) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
gather_all(const nodet &n, delta_viewt &delta_view) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
get_delta_view(const sharing_mapt &other, delta_viewt &delta_view, const bool only_common=true) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
get_delta_view(const sharing_mapt &other, const bool only_common=true) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
get_leaf_node(const key_type &k)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
get_leaf_node(const key_type &k) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
get_sharing_stats(Iterator begin, Iterator end, std::function< sharing_mapt &(const Iterator)> f=[](const Iterator it) -> sharing_mapt &{ return *it;})sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >static
get_sharing_stats_map(Iterator begin, Iterator end)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >static
get_sorted_view() constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
get_view(V &view) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
get_view() constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
get_view(view_type &view) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
has_key(const key_type &k) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
hash typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
insert(const key_type &k, valueU &&m)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
insert_or_replace(const key_type &k, valueU &&m)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
insert_view_item(viewt &v, view_itemt &&vi)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inlinestatic
insert_view_item(sorted_viewt &v, view_itemt &&vi)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inlinestatic
iterate(std::function< void(const key_type &k, const mapped_type &m)> f) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
iterate(const nodet &n, std::function< void(const key_type &k, const mapped_type &m)> f) constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
key_equal typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
key_type typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
keyst typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
leaf_listt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
levelssharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protectedstatic
mapsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
mapped_type typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
masksharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protectedstatic
migrate(const std::size_t starting_level, const std::size_t key_suffix, const std::size_t bit_last, nodet &inner, const key_type &k, valueU &&m)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
nodet typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
numsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
replace(const key_type &k, valueU &&m)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
size() constsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
size_type typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
sorted_viewt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
swap(sharing_mapt &other)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline
to_mapt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
update(const key_type &k, std::function< void(mapped_type &)> mutator)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
value_comparatort typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
value_equalt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >protected
view_itemt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
viewt typedefsharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
~sharing_mapt()sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >inline