hlt.osf.base

Classes

• AndSortExpression
• BinarySortExpression
• ButnotSortExpression
• DisjunctiveSortExpression
• Feature
• NotSortExpression
• OrSortExpression
• OsfExpression
• PsiTerm
• Sort
• SortExpression
• SymbolSortExpression
• Tag

Exceptions

• BadFeatureNameException