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 ).
|
Modifier and Type | Method and Description |
---|---|
AlignmentList |
RigidityFncSubsequence.compute(TermAtomList left,
TermAtomList right) |
AlignmentList |
RigidityFncSubstring.compute(TermAtomList left,
TermAtomList right) |
abstract AlignmentList |
RigidityFnc.compute(TermAtomList left,
TermAtomList right) |
static AlignmentList |
AlignmentList.obtainList() |