CBMC
|
#include <dependence_graph.h>
Public Types | |
typedef graph_nodet< dep_edget >::edget | edget |
typedef graph_nodet< dep_edget >::edgest | edgest |
Public Types inherited from graph_nodet< dep_edget > | |
typedef std::size_t | node_indext |
typedef dep_edget | edget |
typedef std::map< node_indext, edget > | edgest |
Public Attributes | |
goto_programt::const_targett | PC |
Public Attributes inherited from graph_nodet< dep_edget > | |
edgest | in |
edgest | out |
Additional Inherited Members | |
Public Member Functions inherited from graph_nodet< dep_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 () |
Definition at line 58 of file dependence_graph.h.
typedef graph_nodet<dep_edget>::edgest dep_nodet::edgest |
Definition at line 61 of file dependence_graph.h.
typedef graph_nodet<dep_edget>::edget dep_nodet::edget |
Definition at line 60 of file dependence_graph.h.
goto_programt::const_targett dep_nodet::PC |
Definition at line 63 of file dependence_graph.h.