package DAGaml

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

Parameters

Signature

type memo = {
  1. man : manager;
  2. extra : D0.extra;
  3. calc : edge -> D0.xedge;
  4. memoLeaf : (M.leaf, D0.xnode) GuaCaml.MemoTable.t;
  5. memoEdge : (edge, D0.xedge) GuaCaml.MemoTable.t;
  6. memoNode : (G.pnode, D0.xnode) GuaCaml.MemoTable.t;
}
type manager = memo
val makeman : G.manager -> D0.extra -> int -> memo * (edge -> D0.xedge)
val newman : G.manager -> D0.extra -> memo * (edge -> D0.xedge)
val calc : memo -> edge -> D0.xedge
val dump_stats : memo -> string GuaCaml.Tree.tree