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 (10)

Authors

Maintainers

Sources

goblint-2.7.1.tbz

sha256=af01aac256229f33a90a9fcbfed04b01e3097f154d4d124f006476d6387c6a66

sha512=2a93bfe16881adbc2d8dcbfe38c1e19cd24ca105d8e1eda13d02440f3002874ffe2957dfd937510765233a054a40568b0052db92e31d382a5bd215d1ec12565c

doc/goblint.lib/Goblint_lib/UnionFind/LookupMap/index.html

Module `UnionFind.LookupMap`

For each representative t' of an equivalence class, the LookupMap maps t' to a map that maps z to a term in the data structure that is equal to *(z + t').

type t = T.t ZMap.t TMap.t

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val hash : t -> int

val bindings : 'a TMap.t -> (TMap.key * 'a) list

val add : TMap.key -> 'a -> 'a TMap.t -> 'a TMap.t

val remove : TMap.key -> 'a TMap.t -> 'a TMap.t

val empty : 'a TMap.t

val find_opt : TMap.key -> 'a TMap.t -> 'a option

val find : TMap.key -> 'a TMap.t -> 'a

val zmap_bindings : 'a ZMap.t -> (ZMap.key * 'a) list

val zmap_find_opt : ZMap.key -> 'a ZMap.t -> 'a option

val zmap_add : ZMap.key -> 'a -> 'a ZMap.t -> 'a ZMap.t

val map_find_opt : (TMap.key * ZMap.key) -> t -> T.t option

Returns the element to which (v, r) is mapped, or None if (v, r) is mapped to nothing.

val map_add : (TMap.key * ZMap.key) -> T.t -> t -> T.t ZMap.t TMap.t

val show_map : t -> string

val shift : TMap.key -> Z.t -> TMap.key -> 'a ZMap.t TMap.t -> 'a ZMap.t TMap.t

The value at v' is shifted by r and then added for v. The old entry for v' is removed.

val successors : TMap.key -> t -> (ZMap.key * T.t) list

Find all outgoing edges of v in the automata.

val comp_t_cmap_repr : 
  TSet.t ZMap.t TMap.t ->
  TMap.key ->
  (ZMap.key * TMap.key) list

Find all elements that are in the same equivalence class as t, given the cmap.