Package | Description |
---|---|
at.jku.risc.stout.urmc.algo | |
at.jku.risc.stout.urmc.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urmc.data.atom |
Modifier and Type | Method and Description |
---|---|
TermNode |
Substitution.get(Variable var)
|
TermNode |
MatchEquation.getLeft() |
TermNode |
MatchEquation.getRight() |
Modifier and Type | Method and Description |
---|---|
Map<Variable,TermNode> |
Substitution.getMapping() |
Modifier and Type | Method and Description |
---|---|
void |
MatchSystem.apply(Variable fromVar,
TermNode toTerm) |
void |
MatchProblem.apply(Variable fromVar,
TermNode toTerm) |
void |
MatchEquation.apply(Variable fromVar,
TermNode toTerm) |
void |
Substitution.compose(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.
|
void |
MatchEquation.setLeft(TermNode left) |
void |
MatchEquation.setRight(TermNode right) |
Constructor and Description |
---|
MatchEquation(TermNode left,
TermNode right) |
Constructor and Description |
---|
Substitution(Map<Variable,TermNode> mapping) |
Modifier and Type | Field and Description |
---|---|
static TermNode |
TermNode.EMPTY |
Modifier and Type | Method and Description |
---|---|
TermNode |
TermNode.apply(Map<Variable,TermNode> sigma)
Applies a substitution recursively and returns the new
TermNode.
|
TermNode |
TermNode.copy() |
TermNode |
Hedge.get(int i) |
TermNode |
Equation.getLeft()
The left hedge of the equation.
|
TermNode |
Equation.getRight()
The right hedge of the equation.
|
TermNode |
InputParser.parseTerm(Reader in) |
TermNode |
TermNode.replaceHole(Hedge plugIn)
Replaces the hole in this context with the given hedge.
|
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.
|
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.
|
Constructor and Description |
---|
Hedge(List<TermNode> sequence) |
Modifier and Type | Field and Description |
---|---|
TermNode |
Hole.node |
Modifier and Type | Method and Description |
---|---|
Collection<TermNode> |
NodeFactory.collectHedgeVars() |
Collection<TermNode> |
NodeFactory.collectTermVars() |
Modifier and Type | Method and Description |
---|---|
void |
NodeFactory.addToHedge(TermNode node) |
TermNode |
Variable.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
FunctionVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
ContextVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
Hedge |
NodeFactory.createHedge(TermNode... nodes) |
TermNode |
Variable.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
FunctionVar.substitute(Variable from,
TermNode to,
TermNode thisNode) |
TermNode |
ContextVar.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 |
FunctionVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
ContextVar.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |
TermNode |
TermAtom.apply(Map<Variable,TermNode> sigma,
TermNode thisNode) |