CBMC
Public Types | Public Member Functions | Protected Types | Protected Attributes | List of all members
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 ( )
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: