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_all : 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 iter -> unit

Same as pp but starting from several vertices, not just one.

since
2.8
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 iter -> unit
val with_out : string -> (Format.formatter -> 'a) -> 'a

Shortcut to open a file and write to it.