Impact plugin

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.