Module Condition.ConditionMySource

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