Module `CCGraph.Dot`

type attribute = [ | `Color of string | `Shape of string | `Weight of int | `Style of string | `Label of string | `Other of string * string ]: Dot attribute

type vertex_state: Hidden state associated to a vertex

val pp : tbl:('v, vertex_state) table -> eq:('v -> 'v -> bool) -> ?⁠attrs_v:('v -> attribute list) -> ?⁠attrs_e:('e -> attribute list) -> ?⁠name:string -> graph:('v, 'e) t -> Format.formatter -> 'v -> unit

Print the graph, starting from given vertex, on the formatter.

parameter attrs_v: attributes for vertices.

parameter attrs_e: attributes for edges.

parameter name: name of the graph.

val pp_seq : tbl:('v, vertex_state) table -> eq:('v -> 'v -> bool) -> ?⁠attrs_v:('v -> attribute list) -> ?⁠attrs_e:('e -> attribute list) -> ?⁠name:string -> graph:('v, 'e) t -> Format.formatter -> 'v sequence -> unit
val with_out : string -> (Format.formatter -> 'a) -> 'a: Shortcut to open a file and write to it.