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