cprover
|
Helper class that maintains a map from function name to grapht node index and adds nodes to the graph on demand. More...
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 |
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.
Definition at line 172 of file call_graph.cpp.
|
inlineexplicit |
Definition at line 178 of file call_graph.cpp.
|
inline |
Definition at line 183 of file call_graph.cpp.
References grapht< N >::add_node(), function_indices, and graph.
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[]().
|
private |
Definition at line 173 of file call_graph.cpp.
Referenced by operator[]().