| I | Tct.Method.Matrix.NaturalMI |
| ICapStar | Tct.Method.DP.DependencyGraph, Tct.Instances |
| iConstraints | Tct.Method.Matrix.NaturalMI |
| idaConstraints | Tct.Method.Matrix.NaturalMI |
| identifier | Tct.Processor.Parse |
| idtrans | Tct.Method.TCombinator, Tct.Instances |
| Inapplicable | Tct.Method.Compose |
| indent | Tct.Utils.PPrint |
| InFilter | Tct.Encoding.ArgumentFiltering |
| initial | |
| 1 (Function) | Tct.Encoding.Precedence |
| 2 (Function) | Tct.Encoding.ArgumentFiltering |
| InitialAutomaton | Tct.Method.Bounds, Tct.Instances |
| initialRecursiveSymbols | Tct.Encoding.Precedence |
| initialState | Tct.Processor.LoggingSolver |
| initialStrictRules | Tct.Encoding.Relative |
| initialUsables | Tct.Encoding.UsableRules |
| InnermostRuleRemoval | Tct.Method.InnermostRuleRemoval |
| input | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Poly.NaturalPI |
| inputProblem | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Transformations |
| 3 (Function) | Tct.Method.InnermostRuleRemoval |
| 4 (Function) | Tct.Method.Uncurry |
| insert | Tct.Method.Bounds.Automata |
| instanceName | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Standard |
| 3 (Function) | Tct.Processor.Transformations |
| InstanceOf | Tct.Processor |
| int | Tct.Utils.Xml |
| interactive | Tct, Tct.Configuration |
| InteractiveParser | Tct.Processor.Args |
| interactiveParser | Tct.Processor.Args |
| interactiveShowProofs | Tct, Tct.Configuration |
| Interpretation | Tct.Encoding.HomomorphicInterpretation |
| interpretations | |
| 1 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| interpretFun | Tct.Encoding.HomomorphicInterpretation |
| interpretTerm | Tct.Encoding.AbstractInterpretation |
| interpretVar | Tct.Encoding.HomomorphicInterpretation |
| inverse | Tct.Method.DP.DependencyGraph |
| IP | Tct.Processor.Args |
| ipCompletions | Tct.Processor.Args |
| ipParse | Tct.Processor.Args |
| ipSynopsis | Tct.Processor.Args |
| irr | |
| 1 (Function) | Tct.Method.InnermostRuleRemoval, Tct.Instances |
| 2 (Function) | Tct.Processors |
| irrProcessor | Tct.Method.InnermostRuleRemoval |
| IRRProof | |
| 1 (Type/Class) | Tct.Method.InnermostRuleRemoval |
| 2 (Data Constructor) | Tct.Method.InnermostRuleRemoval |
| isBot | Tct.Method.Bounds.Violations.Fix |
| isCollapsing | |
| 1 (Function) | Tct.Encoding.ArgumentFiltering |
| 2 (Function) | Tct.Method.Predicates, Tct.Instances |
| 3 (Function) | Tct.Processors |
| isCollapsingProcessor | Tct.Method.Predicates |
| isConstructor | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isConstructorProcessor | Tct.Method.Predicates |
| isContextSensitive | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isContextSensitiveProcessor | Tct.Method.Predicates |
| isCyclic | Tct.Method.DP.DependencyGraph |
| isCyclicNode | Tct.Method.DP.DependencyGraph |
| isDCProblem | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isDCProblemProcessor | Tct.Method.Predicates |
| isDuplicating | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isDuplicatingProcessor | Tct.Method.Predicates |
| isEdgeTo | Tct.Method.DP.DependencyGraph |
| isEpsilonRule | Tct.Method.Bounds.Automata |
| isFull | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isFullProcessor | Tct.Method.Predicates |
| isGround | |
| 1 (Function) | Tct.Method.Predicates |
| 2 (Function) | Tct.Processors |
| isGroundProcessor | Tct.Method.Predicates |
| isInFilter | Tct.Encoding.ArgumentFiltering |
| isInnermost | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isInnermostProcessor | Tct.Method.Predicates |
| isLEdgeTo | Tct.Method.DP.DependencyGraph |
| isLeftLinear | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isLeftLinearProcessor | Tct.Method.Predicates |
| isOptional_ | Tct.Processor.Args, Tct.Configuration |
| isOrthogonal | Tct.Method.Predicates |
| isOrthogonalProcessor | Tct.Method.Predicates |
| isOutermost | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isOutermostProcessor | Tct.Method.Predicates |
| isOverlay | Tct.Method.Predicates |
| isOverlayProcessor | Tct.Method.Predicates |
| isProgressResult | Tct.Processor.Transformations |
| isRCProblem | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isRCProblemProcessor | Tct.Method.Predicates |
| isRecursive | Tct.Encoding.Precedence |
| isReducibleConstraint | Tct.Method.Bounds.Violations.Fix |
| isReducibleProblem | Tct.Method.Bounds.Violations.Fix |
| isRightLinear | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isRightLinearProcessor | Tct.Method.Predicates |
| isSafe | Tct.Encoding.SafeMapping |
| isSafeP | Tct.Encoding.SafeMapping |
| isTimeout | Tct.Proof, Tct.Processor |
| isUargsOn | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| isUrulesOn | Tct.Method.Matrix.NaturalMI |
| isUsable | Tct.Encoding.UsablePositions |
| isViolation | Tct.Method.Bounds.Violations.Fix |
| isWellFormed | |
| 1 (Function) | Tct.Method.Predicates, Tct.Instances |
| 2 (Function) | Tct.Processors |
| isWellFormedProcessor | Tct.Method.Predicates |
| Ite | Tct.Method.Combinator |
| ite | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| iteProcessor | Tct.Method.Combinator |
| IteProgress | Tct.Method.Combinator |
| iteProgress | Tct.Method.Combinator, Tct.Instances |
| IteProgressProof | Tct.Method.Combinator |
| IteProof | |
| 1 (Type/Class) | Tct.Method.Combinator |
| 2 (Data Constructor) | Tct.Method.Combinator |
| iter | Tct.Certificate |