Module PdgTypes

module PdgTypes: sig .. end
This module defines the types that are used to store the PDG of a function.
Consult the Plugin Development Guide for additional details.

module Dpd: sig .. end
Dpd stands for 'dependence'.
module Node: sig .. end
A node of the PDG : includes some information to know where it comes from.
module NodeSet: Hptset.S  with type elt = Node.t
module G: sig .. end
Program dependence graph main part : the nodes of the graph represent computations, and the edges represent the dependencies between these computations.
module NodeSetLattice: sig .. end
set of nodes of the graph
module LocInfo: Lmap_bitwise.Location_map_bitwise  with type v = NodeSetLattice.t
type data_state = {
   loc_info : LocInfo.t;
   under_outputs : Locations.Zone.t;
}
a data_state object is associated with a program point and provides a mapping between a location and some nodes in the PDG that are used to compute the location value at that point.

DataState is associated with a program point and provide the dependancies for the data, ie. it stores for each location the nodes of the pdg where its value was last defined. Managed in src/pdg/state.ml

module Pdg: sig .. end
PDG for a function