module Print: sig
.. end
boolean to say that the edge is dynamic
module K: PdgIndex.Key
module S: PdgIndex.Signature
module N: PdgTypes.Node
module G: PdgTypes.G
module Dpd: PdgTypes.Dpd
val pretty_key : Format.formatter -> K.t -> unit
val pretty_node : Format.formatter -> N.t -> unit
val pretty_nodes : Format.formatter -> N.t list -> unit
val pretty_pdg_graph : ?bw:bool -> Format.formatter -> G.t -> unit
val pretty_pdg : ?bw:bool -> Format.formatter -> PdgTypes.InternalPdg.t -> unit
module Printer: sig
.. end
module PrintG: Graph.Graphviz.Dot
(
Printer
)
val build_dot : string -> Printer.t -> unit
build the PDG .dot file and put it in filename
.
val build_dot_file : Printer.t -> string
build the .dot file and put it in pdg function name.dot