|
cprover
|
Edge of the directed graph representation of this call graph. More...
#include <call_graph.h>
Collaboration diagram for call_grapht::edge_with_callsitest:Public Attributes | |
| locationst | callsites |
| Callsites responsible for this graph edge. More... | |
Edge of the directed graph representation of this call graph.
Definition at line 119 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 123 of file call_graph.h.