Cluster (goblint.Goblint_lib.RelationPriv.PerMutexMeetPrivTID.Cluster)

Parameters

module RD : RelationDomain.RD

module LRD : Lattice.S

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 : RD.t -> LRD.t -> LRD.t -> RD.t

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

val name : unit -> string