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.
|
at.jku.risc.stout.tgau.data.atom |
This package contains all the atomic types like
FunctionSymbol,
TermVar,
HedgeVar,
FunctionApplication.
|
Modifier and Type | Field and Description |
---|---|
java.util.List<Variable> |
HedgeAUP.left |
java.util.List<Variable> |
HedgeAUP.right |
Modifier and Type | Method and Description |
---|---|
Variable |
TermAUP.getGeneralizationVar() |
abstract Variable |
BaseAUP.getGeneralizationVar() |
Variable |
HedgeAUP.getGeneralizationVar() |
Modifier and Type | Method and Description |
---|---|
AlignmentList |
AlignmentList.Alignment.makeCommutative(java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
AlignmentList |
AlignmentList.Alignment.makeCommutative(java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
AlignmentList.Alignment.swapAll(AlignmentList al,
int swapStart,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
AlignmentList.Alignment.swapAll(AlignmentList al,
int swapStart,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
AlignmentList.Alignment.swapRec(int swapIdx1,
int swapIdx2,
AlignmentList al,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
AlignmentList.Alignment.swapRec(int swapIdx1,
int swapIdx2,
AlignmentList al,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
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.
|
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 |
---|---|
Variable |
NodeFactory.createHedgeVar(java.lang.String name) |
Variable |
NodeFactory.createTermVar(java.lang.String name) |
Variable |
TermGraph.removeByValue(Variable termValue)
Removes one mapping for a given value and returns the key.
|
Modifier and Type | Method and Description |
---|---|
java.util.Map<Variable,Term> |
TermGraph.getRecursionEquations()
Use and manipulate it carefully! Adding equations that are not in canonical
form leads to unpredictable behavior.
|
java.util.List<Variable> |
NodeFactory.popHedge() |
Modifier and Type | Method and Description |
---|---|
Term |
TermGraph.addRecursionEquation(Variable var,
Term node)
Adds a recursion equation in canonical form to the system of equations of the
term graph.
|
void |
NodeFactory.addToHedge(Variable node) |
Term |
TermGraph.get(Variable recursionVar) |
void |
TermGraph.merge(Variable keep,
Variable remove) |
Variable |
TermGraph.removeByValue(Variable termValue)
Removes one mapping for a given value and returns the key.
|
void |
TermGraph.substitute(Variable from,
java.util.List<Variable> to)
Replaces from by to.
|
void |
TermGraph.substitute(Variable from,
Variable to)
Replaces one variable by another one.
|
void |
TermGraph.suggestMapping(Variable from,
Term to)
Suggests a mapping from a variable to a term node.
|
Modifier and Type | Method and Description |
---|---|
FunctionApplication |
NodeFactory.createFunction(java.lang.String name,
java.util.List<Variable> hedge) |
void |
TermGraph.substitute(Variable from,
java.util.List<Variable> to)
Replaces from by to.
|
TermAtomList |
TermGraph.top(java.util.List<Variable> recVars) |
Constructor and Description |
---|
TermGraph(TermVar root,
java.util.Map<Variable,Term> recursionEquations) |
Modifier and Type | Class and Description |
---|---|
class |
HedgeVar
A hedge variable can be substituted by a single term or a hedge.
|
class |
TermVar
A simple term variable can be substituted by a single term.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Variable> |
FunctionApplication.getArgs() |
Modifier and Type | Method and Description |
---|---|
void |
FunctionApplication.setArgs(java.util.List<Variable> args)
Null values are transformed to unique objects which represent the null value.
|
Constructor and Description |
---|
FunctionApplication(FunctionSymbol symbol,
java.util.List<Variable> args)
Instantiates a new term node.
|