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