setr

Abstract domain library for sets
IN THIS PACKAGE
Parameter #2 SETr_Symbolic_Logger . Make . D
type ctx
type t
type sym = int
type output = int SETr_Symbolic_Interface.L.t
val init : unit -> ctx
val top : ctx -> t
val bottom : ctx -> t
val symbols : ctx -> t -> sym list
val constrain : ctx -> cnstr -> t -> t
val serialize : ctx -> t -> output
val sat : ctx -> t -> cnstr -> bool
val join : ctx -> t -> t -> t
val widening : ctx -> t -> t -> t
val meet : ctx -> t -> t -> t
val le : ctx -> t -> t -> bool
val is_bottom : ctx -> t -> bool
val is_top : ctx -> t -> bool
val forget : ctx -> sym list -> t -> t
val rename_symbols : ctx -> sym SETr_Rename.t -> t -> t
val query : ctx -> t -> query
val combine : ctx -> query -> t -> t
val pp_debug : ctx -> ( Format.formatter -> sym -> unit ) -> Format.formatter -> t -> unit
val pp_print : ctx -> ( Format.formatter -> sym -> unit ) -> Format.formatter -> t -> unit