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 = G.manager
val newman : unit -> G.manager
val makeman : int -> G.manager
val push_leaf : M.edge -> M.leaf -> edge
val pull_node : G.manager -> G.pnode -> G.pnode M.e * G.pnode M.e
val push : G.manager -> G.pnode M.e -> G.pnode M.e -> G.pnode M.e
val compose : M.edge -> 'a M.e -> 'a M.e
val dump_stats : G.manager -> GuaCaml.Tree.stree
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 type MODELE_CONS_VISITOR = sig ... end
module CONS_VISITOR (D0 : MODELE_CONS_VISITOR) : sig ... end
module type MODELE_EUOP = sig ... end
module EUOP (D0 : MODELE_EUOP) : sig ... end
module MODELE_DUMP_EDGE : sig ... end
module MODELE_TO_DOT_NODE : sig ... end
module TO_DOT_EDGE : sig ... end
module MODELE_DUMP_NODE : sig ... end
module DUMP_NODE : 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_IBOP = sig ... end
module IBOP (D0 : MODELE_IBOP) : sig ... end
module type MODELE_IBOP_EVAL = sig ... end
module IBOP_EVAL (D0 : MODELE_IBOP_EVAL) : sig ... end
module type MODELE_IBOP_BIDIR = sig ... end
module IBOP_BIDIR (D0 : MODELE_IBOP_BIDIR) : sig ... end
module type MODELE_EVAL = sig ... end
module EVAL (D0 : MODELE_EVAL) : sig ... end
val to_file : G.manager -> edge list -> string -> Udag.STree.manager
val of_file : string -> G.manager * MODELE_LOAD_NODE.xedge list
val to_stree : G.manager -> edge list -> string GuaCaml.Tree.tree
val of_stree : string GuaCaml.Tree.tree -> G.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