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 java.util.Queue<AntiUnifySystem> |
AntiUnifySystem.branchPointer |
Modifier and Type | Method and Description |
---|---|
void |
AntiUnify.printDebug(DebugLevel debugLevel,
java.io.PrintStream out,
AntiUnifySystem sys) |