atermpp::unordered_map

Include file:

#include "mcrl2/atermpp/standard_containers/unordered_map.h

class atermpp::unordered_map

A unordered_map class in which aterms can be stored.

Protected types

type atermpp::unordered_map::container_wrapper

typedef for detail::generic_aterm_container< std::unordered_map< detail::reference_aterm< Key >, T, Hash, Pred, Alloc > >

type atermpp::unordered_map::super

typedef for std::unordered_map< detail::reference_aterm< Key >, T, Hash, Pred, Alloc >

Public types

type atermpp::unordered_map::allocator_type

typedef for Alloc

Standard typedefs.

type atermpp::unordered_map::size_type

typedef for super::size_type

type atermpp::unordered_map::value_type

typedef for T

Public member functions

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.