package DAGaml

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

Parameters

module D0 : MODELE_IUOP2

Signature

type memo = {
  1. man : manager;
  2. calc : edge -> edge;
  3. eval : D0.eval -> edge -> edge;
  4. meval : (D0.eval * G.pnode, edge) GuaCaml.MemoTable.t;
  5. mcalc : (M.tag * edge * edge, edge) GuaCaml.MemoTable.t;
}
type manager = memo
val makeman : manager -> int -> memo * (G.pnode M.edge' -> edge)
val newman : manager -> memo * (G.pnode M.edge' -> edge)
val calc : memo -> edge -> edge
val eval : memo -> D0.eval -> edge -> edge
val dump_stats : memo -> string GuaCaml.Tree.tree