| R | Tct.Method.Matrix.NaturalMI |
| rc2011 | Tct.Instances |
| rc2012 | Tct.Instances |
| rcConstraints | Tct.Method.Matrix.NaturalMI |
| rConstraints | Tct.Method.Matrix.NaturalMI |
| Reach | Tct.Method.Bounds.Violations.Fix |
| reachableFromLifted | Tct.Method.Bounds.Violations.Find |
| reachablesBfs | Tct.Method.DP.DependencyGraph |
| reachablesDfs | Tct.Method.DP.DependencyGraph |
| reachableStates | Tct.Method.Bounds.Violations.Fix |
| reaches | Tct.Method.Bounds.Violations.Find |
| realise | Tct.Method.Bounds.Violations.Fix |
| reason | |
| 1 (Function) | Tct.Method.InnermostRuleRemoval |
| 2 (Function) | Tct.Method.Uncurry |
| Rec | Tct.Certificate |
| recompile | Tct, Tct.Configuration |
| RecursiveSymbols | Tct.Encoding.Precedence |
| reduceConstraint | Tct.Method.Bounds.Violations.Fix |
| ReductionRule | Tct.Method.Bounds.Violations.Fix |
| relativeConstraints | Tct.Method.Matrix.ArcticMI |
| relativeStricterTrsConstraints | Tct.Encoding.AbstractInterpretation |
| relativeStrictTrsConstraints | Tct.Encoding.AbstractInterpretation |
| removables | Tct.Method.DP.Simplification |
| removals | Tct.Method.InnermostRuleRemoval |
| removed | Tct.Method.InnermostRuleRemoval |
| RemoveHead | Tct.Method.DP.Simplification |
| removeHead | Tct.Processors |
| removeHeadProcessor | Tct.Method.DP.Simplification |
| RemoveHeadProof | Tct.Method.DP.Simplification |
| removeHeads | Tct.Method.DP.Simplification, Tct.Instances |
| RemoveInapplicable | Tct.Method.DP.Simplification |
| removeInapplicable | Tct.Method.DP.Simplification, Tct.Instances |
| RemoveInapplicableError | Tct.Method.DP.Simplification |
| RemoveInapplicableFail | Tct.Method.DP.Simplification |
| removeInapplicableProcessor | Tct.Method.DP.Simplification |
| RemoveInapplicableProof | |
| 1 (Type/Class) | Tct.Method.DP.Simplification |
| 2 (Data Constructor) | Tct.Method.DP.Simplification |
| removeLeaf | Tct.Instances |
| RemoveWeakSuffix | Tct.Method.DP.Simplification |
| removeWeakSuffix | |
| 1 (Function) | Tct.Method.DP.Simplification, Tct.Instances |
| 2 (Function) | Tct.Processors |
| removeWeakSuffixProcessor | Tct.Method.DP.Simplification |
| RemoveWeakSuffixProof | Tct.Method.DP.Simplification |
| replaceProblem | Tct.Method.Bounds.Violations.Fix |
| requireAll | Tct.Method.Bounds.Violations.Fix |
| reset | Tct.Interactive |
| restrict | |
| 1 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| restrictRecDepthM | Tct.Encoding.Precedence |
| restrictToSignature | Tct.Encoding.UsablePositions |
| Result | Tct.Processor.Transformations |
| result | Tct.Processor |
| RHError | Tct.Method.DP.Simplification |
| rhGraph | Tct.Method.DP.Simplification |
| RHProof | Tct.Method.DP.Simplification |
| rhRemoveds | Tct.Method.DP.Simplification |
| rhSig | Tct.Method.DP.Simplification |
| rhVars | Tct.Method.DP.Simplification |
| riInitials | Tct.Method.DP.Simplification |
| riReachable | Tct.Method.DP.Simplification |
| riSig | Tct.Method.DP.Simplification |
| riVars | Tct.Method.DP.Simplification |
| riWDG | Tct.Method.DP.Simplification |
| Roof | Tct.Method.Bounds.Automata, Tct.Method.Bounds, Tct.Instances |
| roots | Tct.Method.DP.DependencyGraph |
| row | Tct.Encoding.Matrix |
| RS | Tct.Encoding.Precedence |
| rsName | Tct.Method.RuleSelector, Tct.Instances |
| rsSelect | Tct.Method.RuleSelector, Tct.Instances |
| RTError | Tct.Method.DP.Simplification |
| RTProof | Tct.Method.DP.Simplification |
| Rule | Tct.Method.Bounds.Automata |
| rule | Tct.Utils.Xml |
| rule1 | Tct.Method.Bounds.Violations.Fix |
| rule2 | Tct.Method.Bounds.Violations.Fix |
| rule3 | Tct.Method.Bounds.Violations.Fix |
| rule4 | Tct.Method.Bounds.Violations.Fix |
| ruleConstraints | Tct.Encoding.AbstractInterpretation |
| ruleFromString | Tct.Interactive |
| RuleRemoval | |
| 1 (Type/Class) | Tct.Method.InnermostRuleRemoval |
| 2 (Data Constructor) | Tct.Method.InnermostRuleRemoval |
| rules | |
| 1 (Function) | Tct.Utils.Xml |
| 2 (Function) | Tct.Method.RuleSelector, Tct.Instances |
| rulesDefining | Tct.Method.Bounds.Automata |
| rulesDefiningUL | Tct.Method.Bounds.Automata |
| RuleSelector | |
| 1 (Type/Class) | Tct.Method.RuleSelector, Tct.Instances |
| 2 (Data Constructor) | Tct.Method.RuleSelector, Tct.Instances |
| RuleSetSelector | Tct.Method.RuleSelector, Tct.Instances |
| runErroneous | Tct |
| runLS | Tct.Processor.LoggingSolver |
| runSolver | Tct.Processor |
| runTct | |
| 1 (Function) | Tct |
| 2 (Function) | Tct.Interactive |