package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module HoareDomain.MapBotSource

  • deprecated

Parameters

module SpecD : Lattice.S
module R : SetDomain.S

Signature

include sig ... end
Sourcetype key = SpecD.t
Sourcetype value = R.t
Sourceval remove : key -> t -> t
Sourceval find : key -> t -> value
Sourceval find_opt : key -> t -> value option
Sourceval iter : (key -> value -> unit) -> t -> unit
Sourceval mapi : (key -> value -> value) -> t -> t
Sourceval add_list : (key * value) list -> t -> t
Sourceval add_list_set : key list -> value -> t -> t
Sourceval add_list_fun : key list -> (key -> value) -> t -> t
Sourceval for_all : (key -> value -> bool) -> t -> bool
Sourceval map2 : (value -> value -> value) -> t -> t -> t
Sourceval long_map2 : (value -> value -> value) -> t -> t -> t
Sourceval merge : (key -> value option -> value option -> value option) -> t -> t -> t
Sourceval cardinal : t -> int
Sourceval singleton : key -> value -> t
Sourceval empty : unit -> t
Sourceval is_empty : t -> bool
Sourceval bindings : t -> (key * value) list
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval compare : t -> t -> int
Sourceval show : t -> string
Sourceval pretty : unit -> t -> Printable.Pretty.doc
Sourceval printXml : 'a BatInnerIO.output -> t -> unit
Sourceval name : unit -> string
Sourceval to_yojson : t -> Yojson.Safe.t
val tag : t -> int
Sourceval arbitrary : unit -> t QCheck.arbitrary
Sourceval relift : t -> t
Sourceval bot : unit -> t
Sourceval is_bot : t -> bool
Sourceval top : unit -> t
Sourceval is_top : t -> bool
Sourceval widen_with_fct : (value -> value -> value) -> t -> t -> t
Sourceval join_with_fct : (value -> value -> value) -> t -> t -> t
Sourceval leq_with_fct : (value -> value -> bool) -> t -> t -> bool
Sourceval choose' : t -> key * value
Sourceval choose : t -> SpecD.t
Sourceval filter' : (key -> value -> bool) -> t -> t
Sourceval filter : (key -> bool) -> t -> t
Sourceval iter' : (key -> value -> unit) -> t -> unit
Sourceval for_all' : (key -> value -> bool) -> t -> bool
Sourceval exists' : (key -> value -> bool) -> t -> bool
Sourceval exists : (key -> bool) -> t -> bool
Sourceval fold' : (key -> value -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval fold : (key -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval add : key -> R.t -> t -> t
Sourceval map : (key -> key) -> t -> t
Sourceval elements : t -> (key * R.t) list
Sourceval of_list : (key * R.t) list -> t
Sourceval union : t -> t -> t
Sourceval mem : SpecD.t -> R.t -> t -> bool
Sourceval leq : t -> t -> bool
Sourceval le : SpecD.t -> SpecD.t -> bool
Sourceval reduce : t -> t
Sourceval product_bot : (key -> key -> key) -> (R.t -> R.t -> R.t) -> t -> t -> t
Sourceval product_bot2 : ((key * R.t) -> (key * R.t) -> key * R.t) -> t -> t -> t
Sourceval product_widen : (key -> key -> key) -> (R.t -> R.t -> R.t) -> t -> t -> t
Sourceval product_widen2 : ((key * R.t) -> (key * R.t) -> key * R.t) -> t -> t -> t
Sourceval join : t -> t -> t
Sourceval meet : t -> t -> t
Sourceval narrow : t -> t -> t
Sourceval widen : t -> t -> t
Sourceval apply_list : ((key * R.t) list -> (key * R.t) list) -> t -> t
Sourceval pretty_diff : unit -> (t * t) -> Pretty.doc
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct