cprover
|
#include <cfg.h>
Public Member Functions | |
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 |
|
inlineexplicit |
|
inline |
Definition at line 77 of file cfg.h.
References grapht< N >::add_node().
grapht< cfg_base_nodet<T, I> >& cfg_baset< T, P, I >::entry_mapt::container |