| java.lang.Object de.uka.ilkd.key.rule.UpdatePair
UpdatePair | public class UpdatePair (Code) | | Represents a pair of an update operator and the term
that is used to update the variable(attribute) of update operator.
The equals method implements equals mod renaming but with a strict sort
restriction.
|
equals | public boolean equals(Object o)(Code) | | equals modulo renaming of bound variables
|
hashCode | public int hashCode()(Code) | | |
varsBoundHere | public ArrayOfQuantifiableVariable varsBoundHere(int n)(Code) | | |
|
|