de.uka.ilkd.key.rule.inst

Class TermLabelInstantiationEntry

java.lang.Object

de.uka.ilkd.key.rule.inst.InstantiationEntry<ImmutableArray<TermLabel>>

de.uka.ilkd.key.rule.inst.TermLabelInstantiationEntry

public class TermLabelInstantiationEntry
extends InstantiationEntry<ImmutableArray<TermLabel>>

Constructor Summary

Constructors

Constructor and Description
TermLabelInstantiationEntry(ImmutableArray<TermLabel> labels)

Method Summary

Modifier and Type	Method and Description
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.rule.inst.InstantiationEntry

equals, getInstantiation, hashCode

Methods inherited from class java.lang.Object

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

Constructor Detail

TermLabelInstantiationEntry

TermLabelInstantiationEntry(ImmutableArray<TermLabel> labels)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class InstantiationEntry<ImmutableArray<TermLabel>>