Package | Description |
---|---|
at.jku.risc.stout.urau.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
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
at.jku.risc.stout.urau.data |
This package contains the classes which are needed to build up the term tree.
|
Modifier and Type | Class and Description |
---|---|
class |
IllegalAlignmentException
This exception indicates that the computed alignment is not admissible.
|
Modifier and Type | Class and Description |
---|---|
class |
MalformedTermException
This exception is thrown if something goes wrong while parsing the input
term.
|