package setr

  1. Overview
  2. Docs
type ctx
type t
type sym
type cnstr
type output
type query
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
val join_map : ctx -> (sym * sym * sym) list -> t -> t -> t
val widening_map : ctx -> (sym * sym * sym) list -> t -> t -> t
val meet_map : ctx -> (sym * sym * sym) list -> t -> t -> t
val le_map : ctx -> (sym * sym) list -> t -> t -> bool
OCaml

Innovation. Community. Security.