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 | Method and Description |
---|---|
TermNode |
AntiUnifyProblem.createTermNode()
Create a TermNode of the generalization variable.
|
TermNode |
Substitution.get(Variable var)
|
TermNode |
AntiUnifyProblem.getLeft()
Returns the left node of this AUP.
|
TermNode |
AntiUnifyProblem.getRight()
Returns the right node of this AUP.
|
Modifier and Type | Method and Description |
---|---|
Map<Variable,TermNode> |
Substitution.getMapping() |
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifyProblem.addLeft(TermNode left) |
void |
AntiUnifyProblem.addRight(TermNode right) |
void |
Substitution.composeInRange(Variable fromVar,
TermNode toTerm)
Substitution composition which does not add new variables to the mapping.
|
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 |
---|---|
TermNode |
TermNode.apply(Map<Variable,TermNode> sigma)
Applies a substitution recursively and returns the new
TermNode.
|
TermNode |
TermNode.clone() |
TermNode |
NodeFactory.createConstant(String name) |
TermNode |
NodeFactory.createFunction(String name,
Hedge hedge) |
TermNode |
NodeFactory.createHedgeVar(String name) |
TermNode |
NodeFactory.createTermVar(String name) |
TermNode |
Hedge.get(int i) |
TermNode |
Equation.getLeft()
The left hedge of the equation.
|
TermNode |
Equation.getRight()
The right hedge of the equation.
|
static TermNode |
NodeFactory.newNode(TermAtom atom) |
static TermNode |
NodeFactory.newNode(TermAtom atom,
Hedge hedge) |
static TermNode |
NodeFactory.obtainFreshHedgeNode() |
static TermNode |
NodeFactory.obtainFreshTermVarNode() |
TermNode |
InputParser.parseTerm(Reader in) |
TermNode |
TermNode.substitute(Variable from,
TermNode to)
|
Modifier and Type | Method and Description |
---|---|
List<TermNode> |
Hedge.getSequence() |
Modifier and Type | Method and Description |
---|---|
void |
Hedge.add(TermNode t) |
void |
Equation.addLeft(TermNode node)
Adds a TermNode to the left hedge of the equation.
|
void |
Equation.addRight(TermNode node)
Adds a TermNode to the left hedge of the equation.
|
void |
NodeFactory.addToHedge(TermNode node) |
Hedge |
NodeFactory.createHedge(TermNode... nodes) |
int |
Hedge.replace(int idx,
TermNode toTermOrHedge)
|
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 | Method and Description |
---|---|
TermNode |
Variable.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
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) |
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) |