public class HeapContext
extends java.lang.Object
Constructor and Description |
---|
HeapContext() |
Modifier and Type | Method and Description |
---|---|
static java.util.Map<LocationVariable,Term> |
getAtPres(java.util.Map<LocationVariable,LocationVariable> atPreVars,
Services services) |
static java.util.Map<LocationVariable,LocationVariable> |
getBeforeAtPreVars(java.util.List<LocationVariable> heaps,
TermServices services,
java.lang.String contextName) |
static java.util.List<LocationVariable> |
getModHeaps(Services services,
boolean transaction) |
public static java.util.List<LocationVariable> getModHeaps(Services services, boolean transaction)
public static java.util.Map<LocationVariable,LocationVariable> getBeforeAtPreVars(java.util.List<LocationVariable> heaps, TermServices services, java.lang.String contextName)
public static java.util.Map<LocationVariable,Term> getAtPres(java.util.Map<LocationVariable,LocationVariable> atPreVars, Services services)