package DAGaml

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

Parameters

module D0 : MODELE_IUOP

Signature

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