Module `Flatten.Disj`

type t = PSet.t

val print : Cudf.universe -> Stdlib.Format.formatter -> PSet.t -> unit
val implies : PSet.t -> PSet.t -> bool
val equiv : PSet.t -> PSet.t -> bool
val lit : PSet.elt -> PSet.t
val lit_disj : PSet.elt list -> PSet.t
val _false : PSet.t
val disj : PSet.t -> PSet.t -> PSet.t
val disjl : PSet.t list -> PSet.t
val iter : PSet.t -> (PSet.elt -> unit) -> unit
val cut : PSet.t -> PSet.elt -> PSet.t -> PSet.t
val fold : (PSet.elt -> 'a -> 'a) -> PSet.t -> 'a -> 'a
val for_all : (PSet.elt -> bool) -> PSet.t -> bool
val exists : (PSet.elt -> bool) -> PSet.t -> bool
val implies1 : PSet.elt -> PSet.t -> bool
val to_lit : PSet.t -> PSet.elt option
val to_lits : 'a -> 'a
val filter : (PSet.elt -> bool) -> PSet.t -> PSet.t
val normalize : PSet.t -> PSet.t
val compare : PSet.t -> PSet.t -> int