Package | Description |
---|---|
at.jku.risc.stout.urauc.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(AlignFncLAA,
AlignFncInput ).
|
at.jku.risc.stout.urauc.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urauc.data.atom |
Class and Description |
---|
Alignment
An Alignment is a list of Alignment.AlignmentAtoms.
|
Equation
Interface for equations which consist of two TermNodes.
|
EquationSystem
A system of Equations
|
Hedge |
TermAtomList
A list of TermAtoms which is used for alignment computation.
|
TermNode |
Class and Description |
---|
Alignment
An Alignment is a list of Alignment.AlignmentAtoms.
|
Alignment.AlignmentAtom
An Alignment.AlignmentAtom consists of two TermAtoms.
|
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.
|
TermAtomList
A list of TermAtoms which is used for alignment computation.
|
TermNode |
TermNode.TraverseCallBack
This class may be used to
traverse a term tree and
execute an arbitrary operation on every node.
|
Class and Description |
---|
TermNode |