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 Edit opam file Versions (11)

Authors

Maintainers

Sources

goblint-2.8.0.tbz

sha256=9175eec0143102243964e34a0786584fd590c60422009259c705a89a27f88de4

sha512=9d760007dd8d003cf596516444ed7acc7370fc3d446e75ac71b0176522c3baae090410762f9035e7aae4f6b0e394bf28bb5b1c08ca0476920b94aa919ef04f42

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.