package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module HashtblN : sig ... end
val make : unit -> 'a HashtblN.t

build adjacency matrix for all nodes of this process

val nodes : 'a HashtblN.t -> HashtblN.key list
val items : 'a HashtblN.t -> (HashtblN.key * 'a) list
val in_edges : ('a * 'b * 'c) BatteriesExceptionless.Set.t HashtblN.t -> 'd -> ('a * 'b * 'c) list
val out_edges : 'a BatteriesExceptionless.Set.t HashtblN.t -> HashtblN.key -> 'a list