Module `CCKTree.Dot`

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

type graph = string * attribute list t list: A dot graph is a name, plus a list of trees labelled with attributes

val mk_id : ('a, Buffer.t, unit, attribute) Pervasives.format4 -> 'a: Using a formatter string, build an ID.

val mk_label : ('a, Buffer.t, unit, attribute) Pervasives.format4 -> 'a: Using a formatter string, build a label.

val make : name:string -> attribute list t list -> graph

val singleton : name:string -> attribute list t -> graph

val pp_single : string -> attribute list t printer

Printer to DOT with indentation, etc.

val print_to_file : string -> graph -> unit

print_to_file filename g prints g into a file whose name is filename.

val to_file : ?⁠name:string -> string -> attribute list t list -> unit

to_file filename trees makes a graph out of the trees, opens the file filename and prints the graph into the file.