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

Authors

Maintainers

Sources

goblint-2.6.0.tbz

sha256=20d5b7332a9f6072ab9ba86c4a53b898eaf681286c56a8805c41850bbf3ddf41

sha512=7c7685cfcd9aa866bc40e813df2bfcb3c79b3d40e615d8d6d0939c5798b9d70dd7f2ba87a741f5ba0ce891e9d254627207fb28057f1f2f6611e4e0d128fd6a71

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.