package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type compact
type residual
type eval
val solver : (G.pnode -> G.ident) -> edge -> edge -> (M.edge * (eval option * G.tree), M.edge * ((M.edge * (eval option * G.tree)) * (M.edge * (eval option * G.tree))), residual * (compact * (eval option * G.tree) * (eval option * G.tree))) GuaCaml.Utils.merge3
val solver' : (G.pnode -> G.ident) -> compact -> (edge, G.tree) GuaCaml.Utils.merge -> (edge, G.tree) GuaCaml.Utils.merge -> (M.edge * (eval option * G.tree), M.edge * ((M.edge * (eval option * G.tree)) * (M.edge * (eval option * G.tree))), residual * (compact * (eval option * G.tree) * (eval option * G.tree))) GuaCaml.Utils.merge3
val eval : eval -> edge -> M.edge * (eval option * G.tree)
val read : eval -> (unit, eval, eval, eval * eval) GuaCaml.Utils.binpull
val decomp : G.tree -> G.tree -> compact -> edge * edge
val compose : residual -> edge -> edge