function_indicest Class Reference

Helper class that maintains a map from function name to grapht node index and adds nodes to the graph on demand. More...

Collaboration diagram for function_indicest:

Public Member Functions
	function_indicest (call_grapht::directed_grapht &graph)
node_indext	operator[] (const irep_idt &function)

Public Attributes
std::unordered_map< irep_idt, node_indext >	function_indices

Private Types
typedef call_grapht::directed_grapht::node_indext	node_indext

Private Attributes
call_grapht::directed_grapht &	graph

Detailed Description

Helper class that maintains a map from function name to grapht node index and adds nodes to the graph on demand.

Definition at line 176 of file call_graph.cpp.

Member Typedef Documentation

node_indext

typedef call_grapht::directed_grapht::node_indext function_indicest::node_indext

private

Definition at line 178 of file call_graph.cpp.

Constructor & Destructor Documentation

function_indicest()

function_indicest::function_indicest ( call_grapht::directed_grapht &  graph )

inlineexplicit

Definition at line 184 of file call_graph.cpp.

Member Function Documentation

operator[]()

node_indext function_indicest::operator[] ( const irep_idt &  function )

inline

Definition at line 189 of file call_graph.cpp.

Member Data Documentation

function_indices

std::unordered_map<irep_idt, node_indext> function_indicest::function_indices

Definition at line 182 of file call_graph.cpp.

graph

call_grapht::directed_grapht& function_indicest::graph

private

Definition at line 179 of file call_graph.cpp.

---

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

• /home/runner/work/cbmc/cbmc/src/analyses/call_graph.cpp