JavaScript is disabled on your browser.
$ A C D E F G H I M N O P R S T V
T
TermAtom at.jku.risc.stout.urau.data.atom
Base class for all the atomic types like function symbols and variables.
TermAtom(String) TermAtom
TermAtomList at.jku.risc.stout.urau.data
TermNode at.jku.risc.stout.urau.data
TermNode(TermAtom, Hedge) TermNode
Instantiates a new term node.
TermNode.TraverseCallBack at.jku.risc.stout.urau.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.urau.data.atom
A simple term variable can be substituted by a single
TermNode .
TermVar(String) TermVar
TinyList V > - Class in at.jku.risc.stout.urau.util
Tiny abstract list.
TinyList() TinyList
toHedgePartString() Hedge
toHedgeString() Hedge
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() AlignmentList.Alignment.AlignmentAtom
toString() AntiUnifyProblem
toString() AntiUnifySystem
toString() Substitution
toString() EquationSystem
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 M N O P R S T V
