package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = tt
type f = ff
val newman : unit -> tt
val print_profile : t -> unit
val (->>) : tt -> bool list -> 'a Ldd_B_u_nu_types.edge' -> (bool * Ldd_B_u_nu_types.uniq_elem list) * 'a Ldd_B_u_nu_types.next'
val arity : tt -> 'a Ldd_B_u_nu_types.edge' -> int
val cneg : tt -> 'a -> (('a * 'b) * 'c) -> (bool * 'b) * 'c
val neg : tt -> ((bool * 'a) * 'b) -> (bool * 'a) * 'b
val cst : tt -> 'a -> int -> ('a * Ldd_B_u_nu_types.uniq_elem list) * (unit, 'b) GuaCaml.Tree.gnext
val var : tt -> bool -> int -> int -> (bool * Ldd_B_u_nu.ThisT.uniq_elem list) * Ldd_B_u_nu.LDD.G0.ident Ldd_B_u_nu.LDD.G0.M.next'
val to_bool : tt -> (('a * 'b) * (unit, 'c) GuaCaml.Tree.gnext) -> 'a option
val to_barray : ?nocopy:bool -> ?destruct:bool -> tt -> Ldd_B_u_nu.LDD.OOPS.Model.f list -> GuaCaml.BTools.BArray.t
val of_barray : ?t:tt option -> GuaCaml.BTools.BArray.t -> tt * Ldd_B_u_nu.LDD.OOPS.Model.f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> tt -> GuaCaml.BTools.ToBStream.Channel.t -> Ldd_B_u_nu.LDD.OOPS.Model.f list -> unit
val t_stats : tt -> GuaCaml.Tree.stree
val clear_caches : tt -> unit
val keep_clean : ?normalize:bool -> tt -> Ldd_B_u_nu.LDD.OOPS.Model.f list -> Ldd_B_u_nu.LDD.OOPS.Model.f list
val check : tt -> Ldd_B_u_nu.LDD.G0.edge' -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> tt -> out_channel -> Ldd_B_u_nu.LDD.OOPS.Model.f list -> unit
val to_string : t -> f -> string
val support : t -> f -> Support.t
val pevalA : t -> bool option list -> f -> f
val pevalR : t -> bool option list -> f -> f
val forallA : t -> Support.t -> f -> f
val forallR : t -> Support.t -> f -> f
val (&!!) : t -> int -> f list -> f
val (|!!) : t -> int -> f list -> f
val (^!!) : t -> int -> f list -> f
val (=!!) : t -> int -> f list -> f
val builtin_o_prim : 'a -> bool
val detect_o_prim : 'a -> 'b -> 'c -> 'd
val intro_o_prim : 'a -> 'b -> 'c -> 'd -> 'e
val elim_o_prim : 'a -> 'b -> 'c -> 'd -> 'e