Include file:
#include "mcrl2/atermpp/standard_containers/unordered_map.h
atermpp::
unordered_map
¶A unordered_map class in which aterms can be stored.
atermpp::unordered_map::
container_wrapper
¶typedef for detail::generic_aterm_container< std::unordered_map< detail::reference_aterm< Key >, T, Hash, Pred, Alloc > >
atermpp::unordered_map::
super
¶typedef for std::unordered_map< detail::reference_aterm< Key >, T, Hash, Pred, Alloc >
atermpp::unordered_map::
allocator_type
¶typedef for Alloc
Standard typedefs.
atermpp::unordered_map::
size_type
¶typedef for super::size_type
atermpp::unordered_map::
value_type
¶typedef for T
unordered_map
()¶Default constructor.
unordered_map
(const allocator_type &alloc)¶Constructor.
unordered_map
(size_type n, const allocator_type &alloc = allocator_type())¶Constructor.
unordered_map
(size_type n, const value_type &val, const allocator_type &alloc = allocator_type())¶unordered_map
(InputIterator first, InputIterator last, const allocator_type &alloc = allocator_type())¶Constructor.
unordered_map
(const unordered_map &x)¶Constructor.
unordered_map
(const unordered_map &x, const allocator_type &alloc)¶Constructor.
unordered_map
(unordered_map &&x)¶Constructor.
unordered_map
(unordered_map &&x, const allocator_type &alloc)¶Constructor.
unordered_map
(std::initializer_list<value_type> il, const allocator_type &alloc = allocator_type())¶Constructor. To be done later….
~unordered_map
() = default¶Standard destructor.