Module ConditionCudd.C_bdd

type result =

1. | False
2. | True
3. | Ifte of int * Cudd.bdd * Cudd.bdd

val true_ : unit -> Cudd.bdd

val false_ : unit -> Cudd.bdd

val not_ : Cudd.bdd -> Cudd.bdd

val and_ : Cudd.bdd -> Cudd.bdd -> Cudd.bdd

val or_ : Cudd.bdd -> Cudd.bdd -> Cudd.bdd

val var : int -> Cudd.bdd

val newvar : unit -> Cudd.bdd

val is_equal : Cudd.bdd -> Cudd.bdd -> bool

val is_false : Cudd.bdd -> bool

val is_true : Cudd.bdd -> bool

val is_inter_empty : Cudd.bdd -> Cudd.bdd -> bool

val is_included_in : Cudd.bdd -> Cudd.bdd -> bool

val inspect : Cudd.bdd -> result

val print : (Stdlib.Format.formatter -> int -> unit) -> Stdlib.Format.formatter -> Cudd.bdd -> unit