Module type Condition_map.CONDITION

The type of conditions. This can be viewed as formulas, or as sets of valuations satisfying the formula.

type t

val pretty : Stdlib.Format.formatter -> t -> unit

val all : t

val equal : t -> t -> bool

val empty : t

val is_empty : t -> bool

val inter : t -> t -> t

val (&&~) : t -> t -> t

val union : t -> t -> t

val (||~) : t -> t -> t

val disjoint : t -> t -> bool

val is_included : t -> t -> bool

val complement : t -> t

val var : unit -> t

val hash : t -> int