Package | Description |
---|---|
at.jku.risc.stout.nau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem ) to solve the nominal
anti-unification problem and an algorithm to solve the nominal
equivariance problem (EquivarianceSystem )
which is needed by the anti-unification algorithm. |
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,...).
|
Class and Description |
---|
Atom
An Atom is a NominalTerm, consisting of the atom
name and an optional origin name.
|
MalformedSortException
This ControlledException is thrown if a typing error occurs.
|
NominalTerm |
Permutation
A permutation of atoms which may be composed by swappings.
|
Variable
A variable has a unique name and may be of sort data or sort atom.
|
Class and Description |
---|
Atom
An Atom is a NominalTerm, consisting of the atom
name and an optional origin name.
|
FunctionSymbol
A FunctionSymbol has a unique name and may be typed by a sort of
data.
|
MalformedSortException
This ControlledException is thrown if a typing error occurs.
|
NominalTerm |
Sort
The super class for the different sets of sorts (e.g.
|
SortAtom
A sort of atom.
|
SortData
A sort of data.
|
Variable
A variable has a unique name and may be of sort data or sort atom.
|
Class and 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.
|
HasSort
Interface for classes which may be typed by a Sort.
|
MalformedSortException
This ControlledException is thrown if a typing error occurs.
|
NominalTerm |
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 |
Variable
A variable has a unique name and may be of sort data or sort atom.
|