protected static class AbstractLoopInvariantRule.AnonUpdateData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Term |
anonHeap |
Term |
anonUpdate |
Term |
loopHeap |
Term |
loopHeapAtPre |
Constructor and Description |
---|
AnonUpdateData(Term anonUpdate,
Term loopHeap,
Term loopHeapAtPre,
Term anonHeap) |