public static class WellDefinednessPO.Variables
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Term |
anonHeap |
java.util.Map<LocationVariable,ProgramVariable> |
atPres |
ProgramVariable |
exception |
LocationVariable |
heap |
ProgramVariable |
heapAtPre |
ImmutableList<ProgramVariable> |
params |
ProgramVariable |
result |
ProgramVariable |
self |
Modifier | Constructor and Description |
---|---|
private |
Variables(ProgramVariable self,
ProgramVariable result,
ProgramVariable exception,
java.util.Map<LocationVariable,ProgramVariable> atPres,
ImmutableList<ProgramVariable> params,
LocationVariable heap,
Function anonHeap,
TermServices services) |
|
Variables(ProgramVariable self,
ProgramVariable result,
ProgramVariable exception,
java.util.Map<LocationVariable,ProgramVariable> atPres,
ImmutableList<ProgramVariable> params,
LocationVariable heap,
Term anonHeap) |
public final ProgramVariable self
public final ProgramVariable result
public final ProgramVariable exception
public final java.util.Map<LocationVariable,ProgramVariable> atPres
public final ImmutableList<ProgramVariable> params
public final LocationVariable heap
public final ProgramVariable heapAtPre
public final Term anonHeap
public Variables(ProgramVariable self, ProgramVariable result, ProgramVariable exception, java.util.Map<LocationVariable,ProgramVariable> atPres, ImmutableList<ProgramVariable> params, LocationVariable heap, Term anonHeap)
private Variables(ProgramVariable self, ProgramVariable result, ProgramVariable exception, java.util.Map<LocationVariable,ProgramVariable> atPres, ImmutableList<ProgramVariable> params, LocationVariable heap, Function anonHeap, TermServices services)