| 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 | Description |
|---|---|
| BadFeatureNameException |