package DAGaml

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

Parameters

module M0 : MSig

Signature

module M : sig ... end
module MODELE : sig ... end
module G : sig ... end
type edge = M.edge * G.tree
type manager = {
  1. gman : G.manager;
  2. push : M0.tag -> edge -> edge -> edge;
  3. walk_ptedge : G.ident M0.pt_edge -> edge;
  4. walk_pedge : G.ident M0.p_edge -> edge;
  5. walk_tnode : G.ident M0.t_node -> G.ident M0.next';
  6. walk_peval : M0.eval -> G.pnode -> edge;
  7. memo_peval : (M0.eval * G.pnode, edge) GuaCaml.MemoTable.t;
}
val makeman : int -> manager
val default_newman_hsize : int
val newman : unit -> manager
val push : manager -> M0.tag -> edge -> edge -> edge
val push_leaf : M.edge -> M.leaf -> edge
val compose : M.edge -> 'a M.edge' -> 'a M.edge'
val dump_stats : manager -> string GuaCaml.Tree.tree
module type MODELE_NODE_VISITOR = sig ... end
module NODE_VISITOR (D0 : MODELE_NODE_VISITOR) : sig ... end
module type MODELE_EDGE_VISITOR = sig ... end
module EDGE_VISITOR (D0 : MODELE_EDGE_VISITOR) : sig ... end
module MODELE_DUMP_NODE : sig ... end
module DUMP_NODE : sig ... end
module TO_DOT_EDGE : sig ... end
val to_dot : manager -> TO_DOT_EDGE.M0.extra -> edge list -> TO_DOT_EDGE.M0.xedge list
module MODELE_LOAD_NODE : sig ... end
module LOAD : sig ... end
module type MODELE_IUOP = sig ... end
module IUOP (D0 : MODELE_IUOP) : sig ... end
module type MODELE_IUOP2 = sig ... end
module IUOP2 (D0 : MODELE_IUOP2) : sig ... end
val to_stree : manager -> edge list -> string GuaCaml.Tree.tree
val of_stree : string GuaCaml.Tree.tree -> manager * MODELE_LOAD_NODE.xedge list
val stree_to_dot : string GuaCaml.Tree.tree -> string -> unit
val stree_to_stats : string GuaCaml.Tree.tree -> string GuaCaml.Tree.tree list
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