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

Detailed Description

Node of the directed graph representation of this call graph.

Definition at line 132 of file call_graph.h.

Member Data Documentation

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:

/home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/call_graph.h