| S | Tct.Method.Bounds.Automata |
| safeArgumentPositions | Tct.Encoding.SafeMapping |
| SafeMapping | Tct.Encoding.SafeMapping |
| safeRedpairConstraints | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| sanitiseResult | Tct.Processor.Transformations |
| SatSolver | Tct.Processor |
| satSolver | Tct.Processor |
| SatSolverMissing | Tct |
| saveGraphViz | Tct.Method.DP.DependencyGraph |
| scalarprod | Tct.Encoding.Matrix |
| sccs | Tct.Method.DP.DependencyGraph |
| selAllOf | Tct.Method.RuleSelector, Tct.Instances |
| selAnd | Tct.Method.RuleSelector, Tct.Instances |
| selAnyOf | Tct.Method.RuleSelector, Tct.Instances |
| selCloseBackward | Tct.Method.RuleSelector, Tct.Instances |
| selCloseForward | Tct.Method.RuleSelector, Tct.Instances |
| selCombine | Tct.Method.RuleSelector, Tct.Instances |
| selCycleIndependentSG | Tct.Method.RuleSelector, Tct.Instances |
| selDPs | Tct.Method.RuleSelector, Tct.Instances |
| select | Tct.Interactive |
| SelectAll | Tct.Interactive |
| selectCheapestDisjunct | Tct.Method.Bounds.Violations.Fix |
| SelectDP | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| selectedRules | Tct.Interactive |
| selectFirstDisjunct | Tct.Method.Bounds.Violations.Fix |
| selectFirstProblem | Tct.Method.Bounds.Violations.Fix |
| SelectInv | Tct.Interactive |
| selectLowerBy | Tct.Method.ComposeRC, Tct.Instances |
| Selector | Tct.Interactive |
| SelectorExpression | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| SelectTrs | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| selFirstAlternative | Tct.Method.RuleSelector, Tct.Instances |
| selFirstCongruence | Tct.Method.RuleSelector, Tct.Instances |
| selFirstStrictCongruence | Tct.Method.RuleSelector, Tct.Instances |
| selFromCWDG | Tct.Method.RuleSelector, Tct.Instances |
| selFromWDG | Tct.Method.RuleSelector, Tct.Instances |
| selIndependentSG | Tct.Method.RuleSelector, Tct.Instances |
| selInter | Tct.Method.RuleSelector, Tct.Instances |
| selInverse | Tct.Method.RuleSelector, Tct.Instances |
| selLeafCWDG | Tct.Method.RuleSelector, Tct.Instances |
| selLeafWDG | Tct.Method.RuleSelector, Tct.Instances |
| selOr | Tct.Method.RuleSelector, Tct.Instances |
| selRules | Tct.Method.RuleSelector, Tct.Instances |
| selStricts | Tct.Method.RuleSelector, Tct.Instances |
| selUnion | Tct.Method.RuleSelector, Tct.Instances |
| selWeaks | Tct.Method.RuleSelector, Tct.Instances |
| Sequentially | Tct.Method.Combinator |
| sequentially | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| sequentiallyProcessor | Tct.Method.Combinator |
| setConfig | Tct.Interactive |
| setDC | Tct.Interactive |
| setIDC | Tct.Interactive |
| setIRC | Tct.Interactive |
| setRC | Tct.Interactive |
| setSafe | Tct.Encoding.SafeMapping |
| setSafes | Tct.Encoding.SafeMapping |
| setShowProofs | Tct.Interactive |
| setUsable | Tct.Encoding.UsablePositions |
| setUsables | Tct.Encoding.UsablePositions |
| shallowSimp | Tct.Encoding.Polynomial |
| showArg | Tct.Processor.Args |
| showHelp | Tct, Tct.Configuration |
| showVersion | Tct, Tct.Configuration |
| sig | Tct.Method.Bounds |
| signature | |
| 1 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| 3 (Function) | Tct.Method.DP.UsableRules |
| 4 (Function) | Tct.Method.DP.Simplification |
| simpDPRHS | |
| 1 (Function) | Tct.Method.DP.Simplification, Tct.Instances |
| 2 (Function) | Tct.Processors |
| simpDPRHSProcessor | Tct.Method.DP.Simplification |
| Simple | Tct.Method.Poly.PolynomialInterpretation |
| SimpleMixed | Tct.Method.Poly.PolynomialInterpretation |
| simpleMixedPolynomial | Tct.Method.Poly.NaturalPI, Tct.Instances |
| SimpleMonomial | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| simplePolynomial | Tct.Method.Poly.NaturalPI, Tct.Instances |
| SimplePolyShape | Tct.Method.Poly.PolynomialInterpretation |
| SimpleShape | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| simplify | Tct.Method.Bounds.Violations.Fix |
| simpMono | Tct.Encoding.Polynomial |
| SimpPE | Tct.Method.DP.Simplification |
| simpPE | |
| 1 (Function) | Tct.Method.DP.Simplification, Tct.Instances |
| 2 (Function) | Tct.Processors |
| SimpPEErr | Tct.Method.DP.Simplification |
| simpPEOn | Tct.Method.DP.Simplification, Tct.Instances |
| SimpPEPProof | Tct.Method.DP.Simplification |
| simpPEProcessor | Tct.Method.DP.Simplification |
| SimpPEProof | |
| 1 (Type/Class) | Tct.Method.DP.Simplification |
| 2 (Data Constructor) | Tct.Method.DP.Simplification |
| simpPower | Tct.Encoding.Polynomial |
| SimpRHS | Tct.Method.DP.Simplification |
| SimpRHSProof | Tct.Method.DP.Simplification |
| singleton | Tct.Encoding.UsablePositions |
| size | Tct.Method.Bounds.Automata |
| skpDG | Tct.Method.DP.Simplification |
| skpPProc | Tct.Method.DP.Simplification |
| skpPProof | Tct.Method.DP.Simplification |
| skpSelections | Tct.Method.DP.Simplification |
| skpSig | Tct.Method.DP.Simplification |
| skpVars | Tct.Method.DP.Simplification |
| slmiSafeRedpairConstraints | Tct.Method.Matrix.NaturalMI |
| SN | Tct.Utils.Enum |
| sndChoice | Tct.Method.TCombinator |
| solve | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Standard |
| solveBy | Tct.Processor |
| solveConstraint | Tct.Method.Matrix.NaturalMI |
| solveConstraint' | Tct.Method.Matrix.NaturalMI |
| solveLowerWith | Tct.Method.ComposeRC, Tct.Instances |
| solvePartial | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Standard |
| solvePartial_ | Tct.Processor |
| SolverM | Tct.Processor |
| SolverState | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| solveUpperWith | Tct.Method.ComposeRC, Tct.Instances |
| solve_ | Tct.Processor |
| some | Tct.Instances |
| SomeExceptionRaised | Tct |
| SomeInstance | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| someInstance | Tct.Processor |
| SomeNumbering | Tct.Utils.Enum |
| SomeProcessor | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| someProcessor | Tct.Processor |
| someProcessorProof | Tct.Processor |
| SomeProof | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| someProof | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Transformations |
| someProofNode | Tct.Processor |
| SomeTransformation | |
| 1 (Type/Class) | Tct.Processor.Transformations |
| 2 (Data Constructor) | Tct.Processor.Transformations |
| someTransformation | Tct.Processor.Transformations |
| SomeTransProof | |
| 1 (Type/Class) | Tct.Processor.Transformations |
| 2 (Data Constructor) | Tct.Processor.Transformations |
| splitFirstCoeff | Tct.Encoding.Polynomial |
| spopstar | Tct.Method.PopStar, Tct.Instances |
| spopstarPS | Tct.Method.PopStar, Tct.Instances |
| Sr | Tct.Encoding.Relative |
| srhsDG | Tct.Method.DP.Simplification |
| SRHSError | Tct.Method.DP.Simplification |
| SRHSProof | Tct.Method.DP.Simplification |
| srhsReplacedRules | Tct.Method.DP.Simplification |
| srhsSig | Tct.Method.DP.Simplification |
| srhsVars | Tct.Method.DP.Simplification |
| St | Tct.Processor |
| startTerms | Tct.Utils.Xml |
| startTime | Tct.Processor.LoggingSolver |
| State | Tct.Method.Bounds.Automata |
| state | Tct.Interactive |
| stdMatrix | Tct.Method.Matrix.MatrixInterpretation |
| StdProcessor | |
| 1 (Type/Class) | Tct.Processor.Standard |
| 2 (Data Constructor) | Tct.Processor.Standard |
| StdSolverM | Tct.Processor |
| step | |
| 1 (Function) | Tct.Method.Bounds.Automata |
| 2 (Function) | Tct.Instances |
| strategies | Tct, Tct.Configuration |
| Strategy | Tct.Method.Custom, Tct.Configuration |
| strategy | |
| 1 (Function) | Tct.Utils.Xml |
| 2 (Function) | Tct.Method.Custom, Tct.Configuration |
| StrategyOutput | Tct.Proof, Tct.Processor |
| StrategyParseError | Tct |
| strategyToProcessor | Tct.Method.Custom |
| Strict | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| 3 (Data Constructor) | Tct.Method.Predicates, Tct.Instances |
| StrictDP | Tct.Method.DP.DependencyGraph |
| strictDPs | Tct.Method.DP.DependencyPairs |
| strictlyOriented | Tct.Encoding.Relative |
| Strictness | Tct.Method.DP.DependencyGraph |
| strictOneConstraints | Tct.Encoding.AbstractInterpretation |
| strictRuleConstraints | Tct.Encoding.AbstractInterpretation |
| StrictRules | Tct.Encoding.Relative |
| strictRules | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| strictTrsConstraints | Tct.Encoding.AbstractInterpretation |
| stringLit | Tct.Processor.Parse |
| StronglyLinear | Tct.Method.Poly.PolynomialInterpretation |
| stronglyLinearPolynomial | Tct.Method.Poly.NaturalPI, Tct.Instances |
| subGraph | Tct.Method.DP.DependencyGraph |
| subProblems | Tct.Processor.Transformations |
| subProblemsFromResult | Tct.Processor.Transformations |
| subProofs | Tct.Processor.Transformations |
| subState | Tct.Processor.LoggingSolver |
| Succeeded | Tct.Method.Combinator |
| succeeded | Tct.Proof, Tct.Processor |
| Success | Tct.Method.Combinator |
| success | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| successive | Tct.Instances |
| successors | Tct.Method.DP.DependencyGraph |
| successProcessor | Tct.Method.Combinator |
| Supexp | Tct.Certificate |
| supexp | Tct.Certificate |
| symbol | Tct.Utils.Xml |
| symbols | Tct.Method.Bounds.Automata |
| SynElt | Tct.Processor |
| synopsis | Tct.Processor.Args |
| synString | Tct.Processor |