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 |
HedgeAUP
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Terms.
|
class |
TermAUP
This class represents an anti-unification problem (AUP) which consists of one
generalization variable (the most general generalization), and two
Terms.
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifySystem.mergeStore(java.util.List<? extends BaseAUP> store) |