Package | Description |
---|---|
at.jku.risc.stout.nau.data |
This package contains the nominal parser and some container classes like
equation systems, freshness context and a container for nominal pairs.
|
at.jku.risc.stout.nau.data.atom |
This package contains the classes which are needed to build up the term tree
(E.g.: Atom,
Abstraction,
FunctionApplication,
Suspension,
SortAtom,
SortData,
NodeFactory,...).
|
Modifier and Type | Method and Description |
---|---|
<T extends Sort> |
NodeFactory.newSort(Class<T> sortType,
String name)
Returns a sort of atom by name.
|
Modifier and Type | Method and Description |
---|---|
FunctionSymbol |
NodeFactory.newFunction(String name,
Sort[] sortArgs,
SortData sortRet)
Instantiates a function symbol of the specified arity.
|
FunctionSymbol |
NodeFactory.newFunction(String name,
Sort[] sortArgs,
String sortRet)
Instantiates a function symbol of the specified arity.
|
Variable |
NodeFactory.newVariable(String name,
Sort sort)
Instantiates a variable of the specified sort.
|
Variable |
NodeFactory.obtainFreshVar(Sort sort) |
Modifier and Type | Interface and Description |
---|---|
interface |
HasSort<T extends Sort>
Interface for classes which may be typed by a Sort.
|
Modifier and Type | Class and Description |
---|---|
class |
SortAtom
A sort of atom.
|
class |
SortData
A sort of data.
|
Modifier and Type | Method and Description |
---|---|
Sort |
FunctionApplication.getSort()
Same as FunctionApplication.getFncSymb().getSortRet()
|
Sort |
Variable.getSort() |
Sort |
Suspension.getSort() |
Sort |
Abstraction.getSort() |
Sort[] |
FunctionSymbol.getSortArgs() |
Modifier and Type | Method and Description |
---|---|
HasSort<Sort> |
Atom.getHead() |
HasSort<Sort> |
Suspension.getHead() |
HasSort<Sort> |
Abstraction.getHead() |
abstract HasSort<? extends Sort> |
NominalTerm.getHead() |
Modifier and Type | Method and Description |
---|---|
void |
Atom.setSort(Sort sort) |
void |
FunctionApplication.setSort(Sort sort) |
void |
Variable.setSort(Sort sort) |
void |
Suspension.setSort(Sort sort) |
void |
Abstraction.setSort(Sort sort) |
void |
FunctionSymbol.setSortArgs(Sort[] sortArgs)
Defines the sorts of the arguments and checks whether it is consistent
with the defined arity.
|