package setr

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Package contains no libraries

Parameters

module D : SETr_Symbolic_Interface.S

type ctx

type 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 ->
  (Stdlib.Format.formatter -> sym -> unit) ->
  Stdlib.Format.formatter ->
  t ->
  unit

val pp_print : 
  ctx ->
  (Stdlib.Format.formatter -> sym -> unit) ->
  Stdlib.Format.formatter ->
  t ->
  unit