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