CBMC
|
Node of the directed graph representation of this call graph. More...
#include <call_graph.h>
Public Attributes | |
irep_idt | function |
Function name. More... | |
Public Attributes inherited from graph_nodet< edge_with_callsitest > | |
edgest | in |
edgest | out |
Additional Inherited Members | |
Public Types inherited from graph_nodet< edge_with_callsitest > | |
typedef std::size_t | node_indext |
typedef edge_with_callsitest | edget |
typedef std::map< node_indext, edget > | edgest |
Public Member Functions inherited from graph_nodet< edge_with_callsitest > | |
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 () |
Node of the directed graph representation of this call graph.
Definition at line 132 of file call_graph.h.
irep_idt call_grapht::function_nodet::function |
Function name.
Definition at line 135 of file call_graph.h.