public interface UniqueTermTypeExtractor
| Modifier and Type | Method and Description |
|---|---|
Optional<TermType> |
extractUniqueTermType(ImmutableTerm term,
IQTree subTree)
Is expecting the term type to be unique.
|
Optional<TermType> extractUniqueTermType(ImmutableTerm term, IQTree subTree) throws NonUniqueTermTypeException
NonUniqueTermTypeExceptionCopyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.