package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
val arity_edge : (Ldd_B_u_nucx_types.block * 'a) -> int
val arity_node : (unit * (Ldd_B_u_nucx_types.block * 'a) * (Ldd_B_u_nucx_types.block * 'b)) -> int
val arity_merge : (Ldd_B_u_nucx_types.block * 'a) -> int
val arity_merge3 : (Ldd_B_u_nucx_types.block * 'a) -> int
val arity_block : Ldd_B_u_nucx_types.block -> int
val cst_block : bool -> int -> Ldd_B_u_nucx_types.block
val cst_edge : bool -> int -> 'a Ldd_B_u_nucx_types.edge'
val get_cst : bool -> (Ldd_B_u_nucx_types.block * 'a) -> 'b Ldd_B_u_nucx_types.edge'
val support_of_edge : 'a Ldd_B_u_nucx_types.edge' -> bool list
val rowCX_allS : Ldd_B_u_nucx_types.rowCX -> bool
val rowCX_length : Ldd_B_u_nucx_types.rowCX -> int
val rowCX_type : Ldd_B_u_nucx_types.rowCX -> (unit, bool) GuaCaml.AB.ab
val rowCX_countS : Ldd_B_u_nucx_types.rowCX -> int
val rowCX_countB : Ldd_B_u_nucx_types.rowCX -> int
val id_block : ?neg:bool -> int -> Ldd_B_u_nucx_types.block
val id_edge : ?neg:bool -> int -> 'a -> Ldd_B_u_nucx_types.block * 'a
val block_of_matCX : ?neg:bool -> int -> Ldd_B_u_nucx_types.matCX -> int option -> Ldd_B_u_nucx_types.block
val edge_of_matCX : ?neg:bool -> int -> Ldd_B_u_nucx_types.matCX -> int option -> 'a -> Ldd_B_u_nucx_types.block * 'a
val merge_of_edge : ('a * 'b) -> 'a * ('b, 'c) GuaCaml.Utils.merge
val merge3_of_edge : ('a * 'b) -> 'a * ('b, 'c, 'd) GuaCaml.Utils.merge3
val cst_merge3 : bool -> int -> Ldd_B_u_nucx_types.edge * ('a Ldd_B_u_nucx_types.next', 'b, 'c) GuaCaml.Utils.merge3
val block_is_cst : Ldd_B_u_nucx_types.block -> bool option
val edge_is_cst : (Ldd_B_u_nucx_types.block * 'a) -> bool option
val mapS_to_rowU : (unit, 'a) GuaCaml.AB.ab list -> ('b, (unit, 'a) GuaCaml.AB.ab) GuaCaml.AB.ab list
val make_id_block : bool -> int -> Ldd_B_u_nucx_types.block
val peval_of_rowC0 : ('a, bool) GuaCaml.AB.ab list -> bool option list
val extract_neg_from_edge : (Ldd_B_u_nucx_types.block * 'a) -> bool * (Ldd_B_u_nucx_types.block * 'a)
val set_neg_edge : bool -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_neg_block : bool -> Ldd_B_u_nucx_types.block -> Ldd_B_u_nucx_types.block
val compose_neg_edge : bool -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val compose_neg_merge3 : bool -> (Ldd_B_u_nucx_types.block * 'a) -> Ldd_B_u_nucx_types.block * 'a
val dual_rowCX : ('a, bool * 'b) GuaCaml.AB.ab -> ('a, bool * 'b) GuaCaml.AB.ab
val xor_rowCX : bool -> ('a, bool * 'b) GuaCaml.AB.ab -> ('a, bool * 'b) GuaCaml.AB.ab
val dual_matCX : ('a, bool * 'b) GuaCaml.AB.ab list -> ('a, bool * 'b) GuaCaml.AB.ab list
val xor_matCX : bool -> ('a, bool * 'b) GuaCaml.AB.ab list -> ('a, bool * 'b) GuaCaml.AB.ab list
val dual_matUCX : ('a * ('b, bool * 'c) GuaCaml.AB.ab list) -> 'a * ('b, bool * 'c) GuaCaml.AB.ab list
val xor_matUCX : bool -> ('a * ('b, bool * 'c) GuaCaml.AB.ab list) -> 'a * ('b, bool * 'c) GuaCaml.AB.ab list
val dual_bmatUCX : (bool * ('a * ('b, bool * 'c) GuaCaml.AB.ab list)) -> bool * ('a * ('b, bool * 'c) GuaCaml.AB.ab list)
val xor_bmatUCX : bool -> (bool * ('a * ('b, bool * 'c) GuaCaml.AB.ab list)) -> bool * ('a * ('b, bool * 'c) GuaCaml.AB.ab list)
val get_type_matCX : bool -> Ldd_B_u_nucx_types.matCX -> (unit, bool) GuaCaml.AB.ab option
val get_type_matUCX : bool -> Ldd_B_u_nucx_types.matUCX -> (unit, bool) GuaCaml.AB.ab option