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.5.0.tbz
sha256=452d8491527aea21f2cbb11defcc14ba0daf9fdb6bdb9fc0af73e56eac57b916
sha512=1993cd45c4c7fe124ca6e157f07d17ec50fab5611b270a434ed1b7fb2910aa85a8e6eaaa77dad770430710aafb2f6d676c774dd33942d921f23e2f9854486551

doc/goblint.solver/Goblint_solver/Td3/Base/VS/index.html

Module Base.VSSource

type elt = S.Var.t
type t = Stdlib.Set.Make(S.Var).t
val empty : t
val is_empty : t -> bool
Sourceval is_singleton : t -> bool
Sourceval singleton : elt -> t
val mem : elt -> t -> bool
Sourceval find : elt -> t -> elt
Sourceval find_opt : elt -> t -> elt option
Sourceval find_first : (elt -> bool) -> t -> elt
Sourceval find_first_opt : (elt -> bool) -> t -> elt option
Sourceval find_last : (elt -> bool) -> t -> elt
Sourceval find_last_opt : (elt -> bool) -> t -> elt option
Sourceval add : elt -> t -> t
Sourceval remove : elt -> t -> t
Sourceval remove_exn : elt -> t -> t
Sourceval update : elt -> elt -> t -> t
Sourceval union : t -> t -> t
Sourceval inter : t -> t -> t
Sourceval diff : t -> t -> t
Sourceval sym_diff : t -> t -> t
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval subset : t -> t -> bool
Sourceval disjoint : t -> t -> bool
Sourceval compare_subset : t -> t -> int
Sourceval iter : (elt -> unit) -> t -> unit
Sourceval at_rank_exn : int -> t -> elt
Sourceval map : (elt -> elt) -> t -> t
Sourceval filter : (elt -> bool) -> t -> t
Sourceval filter_map : (elt -> elt option) -> t -> t
Sourceval fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
Sourceval for_all : (elt -> bool) -> t -> bool
Sourceval exists : (elt -> bool) -> t -> bool
Sourceval partition : (elt -> bool) -> t -> t * t
Sourceval split : elt -> t -> t * bool * t
Sourceval split_opt : elt -> t -> t * elt option * t
Sourceval split_lt : elt -> t -> t * t
Sourceval split_le : elt -> t -> t * t
Sourceval cardinal : t -> int
Sourceval elements : t -> elt list
Sourceval to_list : t -> elt list
Sourceval to_array : t -> elt array
Sourceval min_elt : t -> elt
Sourceval min_elt_opt : t -> elt option
Sourceval pop_min : t -> elt * t
Sourceval pop_max : t -> elt * t
Sourceval max_elt : t -> elt
Sourceval max_elt_opt : t -> elt option
Sourceval choose : t -> elt
Sourceval choose_opt : t -> elt option
Sourceval any : t -> elt
Sourceval pop : t -> elt * t
Sourceval enum : t -> elt BatEnum.t
Sourceval backwards : t -> elt BatEnum.t
Sourceval of_enum : elt BatEnum.t -> t
Sourceval of_list : elt list -> t
Sourceval of_array : elt array -> t
Sourceval to_seq : t -> elt BatSeq.t
Sourceval to_rev_seq : t -> elt BatSeq.t
Sourceval to_seq_from : elt -> t -> elt BatSeq.t
Sourceval add_seq : elt BatSeq.t -> t -> t
Sourceval of_seq : elt BatSeq.t -> t
Sourceval print : ?first:string -> ?last:string -> ?sep:string -> ('a BatInnerIO.output -> elt -> unit) -> 'a BatInnerIO.output -> t -> unit
Sourcemodule Exceptionless : 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