Package | Description |
---|---|
at.jku.risc.stout.tgau.algo |
This package contains the entry point for the anti-unification algorithm
AntiUnify, the rule based system
AntiUnifySystem, the corresponding
problem definitions TermAUP and
HedgeAUP, and some standard
implementations of a rigidity function
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
at.jku.risc.stout.tgau.data |
This package contains the classes which are needed to build up the term
graphs and alignments.
|
Class and Description |
---|
NodeFactory |
TermAtomList |
TermGraph
A term graph is a system of recursion equations with a predefined root.
|
Class and Description |
---|
MalformedTermException
This exception is thrown if something goes wrong while parsing the input
term.
|
NodeFactory |
TermAtomEquation
A pair of two term atoms.
|
TermAtomList |
TermGraph
A term graph is a system of recursion equations with a predefined root.
|