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 -> Ldd_B_o_nu.LDD.G0.edge' -> Ldd_B_o_nu.LDD.G0.edge'
val arity : tt -> (('a * ('b * 'c)) * 'd) -> 'b
val cneg : tt -> 'a -> (('a * 'b) * 'c) -> (bool * 'b) * 'c
val neg : tt -> ((bool * 'a) * 'b) -> (bool * 'a) * 'b
val cst : tt -> 'a -> 'b -> ('a * ('b * int)) * (unit, 'c) GuaCaml.Tree.gnext
val var : tt -> bool -> int -> int -> (bool * (int * int)) * Ldd_B_o_nu.LDD.G0.ident Ldd_B_o_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_o_nu.LDD.OOPS.Model.f list -> GuaCaml.BTools.BArray.t
val of_barray : ?t:tt option -> GuaCaml.BTools.BArray.t -> tt * Ldd_B_o_nu.LDD.OOPS.Model.f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> tt -> GuaCaml.BTools.ToBStream.Channel.t -> Ldd_B_o_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_o_nu.LDD.OOPS.Model.f list -> Ldd_B_o_nu.LDD.OOPS.Model.f list
val check : tt -> Ldd_B_o_nu.LDD.G0.edge' -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> tt -> out_channel -> Ldd_B_o_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 : AQEOPS.prim -> bool
val detect_o_prim : 'a -> AQEOPS.prim -> (('b * (int * int)) * 'c) -> int
val intro_o_prim : 'a -> AQEOPS.prim -> int -> (('b * (int * 'c)) * 'd) -> ('b * (int * 'c)) * 'd
val elim_o_prim : 'a -> AQEOPS.prim -> int -> (('b * (int * int)) * 'c) -> ('b * (int * int)) * 'c