module G:sig
..end
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