Module Dot (.ml)

module Dot: sig .. end
Generation of graphical search graphs with dot/graphviz


Generation of graphical search graphs with dot/graphviz
val new_node : Node.t -> unit
val candidate : Node.t -> Node.t -> unit
val fixpoint : Node.t -> int list -> unit
val restart : unit -> unit
val error_trace : Node.t -> unit
val open_dot : unit -> unit -> unit
val delete_node_by : Node.t -> Node.t -> unit