CBMC: fixed_keys_map_wrappert< mapt > Class Template Reference

CBMC

Loading...

Searching...

No Matches

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:

/home/runner/work/cbmc/cbmc/src/util/fixed_keys_map_wrapper.h

fixed_keys_map_wrappert
Generated by doxygen 1.9.8