CBMC
|
Edge of the directed graph representation of this call graph. More...
#include <call_graph.h>
Public Attributes | |
locationst | callsites |
Callsites responsible for this graph edge. More... | |
Edge of the directed graph representation of this call graph.
Definition at line 124 of file call_graph.h.
locationst call_grapht::edge_with_callsitest::callsites |
Callsites responsible for this graph edge.
Will be empty if collect_callsites
was not set at call_grapht
construction time.
Definition at line 128 of file call_graph.h.