package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = manager
type f = G0.edge'
val arity : 'a -> (Ldd_B_u_nuc_types.block * 'b) -> int
val (->>) : 'a -> bool list -> (Ldd_B_u_nuc_types.block * ('b, 'c) GuaCaml.Tree.gnext) -> Ldd_B_u_nuc_types.block * ('b, 'c) GuaCaml.Tree.gnext
val cneg : 'a -> bool -> (Ldd_B_u_nuc_types.block * 'b) -> Ldd_B_u_nuc_types.block * 'b
val neg : 'a -> (Ldd_B_u_nuc_types.block * 'b) -> Ldd_B_u_nuc_types.block * 'b
val cst : 'a -> bool -> int -> Ldd_B_u_nuc_types.block * (unit, 'b) GuaCaml.Tree.gnext
val var : 'a -> bool -> int -> int -> Ldd_B_u_nuc_types.block * (unit, 'b) GuaCaml.Tree.gnext
val to_bool : 'a -> (Ldd_B_u_nuc_types.block * 'b) -> bool option
val cofactor : t -> bool -> f -> f
val id : t -> f -> GuaCaml.BTools.barray
val eq : t -> f -> f -> bool
val newman : unit -> manager
val copy_into : t -> f list -> t -> f list
val of_barray : ?t:t option -> GuaCaml.BTools.BArray.t -> t * f list
val do_nocopy : bool -> G1.G.manager -> G1.G.edge' list -> G1.G.manager * G1.G.edge' list
val to_barray : ?nocopy:bool -> ?destruct:bool -> t -> f list -> GuaCaml.BTools.BArray.t
val br_fl : ?t:t option -> GuaCaml.BTools.OfBStream.Channel.t -> t * f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> t -> GuaCaml.BTools.ToBStream.Channel.t -> f list -> unit
val t_stats : t -> GuaCaml.Tree.stree
val f_stats : t -> f list -> GuaCaml.Tree.stree
val clear_caches : t -> unit
val keep_clean : ?normalize:bool -> t -> f list -> f list
val check : manager -> G0.edge' -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> t -> out_channel -> f list -> unit
val off : in_channel -> t * f list