bddapron 2.3.3 · OCaml Package

type !'a t = [

| `Benum of 'a Enum.t
| `Bint of 'a Int.t
| `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

package bddapron