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
E
eliminateSeqVariable(HedgeVar)
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
empty
- Static variable in class at.jku.risc.stout.uru.data.
TermNode
equals(Object)
- Method in class at.jku.risc.stout.uru.algo.
Substitution
equals(Object)
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
equals(Object)
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
equals(Object)
- Method in class at.jku.risc.stout.uru.data.
Hedge
equals(Object)
- Method in class at.jku.risc.stout.uru.data.
TermNode
Equation
- Interface in
at.jku.risc.stout.uru.data
Interface for equations which consist of two
TermNode
s.
exec(TermAtom, Hedge)
- Method in class at.jku.risc.stout.uru.data.
TermNode.TraverseCallBack
Propagation will stop as soon as this method returns true.
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