Index of types


C
call_interface [Pdg_aux]
Abstract view of a call frontier.

N
node [Pdg_aux]
Refinement of a PDG node: we add an indication of which zone is really impacted
nodes [Compute_impact]
nodes_origin [Reason_graph]

R
reason [Reason_graph]
reason_graph [Reason_graph]
reason_type [Reason_graph]
Why is a node impacted.
result [Compute_impact]

T
t [Reason_graph.Printer.E]
t [Reason_graph.Printer.V]
t [Reason_graph.Printer]