Module Dot (.ml)

module Dot: sig .. end

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