Module Condition.ConditionCudd

type t = Cudd.Man.d Cudd.Bdd.t
val man : Cudd.Man.d Cudd.Man.t
val all : Cudd.Man.d Cudd.Bdd.t
val empty : Cudd.Man.d Cudd.Bdd.t
val inter : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t
val union : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t
val disjoint : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> bool
val is_empty : 'a Cudd.Bdd.t -> bool
val complement : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t
val equal : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> bool
val is_included : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> bool
val (&&~) : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t
val (||~) : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t
val (!~) : 'a Cudd.Bdd.t -> 'a Cudd.Bdd.t
val one : Cudd.Man.d Cudd.Bdd.t
val zero : Cudd.Man.d Cudd.Bdd.t
val is_zero : 'a Cudd.Bdd.t -> bool
val is_one : 'a Cudd.Bdd.t -> bool
val var : unit -> Cudd.Man.d Cudd.Bdd.t
val pp_print_var : Stdlib.Format.formatter -> int -> unit
val pretty : Stdlib.Format.formatter -> 'a Cudd.Bdd.t -> unit
val hash : t -> int