Package 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,...).

See: Description

Interface Summary

Interface	Description
HasSort<T extends Sort>	Interface for classes which may be typed by a Sort.

Class Summary

Class	Description
Abstraction	An abstraction is a NominalTerm which consists of a bound atom and a subterm.
Atom	An Atom is a NominalTerm, consisting of the atom name and an optional origin name.
FunctionApplication	A FunctionApplication is a NominalTerm consisting of a unique FunctionSymbol and an array of arguments.
FunctionSymbol	A FunctionSymbol has a unique name and may be typed by a sort of data.
NominalTerm	This is the base class for nominal terms like Abstraction, FunctionApplication, Atom, Suspension.
Permutation	A permutation of atoms which may be composed by swappings.
Sort	The super class for the different sets of sorts (e.g.
SortAtom	A sort of atom.
SortData	A sort of data.
Suspension	A suspension is a NominalTerm which consists of a Permutation and a Variable.
Variable	A variable has a unique name and may be of sort data or sort atom.

Exception Summary

Exception	Description
MalformedSortException	This ControlledException is thrown if a typing error occurs.

Package at.jku.risc.stout.nau.data.atom Description

This package contains the classes which are needed to build up the term tree (E.g.: Atom, Abstraction, FunctionApplication, Suspension, SortAtom, SortData, NodeFactory,...).