CBMC
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | Private Types | Private Attributes | List of all members
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

 
 

Public Attributes

std::unordered_map< irep_idt, node_indextfunction_indices
 

Private Types

 

Private Attributes

 

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

Definition at line 178 of file call_graph.cpp.

Constructor & Destructor Documentation

◆  function_indicest()

function_indicest::function_indicest ( call_grapht::directed_graphtgraph )
inlineexplicit

Definition at line 184 of file call_graph.cpp.

Member Function Documentation

◆  operator[]()

node_indext function_indicest::operator[] ( const irep_idtfunction )
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:

AltStyle によって変換されたページ (->オリジナル) /