Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
at.jku.risc.stout.hoau.data |
This package contains the classes which are needed to build up the term tree
and the
DataStructureFactory which
instantiates common data structures like List s,
Map s, Set s. |
Class and Description |
---|
Equation
Interface for equations which consist of two TermNodes.
|
EquationSystem
A system of Equations
|
NotNormalizableException
This exception is thrown if a lambda term could not be normalized to beta
normal form within the given upper bound of recursion repetitions.
|
TermNode |
Class and Description |
---|
Equation
Interface for equations which consist of two TermNodes.
|
EquationSystem
A system of Equations
|
Hedge |
MalformedTermException
This exception is thrown if something goes wrong while parsing the input term.
|
NodeFactory |
NotNormalizableException
This exception is thrown if a lambda term could not be normalized to beta
normal form within the given upper bound of recursion repetitions.
|
TermNode |
TermNode.TraverseCallBack
This class may be used to
traverse a term tree and
execute an arbitrary operation on every node.
|