JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
V
V
valueOf(String)
- Static method in enum at.jku.risc.stout.tgau.algo.
DebugLevel
Returns the enum constant of this type with the specified name.
values()
- Static method in enum at.jku.risc.stout.tgau.algo.
DebugLevel
Returns an array containing the constants of this enum type, in the order they are declared.
varCnt
- Variable in class at.jku.risc.stout.tgau.data.
NodeFactory
Variable
- Class in
at.jku.risc.stout.tgau.data.atom
This is the base class for different types of variables.
Variable(String)
- Constructor for class at.jku.risc.stout.tgau.data.atom.
Variable
VARIABLE_START
- Static variable in class at.jku.risc.stout.tgau.data.
InputParser
default = 'u' => A word starting with 'u-z' will become a variable.
InputParser.VARIABLE_START
has to be a lower case letter! Hedge variables are denoted by upper case letters.
$
A
B
C
D
E
F
G
H
I
L
M
N
O
P
R
S
T
V
Skip navigation links
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes