package DAGaml

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

Parameters

module D0 : MODELE_EUOP

Signature

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