CBMC
|
#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) |
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 |
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 |
|
inline |
|
inline |
|
inline |
grapht< cfg_base_nodet<T, I> >& cfg_baset< T, P, I >::entry_mapt::container |
|
private |