package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
type !'a t = ('a Env.t, 'a Expr0.t) Env.value
type !'a expr = 'a t
module Bool : sig ... end
module Bint : sig ... end
module Benum : sig ... end
type apron_coeff = Apron.Coeff.t
type apron_typ = Apron.Texpr1.typ
type apron_round = Apron.Texpr1.round
type apron_cons_typ = Apron.Tcons1.typ
module Apron : sig ... end
val typ_of_expr : 'a t -> 'a Env.typ
val make : 'a Env.t -> 'a Expr0.t -> 'a t
val of_expr0 : 'a Env.t -> 'a Expr0.t -> 'a t
val get_env : 'a t -> 'a Env.t
val to_expr0 : 'a t -> 'a Expr0.t
val extend_environment : 'a t -> 'a Env.t -> 'a t
val var : 'a Env.t -> 'a Cond.t -> 'a -> 'a t
val ite : 'a Cond.t -> 'a Bool.t -> 'a t -> 'a t -> 'a t
val eq : 'a Cond.t -> 'a t -> 'a t -> 'a Bool.t
val substitute_by_var : ?memo:Cudd.Memo.t -> 'a Cond.t -> 'a t -> ('a * 'a) list -> 'a t
val substitute_by_var_list : ?memo:Cudd.Memo.t -> 'a Cond.t -> 'a t list -> ('a * 'a) list -> 'a t list
val substitute : ?memo:Cudd.Memo.t -> 'a Cond.t -> 'a t -> ('a * 'a t) list -> 'a t
val substitute_list : ?memo:Cudd.Memo.t -> 'a Cond.t -> 'a t list -> ('a * 'a t) list -> 'a t list
val support : 'a Cond.t -> 'a t -> 'a PSette.t
val support_cond : Cudd.Man.vt -> 'a t -> Cudd.Bdd.vt
val cofactor : 'a t -> 'a Bool.t -> 'a t
val restrict : 'a t -> 'a Bool.t -> 'a t
val tdrestrict : 'a t -> 'a Bool.t -> 'a t
val print : 'a Cond.t -> Format.formatter -> 'a t -> unit
val normalize : ?reduce:bool -> ?careset:bool -> ('a Cond.t * 'a t list) -> 'a Cond.t * 'a t list
module List : sig ... end
module O : 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