package goblint

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

Module HoareDomain.HoarePOSource

  • deprecated

Parameters

module E : Lattice.PO

Signature

Sourcetype bucket = E.t list
Sourcemodule B : sig ... end
Sourceval elements : 'a list Map.t -> 'a list
Sourceval merge : [< `Join | `Meet Join ] -> ('a -> 'a -> 'a) -> 'a list Map.t -> 'a list Map.t -> 'a list Map.t
Sourceval merge_meet : ('a -> 'b -> 'c) -> 'b list Map.t -> 'a list Map.t -> 'c list Map.t
Sourceval merge_widen : (E.t -> E.t -> E.t) -> E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval merge_join : (E.t -> E.t -> E.t) -> E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval join : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval widen : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval meet : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval narrow : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval of_list_by : (E.t -> E.t -> E.t) -> E.t list -> E.t list Map.t
Sourceval of_list : E.t list -> E.t list Map.t
Sourceval singleton : E.t -> E.t list Map.t
Sourceval exists : ('a -> bool) -> 'a list Map.t -> bool
Sourceval for_all : ('a -> bool) -> 'a list Map.t -> bool
Sourceval mem : E.t -> E.t list Map.t -> bool
Sourceval choose : 'a list Map.t -> 'a
Sourceval apply_list : ('a list -> E.t list) -> 'a list Map.t -> E.t list Map.t
Sourceval map : ('a -> E.t) -> 'a list Map.t -> E.t list Map.t
Sourceval filter : (E.t -> bool) -> E.t list Map.t -> E.t list Map.t
Sourceval remove : E.t -> E.t list Map.t -> E.t list Map.t
Sourceval add : E.t -> E.t list Map.t -> E.t list Map.t
Sourceval fold : ('a -> 'b -> 'b) -> 'a list Map.t -> 'b -> 'b
Sourceval cardinal : 'a list Map.t -> int
Sourceval diff : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval empty : unit -> 'a Map.t
Sourceval is_empty : 'a Map.t -> bool
Sourceval union : E.t list Map.t -> E.t list Map.t -> E.t list Map.t
Sourceval iter : ('a -> unit) -> 'a list Map.t -> unit
Sourceval bot : unit -> 'a Map.t
Sourceval is_bot : 'a Map.t -> bool
Sourceval top : unit -> 'a
Sourceval is_top : 'a -> bool
Sourceval leq : E.t list Map.t -> E.t list Map.t -> bool
Sourceval name : unit -> string
Sourceval equal : E.t list Map.t -> E.t list Map.t -> bool
Sourceval hash : E.t list Map.t -> int
Sourceval compare : E.t list Map.t -> E.t list Map.t -> int
Sourceval show : E.t list Map.t -> string
Sourceval to_yojson : E.t list Map.t -> [> `List of Yojson.Safe.t list ]
Sourceval pretty : unit -> E.t list Map.t -> Pretty.doc
Sourceval pretty_diff : unit -> (t * t) -> Pretty.doc
Sourceval printXml : 'a BatInnerIO.output -> E.t list Map.t -> unit
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