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
G
get(Variable)
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
Returns the associated
TermNode
for a given
Variable
or null if no mapping exists.
get(int)
- Method in class at.jku.risc.stout.urmc.data.
Hedge
getAtom()
- Method in class at.jku.risc.stout.urmc.data.
TermNode
getFirst()
- Method in class at.jku.risc.stout.urmc.algo.
MatchProblem
getHedge()
- Method in class at.jku.risc.stout.urmc.data.
TermNode
getInitialSystem()
- Method in class at.jku.risc.stout.urmc.algo.
MatchAlgorithm
getLeft()
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
getLeft()
- Method in interface at.jku.risc.stout.urmc.data.
Equation
The left hedge of the equation.
getMapping()
- Method in class at.jku.risc.stout.urmc.algo.
Substitution
getName()
- Method in class at.jku.risc.stout.urmc.data.atom.
TermAtom
getNext()
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
getNext()
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
getProblem()
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
getResult()
- Method in class at.jku.risc.stout.urmc.algo.
MatchAlgorithm
getRight()
- Method in class at.jku.risc.stout.urmc.algo.
MatchEquation
getRight()
- Method in interface at.jku.risc.stout.urmc.data.
Equation
The right hedge of the equation.
getSequence()
- Method in class at.jku.risc.stout.urmc.data.
Hedge
getSigma()
- Method in class at.jku.risc.stout.urmc.algo.
MatchSystem
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