private static class UseOperationContractRule.AnonUpdateData extends java.lang.Object
Term
anonHeap
anonUpdate
assumption
methodHeap
methodHeapAtPre
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 AnonUpdateData(Term assumption, Term anonUpdate, Term methodHeap, Term methodHeapAtPre, Term anonHeap)