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
J
M
N
O
P
R
S
T
V
W
X
Y
E
EQ_PREFIX1
- Static variable in class at.jku.risc.stout.urauc.data.
EquationSystem
The output will look like "
EquationSystem.EQ_PREFIX1
#i#
EquationSystem.EQ_PREFIX2
" where #i# is the index of an equation.
EQ_PREFIX2
- Static variable in class at.jku.risc.stout.urauc.data.
EquationSystem
If
EquationSystem.EQ_PREFIX2
is null then the output of the index will also be omitted.
EQ_SEPARATOR
- Static variable in class at.jku.risc.stout.urauc.data.
EquationSystem
The separator is used to separate the equations of this system.
equals(Object)
- Method in class at.jku.risc.stout.urauc.data.atom.
TermAtom
equals(Object)
- Method in class at.jku.risc.stout.urauc.data.
Hedge
equals(Object)
- Method in class at.jku.risc.stout.urauc.data.
TermNode
equals(Object)
- Method in class at.jku.risc.stout.urauc.util.
Pair
Equation
- Interface in
at.jku.risc.stout.urauc.data
Interface for equations which consist of two
TermNode
s.
EquationSystem
<
T
extends
Equation
> - Class in
at.jku.risc.stout.urauc.data
A system of
Equation
s
EquationSystem()
- Constructor for class at.jku.risc.stout.urauc.data.
EquationSystem
exec(TermAtom, Hedge)
- Method in class at.jku.risc.stout.urauc.data.
TermNode.TraverseCallBack
Propagation will stop as soon as this method returns true.
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
V
W
X
Y
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes