CBMC
|
#include <cfg.h>
Public Types | |
typedef graph_nodet< empty_edget >::edget | edget |
typedef graph_nodet< empty_edget >::edgest | edgest |
Public Types inherited from graph_nodet< empty_edget > | |
typedef std::size_t | node_indext |
typedef empty_edget | edget |
typedef std::map< node_indext, edget > | edgest |
Public Attributes | |
I | PC |
Public Attributes inherited from graph_nodet< empty_edget > | |
edgest | in |
edgest | out |
Additional Inherited Members | |
Public Member Functions inherited from graph_nodet< empty_edget > | |
void | add_in (node_indext n) |
void | add_out (node_indext n) |
void | erase_in (node_indext n) |
void | erase_out (node_indext n) |
std::string | pretty (const node_indext &idx) const |
virtual | ~graph_nodet () |
typedef graph_nodet<empty_edget>::edgest cfg_base_nodet< T, I >::edgest |
typedef graph_nodet<empty_edget>::edget cfg_base_nodet< T, I >::edget |
I cfg_base_nodet< T, I >::PC |