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 |
---|---|
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.
|
TermNode |
Substitution.get(Variable var)
|
void |
Substitution.put(Variable fromVar,
TermNode toTerm)
Add a new mapping of the form: Variable -> Term.
|
Constructor and Description |
---|
Substitution(Map<Variable,TermNode> mapping) |
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 |
ContextVar
A context variable can be substituted by a context.
|
class |
FunctionVar
A function variable can be substituted by a function symbol or function
variable.
|
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 |
---|---|
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) |