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 | Field and Description |
---|---|
Class<? extends FunctionSymbol> |
NodeFactory.classFncSymb
Class to use for function-symbol instantiation.
|
Modifier and Type | Method and Description |
---|---|
FunctionSymbol |
NodeFactory.newFunction(String name)
Instantiates an untyped function symbol.
|
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.
|
Modifier and Type | Method and Description |
---|---|
FunctionSymbol |
FunctionApplication.getFncSymb() |
Constructor and Description |
---|
FunctionApplication(FunctionSymbol fncSymb)
Instantiates a constant without arguments.
|
FunctionApplication(FunctionSymbol fncSymb,
List<NominalTerm> args)
Instantiates a function application with the given arguments.
|
FunctionApplication(FunctionSymbol fncSymb,
NominalTerm[] args)
Instantiates a function application with the given arguments.
|