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
-
- 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
