package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M = LDD.G0
type xedge = int * SnaxOops.OOPS.Model.f
type xnode = xedge
type param = int list
val get_var : extra -> bool -> int -> SnaxOops.OOPS.Model.f
val map_next : extra -> param -> (unit, param -> int * SnaxOops.OOPS.Model.f) GuaCaml.Tree.gnext -> int * SnaxOops.OOPS.Model.f
val intro_Xi : extra -> xedge -> int -> int * SnaxOops.OOPS.Model.f
val intro_CXYi : extra -> xedge -> bool -> bool -> int -> int * SnaxOops.OOPS.Model.f
val split_lU : param -> ThisT.uniq_elem list -> int list * param
val apply_lU : 'a -> int list -> xedge -> xedge
val cneg : extra -> bool -> xedge -> xedge
val map_edge : extra -> param -> ((bool * ThisT.uniq_elem list) * (unit, param -> xedge) GuaCaml.Tree.gnext) -> xedge
val map_node : extra -> param -> (param -> xnode) M.M.node' -> xnode