| T | Tct.Method.Matrix.NaturalMI |
| tConstraints | Tct.Method.Matrix.NaturalMI |
| tct | Tct, Tct.Configuration |
| TCTError | Tct |
| TCTWarning | Tct |
| te | Tct.Instances |
| term | Tct.Utils.Xml |
| termFromString | Tct.Interactive |
| text | Tct.Utils.Xml |
| thenApply | Tct.Processor.Transformations |
| TheProcessor | |
| 1 (Type/Class) | Tct.Processor.Standard |
| 2 (Data Constructor) | Tct.Processor.Standard |
| theProcessorFromInstance | Tct.Processor.Standard |
| theSCC | Tct.Method.DP.DependencyGraph |
| TheTransformer | |
| 1 (Type/Class) | Tct.Processor.Transformations, Tct.Instances |
| 2 (Data Constructor) | Tct.Processor.Transformations |
| Timed | |
| 1 (Type/Class) | Tct.Method.Combinator |
| 2 (Data Constructor) | Tct.Method.Combinator |
| 3 (Type/Class) | Tct.Method.TCombinator |
| 4 (Type/Class) | Tct.Instances |
| timed | |
| 1 (Function) | Tct.Method.Combinator |
| 2 (Function) | Tct.Method.TCombinator |
| 3 (Function) | Tct.Instances |
| TimedOut | |
| 1 (Data Constructor) | Tct.Method.Timeout |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| TimedProof | |
| 1 (Type/Class) | Tct.Method.Combinator |
| 2 (Data Constructor) | Tct.Method.Combinator |
| 3 (Type/Class) | Tct.Method.TCombinator |
| 4 (Data Constructor) | Tct.Method.TCombinator |
| Timeout | |
| 1 (Type/Class) | Tct.Method.Timeout |
| 2 (Type/Class) | Tct.Method.TCombinator |
| 3 (Data Constructor) | Tct.Method.TCombinator |
| timeout | |
| 1 (Function) | Tct.Method.Timeout |
| 2 (Function) | Tct.Method.TCombinator |
| 3 (Function) | Tct.Instances |
| 4 (Function) | Tct.Processors |
| timeoutAfter | Tct, Tct.Configuration |
| TimeoutAnswer | Tct.Proof, Tct.Processor |
| timeoutProcessor | Tct.Method.Timeout |
| TimeoutProof | Tct.Method.TCombinator |
| TimesOut | Tct.Instances |
| toCongruenceGraph | Tct.Method.DP.DependencyGraph |
| toDP | Tct.Instances |
| toGraphViz | Tct.Method.DP.DependencyGraph |
| ToiContainsWeakRules | Tct.Method.ToInnermost |
| ToInnermost | Tct.Method.ToInnermost |
| toInnermost | |
| 1 (Function) | Tct.Method.ToInnermost, Tct.Instances |
| 2 (Function) | Tct.Processors |
| toInnermostProcessor | Tct.Method.ToInnermost |
| ToInnermostProof | Tct.Method.ToInnermost |
| ToiNonOverlay | Tct.Method.ToInnermost |
| ToiNonRightLinear | Tct.Method.ToInnermost |
| ToiSuccess | Tct.Method.ToInnermost |
| Token | Tct.Processor |
| toList | Tct.Utils.Enum |
| Top | Tct.Method.Bounds.Automata, Tct.Method.Bounds, Tct.Instances |
| toProcessor | Tct.Method.Custom |
| toProcessorList | Tct.Processor |
| TOProof | |
| 1 (Type/Class) | Tct.Method.Timeout |
| 2 (Data Constructor) | Tct.Method.Timeout |
| topsort | Tct.Method.DP.DependencyGraph |
| toRules | Tct.Method.Bounds.Automata |
| toSec | Tct.Processor.LoggingSolver |
| toXml | |
| 1 (Function) | Tct.Proof, Tct.Processor |
| 2 (Function) | Tct.Encoding.UsablePositions |
| 3 (Function) | Tct.Processor.Args |
| 4 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 5 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| tpCpu | |
| 1 (Function) | Tct.Method.Combinator |
| 2 (Function) | Tct.Method.TCombinator |
| tpProof | |
| 1 (Function) | Tct.Method.Combinator |
| 2 (Function) | Tct.Method.TCombinator |
| tproofToXml | Tct.Processor.Transformations |
| tpWall | |
| 1 (Function) | Tct.Method.Combinator |
| 2 (Function) | Tct.Method.TCombinator |
| transform | Tct.Processor.Transformations |
| Transformation | |
| 1 (Type/Class) | Tct.Processor.Transformations |
| 2 (Data Constructor) | Tct.Processor.Transformations |
| transformation | Tct.Processor.Transformations |
| transformationArgs | Tct.Processor.Transformations |
| transformationProcessor | Tct.Processor.Transformations |
| TransformationProof | Tct.Processor.Transformations |
| transformationProof | Tct.Processor.Transformations |
| transformationResult | Tct.Processor.Transformations |
| Transformer | Tct.Processor.Transformations |
| transformerToXml | Tct.Processor.Transformations |
| transpose | Tct.Encoding.Matrix |
| Triangular | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| TriangularMatrix | Tct.Method.Matrix.MatrixInterpretation |
| triConstraints | Tct.Method.Matrix.MatrixInterpretation |
| triMatrix | Tct.Method.Matrix.MatrixInterpretation |
| Trivial | |
| 1 (Data Constructor) | Tct.Method.DP.DependencyGraph, Tct.Instances |
| 2 (Type/Class) | Tct.Method.DP.Simplification |
| trivial | Tct.Method.DP.Simplification, Tct.Instances |
| trivialCDG | Tct.Method.DP.Simplification |
| TrivialError | Tct.Method.DP.Simplification |
| TrivialFail | Tct.Method.DP.Simplification |
| trivialProcessor | Tct.Method.DP.Simplification |
| TrivialProof | |
| 1 (Type/Class) | Tct.Method.Combinator |
| 2 (Type/Class) | Tct.Method.DP.Simplification |
| 3 (Data Constructor) | Tct.Method.DP.Simplification |
| trivialSig | Tct.Method.DP.Simplification |
| trivialVars | Tct.Method.DP.Simplification |
| trs | Tct.Encoding.Relative |
| trsConstraints | Tct.Encoding.AbstractInterpretation |
| trsPredicate | Tct.Method.Predicates, Tct.Instances |
| Try | |
| 1 (Type/Class) | Tct.Method.TCombinator |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| try | Tct.Method.TCombinator, Tct.Instances |
| TryProof | |
| 1 (Type/Class) | Tct.Method.TCombinator |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| TuplesNonInnermost | Tct.Method.DP.DependencyPairs |
| tuplesUsed | Tct.Method.DP.DependencyPairs |
| Two | Tct.Method.TCombinator |