package DAGaml

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

Parameters

module Model : 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 : Model.tag -> edge -> edge -> edge;
  3. walk_ptedge : G.ident Model.pt_edge -> edge;
  4. walk_pedge : G.ident Model.p_edge -> edge;
  5. walk_tnode : G.ident Model.t_node -> G.ident Model.next';
  6. walk_peval : Model.eval -> G.pnode -> edge;
  7. memo_peval : (Model.eval * G.pnode, edge) GuaCaml.MemoTable.t;
}
val makeman : int -> manager
val default_newman_hsize : int
val newman : unit -> manager
val push : manager -> Model.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
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