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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct