Member predicate GroupedMemoryLocation::isSome
Holds if this memory location represents one or more of the enclosing allocations.
predicate isSome()Holds if this memory location represents one or more of the enclosing allocations.
predicate isSome()