Module ConditionCudd.C_bddSource

Sourcetype result =
  1. | False
  2. | True
  3. | Ifte of int * Cudd.bdd * Cudd.bdd
Sourceval true_ : unit -> Cudd.bdd
Sourceval false_ : unit -> Cudd.bdd
Sourceval not_ : Cudd.bdd -> Cudd.bdd
Sourceval and_ : Cudd.bdd -> Cudd.bdd -> Cudd.bdd
Sourceval or_ : Cudd.bdd -> Cudd.bdd -> Cudd.bdd
Sourceval var : int -> Cudd.bdd
Sourceval newvar : unit -> Cudd.bdd
Sourceval is_equal : Cudd.bdd -> Cudd.bdd -> bool
Sourceval is_false : Cudd.bdd -> bool
Sourceval is_true : Cudd.bdd -> bool
Sourceval is_inter_empty : Cudd.bdd -> Cudd.bdd -> bool
Sourceval is_included_in : Cudd.bdd -> Cudd.bdd -> bool
Sourceval inspect : Cudd.bdd -> result
Sourceval print : (Format.formatter -> int -> unit) -> Format.formatter -> Cudd.bdd -> unit