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

T

toString() - Method in class at.jku.risc.stout.nau.algo.EquivarianceSystem

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

toString() - Method in class at.jku.risc.stout.nau.data.atom.FunctionSymbol

toString(boolean) - Method in class at.jku.risc.stout.nau.data.atom.Permutation

toString() - Method in class at.jku.risc.stout.nau.data.atom.Permutation

toString() - Method in class at.jku.risc.stout.nau.data.atom.Sort

toString() - Method in class at.jku.risc.stout.nau.data.atom.Variable

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

Use printString(Writer) if possible!

Traversable<T> - Interface in at.jku.risc.stout.nau.util

Traversable.TraverseCallBack<T> - Class in at.jku.risc.stout.nau.util

This class may be used to traverse a term tree and execute an arbitrary operation on every node.The following example prints all variable occurences inside of a nominal term.

Traversable.TraverseCallBack() - Constructor for class at.jku.risc.stout.nau.util.Traversable.TraverseCallBack

traverse(Traversable.TraverseCallBack<NominalTerm>) - Method in class at.jku.risc.stout.nau.data.atom.NominalTerm

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

traverse(Traversable.TraverseCallBack<T>) - Method in interface at.jku.risc.stout.nau.util.Traversable

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