cprover
sharing_mapt< keyT, valueT, hashT, equalT > Member List

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

at(const key_type &k, const tvt &key_exists=tvt::unknown())sharing_mapt< keyT, valueT, hashT, equalT >
at(const key_type &k) constsharing_mapt< keyT, valueT, hashT, equalT >
baset typedefsharing_mapt< keyT, valueT, hashT, equalT >protected
bitssharing_mapt< keyT, valueT, hashT, equalT >protectedstatic
chunksharing_mapt< keyT, valueT, hashT, equalT >protectedstatic
clear()sharing_mapt< keyT, valueT, hashT, equalT >inline
const_find_type typedefsharing_mapt< keyT, valueT, hashT, equalT >
count_unmarked_nodes(bool leafs_only, std::set< void *> &marked, bool mark=true) constsharing_mapt< keyT, valueT, hashT, equalT >protected
delta_viewt typedefsharing_mapt< keyT, valueT, hashT, equalT >
dummysharing_mapt< keyT, valueT, hashT, equalT >protectedstatic
empty() constsharing_mapt< keyT, valueT, hashT, equalT >inline
erase(const key_type &k, const tvt &key_exists=tvt::unknown())sharing_mapt< keyT, valueT, hashT, equalT >
erase_all(const keyst &ks, const tvt &key_exists=tvt::unknown())sharing_mapt< keyT, valueT, hashT, equalT >
find(const key_type &k, const tvt &key_exists=tvt::unknown())sharing_mapt< keyT, valueT, hashT, equalT >
find(const key_type &k) constsharing_mapt< keyT, valueT, hashT, equalT >
find_type typedefsharing_mapt< keyT, valueT, hashT, equalT >
gather_all(const baset &n, const unsigned depth, delta_viewt &delta_view) constsharing_mapt< keyT, valueT, hashT, equalT >protected
get_container_node(const key_type &k)sharing_mapt< keyT, valueT, hashT, equalT >protected
get_container_node(const key_type &k) constsharing_mapt< keyT, valueT, hashT, equalT >protected
get_delta_view(const sharing_mapt &other, delta_viewt &delta_view, const bool only_common=true) constsharing_mapt< keyT, valueT, hashT, equalT >
get_leaf_node(const key_type &k) constsharing_mapt< keyT, valueT, hashT, equalT >inlineprotected
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, hashT, equalT >static
get_sharing_stats_map(Iterator begin, Iterator end)sharing_mapt< keyT, valueT, hashT, equalT >static
get_view(viewt &view) constsharing_mapt< keyT, valueT, hashT, equalT >
has_key(const key_type &k) constsharing_mapt< keyT, valueT, hashT, equalT >inline
hash typedefsharing_mapt< keyT, valueT, hashT, equalT >
innert typedefsharing_mapt< keyT, valueT, hashT, equalT >protected
insert(const key_type &k, const mapped_type &v, const tvt &key_exists=tvt::unknown())sharing_mapt< keyT, valueT, hashT, equalT >
insert(const value_type &p, const tvt &key_exists=tvt::unknown())sharing_mapt< keyT, valueT, hashT, equalT >
iterate(const baset &n, const unsigned depth, std::function< void(const key_type &k, const mapped_type &m)> f) constsharing_mapt< keyT, valueT, hashT, equalT >protected
key_equal typedefsharing_mapt< keyT, valueT, hashT, equalT >
key_type typedefsharing_mapt< keyT, valueT, hashT, equalT >
keyst typedefsharing_mapt< keyT, valueT, hashT, equalT >
leaf_listt typedefsharing_mapt< keyT, valueT, hashT, equalT >protected
leaft typedefsharing_mapt< keyT, valueT, hashT, equalT >protected
mapsharing_mapt< keyT, valueT, hashT, equalT >protected
mapped_type typedefsharing_mapt< keyT, valueT, hashT, equalT >
masksharing_mapt< keyT, valueT, hashT, equalT >protectedstatic
not_found_msgsharing_mapt< keyT, valueT, hashT, equalT >protectedstatic
numsharing_mapt< keyT, valueT, hashT, equalT >protected
operator[](const key_type &k)sharing_mapt< keyT, valueT, hashT, equalT >
place(const key_type &k, const mapped_type &v)sharing_mapt< keyT, valueT, hashT, equalT >
place(const value_type &p)sharing_mapt< keyT, valueT, hashT, equalT >
size() constsharing_mapt< keyT, valueT, hashT, equalT >inline
size_type typedefsharing_mapt< keyT, valueT, hashT, equalT >
stepssharing_mapt< keyT, valueT, hashT, equalT >protectedstatic
swap(sharing_mapt &other)sharing_mapt< keyT, valueT, hashT, equalT >inline
to_mapt typedefsharing_mapt< keyT, valueT, hashT, equalT >protected
value_type typedefsharing_mapt< keyT, valueT, hashT, equalT >
view_itemt typedefsharing_mapt< keyT, valueT, hashT, equalT >
viewt typedefsharing_mapt< keyT, valueT, hashT, equalT >
~sharing_mapt()sharing_mapt< keyT, valueT, hashT, equalT >inline