package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type f = {
  1. arity : int;
  2. edge : Snax.Module.G0.edge';
}
val f_to_string : f -> string
val rename_of_blist : bool list -> int array
val (->>) : Snax.Module.RENAME_MODELE.M.manager -> bool list -> f -> f
val arity : 'a -> f -> int
val cneg : 'a -> Snax.Module.G0.M.edge -> f -> f
val andb : Snax.Module.G1.G.manager -> f -> f -> f
val (&!) : Snax.Module.G1.G.manager -> f -> f -> f
val (^!) : Snax.Module.G1.G.manager -> f -> f -> f
val (|!) : Snax.Module.G1.G.manager -> f -> f -> f
val (=!) : Snax.Module.G1.G.manager -> f -> f -> f
val cst : 'a -> Snax.Module.G0.M.edge -> int -> f
val var : 'a -> Snax.Module.G0.M.edge -> int -> int -> f
val to_bool : 'a -> 'b -> 'c option
val cofactor : t -> bool -> f -> f
val id : t -> f -> GuaCaml.BTools.barray
val eq : t -> f -> f -> bool
val newman : unit -> t
val copy_into : t -> f list -> t -> f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> t -> GuaCaml.BTools.ToBStream.Channel.t -> f list -> unit
val br_fl : ?t:t option -> GuaCaml.BTools.OfBStream.Channel.t -> t * f list
val to_barray : ?nocopy:bool -> ?destruct:bool -> t -> f list -> GuaCaml.BTools.BArray.t
val of_barray : ?t:t option -> GuaCaml.BTools.BArray.t -> t * f list
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 : Snax.Module.G0.manager -> f -> 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