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
U
V
W
T
toString()
- Method in class at.jku.risc.stout.nau.algo.
EquivarianceSystem
toString()
- Method in class at.jku.risc.stout.nau.algo.
Substitution
toString()
- Method in class at.jku.risc.stout.nau.data.atom.
FunctionSymbol
toString(boolean)
- Method in class at.jku.risc.stout.nau.data.atom.
Permutation
toString()
- Method in class at.jku.risc.stout.nau.data.atom.
Permutation
toString()
- Method in class at.jku.risc.stout.nau.data.atom.
Sort
toString()
- Method in class at.jku.risc.stout.nau.data.atom.
Variable
toString()
- Method in class at.jku.risc.stout.nau.util.
Printable
Use printString(Writer) if possible!
Traversable
<
T
> - Interface in
at.jku.risc.stout.nau.util
Traversable.TraverseCallBack
<
T
> - Class in
at.jku.risc.stout.nau.util
This class may be used to
traverse
a term tree and execute an arbitrary operation on every node.The following example prints all variable occurences inside of a nominal term.
Traversable.TraverseCallBack()
- Constructor for class at.jku.risc.stout.nau.util.
Traversable.TraverseCallBack
traverse(Traversable.TraverseCallBack<NominalTerm>)
- Method in class at.jku.risc.stout.nau.data.atom.
NominalTerm
Traverses the term tree and executes the callback function at every subterm.
traverse(Traversable.TraverseCallBack<T>)
- Method in interface at.jku.risc.stout.nau.util.
Traversable
$
A
C
D
E
F
G
H
I
J
M
N
O
P
R
S
T
U
V
W
Overview
Package
Class
Use
Tree
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes