package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tt = {
  1. man_oops : Ldd_B_u_nu.LDD.OOPS.Model.t;
  2. man_tostree : ToSTree.tt;
  3. man_pevalr : PEvalR.tt;
  4. man_forallr : ForallR.tt;
  5. profile : GuaCaml.OProfile.t;
}
val get_man_ldd : tt -> Ldd_B_u_nu.LDD.G1.manager
val makeman : ?man_oops:Ldd_B_u_nu.LDD.OOPS.Model.t -> unit -> tt
module Model : sig ... end
val newman : unit -> tt
val print_profile : Model.t -> unit
module O : sig ... end
val neg : O.t -> O.f -> O.f
val var : O.t -> bool -> int -> O.f
val cst0 : O.t -> O.f
val cst1 : O.t -> O.f
val ite : O.t -> O.f -> O.f -> O.f -> O.f
val biite : O.t -> (O.f * O.f) -> O.f -> O.f -> O.f
val push_pass : O.t -> O.f -> O.f
val array_make_n_var : O.t -> int -> O.f array
val array_make_n_bivar : O.t -> int -> (O.f * O.f) array
val list_make_n_var : O.t -> int -> O.f list
val array_and : O.t -> ?arity:int option -> O.f array -> O.f
val list_and : O.t -> ?arity:int option -> O.f list -> O.f
val init_and : O.t -> ?arity:int option -> int -> (int -> O.f) -> O.f
val array_or : O.t -> ?arity:int option -> O.f array -> O.f
val list_or : O.t -> ?arity:int option -> O.f list -> O.f
val init_or : O.t -> ?arity:int option -> int -> (int -> O.f) -> O.f
val array_neg : O.t -> O.f array -> O.f array
val list_neg : O.t -> O.f list -> O.f list
val array_at_least_one : O.t -> ?arity:int option -> O.f array -> O.f
val list_at_least_one : O.t -> ?arity:int option -> O.f list -> O.f
val array_exactly_one : O.t -> O.f array -> O.f
val array_atmost_one : O.t -> O.f array -> O.f
val array_copy_fun : O.t -> int -> O.f -> O.f array
val array_copy_fun_t : O.t -> int -> O.f -> O.f array
val array_copy_fun_array : O.t -> int -> O.f array -> O.f GuaCaml.Matrix.matrix
val array_copy_fun_array_t : O.t -> int -> O.f array -> O.f GuaCaml.Matrix.matrix
type !'s system = ('s, O.t, O.f) IoTypes.system
module ToF : sig ... end
module OfF : sig ... end
val system_tof : ?nocopy:bool -> string system -> string -> unit
val system_off : string -> string system
module ToBStream : sig ... end
module OfBStream : sig ... end
val to_file : ?nocopy:bool -> string system -> string -> unit
val of_file : string -> string system
module SUInt : sig ... end
module VUInt : sig ... end
module LoadCnf0 : sig ... end
module LoadCnfA : sig ... end
module LoadCnfQ : sig ... end
module RBTF : sig ... end
module RBTF_CNF : sig ... end
module RBTF_CNF_D4 : sig ... end
module CRBTF : sig ... end
module CRBTF_CNF : sig ... end
module WRBTF : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct