package bddapron

  1. Overview
  2. Docs
type !'a t = [
  1. | `Benum of 'a Enum.t
  2. | `Bint of 'a Int.t
  3. | `Bool of 'a Cudd.Bdd.t
]
type !'a expr = 'a t
type dt = Cudd.Man.d t
type vt = Cudd.Man.v t
module Bool : sig ... end
module Bint : sig ... end
module Benum : sig ... end
val typ_of_expr : ('a, 'b) Env.t -> 'b t -> 'a Env.typ
val var : ('a, 'b) Env.t -> 'a -> 'b t
val ite : 'a Bool.t -> 'a t -> 'a t -> 'a t
val eq : ('a, 'b) Env.t -> 'b t -> 'b t -> 'b Bool.t
val substitute_by_var : ?memo:Cudd.Memo.t -> ('a, 'b) Env.t -> 'b t -> ('a * 'a) list -> 'b t
val substitute_by_var_list : ?memo:Cudd.Memo.t -> ('a, 'b) Env.t -> 'b t list -> ('a * 'a) list -> 'b t list
val substitute : ?memo:Cudd.Memo.t -> ('a, 'b) Env.t -> 'b t -> ('a * 'b t) list -> 'b t
val substitute_list : ?memo:Cudd.Memo.t -> ('a, 'b) Env.t -> 'b t list -> ('a * 'b t) list -> 'b t list
val cofactor : 'a t -> 'a Cudd.Bdd.t -> 'a t
val restrict : 'a t -> 'a Cudd.Bdd.t -> 'a t
val tdrestrict : 'a t -> 'a Cudd.Bdd.t -> 'a t
val support : ('a, 'b) Env.t -> 'b t -> 'a PSette.t
val support_cond : 'a Cudd.Man.t -> 'a t -> 'a Cudd.Bdd.t
val cube_of_bdd : ('a, 'b) Env.t -> 'b Cudd.Bdd.t -> 'b Cudd.Bdd.t
val print : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, 'b) Env.t -> Format.formatter -> 'b t -> unit
val print_minterm : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, 'b) Env.t -> Format.formatter -> Cudd.Man.tbool array -> unit
val print_bdd : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, 'b) Env.t -> Format.formatter -> 'b Cudd.Bdd.t -> unit
val print_idcondb : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, 'b) Env.t -> Format.formatter -> (int * bool) -> unit
val print_idcond : ?print_external_idcondb:(Format.formatter -> (int * bool) -> unit) -> ('a, 'b) Env.t -> Format.formatter -> int -> unit
module O : sig ... end
OCaml

Innovation. Community. Security.