$ A B C D E F G H I J L M N O P R S T V

T

TermAtom - Class in at.jku.risc.stout.hoau.data.atom

Base class for all the atomic types like function symbols and variables.

TermAtom(String) - Constructor for class at.jku.risc.stout.hoau.data.atom.TermAtom

TermNode - Class in at.jku.risc.stout.hoau.data

A term node consists of a TermAtom and a Hedge.

TermNode(TermAtom, Hedge) - Constructor for class at.jku.risc.stout.hoau.data.TermNode

Instantiates a new term node.

TermNode.TraverseCallBack - Class in at.jku.risc.stout.hoau.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.hoau.data.TermNode.TraverseCallBack

toRanString() - Method in class at.jku.risc.stout.hoau.algo.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() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

toString() - Method in class at.jku.risc.stout.hoau.algo.AntiUnifySystem

toString() - Method in class at.jku.risc.stout.hoau.algo.PermEquivProblem

toString() - Method in class at.jku.risc.stout.hoau.algo.PermEquivSystem

toString() - Method in class at.jku.risc.stout.hoau.algo.Substitution

toString() - Method in class at.jku.risc.stout.hoau.data.EquationSystem

toString() - Method in class at.jku.risc.stout.hoau.util.DataStructureFactory.MyHashMap

toString() - Method in class at.jku.risc.stout.hoau.util.Printable

traverse(TermNode.TraverseCallBack) - Method in class at.jku.risc.stout.hoau.data.TermNode

Traverses the term tree and executes the callback function at every node.

tryBoundVarPrefix(String, String...) - Method in class at.jku.risc.stout.hoau.data.InputParser

This method tries to find a suitable prefix for fresh bound variables.

tryFreeVarPrefix(String, String...) - Method in class at.jku.risc.stout.hoau.data.InputParser

This method tries to find a suitable prefix for fresh free variables.

TYPE_CONSTRUCTOR - Static variable in class at.jku.risc.stout.hoau.data.InputParser

default = '-'.

$ A B C D E F G H I J L M N O P R S T V