public interface TermType
| Modifier and Type | Method and Description |
|---|---|
TermTypeAncestry |
getAncestry() |
TermType |
getCommonDenominator(TermType otherTermType) |
boolean |
isA(TermType otherTermType) |
boolean |
isAbstract()
Returns true if the TermType INSTANCE cannot be attached to a constant
|
boolean isAbstract()
boolean isA(TermType otherTermType)
TermTypeAncestry getAncestry()
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.