Module Condition.ConditionMy

include module type of struct include Bed.BDD end
type bdd = private Bed.BDD.bdd =
  1. | Zero
  2. | One
  3. | If of Bed.tag * int * bdd * bdd
type t = bdd
val zero : bdd
val one : bdd
val mk : int -> bdd -> bdd -> bdd
val equal : bdd -> bdd -> bool
val hash : bdd -> int
val compare : bdd -> bdd -> int
val pretty : Stdlib.Format.formatter -> bdd -> unit
module WithCache = Bed.BDD.WithCache
val (!~) : bdd -> bdd
val (&&~) : bdd -> bdd -> bdd
val (||~) : bdd -> bdd -> bdd
val (==>~) : bdd -> bdd -> bdd
val var_count : int Stdlib.ref
val fresh : unit -> int
val all : bdd
val disjoint : bdd -> bdd -> bool
val empty : bdd
val is_included : bdd -> bdd -> bool
val inter : bdd -> bdd -> bdd
val union : bdd -> bdd -> bdd
val is_empty : bdd -> bool
val is_zero : bdd -> bool
val is_one : bdd -> bool
val complement : bdd -> bdd
val var : unit -> Bed.BDD.bdd