CBMC
call_grapht::function_nodet Struct Reference

Node of the directed graph representation of this call graph. More...

#include <call_graph.h>

+ Inheritance diagram for call_grapht::function_nodet:
+ Collaboration diagram for call_grapht::function_nodet:

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, edgetedgest
 
- 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 ()
 

Detailed Description

Node of the directed graph representation of this call graph.

Definition at line 132 of file call_graph.h.

Member Data Documentation

◆ function

irep_idt call_grapht::function_nodet::function

Function name.

Definition at line 135 of file call_graph.h.


The documentation for this struct was generated from the following file: