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 | Field and Description |
---|---|
static DebugLevel |
AntiUnifySystem.debugLevel |
Modifier and Type | Method and Description |
---|---|
static DebugLevel |
DebugLevel.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static DebugLevel[] |
DebugLevel.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
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.
|
void |
AntiUnify.printDebug(DebugLevel debugLevel,
java.io.PrintStream out,
AntiUnifySystem sys) |