package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ident = int
type leaf = StringM.leaf
type edge = StringM.edge
type node = StringM.node
type next_t = (leaf, ident) GuaCaml.Tree.gnext
type edge_t = edge * next_t
type node_t = node * edge_t list
type manager = Make(StringM).manager = {
  1. unique : node_t GuaCaml.H2Table.t;
}
val makeman : int -> manager
val default_newman_hsize : int
val newman : unit -> manager
val push : manager -> node_t -> int
val pull : manager -> int -> node_t
val length : manager -> int
val dump_stats : manager -> string GuaCaml.Tree.tree
val dump : manager -> edge_t list -> string GuaCaml.Tree.tree
val to_dot : manager -> (StringM.edge * (leaf, ident) GuaCaml.Tree.gnext) list -> (string -> unit) -> unit
val to_dot_file : manager -> (StringM.edge * (leaf, ident) GuaCaml.Tree.gnext) list -> string -> unit
module type MODELE_VISITOR = sig ... end
module VISITOR (Model : MODELE_VISITOR) : sig ... end
val of_file : string -> manager * (StringM.edge * (StringM.leaf, ident) GuaCaml.Tree.gnext) list
val to_file : manager -> edge_t list -> string -> unit