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 | Class and Description |
---|---|
class |
RigidityFncSubsequence
Implementation for rigidity function with subsequence matching.
|
class |
RigidityFncSubstring
Implementation for rigidity function with substring matching.
Let m be the number of left term atoms and n be the number of right term atoms. Time complexity = O(m * n) Space complexity = O(max(m, n)) This implementation reuses all the allocated objects for performance reasons. |
Modifier and Type | Field and Description |
---|---|
static RigidityFnc |
AntiUnifySystem.rFnc |
static RigidityFnc |
AntiUnifySystem.rFncC |
Modifier and Type | Method and Description |
---|---|
abstract RigidityFnc |
RigidityFnc.setMinLen(int minLen) |
RigidityFnc |
RigidityFncSubsequence.setMinLen(int minLen) |
RigidityFnc |
RigidityFncSubstring.setMinLen(int minLen) |
Constructor and Description |
---|
AntiUnify(RigidityFnc rigidFnc,
RigidityFncSubsequence rigidFncCommutative,
TermGraph g1,
TermGraph g2,
NodeFactory nf)
Attention: Do not run two instances in parallel, since
AntiUnifySystem uses global static arguments!
|