Module Condition.ConditionCuddSource

Condition using Cudd binary-decision diagrams.

Sourcemodule C_bdd : sig ... end
Sourceval all : Cudd.bdd
Sourceval empty : Cudd.bdd
Sourceval inter : Cudd.bdd -> Cudd.bdd -> Cudd.bdd
Sourceval union : Cudd.bdd -> Cudd.bdd -> Cudd.bdd
Sourceval disjoint : Cudd.bdd -> Cudd.bdd -> bool
Sourceval is_empty : Cudd.bdd -> bool
Sourceval complement : Cudd.bdd -> Cudd.bdd
Sourceval equal : Cudd.bdd -> Cudd.bdd -> bool
Sourceval is_included : Cudd.bdd -> Cudd.bdd -> bool
Sourceval (&&~) : Cudd.bdd -> Cudd.bdd -> Cudd.bdd
Sourceval (||~) : Cudd.bdd -> Cudd.bdd -> Cudd.bdd
Sourceval (!~) : Cudd.bdd -> Cudd.bdd
Sourceval one : Cudd.bdd
Sourceval zero : Cudd.bdd
Sourceval is_zero : Cudd.bdd -> bool
Sourceval is_one : Cudd.bdd -> bool
Sourceval var : unit -> Cudd.bdd
Sourceval pp_print_var : Format.formatter -> int -> unit
Sourceval pretty : Format.formatter -> Cudd.bdd -> unit
Sourceval hash : t -> int