Module PdgTypes.G

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. Only a few functions are exported, to build the graph in pdg/build.ml. Iterating over the PDG should be done using the functions in module Pdg below

The graph itself.

type t 

module E: sig .. end

val create : unit -> t

val add_elem : t -> PdgIndex.Key.t -> PdgTypes.Node.t

val add_dpd : t ->
       PdgTypes.Node.t ->
       PdgTypes.Dpd.td -> Locations.Zone.t option -> PdgTypes.Node.t -> unit