Module LogtkLazyGraph.Dot

module Dot: sig .. end

Pretty printing in the DOT (graphviz) format



type attribute = [ `Color of string
| `Label of string
| `Other of string * string
| `Shape of string
| `Style of string
| `Weight of int ]
Dot attribute
val pp_enum : ?eq:('id -> 'id -> bool) ->
?hash:('id -> int) ->
name:string ->
Format.formatter ->
('id, attribute list, attribute list)
LogtkLazyGraph.Full.traverse_event Sequence.t -> unit
val pp : name:string ->
('id, attribute list, attribute list)
LogtkLazyGraph.t -> Format.formatter -> 'id Sequence.t -> unit
Pretty print the given graph (starting from the given set of vertices) to the channel in DOT format