package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type extra = Model.extra
type param = Model.param
type xf = Model.xedge
type tt = AriUbdagTC.BottomUp_NOC(Model).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 -> Model.extra -> tt
val newman : t -> Model.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
OCaml

Innovation. Community. Security.