Module RelationPriv.ArbitraryCluster

Clusters when clustering is arbitrary (not necessarily downward-closed).

Parameters

Signature

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 * Cluster.t list
val filter_clusters : (Cluster.t -> bool) -> LRD.t -> LRD.t
val name : unit -> string