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
O
obtain()
- Method in class at.jku.risc.stout.tgau.util.
Pool
Pulls an object out of this
Pool
or creates a new object if the pool is empty.
obtainFreshHedgeVar()
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
Fresh variables are not cached.
obtainFreshTermVar()
- Method in class at.jku.risc.stout.tgau.data.
NodeFactory
Fresh variables are not cached.
obtainList()
- Static method in class at.jku.risc.stout.tgau.algo.
AlignmentList
obtainList()
- Static method in class at.jku.risc.stout.tgau.data.
TermAtomList
obtainList()
- Static method in class at.jku.risc.stout.tgau.util.
CoordList
OPENING_PARENTHESIS
- Static variable in class at.jku.risc.stout.tgau.data.
InputParser
The parenthesis '(' is used by default for function applications.
OPENING_PARENTHESIS2
- Static variable in class at.jku.risc.stout.tgau.data.
InputParser
The curly (double) bracket '{' is used by default to indicate commutative function applications.
OUTPUT_SEPARATOR
- Static variable in class at.jku.risc.stout.tgau.algo.
AntiUnifySystem
$
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