package DAGaml

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

Parameters

Signature

type next'' = (M.param -> M.xnode) M.M.M.next'
type edge'' = (M.param -> M.xnode) M.M.M.edge'
type node'' = (M.param -> M.xnode) M.M.M.node'
type manager = {
  1. man : M.M.manager;
  2. extra : M.extra;
  3. mem : (M.param * M.M.ident, M.xnode) GuaCaml.MemoTable.t;
  4. rec_edge : M.param -> M.M.edge' -> M.xedge;
  5. rec_node : M.param -> M.M.ident -> M.xnode;
}
type t = manager
val get_extra : manager -> M.extra
val dump_stats : manager -> GuaCaml.Tree.stree
val makeman : M.M.manager -> M.extra -> int -> manager
val newman : M.M.manager -> M.extra -> manager
val rec_edge : manager -> M.param -> M.M.edge' -> M.xedge
val rec_node : manager -> M.param -> M.M.ident -> M.xnode