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_u.LDD.G0.edge' -> Ldd_B_o_u.LDD.G0.edge'
val arity : tt -> (('a * 'b) * 'c) -> 'a
val cst : tt -> 'a -> int -> (int * int) * ('a, 'b) GuaCaml.Tree.gnext
val to_bool : tt -> (('a * 'b) * ('c, 'd) GuaCaml.Tree.gnext) -> 'c option
val copy_into : tt -> Ldd_B_o_u.LDD.OOPS.Model.f list -> tt -> Ldd_B_o_u.LDD.OOPS.Model.f list
val to_barray : ?nocopy:bool -> ?destruct:bool -> tt -> Ldd_B_o_u.LDD.OOPS.Model.f list -> GuaCaml.BTools.BArray.t
val of_barray : ?t:tt option -> GuaCaml.BTools.BArray.t -> tt * Ldd_B_o_u.LDD.OOPS.Model.f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> tt -> GuaCaml.BTools.ToBStream.Channel.t -> Ldd_B_o_u.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_u.LDD.OOPS.Model.f list -> Ldd_B_o_u.LDD.OOPS.Model.f list
val check : tt -> Ldd_B_o_u.LDD.G0.edge' -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> tt -> out_channel -> Ldd_B_o_u.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 existsA : t -> Support.t -> Ldd_B_o_u.LDD.OOPS.Model.f -> f
val existsR : t -> Support.t -> Ldd_B_o_u.LDD.OOPS.Model.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 -> ((int * int) * 'b) -> int
val intro_o_prim : 'a -> AQEOPS.prim -> int -> ((int * 'b) * 'c) -> (int * 'b) * 'c
val elim_o_prim : 'a -> AQEOPS.prim -> int -> ((int * int) * 'b) -> (int * int) * 'b