JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
V
A
add(MatchEquation)
- Method in class at.jku.risc.stout.urmc.algo.
MatchProblem
add(MatchSystem)
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystemCollection
add(TermNode)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
addLeft(TermNode)
- Method in interface at.jku.risc.stout.urmc.data.
Equation
Adds a
TermNode
to the left hedge of the equation.
addRight(TermNode)
- Method in interface at.jku.risc.stout.urmc.data.
Equation
Adds a
TermNode
to the left hedge of the equation.
addToHedge(TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
NodeFactory
apply(Substitution)
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
apply(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
apply(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.algo.
MatchProblem
apply(Substitution)
- Method in class at.jku.risc.stout.urmc.algo.
MatchProblem
apply(Substitution)
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
apply(Variable, TermNode)
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
apply(Map<Variable, TermNode>, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
ContextVar
apply(Map<Variable, TermNode>, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
FunctionVar
apply(Map<Variable, TermNode>, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
TermAtom
apply(Map<Variable, TermNode>, TermNode)
- Method in class at.jku.risc.stout.urmc.data.atom.
Variable
apply(Map<Variable, TermNode>)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
apply(Map<Variable, TermNode>)
- Method in class at.jku.risc.stout.urmc.data.
TermNode
Applies a substitution recursively and returns the new
TermNode
.
at.jku.risc.stout.urmc.algo
- package at.jku.risc.stout.urmc.algo
at.jku.risc.stout.urmc.data
- package 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
- package at.jku.risc.stout.urmc.data.atom
This package contains all the atomic types like
Function
,
TermVar
,
HedgeVar
.
at.jku.risc.stout.urmc.util
- package at.jku.risc.stout.urmc.util
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes