hlt.osf.base (API documentation of hlt.language packages)
Date: 2013-01-30

# Package hlt.osf.base

- Class Summary
  Class | Description
  --- | ---
  AndSortExpression | This is the class of an 'and' sort expression.
  BinarySortExpression | This is the mother class of binary sorts expressions.
  ButnotSortExpression | This is the class of a 'butnot' sort expression.
  DisjunctiveSortExpression | This is the class of disjunctive sorts.
  Feature |
  NotSortExpression | This is the class of a 'not' sort expression.
  OrSortExpression | This is the class of an 'or' sort expression.
  OsfExpression | This is the class of OSF expressions.
  PsiTerm |
  Sort |
  SortExpression | This is the class of all OSF sort expressions.
  SymbolSortExpression | This is the class of atomic OSF expressions consisting of one sort symbol name (a String).
  Tag |

- Exception Summary
  Exception | Description
  --- | ---
  BadFeatureNameException |