package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = MO.t
type f = MO.f
val (->>) : t -> bool list -> f -> f
val arity : t -> f -> int
val cneg : t -> bool -> f -> f
val (&!) : t -> f -> f -> f
val (|!) : t -> f -> f -> f
val (^!) : t -> f -> f -> f
val (=!) : t -> f -> f -> f
val (*!) : t -> f -> f -> f
val cst : t -> bool -> int -> f
val to_bool : t -> f -> bool option
val newman : unit -> t
val copy_into : t -> f list -> t -> f list
val to_barray : ?nocopy:bool -> ?destruct:bool -> t -> f list -> GuaCaml.BTools.barray
val of_barray : ?t:t option -> GuaCaml.BTools.barray -> t * f list
val bw_fl : ?nocopy:bool -> ?destruct:bool -> t -> f list GuaCaml.BTools.bw
val br_fl : ?t:t option -> (t * f list) GuaCaml.BTools.br
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 : t -> f -> bool
module F : sig ... end
val tof : ?nocopy:bool -> ?normalize:bool -> ?destruct:bool -> t -> f list GuaCaml.Io.ToF.t
val off : (t * f list) GuaCaml.Io.OfF.t
val neg : t -> f -> f
val var : t -> bool -> int -> f
val cst0 : t -> f
val cst1 : t -> f
val ite : t -> f -> f -> f -> f
val biite : t -> (f * f) -> f -> f -> f
val push_pass : t -> f -> f
val array_make_n_var : MO.t -> int -> MO.f array
val array_make_n_bivar : MO.t -> int -> (MO.f * MO.f) array
val list_make_n_var : MO.t -> int -> MO.f list
val array_and : t -> ?arity:int option -> f array -> f
val list_and : t -> ?arity:int option -> f list -> f
val init_and : t -> int -> (int -> f) -> f
val array_or : t -> ?arity:int option -> f array -> f
val list_or : t -> ?arity:int option -> f list -> f
val init_or : t -> ?arity:int option -> int -> (int -> f) -> f
val array_neg : t -> f array -> f array
val list_neg : t -> f list -> f list
val array_at_least_one : t -> ?arity:int option -> f array -> f
val list_at_least_one : t -> ?arity:int option -> f list -> f
val array_exactly_one : t -> f array -> f
val array_atmost_one : t -> f array -> f
val array_copy_fun : t -> int -> f -> f array
val array_copy_fun_t : t -> int -> f -> f array
val array_copy_fun_array : t -> int -> f array -> f GuaCaml.Matrix.matrix
val array_copy_fun_array_t : t -> int -> f array -> f GuaCaml.Matrix.matrix
OCaml

Innovation. Community. Security.