irep_hash_mapt< Key, T > Class Template Reference

#include <irep_hash_container.h>

Collaboration diagram for irep_hash_mapt< Key, T >:

Public Types
using	key_type = Key
using	mapped_type = T
using	value_type = std::pair< const Key, T >
using	const_iterator = typename mapt::const_iterator
using	iterator = typename mapt::iterator

Public Member Functions
const_iterator	find (const Key &key) const
iterator	find (const Key &key)
const_iterator	begin () const
iterator	begin ()
const_iterator	end () const
iterator	end ()
void	clear ()
std::size_t	size () const
bool	empty () const
T &	operator[] (const Key &key)
std::pair< iterator, bool >	insert (const value_type &value)
void	erase (iterator it)
void	swap (irep_hash_mapt< Key, T > &other)

Protected Types
using	mapt = std::map< std::size_t, T >

Protected Attributes
irep_hash_containert	hash_container
mapt	map

Detailed Description

template<typename Key, typename T>
class irep_hash_mapt< Key, T >

Definition at line 101 of file irep_hash_container.h.

Member Typedef Documentation

const_iterator

template<typename Key , typename T >

using irep_hash_mapt< Key, T >::const_iterator = typename mapt::const_iterator

Definition at line 110 of file irep_hash_container.h.

iterator

template<typename Key , typename T >

using irep_hash_mapt< Key, T >::iterator = typename mapt::iterator

Definition at line 111 of file irep_hash_container.h.

key_type

template<typename Key , typename T >

using irep_hash_mapt< Key, T >::key_type = Key

Definition at line 107 of file irep_hash_container.h.

mapped_type

template<typename Key , typename T >

using irep_hash_mapt< Key, T >::mapped_type = T

Definition at line 108 of file irep_hash_container.h.

mapt

template<typename Key , typename T >

using irep_hash_mapt< Key, T >::mapt = std::map<std::size_t, T>

protected

Definition at line 104 of file irep_hash_container.h.

value_type

template<typename Key , typename T >

using irep_hash_mapt< Key, T >::value_type = std::pair<const Key, T>

Definition at line 109 of file irep_hash_container.h.

Member Function Documentation

begin() [1/2]

template<typename Key , typename T >

iterator irep_hash_mapt< Key, T >::begin ( )

inline

Definition at line 128 of file irep_hash_container.h.

begin() [2/2]

template<typename Key , typename T >

const_iterator irep_hash_mapt< Key, T >::begin ( ) const

inline

Definition at line 123 of file irep_hash_container.h.

clear()

template<typename Key , typename T >

void irep_hash_mapt< Key, T >::clear ( void  )

inline

Definition at line 143 of file irep_hash_container.h.

empty()

template<typename Key , typename T >

bool irep_hash_mapt< Key, T >::empty ( ) const

inline

Definition at line 154 of file irep_hash_container.h.

end() [1/2]

template<typename Key , typename T >

iterator irep_hash_mapt< Key, T >::end ( )

inline

Definition at line 138 of file irep_hash_container.h.

end() [2/2]

template<typename Key , typename T >

const_iterator irep_hash_mapt< Key, T >::end ( ) const

inline

Definition at line 133 of file irep_hash_container.h.

erase()

template<typename Key , typename T >

void irep_hash_mapt< Key, T >::erase ( iterator  it )

inline

Definition at line 171 of file irep_hash_container.h.

find() [1/2]

template<typename Key , typename T >

iterator irep_hash_mapt< Key, T >::find ( const Key &  key )

inline

Definition at line 118 of file irep_hash_container.h.

find() [2/2]

template<typename Key , typename T >

const_iterator irep_hash_mapt< Key, T >::find ( const Key &  key ) const

inline

Definition at line 113 of file irep_hash_container.h.

insert()

template<typename Key , typename T >

std::pair<iterator, bool> irep_hash_mapt< Key, T >::insert ( const value_type &  value )

inline

Definition at line 165 of file irep_hash_container.h.

operator[]()

template<typename Key , typename T >

T& irep_hash_mapt< Key, T >::operator[] ( const Key &  key )

inline

Definition at line 159 of file irep_hash_container.h.

size()

template<typename Key , typename T >

std::size_t irep_hash_mapt< Key, T >::size ( ) const

inline

Definition at line 149 of file irep_hash_container.h.

swap()

template<typename Key , typename T >

void irep_hash_mapt< Key, T >::swap ( irep_hash_mapt< Key, T > &  other )

inline

Definition at line 176 of file irep_hash_container.h.

Member Data Documentation

hash_container

template<typename Key , typename T >

irep_hash_containert irep_hash_mapt< Key, T >::hash_container

mutableprotected

Definition at line 183 of file irep_hash_container.h.

map

template<typename Key , typename T >

mapt irep_hash_mapt< Key, T >::map

protected

Definition at line 184 of file irep_hash_container.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/irep_hash_container.h