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. calc : edge -> edge -> edge;
  3. memo : (D0.compact * G.tree * G.tree, edge) GuaCaml.MemoTable.t;
  4. eval : (D0.eval * G.tree, edge) GuaCaml.MemoTable.t;
}
type manager = memo
val makeman : G.manager -> int -> memo * (edge -> edge -> edge)
val newman : G.manager -> memo * (edge -> edge -> edge)
val calc : memo -> edge -> edge -> edge
val dump_stats : memo -> string GuaCaml.Tree.tree