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,...).
|
at.jku.risc.stout.nau.util |
This package contains some basic utility classes.
|
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a subclass of this one.
|
DeepCopy
Interface for classes which may be cloned by calling the method
DeepCopy.deepCopy().
|
Printable
Superclass for all printable classes.
|
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a subclass of this one.
|
DeepCopy
Interface for classes which may be cloned by calling the method
DeepCopy.deepCopy().
|
Printable
Superclass for all printable classes.
|
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a subclass of this one.
|
DeepCopy
Interface for classes which may be cloned by calling the method
DeepCopy.deepCopy().
|
Printable
Superclass for all printable classes.
|
Traversable |
Traversable.TraverseCallBack
This class may be used to
traverse a term tree
and execute an arbitrary operation on every node.The following example
prints all variable occurences inside of a nominal term.
|
Class and Description |
---|
DataStructureFactory
This factory class defines which data structures to use.
|
DeepCopy
Interface for classes which may be cloned by calling the method
DeepCopy.deepCopy().
|
Traversable.TraverseCallBack
This class may be used to
traverse a term tree
and execute an arbitrary operation on every node.The following example
prints all variable occurences inside of a nominal term.
|