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 ).
|
Modifier and Type | Method and Description |
---|---|
abstract AlignmentList |
RigidityFnc.compute(TermAtomList left,
TermAtomList right) |
AlignmentList |
RigidityFncSubsequence.compute(TermAtomList left,
TermAtomList right)
Make sure to free the alignment list as soon as you do not need it anymore!
|
AlignmentList |
RigidityFncSubstring.compute(TermAtomList left,
TermAtomList right) |
AlignmentList |
AlignmentList.Alignment.makeCommutative(java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
static AlignmentList |
AlignmentList.obtainList() |
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifySystem.doDecSBranch(HedgeAUP hAup,
AlignmentList align,
int idx) |
void |
AlignmentList.Alignment.swapAll(AlignmentList al,
int swapStart,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
AlignmentList.Alignment.swapRec(int swapIdx1,
int swapIdx2,
AlignmentList al,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |