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
V
F
Function
- Class in
at.jku.risc.stout.urmc.data.atom
A
TermAtom
which represents a function symbol.
FunctionVar
- Class in
at.jku.risc.stout.urmc.data.atom
A function variable can be substituted by a function symbol or function variable.
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
V
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes