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
F
FunctionSymbol
- Class in
at.jku.risc.stout.urauc.data.atom
A
TermAtom
which represents a function symbol.
FunctionSymbol(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
FunctionSymbol
FunctionVar
- Class in
at.jku.risc.stout.urauc.data.atom
A function variable can be substituted by a bounded context, that is an application of a function to a hedge with a hole in it.
FunctionVar(String)
- Constructor for class at.jku.risc.stout.urauc.data.atom.
FunctionVar
$
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