Package | Description |
---|---|
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 | Class and Description |
---|---|
class |
Abstraction
An abstraction is a NominalTerm which consists of a bound atom
and a subterm.
|
class |
Atom
An Atom is a NominalTerm, consisting of the atom
name and an optional origin name.
|
class |
FunctionApplication
A FunctionApplication is a NominalTerm consisting
of a unique FunctionSymbol and an array of arguments.
|
class |
FunctionSymbol
A FunctionSymbol has a unique name and may be typed by a sort of
data.
|
class |
NominalTerm
|
class |
Suspension
|
class |
Variable
A variable has a unique name and may be of sort data or sort atom.
|
Modifier and Type | Method and Description |
---|---|
HasSort<Sort> |
Atom.getHead() |
HasSort<SortData> |
FunctionApplication.getHead() |
HasSort<Sort> |
Suspension.getHead() |
HasSort<Sort> |
Abstraction.getHead() |
abstract HasSort<? extends Sort> |
NominalTerm.getHead() |