Module Formula.Bool


module Bool: sig .. end

type t = Bdd.t 
val of_expr : Formula.expr -> t
val to_expr : t -> Formula.expr
val dtrue : #Formula.db -> t
val dfalse : #Formula.db -> t
val of_bool : #Formula.db -> bool -> t
val var : #Formula.db -> Var.t -> t
val dnot : #Formula.db -> t -> t
val dand : #Formula.db -> t -> t -> t
val dor : #Formula.db -> t -> t -> t
val xor : #Formula.db -> t -> t -> t
val nand : #Formula.db -> t -> t -> t
val nor : #Formula.db -> t -> t -> t
val nxor : #Formula.db -> t -> t -> t
val eq : #Formula.db -> t -> t -> t
val ite : #Formula.db ->
t -> t -> t -> t
val is_included_in : ?sem:bool -> #Formula.db -> t -> t -> bool
val is_inter_empty : ?sem:bool -> #Formula.db -> t -> t -> bool
val exists : ?sem:bool -> #Formula.db -> Var.t list -> t -> t
val forall : ?sem:bool -> #Formula.db -> Var.t list -> t -> t
val print : #Formula.db -> Format.formatter -> t -> unit