A C D E F G H I M N O P R S T V
T
- TermAtom - Class in at.jku.risc.stout.urmc.data.atom
-
Base class for all the atomic types like function symbols and variables.
- TermNode - Class in at.jku.risc.stout.urmc.data
-
- TermNode(TermAtom, Hedge) - Constructor for class at.jku.risc.stout.urmc.data.TermNode
-
Instantiates a new term node.
- TermNode.TraverseCallBack - Class in at.jku.risc.stout.urmc.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.urmc.data.TermNode.TraverseCallBack
-
- TermVar - Class in at.jku.risc.stout.urmc.data.atom
-
A simple term variable can be substituted by a single
TermNode.
- toHedgePartString() - Method in class at.jku.risc.stout.urmc.data.Hedge
-
- toHedgeString() - Method in class at.jku.risc.stout.urmc.data.Hedge
-
- toString() - Method in class at.jku.risc.stout.urmc.algo.MatchEquation
-
- toString() - Method in class at.jku.risc.stout.urmc.algo.MatchProblem
-
- toString() - Method in class at.jku.risc.stout.urmc.algo.MatchSystem
-
- toString() - Method in class at.jku.risc.stout.urmc.algo.MatchSystemCollection
-
- toString() - Method in class at.jku.risc.stout.urmc.algo.Substitution
-
- toString() - Method in class at.jku.risc.stout.urmc.data.TermNode
-
- toString() - Method in class at.jku.risc.stout.urmc.util.Printable
-
- traverse(TermNode.TraverseCallBack) - Method in class at.jku.risc.stout.urmc.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 V