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 ).
|
at.jku.risc.stout.tgau.data |
This package contains the classes which are needed to build up the term
graphs and alignments.
|
Modifier and Type | Field and Description |
---|---|
HedgeVar |
HedgeAUP.generalizationVar |
Constructor and Description |
---|
HedgeAUP(HedgeVar generalizationVar,
java.util.List<Variable> left,
java.util.List<Variable> right,
boolean commutative)
Create an AUP with the given generalization variable and hedges.
|
Modifier and Type | Method and Description |
---|---|
HedgeVar |
NodeFactory.obtainFreshHedgeVar()
Fresh variables are not cached.
|