protected static class AbstractLoopInvariantRule.AdditionalHeapTerms
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Term |
anonUpdate |
ImmutableList<AbstractLoopInvariantRule.AnonUpdateData> |
anonUpdateData |
Term |
frameCondition |
Term |
reachableState |
Term |
wellFormedAnon |
Constructor and Description |
---|
AdditionalHeapTerms(Term anonUpdate,
Term wellFormedAnon,
Term frameCondition,
Term reachableState,
ImmutableList<AbstractLoopInvariantRule.AnonUpdateData> anonUpdateData) |
public final Term anonUpdate
public final Term wellFormedAnon
public final Term frameCondition
public final Term reachableState
public final ImmutableList<AbstractLoopInvariantRule.AnonUpdateData> anonUpdateData
public AdditionalHeapTerms(Term anonUpdate, Term wellFormedAnon, Term frameCondition, Term reachableState, ImmutableList<AbstractLoopInvariantRule.AnonUpdateData> anonUpdateData)