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

T

TABLE - Static variable in class dpvis.output.OutputElement

TABLE_LIST - Static variable in class dpvis.output.OutputElement

Term - Interface in dpvis.datastructures

Class modelling a term.

TermImpl - Class in dpvis.datastructures.impl

TermImpl(Term) - Constructor for class dpvis.datastructures.impl.TermImpl

TermImpl(String, List<Term>, boolean, boolean) - Constructor for class dpvis.datastructures.impl.TermImpl

TermImpl(String, List<Term>, boolean) - Constructor for class dpvis.datastructures.impl.TermImpl

termIsEmbedded(Term, Term) - Static method in class dpvis.datastructures.UtilityFunctions

toString() - Method in class dpvis.datastructures.impl.DependencyPairProblemImpl

toString() - Method in class dpvis.datastructures.impl.RewriteSystemImpl

toString() - Method in class dpvis.datastructures.impl.RuleImpl

toString() - Method in class dpvis.datastructures.impl.TermImpl

toString() - Method in class dpvis.datastructures.Pair

transform(RewriteSystem) - Method in interface dpvis.transform.TrsToTrsTransformation

Method that transforms a given Rewrite System into another one.

TrsToTrsTransformation - Interface in dpvis.transform

Interface for transformations of rewrite systems, e.g. conditional ones into unconditional ones etc.