Package | Description |
---|---|
at.jku.risc.stout.urau.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
at.jku.risc.stout.urau.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urau.data.atom |
Modifier and Type | Field and Description |
---|---|
Variable |
AntiUnifyProblem.generalizationVar |
Modifier and Type | Method and Description |
---|---|
Map<Variable,TermNode> |
Substitution.getMapping() |
Modifier and Type | Method and Description |
---|---|
void |
AntiUnify.callback(AntiUnifySystem result,
Variable generalizationVar)
This callback function will be invoked for every found generalization.
|
void |
Substitution.composeInRange(Variable fromVar,
TermNode toTerm)
Substitution composition which does not add new variables to the mapping.
|
TermNode |
Substitution.get(Variable var)
|
void |
Substitution.put(Variable fromVar,
TermNode toTerm)
Add a new mapping of the form: Variable -> Term
|
Constructor and Description |
---|
AntiUnifyProblem(Variable generalizationVar,
TermNode left,
TermNode right)
Create an AUP with the given generalization variable and hedges.
|
Modifier and Type | Method and Description |
---|---|
Hedge |
Hedge.substitute(Variable x,
TermNode t) |
TermNode |
TermNode.substitute(Variable from,
TermNode to)
|
Modifier and Type | Method and Description |
---|---|
Hedge |
Hedge.apply(Map<Variable,TermNode> sigma) |
TermNode |
TermNode.apply(Map<Variable,TermNode> sigma)
Applies a substitution recursively and returns the new
TermNode.
|
Modifier and Type | Class and Description |
---|---|
class |
HedgeVar
A hedge variable can be substituted by a single TermNode or a
hedge which is represented by a TermNode with a null-atom
TermNode.isNullAtom().
|
class |
TermVar
A simple term variable can be substituted by a single TermNode.
|
Modifier and Type | Method and Description |
---|---|
Variable |
Variable.clone() |
Modifier and Type | Method and Description |
---|---|
TermNode |
Variable.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
TermAtom.substitute(Variable from,
TermNode to,
TermNode thisNode) |
Modifier and Type | Method and Description |
---|---|
TermNode |
Variable.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |