private static class UseOperationContractRule.AnonUpdateData extends Object
Term
anonHeap
anonUpdate
assumption
methodHeap
methodHeapAtPre
UseOperationContractRule.AnonUpdateData(Term assumption, Term anonUpdate, Term methodHeap, Term methodHeapAtPre, Term anonHeap)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public final Term assumption
public final Term anonUpdate
public final Term methodHeap
public final Term methodHeapAtPre
public final Term anonHeap
public UseOperationContractRule.AnonUpdateData(Term assumption, Term anonUpdate, Term methodHeap, Term methodHeapAtPre, Term anonHeap)