package setr

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

type ctx = SETr_Symbolic_Equality.Make(SETr_Symbolic_Packer.Make(Default)).ctx

type t = SETr_Symbolic_Equality.Make(SETr_Symbolic_Packer.Make(Default)).t

type sym = int

type cnstr = int SETr_Symbolic_Interface.L.t

type output = int SETr_Symbolic_Interface.L.t

type query = int SETr_Symbolic_Interface.L.q

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