package DAGaml

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

Parameters

module M : BottomUp_MSig

Signature

type t = M.M.manager
type f = M.M.G.edge'
type extra = M.extra
type param = M.param
type xf = M.xedge
type tt = {
  1. man : t;
  2. extra : extra;
  3. mem : (param * f, xf) GuaCaml.MemoTable.t;
  4. rec_node : (param * f) -> xf;
  5. rec_edge : param -> f -> xf;
}
val dump_stats : tt -> GuaCaml.Tree.stree
val makeman : t -> ?hsize:int -> M.extra -> tt
val newman : t -> M.extra -> tt
val get_extra : tt -> extra
val get_master : tt -> t
val solve : tt -> param -> f -> xf
val rec_edge : tt -> param -> f -> xf
val rec_node : tt -> param -> f -> xf