DownwardClosedCluster (goblint.Goblint_lib.RelationPriv.DownwardClosedCluster)

Parameters

module ClusteringArg : ClusteringArg

module RD : RelationDomain.RD

module VS : sig ... end

module LRD : sig ... end

val keep_only_protected_globals : 
  Queries.ask ->
  LockDomain.MustLock.t ->
  LRD.t ->
  LRD.t

val keep_global : GoblintCil.varinfo -> LRD.t -> LRD.t

val lock_get_m : RD.t -> LRD.t -> LRD.t -> RD.t

val lock : RD.t -> LRD.t -> LRD.t -> RD.t

val unlock : W.t -> RD.t -> LRD.t

val name : unit -> string