package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install

Dune Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

  1. S
    Simmo Saan
  2. M
    Michael Schwarz
  3. J
    Julian Erhard
  4. S
    Sarah Tilscher
  5. K
    Karoliine Holter
  6. R
    Ralf Vogler
  7. K
    Kalmer Apinis
  8. V
    Vesal Vojdani

Maintainers

  1. S
    Simmo Saan <simmo.saan@gmail.com>
  2. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  3. K
    Karoliine Holter <karoliine.holter@ut.ee>

Sources

goblint-2.4.0.tbz
sha256=99b78e6def71534d195eef9084baa26d8334b36084e120aa6afb300c9bf8afa6
sha512=f3162bd95a03c00358a2991f6152fc6169205bfb4c55e2c483e98cc3935673df9656d025b6f1ea0fa5f1bd0aee037d4f483966b0d2907e3fa9bf11a93a3392af

doc/goblint.solver/Goblint_solver/SLRterm/SLR3term/HPM/index.html

Module SLR3term.HPMSource

type key = P.t
type !'a t = 'a Stdlib.Hashtbl.Make(P).t
val create : int -> 'a t
Sourceval length : 'a t -> int
Sourceval is_empty : 'a t -> bool
val clear : 'a t -> unit
val reset : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
Sourceval remove_all : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_all : 'a t -> key -> 'a list
Sourceval find_default : 'a t -> key -> 'a -> 'a
Sourceval find_option : 'a t -> key -> 'a option
val find_opt : 'a t -> key -> 'a option
val replace : 'a t -> key -> 'a -> unit
val mem : 'a t -> key -> bool
Sourceval iter : (key -> 'a -> unit) -> 'a t -> unit
Sourceval for_all : (key -> 'a -> bool) -> 'a t -> bool
Sourceval fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
Sourceval exists : (key -> 'a -> bool) -> 'a t -> bool
Sourceval map : (key -> 'b -> 'c) -> 'b t -> 'c t
Sourceval map_inplace : (key -> 'a -> 'a) -> 'a t -> unit
Sourceval filter : ('a -> bool) -> 'a t -> 'a t
Sourceval filter_inplace : ('a -> bool) -> 'a t -> unit
Sourceval filteri : (key -> 'a -> bool) -> 'a t -> 'a t
Sourceval filteri_inplace : (key -> 'a -> bool) -> 'a t -> unit
Sourceval filter_map : (key -> 'a -> 'b option) -> 'a t -> 'b t
val filter_map_inplace : (key -> 'a -> 'a option) -> 'a t -> unit
Sourceval modify : key -> ('a -> 'a) -> 'a t -> unit
Sourceval modify_def : 'a -> key -> ('a -> 'a) -> 'a t -> unit
Sourceval modify_opt : key -> ('a option -> 'a option) -> 'a t -> unit
Sourceval merge : (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
Sourceval merge_all : (key -> 'a list -> 'b list -> 'c list) -> 'a t -> 'b t -> 'c t
Sourceval stats : 'a t -> BatHashtbl.statistics
val to_seq : 'a t -> (key * 'a) Stdlib.Seq.t
val to_seq_keys : 'a t -> key Stdlib.Seq.t
val to_seq_values : 'a t -> 'a Stdlib.Seq.t
val add_seq : 'a t -> (key * 'a) Stdlib.Seq.t -> unit
val replace_seq : 'a t -> (key * 'a) Stdlib.Seq.t -> unit
val of_seq : (key * 'a) Stdlib.Seq.t -> 'a t
Sourceval keys : 'a t -> key BatEnum.t
Sourceval values : 'a t -> 'a BatEnum.t
Sourceval enum : 'a t -> (key * 'a) BatEnum.t
Sourceval to_list : 'a t -> (key * 'a) list
Sourceval of_enum : (key * 'a) BatEnum.t -> 'a t
Sourceval of_list : (key * 'a) list -> 'a t
Sourceval print : ?first:string -> ?last:string -> ?sep:string -> ('a BatInnerIO.output -> key -> unit) -> ('a BatInnerIO.output -> 'b -> unit) -> 'a BatInnerIO.output -> 'b t -> unit
Sourcemodule Exceptionless : sig ... end
Sourcemodule Infix : sig ... end
Sourcemodule Labels : sig ... end
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