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

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