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
U
V
T
TermAtom
- Class in
at.jku.risc.stout.uru.data.atom
Base class for all the atomic types like function symbols and variables.
TermNode
- Class in
at.jku.risc.stout.uru.data
A term node consists of a
TermAtom
and a
Hedge
.
TermNode(TermAtom, Hedge)
- Constructor for class at.jku.risc.stout.uru.data.
TermNode
Instantiates a new term node.
TermNode.TraverseCallBack
- Class in
at.jku.risc.stout.uru.data
This class may be used to
traverse
a term tree and execute an arbitrary operation on every node.
TermNode.TraverseCallBack()
- Constructor for class at.jku.risc.stout.uru.data.
TermNode.TraverseCallBack
TermVar
- Class in
at.jku.risc.stout.uru.data.atom
A simple term variable can be substituted by a single
TermNode
.
toHedgePartString()
- Method in class at.jku.risc.stout.uru.data.
Hedge
toHedgeString()
- Method in class at.jku.risc.stout.uru.data.
Hedge
toString()
- Method in class at.jku.risc.stout.uru.algo.
Substitution
toString()
- Method in class at.jku.risc.stout.uru.algo.
UnifEquation
toString()
- Method in class at.jku.risc.stout.uru.algo.
UnifProblem
toString()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystem
toString()
- Method in class at.jku.risc.stout.uru.algo.
UnifSystemCollection
toString()
- Method in class at.jku.risc.stout.uru.data.
TermNode
toString()
- Method in class at.jku.risc.stout.uru.util.
Printable
traverse(TermNode.TraverseCallBack)
- Method in class at.jku.risc.stout.uru.data.
TermNode
Traverses the term tree and executes the callback function at every node.
A
C
D
E
F
G
H
I
M
N
O
P
R
S
T
U
V
Overview
Package
Class
Use
Tree
Index
Help
Prev Letter
Next Letter
Frames
No Frames
All Classes