cprover
irep_hash_mapt< Key, T > Class Template Reference

#include <irep_hash_container.h>

Collaboration diagram for irep_hash_mapt< Key, T >:
[legend]

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 96 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 105 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 106 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 102 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 103 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 99 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 104 of file irep_hash_container.h.

Member Function Documentation

◆ begin() [1/2]

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

Definition at line 118 of file irep_hash_container.h.

References irep_hash_mapt< Key, T >::map.

◆ begin() [2/2]

template<typename Key, typename T>
iterator irep_hash_mapt< Key, T >::begin ( )
inline

Definition at line 123 of file irep_hash_container.h.

References irep_hash_mapt< Key, T >::map.

◆ clear()

template<typename Key, typename T>
void irep_hash_mapt< Key, T >::clear ( void  )
inline

◆ empty()

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

Definition at line 149 of file irep_hash_container.h.

References irep_hash_mapt< Key, T >::map.

◆ end() [1/2]

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

◆ end() [2/2]

template<typename Key, typename T>
iterator irep_hash_mapt< Key, T >::end ( )
inline

Definition at line 133 of file irep_hash_container.h.

References irep_hash_mapt< Key, T >::map.

◆ erase()

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

Definition at line 166 of file irep_hash_container.h.

References irep_hash_mapt< Key, T >::map.

◆ find() [1/2]

◆ find() [2/2]

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

◆ insert()

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

◆ operator[]()

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

◆ size()

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

Definition at line 144 of file irep_hash_container.h.

References irep_hash_mapt< Key, T >::map.

◆ swap()

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

Member Data Documentation

◆ hash_container

◆ map


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