de.uka.ilkd.key.rule.inst

Class SVInstantiations.UpdateLabelPair

java.lang.Object

de.uka.ilkd.key.rule.inst.SVInstantiations.UpdateLabelPair

Enclosing class:

SVInstantiations

public static class SVInstantiations.UpdateLabelPair
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
private Term	update
private ImmutableArray<TermLabel>	updateApplicationlabels

Constructor Summary

Constructors

Constructor and Description
UpdateLabelPair(Term update, ImmutableArray<TermLabel> updateApplicationlabels)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
Term	getUpdate()
ImmutableArray<TermLabel>	getUpdateApplicationlabels()
int	hashCode()

Methods inherited from class java.lang.Object

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

Field Detail

update

private Term update

updateApplicationlabels

private ImmutableArray<TermLabel> updateApplicationlabels

Constructor Detail

UpdateLabelPair

public UpdateLabelPair(Term update,
                       ImmutableArray<TermLabel> updateApplicationlabels)

Method Detail

getUpdate

public Term getUpdate()

getUpdateApplicationlabels

public ImmutableArray<TermLabel> getUpdateApplicationlabels()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object