cprover
cfg_baset< T, P, I >::entry_mapt Struct Reference

#include <cfg.h>

Inheritance diagram for cfg_baset< T, P, I >::entry_mapt:
[legend]
Collaboration diagram for cfg_baset< T, P, I >::entry_mapt:
[legend]

Public Member Functions

 entry_mapt (grapht< cfg_base_nodet< T, I > > &_container)
 
entrytoperator[] (const goto_programt::const_targett &t)
 

Public Attributes

grapht< cfg_base_nodet< T, I > > & container
 

Detailed Description

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

Definition at line 67 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 72 of file cfg.h.

Member Function Documentation

◆ 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 77 of file cfg.h.

References grapht< N >::add_node(), and cfg_baset< T, P, I >::entry_mapt::container.

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 70 of file cfg.h.

Referenced by cfg_baset< T, P, I >::entry_mapt::operator[]().


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