de.uka.ilkd.key.rule

Class WhileInvariantRule.AnonUpdateData

java.lang.Object

de.uka.ilkd.key.rule.WhileInvariantRule.AnonUpdateData

Enclosing class:

WhileInvariantRule

private static class WhileInvariantRule.AnonUpdateData
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Term	anonHeap
Term	anonUpdate
Term	loopHeap
Term	loopHeapAtPre

Constructor Summary

Constructors

Constructor and Description
AnonUpdateData(Term anonUpdate, Term loopHeap, Term loopHeapAtPre, Term anonHeap)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

anonUpdate

public final Term anonUpdate

anonHeap

public final Term anonHeap

loopHeap

public final Term loopHeap

loopHeapAtPre

public final Term loopHeapAtPre

Constructor Detail

AnonUpdateData

public AnonUpdateData(Term anonUpdate,
                      Term loopHeap,
                      Term loopHeapAtPre,
                      Term anonHeap)