cprover
Loading...
Searching...
No Matches
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.
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: