cprover
|
Function Call Graphs. More...
Go to the source code of this file.
Classes | |
class | call_grapht |
A call graph (https://en.wikipedia.org/wiki/Call_graph) for a GOTO model or GOTO functions collection. More... | |
struct | call_grapht::edge_with_callsitest |
Edge of the directed graph representation of this call graph. More... | |
struct | call_grapht::function_nodet |
Node of the directed graph representation of this call graph. More... | |
class | call_grapht::directed_grapht |
Directed graph representation of this call graph. More... | |
Function Call Graphs.
Definition in file call_graph.h.