mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals Struct Reference

Public Types
using	is_transparent = void

Public Member Functions
	PairEquals ()=default
	PairEquals (const key_equal &equals)
bool	operator() (const value_type &first, const value_type &second) const
template<typename U , typename... V, typename = std::enable_if_t<!std::is_same_v<U, std::pair<Key, T>>>>
bool	operator() (const value_type &first, const U &key, const V &...) const

Public Attributes
key_equal	equals

Detailed Description

template<typename Key, typename T, typename Hash, typename KeyEqual, typename Allocator, bool ThreadSafe, bool Resize>
struct mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals

Definition at line 77 of file unordered_map.h.

Member Typedef Documentation

is_transparent

template<typename Key , typename T , typename Hash , typename KeyEqual , typename Allocator , bool ThreadSafe, bool Resize>

using mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals::is_transparent = void

Definition at line 79 of file unordered_map.h.

Constructor & Destructor Documentation

PairEquals() [1/2]

template<typename Key , typename T , typename Hash , typename KeyEqual , typename Allocator , bool ThreadSafe, bool Resize>

mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals::PairEquals ( )

default

PairEquals() [2/2]

template<typename Key , typename T , typename Hash , typename KeyEqual , typename Allocator , bool ThreadSafe, bool Resize>

mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals::PairEquals ( const key_equal &  equals )

inlineexplicit

Definition at line 83 of file unordered_map.h.

Member Function Documentation

operator()() [1/2]

template<typename Key , typename T , typename Hash , typename KeyEqual , typename Allocator , bool ThreadSafe, bool Resize>

template<typename U , typename... V, typename = std::enable_if_t<!std::is_same_v<U, std::pair<Key, T>>>>

bool mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals::operator() ( const value_type &  first, const U &  key, const V &  ...  ) const

inline

Definition at line 95 of file unordered_map.h.

operator()() [2/2]

template<typename Key , typename T , typename Hash , typename KeyEqual , typename Allocator , bool ThreadSafe, bool Resize>

bool mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals::operator() ( const value_type &  first, const value_type &  second  ) const

inline

Definition at line 89 of file unordered_map.h.

Member Data Documentation

equals

template<typename Key , typename T , typename Hash , typename KeyEqual , typename Allocator , bool ThreadSafe, bool Resize>

key_equal mcrl2::utilities::unordered_map< Key, T, Hash, KeyEqual, Allocator, ThreadSafe, Resize >::PairEquals::equals

Definition at line 87 of file unordered_map.h.

---

The documentation for this struct was generated from the following file:

• utilities/include/mcrl2/utilities/unordered_map.h