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