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

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.
termIsEmbedded(Term, Term) - Static method in class dpvis.datastructures.UtilityFunctions
 
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.

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