CBMC
Public Types | Public Member Functions | Private Attributes | List of all members
fixed_keys_map_wrappert< mapt > Class Template Reference

#include <fixed_keys_map_wrapper.h>

Public Types

typedef mapt::iterator iterator
 
typedef mapt::const_iterator const_iterator
 
typedef mapt::reverse_iterator reverse_iterator
 
typedef mapt::const_reverse_iterator const_reverse_iterator
 
typedef mapt::key_type key_type
 
typedef mapt::mapped_type mapped_type
 
typedef mapt::size_type size_type
 

Public Member Functions

 fixed_keys_map_wrappert (mapt &map)
 
iterator begin ()
 
const_iterator begin () const
 
iterator end ()
 
const_iterator end () const
 
reverse_iterator rbegin ()
 
const_reverse_iterator rbegin () const
 
reverse_iterator rend ()
 
const_reverse_iterator rend () const
 
const_iterator cbegin () const
 
const_iterator cend () const
 
const_reverse_iterator crbegin () const
 
const_reverse_iterator crend () const
 
bool empty () const
 
size_type size () const
 
size_type count (const key_type &key) const
 
const mapped_type & at (const key_type &key) const
 
mapped_type & at (const key_type &key)
 
iterator find (const key_type &key)
 
const_iterator find (const key_type &key) const
 

Private Attributes

mapt & map
 

Detailed Description

template<typename mapt>
class fixed_keys_map_wrappert< mapt >

Definition at line 11 of file fixed_keys_map_wrapper.h.

Member Typedef Documentation

◆ const_iterator

template<typename mapt >
typedef mapt::const_iterator fixed_keys_map_wrappert< mapt >::const_iterator

Definition at line 20 of file fixed_keys_map_wrapper.h.

◆ const_reverse_iterator

template<typename mapt >
typedef mapt::const_reverse_iterator fixed_keys_map_wrappert< mapt >::const_reverse_iterator

Definition at line 24 of file fixed_keys_map_wrapper.h.

◆ iterator

template<typename mapt >
typedef mapt::iterator fixed_keys_map_wrappert< mapt >::iterator

Definition at line 18 of file fixed_keys_map_wrapper.h.

◆ key_type

template<typename mapt >
typedef mapt::key_type fixed_keys_map_wrappert< mapt >::key_type

Definition at line 26 of file fixed_keys_map_wrapper.h.

◆ mapped_type

template<typename mapt >
typedef mapt::mapped_type fixed_keys_map_wrappert< mapt >::mapped_type

Definition at line 28 of file fixed_keys_map_wrapper.h.

◆ reverse_iterator

template<typename mapt >
typedef mapt::reverse_iterator fixed_keys_map_wrappert< mapt >::reverse_iterator

Definition at line 22 of file fixed_keys_map_wrapper.h.

◆ size_type

template<typename mapt >
typedef mapt::size_type fixed_keys_map_wrappert< mapt >::size_type

Definition at line 30 of file fixed_keys_map_wrapper.h.

Constructor & Destructor Documentation

◆ fixed_keys_map_wrappert()

template<typename mapt >
fixed_keys_map_wrappert< mapt >::fixed_keys_map_wrappert ( mapt &  map)
inlineexplicit

Definition at line 32 of file fixed_keys_map_wrapper.h.

Member Function Documentation

◆ at() [1/2]

template<typename mapt >
mapped_type& fixed_keys_map_wrappert< mapt >::at ( const key_type &  key)
inline

Definition at line 102 of file fixed_keys_map_wrapper.h.

◆ at() [2/2]

template<typename mapt >
const mapped_type& fixed_keys_map_wrappert< mapt >::at ( const key_type &  key) const
inline

Definition at line 98 of file fixed_keys_map_wrapper.h.

◆ begin() [1/2]

template<typename mapt >
iterator fixed_keys_map_wrappert< mapt >::begin ( )
inline

Definition at line 36 of file fixed_keys_map_wrapper.h.

◆ begin() [2/2]

template<typename mapt >
const_iterator fixed_keys_map_wrappert< mapt >::begin ( ) const
inline

Definition at line 40 of file fixed_keys_map_wrapper.h.

◆ cbegin()

template<typename mapt >
const_iterator fixed_keys_map_wrappert< mapt >::cbegin ( ) const
inline

Definition at line 68 of file fixed_keys_map_wrapper.h.

◆ cend()

template<typename mapt >
const_iterator fixed_keys_map_wrappert< mapt >::cend ( ) const
inline

Definition at line 72 of file fixed_keys_map_wrapper.h.

◆ count()

template<typename mapt >
size_type fixed_keys_map_wrappert< mapt >::count ( const key_type &  key) const
inline

Definition at line 93 of file fixed_keys_map_wrapper.h.

◆ crbegin()

template<typename mapt >
const_reverse_iterator fixed_keys_map_wrappert< mapt >::crbegin ( ) const
inline

Definition at line 76 of file fixed_keys_map_wrapper.h.

◆ crend()

template<typename mapt >
const_reverse_iterator fixed_keys_map_wrappert< mapt >::crend ( ) const
inline

Definition at line 80 of file fixed_keys_map_wrapper.h.

◆ empty()

template<typename mapt >
bool fixed_keys_map_wrappert< mapt >::empty ( ) const
inline

Definition at line 85 of file fixed_keys_map_wrapper.h.

◆ end() [1/2]

template<typename mapt >
iterator fixed_keys_map_wrappert< mapt >::end ( )
inline

Definition at line 44 of file fixed_keys_map_wrapper.h.

◆ end() [2/2]

template<typename mapt >
const_iterator fixed_keys_map_wrappert< mapt >::end ( ) const
inline

Definition at line 48 of file fixed_keys_map_wrapper.h.

◆ find() [1/2]

template<typename mapt >
iterator fixed_keys_map_wrappert< mapt >::find ( const key_type &  key)
inline

Definition at line 107 of file fixed_keys_map_wrapper.h.

◆ find() [2/2]

template<typename mapt >
const_iterator fixed_keys_map_wrappert< mapt >::find ( const key_type &  key) const
inline

Definition at line 111 of file fixed_keys_map_wrapper.h.

◆ rbegin() [1/2]

template<typename mapt >
reverse_iterator fixed_keys_map_wrappert< mapt >::rbegin ( )
inline

Definition at line 52 of file fixed_keys_map_wrapper.h.

◆ rbegin() [2/2]

template<typename mapt >
const_reverse_iterator fixed_keys_map_wrappert< mapt >::rbegin ( ) const
inline

Definition at line 56 of file fixed_keys_map_wrapper.h.

◆ rend() [1/2]

template<typename mapt >
reverse_iterator fixed_keys_map_wrappert< mapt >::rend ( )
inline

Definition at line 60 of file fixed_keys_map_wrapper.h.

◆ rend() [2/2]

template<typename mapt >
const_reverse_iterator fixed_keys_map_wrappert< mapt >::rend ( ) const
inline

Definition at line 64 of file fixed_keys_map_wrapper.h.

◆ size()

template<typename mapt >
size_type fixed_keys_map_wrappert< mapt >::size ( ) const
inline

Definition at line 89 of file fixed_keys_map_wrapper.h.

Member Data Documentation

◆ map

template<typename mapt >
mapt& fixed_keys_map_wrappert< mapt >::map
private

Definition at line 14 of file fixed_keys_map_wrapper.h.

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