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 |
---|---|
long |
AntiUnify.antiUnify(boolean iterateAll,
boolean normalize)
Silently computes the generalizations.
|
long |
AntiUnify.antiUnify(boolean iterateAll,
boolean normalize,
DebugLevel debugLevel,
java.io.PrintStream out)
Start computation with the specified PrintStream to show the
progress of the computation.
|
TermGraph |
AntiUnifySystem.compute()
Most likely you don't need this method because the algorithm is encapsulated
in the class AntiUnify which is much easier to use.
|
void |
AntiUnifySystem.doDecSBranch(HedgeAUP hAup,
AlignmentList align,
int idx) |