public class TermLabelInstantiationEntry extends InstantiationEntry<ImmutableArray<TermLabel>>
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
equals, getInstantiation, hashCode
public java.lang.String toString()
toString
in class InstantiationEntry<ImmutableArray<TermLabel>>
Copyright © 2003-2019 The KeY-Project.