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
U
V
G
get(Variable)
- Method in class at.jku.risc.stout.uru.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.uru.data.
Hedge
getAtom()
- Method in class at.jku.risc.stout.uru.data.
TermNode
getDerivationDepth()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
getFirst()
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
getHedge()
- Method in class at.jku.risc.stout.uru.data.
TermNode
getInitialSystem()
- Method in class at.jku.risc.stout.uru.algo.
UnifAlgorithm
getLeft()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
getLeft()
- Method in interface at.jku.risc.stout.uru.data.
Equation
The left hedge of the equation.
getMapping()
- Method in class at.jku.risc.stout.uru.algo.
Substitution
getMaxDerivationDepth()
- Method in class at.jku.risc.stout.uru.algo.
UnifAlgorithm
getName()
- Method in class at.jku.risc.stout.uru.data.atom.
TermAtom
getNext()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
getNext()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
getProblem()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
getResult()
- Method in class at.jku.risc.stout.uru.algo.
UnifAlgorithm
getRight()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
getRight()
- Method in interface at.jku.risc.stout.uru.data.
Equation
The right hedge of the equation.
getSequence()
- Method in class at.jku.risc.stout.uru.data.
Hedge
getSigma()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
U
V
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes