module Printer: sig
.. end
type
parent_t = t
type
t = parent_t
module V: PdgTypes.G.V
module E: sig
.. end
val iter_vertex : (PdgTypes.Node.Hashtbl.key -> unit) -> 'a * PdgTypes.Pdg.t_body -> unit
val iter_edges_e : (PdgTypes.G.E.t * bool -> unit) -> 'a * PdgTypes.Pdg.t_body -> unit
val graph_attributes : 'a -> [> `Rankdir of [> `TopToBottom ] ] list
val default_vertex_attributes : 'a -> [> `Style of [> `Filled ] ] list
val vertex_name : PdgTypes.Node.tt -> string
val vertex_attributes : PdgTypes.Node.tt ->
[> `Fillcolor of int
| `Label of string
| `Shape of [> `Box | `Diamond | `Doublecircle ] ]
list
val default_edge_attributes : 'a -> 'b list
val edge_attributes : ('a * PdgTypes.DpdZone.t * 'b) * bool ->
[> `Arrowhead of [> `Odot ]
| `Color of int
| `Label of string
| `Style of [> `Dotted ] ]
list
val get_subgraph : PdgTypes.Node.tt -> Graph.Graphviz.DotAttributes.subgraph option