cprover
|
#include <cfg.h>
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) |
Public Attributes | |
grapht< cfg_base_nodet< T, I > > & | container |
Private Types | |
typedef std::map< goto_programt::const_targett, entryt > | data_typet |
Private Attributes | |
data_typet | data |
typedef data_typet::const_iterator cfg_baset< T, P, I >::entry_mapt::const_iterator |
|
private |
typedef data_typet::iterator cfg_baset< T, P, I >::entry_mapt::iterator |
|
inlineexplicit |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 96 of file cfg.h.
References grapht< N >::add_node(), and cfg_baset< T, P, I >::entry_mapt::container.
grapht< cfg_base_nodet<T, I> >& cfg_baset< T, P, I >::entry_mapt::container |
Definition at line 73 of file cfg.h.
Referenced by cfg_baset< T, P, I >::entry_mapt::operator[]().
|
private |