CBMC
|
Node of the directed graph representation of this call graph. More...
#include <call_graph.h>
Public Attributes | |
irep_idt | function |
Function name. | |
![]() | |
edgest | in |
edgest | out |
Additional Inherited Members | |
![]() | |
typedef std::size_t | node_indext |
typedef edge_with_callsitest | edget |
typedef std::map< node_indext, edget > | edgest |
![]() | |
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.