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