Module Condition.ConditionCudd

Condition using Cudd binary-decision diagrams.

module C_bdd : sig ... end

type t = Cudd.bdd

val all : Cudd.bdd

val empty : Cudd.bdd

val inter : Cudd.bdd -> Cudd.bdd -> Cudd.bdd

val union : Cudd.bdd -> Cudd.bdd -> Cudd.bdd

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

val is_empty : Cudd.bdd -> bool

val complement : Cudd.bdd -> Cudd.bdd

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

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

val (&&~) : Cudd.bdd -> Cudd.bdd -> Cudd.bdd

val (||~) : Cudd.bdd -> Cudd.bdd -> Cudd.bdd

val (!~) : Cudd.bdd -> Cudd.bdd

val one : Cudd.bdd

val zero : Cudd.bdd

val is_zero : Cudd.bdd -> bool

val is_one : Cudd.bdd -> bool

val var : unit -> Cudd.bdd

val pp_print_var : Stdlib.Format.formatter -> int -> unit

val pretty : Stdlib.Format.formatter -> Cudd.bdd -> unit

val hash : t -> int