CBMC
Public Types | Public Member Functions | Public Attributes | Private Types | Private Attributes | List of all members
cfg_baset< T, P, I >::entry_mapt Class Referencefinal

#include <cfg.h>

+ Collaboration diagram for cfg_baset< T, P, I >::entry_mapt:

Public Types

typedef data_typet::iterator iterator
 
typedef data_typet::const_iterator const_iterator
 

Public Member Functions

template<typename U >
const_iterator find (U &&u) const
 
iterator begin ()
 
const_iterator begin () const
 
const_iterator cbegin () const
 
iterator end ()
 
const_iterator end () const
 
const_iterator cend () const
 
 entry_mapt (grapht< cfg_base_nodet< T, I > > &_container)
 
entryt & operator[] (const goto_programt::const_targett &t)
 
entryt & at (const goto_programt::const_targett &t)
 
const entryt & at (const goto_programt::const_targett &t) const
 
template<class Iter >
void setup_for_keys (Iter begin, Iter end)
 

Public Attributes

grapht< cfg_base_nodet< T, I > > & container
 

Private Types

typedef dense_integer_mapt< goto_programt::const_targett, entryt, cfg_instruction_to_dense_integert< goto_programt::const_targett > > data_typet
 

Private Attributes

data_typet data
 

Detailed Description

template<class T, typename P = const goto_programt, typename I = goto_programt::const_targett>
class cfg_baset< T, P, I >::entry_mapt

Definition at line 94 of file cfg.h.

Member Typedef Documentation

◆ const_iterator

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
typedef data_typet::const_iterator cfg_baset< T, P, I >::entry_mapt::const_iterator

Definition at line 109 of file cfg.h.

◆ data_typet

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
typedef dense_integer_mapt< goto_programt::const_targett, entryt, cfg_instruction_to_dense_integert<goto_programt::const_targett> > cfg_baset< T, P, I >::entry_mapt::data_typet
private

Definition at line 100 of file cfg.h.

◆ iterator

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
typedef data_typet::iterator cfg_baset< T, P, I >::entry_mapt::iterator

Definition at line 107 of file cfg.h.

Constructor & Destructor Documentation

◆ entry_mapt()

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
cfg_baset< T, P, I >::entry_mapt::entry_mapt ( grapht< cfg_base_nodet< T, I > > &  _container)
inlineexplicit

Definition at line 122 of file cfg.h.

Member Function Documentation

◆ at() [1/2]

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
entryt& cfg_baset< T, P, I >::entry_mapt::at ( const goto_programt::const_targett &  t)
inline

Definition at line 137 of file cfg.h.

◆ at() [2/2]

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
const entryt& cfg_baset< T, P, I >::entry_mapt::at ( const goto_programt::const_targett &  t) const
inline

Definition at line 141 of file cfg.h.

◆ begin() [1/2]

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
iterator cfg_baset< T, P, I >::entry_mapt::begin ( )
inline

Definition at line 114 of file cfg.h.

◆ begin() [2/2]

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
const_iterator cfg_baset< T, P, I >::entry_mapt::begin ( ) const
inline

Definition at line 115 of file cfg.h.

◆ cbegin()

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
const_iterator cfg_baset< T, P, I >::entry_mapt::cbegin ( ) const
inline

Definition at line 116 of file cfg.h.

◆ cend()

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
const_iterator cfg_baset< T, P, I >::entry_mapt::cend ( ) const
inline

Definition at line 120 of file cfg.h.

◆ end() [1/2]

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
iterator cfg_baset< T, P, I >::entry_mapt::end ( )
inline

Definition at line 118 of file cfg.h.

◆ end() [2/2]

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
const_iterator cfg_baset< T, P, I >::entry_mapt::end ( ) const
inline

Definition at line 119 of file cfg.h.

◆ find()

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
template<typename U >
const_iterator cfg_baset< T, P, I >::entry_mapt::find ( U &&  u) const
inline

Definition at line 112 of file cfg.h.

◆ operator[]()

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
entryt& cfg_baset< T, P, I >::entry_mapt::operator[] ( const goto_programt::const_targett &  t)
inline

Definition at line 127 of file cfg.h.

◆ setup_for_keys()

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
template<class Iter >
void cfg_baset< T, P, I >::entry_mapt::setup_for_keys ( Iter  begin,
Iter  end 
)
inline

Definition at line 147 of file cfg.h.

Member Data Documentation

◆ container

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
grapht< cfg_base_nodet<T, I> >& cfg_baset< T, P, I >::entry_mapt::container

Definition at line 104 of file cfg.h.

◆ data

template<class T , typename P = const goto_programt, typename I = goto_programt::const_targett>
data_typet cfg_baset< T, P, I >::entry_mapt::data
private

Definition at line 101 of file cfg.h.

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