package DAGaml

  1. Overview
  2. Docs
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.