package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type extra = Ldd_B_u_nucx.ComposeOops(LddMlbdd).Model.extra = {
  1. oman : LddMlbdd.t;
  2. fa : LddMlbdd.f array;
  3. arity : int;
}
type xedge = int * LddMlbdd.f
type xnode = xedge
type param = int list
val get_var : extra -> bool -> int -> LddMlbdd.f
val map_next : extra -> param -> (unit, param -> int * LddMlbdd.f) GuaCaml.Tree.gnext -> int * LddMlbdd.f
val intro_Xi : extra -> xedge -> int -> int * LddMlbdd.f
val intro_CXYi : extra -> xedge -> bool -> bool -> int -> int * LddMlbdd.f
val apply_rowU : 'a -> int list -> xedge -> xedge
val apply_rowX : extra -> int list -> xedge -> xedge
val apply_rowC : extra -> bool -> (bool * int) list -> xedge -> xedge
val apply_rowCX : extra -> (int list, bool * (bool * int) list) GuaCaml.AB.ab -> xedge -> xedge
val apply_matCX : extra -> (int list, bool * (bool * int) list) GuaCaml.AB.ab list -> xedge -> xedge
val apply_matUCX : extra -> (int list * (int list, bool * (bool * int) list) GuaCaml.AB.ab list) -> xedge -> xedge
val cneg : extra -> bool -> xedge -> xedge
val map_matUCX : extra -> int list -> Ldd_B_u_nucx_types.matUCX -> (unit, param -> xedge) GuaCaml.Tree.gnext -> xedge
val map_decomp : extra -> param -> int -> Ldd_B_u_nucx.ThisT.decomp -> (unit, param -> xedge) GuaCaml.Tree.gnext -> xedge
val map_edge : extra -> param -> (Ldd_B_u_nucx.ThisT.block * (unit, param -> xedge) GuaCaml.Tree.gnext) -> xedge
val map_node : extra -> param -> (param -> xnode) M.M.node' -> xnode