package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

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

Authors

Maintainers

Sources

goblint-2.2.1.tbz

sha256=ca24f72fa9a87d288affe97c411753f14b7802bab4ca3649b337276b89bf5674

sha512=394b3521ccda0da91540cebb2f433f7525763060be4bbe179edd3b952a3580a8e173c4e410fc6895dc67fe6d17e6699aeddfed600f4692858bec093dd912bf1e

doc/goblint.lib/Goblint_lib/AutoTune/FunctionSet/index.html

Module `AutoTune.FunctionSet`Source

Sourcetype elt = CilType.Varinfo.t

Sourcetype t

Sourceval empty : t

Sourceval add : elt -> t -> t

Sourceval singleton : elt -> t

Sourceval remove : elt -> t -> t

Sourceval union : t -> t -> t

Sourceval inter : t -> t -> t

Sourceval disjoint : t -> t -> bool

Sourceval diff : t -> t -> t

Sourceval cardinal : t -> int

Sourceval elements : t -> elt list

Sourceval min_elt : t -> elt

Sourceval min_elt_opt : t -> elt option

Sourceval max_elt : t -> elt

Sourceval max_elt_opt : t -> elt option

Sourceval choose : t -> elt

Sourceval choose_opt : t -> elt option

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 iter : (elt -> unit) -> t -> unit

Sourceval fold : (elt -> 'acc -> 'acc) -> t -> 'acc -> 'acc

Sourceval map : (elt -> elt) -> t -> t

Sourceval filter : (elt -> bool) -> t -> t

Sourceval filter_map : (elt -> elt option) -> t -> t

Sourceval partition : (elt -> bool) -> t -> t * t

Sourceval split : elt -> t -> t * bool * t

Sourceval is_empty : t -> bool

Sourceval mem : elt -> t -> bool

Sourceval equal : t -> t -> bool

Sourceval compare : t -> t -> int

Sourceval subset : t -> t -> bool

Sourceval for_all : (elt -> bool) -> t -> bool

Sourceval exists : (elt -> bool) -> t -> bool

Sourceval to_list : t -> elt list

Sourceval of_list : elt list -> t

Sourceval to_seq_from : elt -> t -> elt Seq.t

Sourceval to_seq : t -> elt Seq.t

Sourceval to_rev_seq : t -> elt Seq.t

Sourceval add_seq : elt Seq.t -> t -> t

Sourceval of_seq : elt Seq.t -> t