package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module H : MSig

Signature

type ident = int
type leaf = H.leaf
type edge = H.edge
type node = H.node
type next_t = (leaf, ident) GuaCaml.Tree.gnext
type edge_t = edge * next_t
type node_t = node * edge_t list
type 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 -> (H.edge * (leaf, ident) GuaCaml.Tree.gnext) list -> (string -> unit) -> unit
val to_dot_file : manager -> (H.edge * (leaf, ident) GuaCaml.Tree.gnext) list -> string -> unit
val load : (string GuaCaml.Tree.tree -> manager * (H.edge * (H.leaf, ident) GuaCaml.Tree.gnext) list) option
module type MODELE_VISITOR = sig ... end
module VISITOR (Model : MODELE_VISITOR) : sig ... end