JavaScript is disabled on your browser.
$ A C D E F G H I J M N O P R S T V W X Y
T
TermAtom at.jku.risc.stout.urauc.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String) TermAtom
TermAtom(String, int[]) TermAtom
TermAtomList at.jku.risc.stout.urauc.data
A list of
TermAtom s which is used for alignment computation.
TermAtomList() TermAtomList
TermAtomList(int) TermAtomList
TermNode at.jku.risc.stout.urauc.data
TermNode(TermAtom, Hedge) TermNode
Instantiates a new term node.
TermNode(TermAtom) TermNode
Instantiates a new term node with an empty hedge.
TermNode.TraverseCallBack at.jku.risc.stout.urauc.data
This class may be used to
traverse a term tree and
execute an arbitrary operation on every node.
TermNode.TraverseCallBack() TermNode.TraverseCallBack
TermVar at.jku.risc.stout.urauc.data.atom
A simple term variable can be substituted by a single
TermNode .
TermVar(String) TermVar
TinyList V > - Class in at.jku.risc.stout.urauc.util
A tiny abstract class for list implementations.
TinyList() TinyList
toHedgeNode(HedgeVar) NodeFactory
top() Hedge
toRanString() Substitution
Only prints the range of the mapping, which is actually useful to display
a computed generalization of an AUP without the generalization variable
(which presents the most general generalization).
toString() AntiUnifyProblem
toString() AntiUnifyProblem.VariableWithHedges
toString() AntiUnifySystem
toString() Contour.ContourAtom
toString() Contour
toString() ContourArrangement
toString() Substitution
toString() Alignment.AlignmentAtom
toString() Alignment
toString() EquationSystem
toString() IntList
toString() Pair
toString() Printable
toString() TinyList
traverse(TermNode.TraverseCallBack) TermNode
Traverses the term tree and executes the callback function at every node.
$ A C D E F G H I J M N O P R S T V W X Y
