Functor Dotgraph.Node

module Node: functor (M : Map) -> sig .. end

Lazily associates a node to any element.

Parameters:

M : Map

type t = M.key

val add : t -> unit

val get : t -> Dotgraph.node

val node : Dotgraph.dot -> t -> Dotgraph.attr list -> unit

val inode : Dotgraph.dot -> t -> Dotgraph.attr list -> Dotgraph.node

val record : Dotgraph.dot ->
       t ->
       ?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> unit

val irecord : Dotgraph.dot ->
       t ->
       ?rounded:bool -> ?attr:Dotgraph.attr list -> Dotgraph.record -> Dotgraph.node

val clear : unit -> unit

val define : Dotgraph.dot -> (t -> Dotgraph.node -> unit) -> unit

Pushes the callback which will be executed once for all created nodes. You must call run dot at some point to flush them. Any previsously registred callback is replaced by the new one.

val prefix : string -> unit

Set node prefix. Otherwize, some default one is created for each functor application.