cprover
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:
[legend]

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_indextfunction_indices
 

Private Types

typedef call_grapht::directed_grapht::node_indext node_indext
 

Private Attributes

call_grapht::directed_graphtgraph
 

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 170 of file call_graph.cpp.

Member Typedef Documentation

◆ node_indext

Constructor & Destructor Documentation

◆ function_indicest()

function_indicest::function_indicest ( call_grapht::directed_grapht graph)
inlineexplicit

Definition at line 178 of file call_graph.cpp.

Member Function Documentation

◆ operator[]()

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

Definition at line 183 of file call_graph.cpp.

References grapht< N >::add_node(), function_indices, and graph.

Member Data Documentation

◆ function_indices

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

Definition at line 176 of file call_graph.cpp.

Referenced by call_grapht::get_directed_graph(), and operator[]().

◆ graph

call_grapht::directed_grapht& function_indicest::graph
private

Definition at line 173 of file call_graph.cpp.

Referenced by operator[]().


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