Impact plugin
Index of types
Index of values
Index of modules
Directory plugins
Section Impact
(in plugins/impact)
Compute_impact
Impact
Options
Pdg_aux
Reason_graph
Why is a node impacted.
Register
Register_gui
Extension of the GUI for the impact plugin.