| :+: | |
| 1 (Type/Class) | Tct.Processor.Args, Tct.Configuration |
| 2 (Data Constructor) | Tct.Processor.Args, Tct.Configuration |
| ::: | Tct.Method.Custom, Tct.Configuration |
| :<>: | Tct.Method.TCombinator |
| :>>>: | |
| 1 (Type/Class) | Tct.Method.TCombinator |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| <++> | Tct.Processor |
| <> | Tct.Method.TCombinator, Tct.Instances |
| <|> | Tct.Processor |
| <||> | Tct.Method.TCombinator, Tct.Instances |
| >>! | Tct.Instances |
| >>!! | Tct.Instances |
| >>> | Tct.Method.TCombinator, Tct.Instances |
| >>| | Tct.Processor.Transformations, Tct.Instances |
| >>|| | Tct.Processor.Transformations, Tct.Instances |
| abstractInterpretation | |
| 1 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| Add | |
| 1 (Data Constructor) | Tct.Method.Bounds.Violations.Fix |
| 2 (Data Constructor) | Tct.Method.Compose, Tct.Instances |
| add | Tct.Certificate |
| adDefault | Tct.Processor |
| adDescr | Tct.Processor |
| addRuleFromString | Tct.Interactive |
| adIsOptional | Tct.Processor |
| adjustm | Tct.Encoding.Matrix |
| adjustv | Tct.Encoding.Matrix |
| adName | Tct.Processor |
| adSynopsis | Tct.Processor |
| adValue | Tct.Processor |
| AFAtom | Tct.Encoding.ArgumentFiltering |
| AIEntry | Tct.Method.Matrix.ArcticMI |
| Algebra | Tct.Encoding.AbstractInterpretation |
| Algebraic | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| Align | Tct.Utils.PPrint |
| AlignCenter | Tct.Utils.PPrint |
| AlignLeft | Tct.Utils.PPrint |
| AlignRight | Tct.Utils.PPrint |
| allProcessors | Tct, Tct.Configuration |
| allRulesFromNode | Tct.Method.DP.DependencyGraph |
| allRulesFromNodes | Tct.Method.DP.DependencyGraph |
| Answer | Tct.Proof, Tct.Processor |
| answer | |
| 1 (Function) | Tct.Proof, Tct.Processor |
| 2 (Function) | Tct.Processor.Transformations |
| answerFromSubProof | Tct.Processor.Transformations |
| answerType | Tct, Tct.Configuration |
| AnswerTypeMisMatch | Tct |
| AnyProcessor | Tct.Processor |
| appliedProcessor | Tct.Processor |
| appliedSubprocessor | Tct.Processor.Transformations |
| appliedTransformer | Tct.Processor.Transformations |
| Apply | Tct.Interactive |
| apply | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Standard |
| 3 (Function) | Tct.Interactive |
| applyAss | Tct.Method.Matrix.NaturalMI |
| applyRule | Tct.Method.Bounds.Violations.Fix |
| Approximation | Tct.Method.DP.DependencyGraph, Tct.Instances |
| arctic | |
| 1 (Function) | Tct.Method.Matrix.ArcticMI, Tct.Instances |
| 2 (Function) | Tct.Processors |
| ArcticMI | |
| 1 (Type/Class) | Tct.Method.Matrix.ArcticMI |
| 2 (Data Constructor) | Tct.Method.Matrix.ArcticMI |
| ArcticOrder | |
| 1 (Type/Class) | Tct.Method.Matrix.ArcticMI |
| 2 (Data Constructor) | Tct.Method.Matrix.ArcticMI |
| arcticProcessor | Tct.Method.Matrix.ArcticMI |
| Arg | |
| 1 (Type/Class) | Tct.Processor.Args, Tct.Configuration |
| 2 (Data Constructor) | Tct.Processor.Args, Tct.Configuration |
| arg | Tct.Processor.Args, Tct.Configuration |
| ArgDescr | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| argFilter | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Poly.NaturalPI |
| argpos | |
| 1 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| Argument | Tct.Processor.Args |
| Arguments | Tct.Processor.Args |
| arguments | |
| 1 (Function) | Tct.Processor.Standard |
| 2 (Function) | Tct.Processor.Transformations |
| 3 (Function) | Tct.Method.Custom |
| ArgumentsOf | |
| 1 (Type/Class) | Tct.Processor.Standard |
| 2 (Type/Class) | Tct.Processor.Transformations |
| as | Tct.Method.Custom |
| ask | Tct.Utils.Ask |
| askStr | Tct.Utils.Ask |
| Assoc | |
| 1 (Type/Class) | Tct.Processor.Args.Instances |
| 2 (Data Constructor) | Tct.Processor.Args.Instances |
| assoc | Tct.Processor.Args.Instances, Tct.Configuration |
| AssocArg | Tct.Processor.Args.Instances, Tct.Configuration |
| AssocArgument | Tct.Processor.Args.Instances, Tct.Configuration |
| AsStrategy | Tct.Method.Custom |
| Automaton | |
| 1 (Type/Class) | Tct.Method.Bounds.Automata |
| 2 (Data Constructor) | Tct.Method.Bounds.Automata |
| 3 (Data Constructor) | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| automaton | Tct.Method.Bounds |
| base | Tct.Method.Bounds.Automata |
| baseTerm | Tct.Method.Bounds.Automata |
| before | Tct.Method.Combinator, Tct.Instances |
| Best | Tct.Method.Combinator |
| best | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| bestProcessor | Tct.Method.Combinator |
| BigAnd | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| bigmplus | Tct.Encoding.Matrix |
| bigmprod | Tct.Encoding.Matrix |
| BigOr | Tct.Processor, Tct.Method.RuleSelector, Tct.Instances |
| bigPplus | Tct.Encoding.Polynomial |
| bigPprod | Tct.Encoding.Polynomial |
| bigvplus | Tct.Encoding.Matrix |
| block | Tct.Utils.PPrint |
| block' | Tct.Utils.PPrint |
| bool | Tct.Processor.Parse |
| boolArg | Tct.Processor.Args.Instances, Tct.Configuration |
| boolCoefficient | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| Both | Tct.Method.Predicates, Tct.Instances |
| bound | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| boundHeight | Tct.Method.Bounds |
| Bounds | Tct.Method.Bounds |
| bounds | |
| 1 (Function) | Tct.Method.Bounds, Tct.Instances |
| 2 (Function) | Tct.Processors |
| BoundsCertificate | |
| 1 (Type/Class) | Tct.Method.Bounds |
| 2 (Data Constructor) | Tct.Method.Bounds |
| boundsProcessor | Tct.Method.Bounds |
| BoundsProof | Tct.Method.Bounds |
| BP | Tct.Method.Bounds |
| brackets | Tct.Processor.Parse |
| branchProof | Tct.Method.Combinator |
| bsearch | Tct.Instances |
| bstep | Tct.Method.Bounds.Automata |
| bstepUL | Tct.Method.Bounds.Automata |
| builtInProcessors | Tct.Processors |
| bwd | Tct.Method.Bounds.Automata |
| BwdAutomaton | Tct.Method.Bounds.Automata |
| bwdInsert | Tct.Method.Bounds.Automata |
| cbits | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| CDG | Tct.Method.DP.DependencyGraph |
| CDGNode | Tct.Method.DP.DependencyGraph |
| CertAnswer | Tct.Proof, Tct.Processor |
| Certificate | Tct.Certificate |
| certificate | Tct.Proof, Tct.Processor |
| certified | Tct.Certificate |
| certify2012 | Tct.Instances |
| cgraph | Tct.Method.DP.Simplification |
| checkDirect | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| Choice | Tct.Method.TCombinator |
| ChoiceOne | Tct.Method.TCombinator |
| ChoiceProof | Tct.Method.TCombinator |
| ChoiceSeq | Tct.Method.TCombinator |
| ChoiceTwo | Tct.Method.TCombinator |
| cleanSuffix | Tct.Instances |
| cmprod | Tct.Encoding.Polynomial |
| code | Tct.Method.Custom |
| coefficients | Tct.Method.Matrix.MatrixInterpretation |
| col | Tct.Encoding.Matrix |
| Collapse | Tct.Method.Bounds.Automata |
| Collapsing | Tct.Encoding.ArgumentFiltering |
| columns | Tct.Utils.PPrint |
| combineBy | Tct.Method.Compose, Tct.Instances |
| compatibleAutomaton | Tct.Method.Bounds.Violations |
| Complexity | Tct.Certificate |
| complexityProblem | Tct.Utils.Xml |
| ComplexityProof | Tct.Proof, Tct.Processor |
| Compose | Tct.Method.Compose, Tct.Instances |
| compose | Tct.Certificate |
| ComposeProof | |
| 1 (Type/Class) | Tct.Method.TCombinator |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| Config | |
| 1 (Type/Class) | Tct, Tct.Configuration |
| 2 (Data Constructor) | Tct, Tct.Configuration |
| configDir | Tct, Tct.Configuration |
| CongrNode | Tct.Method.DP.DependencyGraph |
| congruence | Tct.Method.DP.DependencyGraph |
| constant | |
| 1 (Function) | Tct.Certificate |
| 2 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 3 (Function) | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| Constraint | Tct.Method.Bounds.Violations.Fix |
| ConstructorBased | |
| 1 (Data Constructor) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Data Constructor) | Tct.Method.Poly.PolynomialInterpretation |
| ConstructorEda | Tct.Method.Matrix.MatrixInterpretation |
| constToPoly | Tct.Encoding.Polynomial |
| ContainsDPs | Tct.Method.DP.DependencyPairs |
| continue | Tct.Processor.Transformations |
| cpExtensionRules | Tct.Method.ComposeRC |
| cpProbD | Tct.Method.ComposeRC |
| cpProbU | Tct.Method.ComposeRC |
| cpprod | Tct.Encoding.Polynomial |
| cpProofD | Tct.Method.ComposeRC |
| cpProofU | Tct.Method.ComposeRC |
| cpRuleSelector | Tct.Method.ComposeRC |
| cpSelected | Tct.Method.ComposeRC |
| cpUnselected | Tct.Method.ComposeRC |
| cpWdg | Tct.Method.ComposeRC |
| Custom | |
| 1 (Type/Class) | Tct.Method.Custom |
| 2 (Data Constructor) | Tct.Method.Custom |
| customPolynomial | Tct.Method.Poly.NaturalPI, Tct.Instances |
| CustomShape | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| cutNothing | Tct.Method.Bounds.Violations.Fix |
| cutToCheapestConstraints | Tct.Method.Bounds.Violations.Fix |
| cutToFirstDisjunct | Tct.Method.Bounds.Violations.Fix |
| cwdgs | Tct.Interactive |
| dc2011 | Tct.Instances |
| dc2012 | Tct.Instances |
| dConstraints | Tct.Method.Matrix.NaturalMI |
| decidingLabel | Tct.Method.Bounds.Violations.Find |
| Decompose | Tct.Method.Compose |
| decompose | |
| 1 (Function) | Tct.Method.Compose, Tct.Instances |
| 2 (Function) | Tct.Processors |
| decomposeAnyWith | Tct.Method.Compose, Tct.Instances |
| DecomposeBound | Tct.Method.Compose, Tct.Instances |
| decomposeBy | Tct.Method.Compose, Tct.Instances |
| DecomposeDG | Tct.Method.ComposeRC |
| decomposeDG | |
| 1 (Function) | Tct.Method.ComposeRC, Tct.Instances |
| 2 (Function) | Tct.Processors |
| DecomposeDGInapplicable | Tct.Method.ComposeRC |
| decomposeDGProcessor | Tct.Method.ComposeRC |
| DecomposeDGProof | |
| 1 (Type/Class) | Tct.Method.ComposeRC |
| 2 (Data Constructor) | Tct.Method.ComposeRC |
| decomposeDGselect | Tct.Method.ComposeRC, Tct.Instances |
| decomposeIndependent | Tct.Instances |
| decomposeIndependentSG | Tct.Instances |
| decomposeProcessor | Tct.Method.Compose |
| DecomposeProof | |
| 1 (Type/Class) | Tct.Method.Compose |
| 2 (Data Constructor) | Tct.Method.Compose |
| DecomposeStaticProof | Tct.Method.Compose |
| defaultApproximation | Tct.Method.DP.DependencyGraph |
| defaultConfig | Tct, Tct.Configuration |
| defaultIP | Tct.Processor.Args |
| defaultValue | Tct.Processor.Args, Tct.Configuration |
| degrees | Tct.Method.Poly.PolynomialInterpretation |
| deleteCoeff | Tct.Encoding.Polynomial |
| deleteFirstCoeff | Tct.Encoding.Polynomial |
| deleteRuleFromString | Tct.Interactive |
| DependencyGraph | Tct.Method.DP.DependencyGraph |
| dependencyPairs | |
| 1 (Function) | Tct.Method.DP.DependencyPairs, Tct.Instances |
| 2 (Function) | Tct.Processors |
| dependencyPairsProcessor | Tct.Method.DP.DependencyPairs |
| dependencyTuples | Tct.Method.DP.DependencyPairs, Tct.Instances |
| Describe | Tct.Interactive |
| describe | Tct.Interactive |
| description | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Args, Tct.Configuration |
| 3 (Function) | Tct.Processor.Standard |
| 4 (Function) | Tct.Processor.Transformations |
| descriptions | Tct.Processor.Args |
| DG | Tct.Method.DP.DependencyGraph |
| DGNode | Tct.Method.DP.DependencyGraph |
| diag | Tct.Encoding.Matrix |
| diagonalNonZeroes | Tct.Encoding.Matrix |
| diagonalZeroes | Tct.Encoding.Matrix |
| diagOnesConstraints | Tct.Method.Matrix.NaturalMI |
| DiagOnesVar | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| dim | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| dimension | Tct.Method.Matrix.MatrixInterpretation |
| dioAtom | Tct.Method.Matrix.NaturalMI |
| DisjunctSelector | Tct.Method.Bounds.Violations.Fix |
| Domain | Tct.Processor.Args |
| domainName | Tct.Processor.Args |
| Domains | Tct.Processor.Args |
| Done | Tct.Method.Matrix.NaturalMI |
| double | Tct.Processor.Parse |
| dpConstraints | Tct.Method.Matrix.ArcticMI |
| DPProof | |
| 1 (Type/Class) | Tct.Method.DP.DependencyPairs |
| 2 (Data Constructor) | Tct.Method.DP.DependencyPairs |
| DPs | Tct.Method.DP.DependencyPairs |
| dpsimps | Tct.Instances |
| Dtwo | Tct.Method.Matrix.NaturalMI |
| edaConstraints | Tct.Method.Matrix.NaturalMI |
| EdaMatrix | Tct.Method.Matrix.MatrixInterpretation |
| edaMatrix | Tct.Method.Matrix.MatrixInterpretation |
| EdgStar | Tct.Method.DP.DependencyGraph, Tct.Instances |
| elt | Tct.Utils.Xml |
| eltOf | Tct.Processor.Parse |
| Empty | Tct.Method.Combinator |
| empty | |
| 1 (Function) | Tct.Method.Bounds.Automata |
| 2 (Function) | Tct.Encoding.SafeMapping |
| 3 (Function) | Tct.Encoding.UsablePositions |
| 4 (Function) | Tct.Method.Combinator, Tct.Instances |
| 5 (Function) | Tct.Processors |
| emptyProcessor | Tct.Method.Combinator |
| EmptyRules | Tct.Method.Combinator |
| EmptyStrictRules | Tct.Method.Uncurry |
| emptyWithSignature | Tct.Encoding.UsablePositions |
| Enrichment | Tct.Method.Bounds.Automata, Tct.Method.Bounds, Tct.Instances |
| entry | Tct.Encoding.Matrix |
| enum | Tct.Utils.PPrint |
| EnumArg | Tct.Processor.Args.Instances, Tct.Configuration |
| Enumeration | Tct.Utils.Enum |
| enumeration | Tct.Utils.Enum |
| enumeration' | Tct.Utils.Enum |
| EnumOf | |
| 1 (Type/Class) | Tct.Processor.Args.Instances |
| 2 (Data Constructor) | Tct.Processor.Args.Instances |
| Epsilon | Tct.Method.Bounds.Automata |
| Eq | Tct.Method.Matrix.NaturalMI |
| EQuantified | Tct.Instances |
| equantify | Tct.Instances |
| Error | Tct.Method.DP.UsableRules |
| errorMsg | Tct, Tct.Configuration |
| estimatedDependencyGraph | Tct.Method.DP.DependencyGraph |
| evalEnum | Tct.Utils.Enum |
| evalList | Tct.Processor |
| evalList' | Tct.Processor |
| exhaustively | Tct.Method.TCombinator, Tct.Instances |
| Exp | Tct.Certificate |
| expo | Tct.Certificate |
| ExpressionSelector | Tct.Method.RuleSelector, Tct.Instances |
| F | Tct.Method.Bounds.Automata |
| Fail | Tct.Method.Combinator |
| fail | |
| 1 (Function) | Tct.Method.Bounds.Violations.Fix |
| 2 (Function) | Tct.Method.Combinator, Tct.Instances |
| 3 (Function) | Tct.Processors |
| Failed | Tct.Method.Combinator |
| failed | Tct.Proof, Tct.Processor |
| failProcessor | Tct.Method.Combinator |
| Fastest | Tct.Method.Combinator |
| fastest | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| fastestProcessor | Tct.Method.Combinator |
| filteringConstraints | Tct.Method.Matrix.NaturalMI |
| find | Tct.Utils.Enum |
| findProof | Tct.Processor.Transformations |
| findViolations | Tct.Method.Bounds.Violations.Find |
| fixViolation | Tct.Method.Bounds.Violations.Fix |
| FlagsParseError | Tct |
| force | Tct.Method.TCombinator, Tct.Instances |
| fresh | Tct.Method.Bounds.Automata |
| freshState | Tct.Method.Bounds.Automata |
| freshStates | Tct.Method.Bounds.Automata |
| fromProcessorList | Tct.Processor |
| fromRules | Tct.Method.Bounds.Automata |
| fromString | |
| 1 (Function) | Tct.Processor.Parse |
| 2 (Function) | Tct.Processor |
| fstChoice | Tct.Method.TCombinator |
| fullWithSignature | Tct.Encoding.UsablePositions |
| fwd | Tct.Method.Bounds.Automata |
| FwdAutomaton | Tct.Method.Bounds.Automata |
| fwdInsert | Tct.Method.Bounds.Automata |
| GenSizeArcFormula | Tct.Encoding.Natring |
| GenSizeNatFormula | Tct.Encoding.Natring |
| getCoeff | Tct.Encoding.Polynomial |
| getConfig | Tct.Interactive |
| getFirstCoeff | Tct.Encoding.Polynomial |
| getSolver | Tct, Tct.Configuration |
| ggeq | Tct.Method.Matrix.NaturalMI |
| ggrt | Tct.Method.Matrix.NaturalMI |
| graph | Tct.Method.DP.Simplification |
| graphvizShowDG | Tct.Method.DP.DependencyGraph |
| greedy | Tct.Method.Compose, Tct.Instances |
| Gsq | Tct.Method.Matrix.NaturalMI |
| Gt | Tct.Method.Matrix.NaturalMI |
| Gthree | Tct.Method.Matrix.NaturalMI |
| gthree | Tct.Method.Matrix.NaturalMI |
| gThreeConstraints | Tct.Method.Matrix.NaturalMI |
| Gtwo | Tct.Method.Matrix.NaturalMI |
| gtwo | Tct.Method.Matrix.NaturalMI |
| gtwoConstraints | Tct.Method.Matrix.NaturalMI |
| guardProof | Tct.Method.Combinator |
| H | Tct.Method.Matrix.NaturalMI |
| haddockComment | Tct.Processor |
| haddockOptions | Tct |
| HasBits | Tct.Instances |
| HasCBits | Tct.Instances |
| HasCertBy | Tct.Instances |
| HasDegree | Tct.Instances |
| HasDimension | Tct.Instances |
| HasKind | Tct.Instances |
| HasUsableArgs | Tct.Instances |
| HasUsableRules | Tct.Instances |
| hConstraints | Tct.Method.Matrix.NaturalMI |
| heading | Tct.Utils.PPrint |
| height | Tct.Method.Bounds.Automata |
| help | Tct.Interactive |
| 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 |
| J | Tct.Method.Matrix.NaturalMI |
| jConstraints | Tct.Method.Matrix.NaturalMI |
| kind | Tct.Method.Matrix.NaturalMI |
| kindConstraints | Tct.Method.Matrix.NaturalMI |
| Label | Tct.Method.Bounds.Automata |
| leafs | Tct.Method.DP.DependencyGraph |
| level | Tct.Processor.LoggingSolver |
| LI | Tct.Method.Matrix.MatrixInterpretation |
| liBigPlus | Tct.Method.Matrix.MatrixInterpretation |
| lift | Tct.Method.Bounds.Automata |
| liftMatrix | Tct.Encoding.Matrix |
| liftMatrix_ | Tct.Encoding.Matrix |
| liftMS | Tct.Processor.Transformations |
| liftOOI | Tct.Processor |
| liftVector | Tct.Encoding.Matrix |
| liftVector_ | Tct.Encoding.Matrix |
| Linear | Tct.Method.Poly.PolynomialInterpretation |
| linearPathAnalysis | Tct.Instances |
| linearPolynomial | Tct.Method.Poly.NaturalPI, Tct.Instances |
| LInter | Tct.Method.Matrix.MatrixInterpretation |
| liProd | Tct.Method.Matrix.MatrixInterpretation |
| listArg | Tct.Processor.Args.Instances, Tct.Configuration |
| listStrategies | Tct, Tct.Configuration |
| lmpo | |
| 1 (Function) | Tct.Method.PopStar, Tct.Instances |
| 2 (Function) | Tct.Processors |
| lmpoProcessor | Tct.Method.PopStar |
| lnodes | Tct.Method.DP.DependencyGraph |
| load | Tct.Interactive |
| loadDC | Tct.Interactive |
| loadIDC | Tct.Interactive |
| loadIRC | Tct.Interactive |
| loadRC | Tct.Interactive |
| logFile | Tct, Tct.Configuration |
| LoggingMsg | |
| 1 (Type/Class) | Tct.Processor.LoggingSolver |
| 2 (Data Constructor) | Tct.Processor.LoggingSolver |
| LoggingSolverM | Tct.Processor.LoggingSolver |
| logHandle | Tct.Processor.LoggingSolver |
| lookupNode | Tct.Method.DP.DependencyGraph |
| lookupNode' | Tct.Method.DP.DependencyGraph |
| lookupNodeLabel | Tct.Method.DP.DependencyGraph |
| lookupNodeLabel' | Tct.Method.DP.DependencyGraph |
| lowerBound | Tct.Certificate |
| lpredecessors | Tct.Method.DP.DependencyGraph |
| LS | Tct.Processor.LoggingSolver |
| LSolverState | |
| 1 (Type/Class) | Tct.Processor.LoggingSolver |
| 2 (Data Constructor) | Tct.Processor.LoggingSolver |
| lsuccessors | Tct.Method.DP.DependencyGraph |
| LSym | Tct.Method.Bounds.Automata |
| LTerm | Tct.Method.Bounds.Automata |
| makeProcessor | Tct, Tct.Configuration |
| makeRuleCompatible | Tct.Method.Bounds.Violations |
| mapEnum | Tct.Utils.Enum |
| mapResult | Tct.Processor.Transformations |
| MatArg | Tct.Method.Matrix.NaturalMI |
| Match | Tct.Method.Bounds.Automata, Tct.Method.Bounds, Tct.Instances |
| Matrix | |
| 1 (Type/Class) | Tct.Encoding.Matrix |
| 2 (Data Constructor) | Tct.Encoding.Matrix |
| matrix | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| 2 (Function) | Tct.Processors |
| MatrixCompare | Tct.Encoding.Matrix |
| matrixConstraints | Tct.Method.Matrix.ArcticMI |
| MatrixCreate | Tct.Method.Matrix.MatrixInterpretation |
| MatrixDP | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Type/Class) | Tct.Method.Matrix.ArcticMI |
| MatrixInter | Tct.Method.Matrix.MatrixInterpretation |
| MatrixKind | Tct.Method.Matrix.MatrixInterpretation |
| MatrixOptions | Tct.Method.Matrix.NaturalMI |
| matrixOptions | Tct.Method.Matrix.NaturalMI |
| MatrixOrder | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| matrixProcessor | Tct.Method.Matrix.NaturalMI |
| MatrixRelativity | Tct.Method.Matrix.ArcticMI |
| maximumMatrix | Tct.Encoding.Matrix |
| maximumVector | Tct.Encoding.Matrix |
| maxlabel | Tct.Method.Bounds.Automata |
| maxMatrix | |
| 1 (Function) | Tct.Encoding.Matrix |
| 2 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| maxNonIdMatrix | Tct.Method.Matrix.MatrixInterpretation |
| maxVector | Tct.Encoding.Matrix |
| MaybeAnswer | Tct.Proof, Tct.Processor |
| maybeArg | Tct.Processor.Args.Instances, Tct.Configuration |
| mdim | Tct.Encoding.Matrix |
| MDirect | Tct.Method.Matrix.ArcticMI |
| MemoReachable | Tct.Method.Bounds.Violations.Fix |
| MI | Tct.Method.Matrix.MatrixInterpretation |
| MIEntry | Tct.Method.Matrix.NaturalMI |
| miKind | Tct.Method.Matrix.NaturalMI |
| mikind | Tct.Method.Matrix.NaturalMI |
| Minimal | Tct.Method.Bounds, Tct.Instances |
| MiniSat | Tct.Processor |
| minisatValue | Tct.Processor |
| MIVar | |
| 1 (Type/Class) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Data Constructor) | Tct.Method.Matrix.MatrixInterpretation |
| mkFreshState | Tct.Method.Bounds.Automata |
| mkInsertRule | Tct.Method.Bounds.Automata |
| mkIO | Tct.Processor |
| mkParseProcessor | Tct.Processor.Standard |
| mkSubsumed | Tct.Processor.Transformations |
| mkUsableRules | Tct.Method.DP.UsableRules |
| MNoDP | |
| 1 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.ArcticMI |
| modifyArguments | |
| 1 (Function) | Tct.Processor.Standard |
| 2 (Function) | Tct.Processor.Transformations |
| modifyConfig | Tct.Interactive |
| modifyInitialWith | Tct.Interactive |
| Mono | Tct.Encoding.Polynomial |
| mono | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| Monomial | Tct.Encoding.Polynomial |
| monotoneConstraints | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| mplus | Tct.Encoding.Matrix |
| Mpo | Tct.Method.Mpo |
| mpo | |
| 1 (Function) | Tct.Method.Mpo, Tct.Instances |
| 2 (Function) | Tct.Processors |
| mpoArgumentFiltering | Tct.Method.Mpo |
| mpoInputProblem | Tct.Method.Mpo |
| mpoIsPPO | Tct.Method.Mpo |
| MpoOrder | |
| 1 (Type/Class) | Tct.Method.Mpo |
| 2 (Data Constructor) | Tct.Method.Mpo |
| mpoPrecedence | Tct.Method.Mpo |
| mpoProcessor | Tct.Method.Mpo |
| mpoUsableSymbols | Tct.Method.Mpo |
| mprod | |
| 1 (Function) | Tct.Encoding.Polynomial |
| 2 (Function) | Tct.Encoding.Matrix |
| MRelative | Tct.Method.Matrix.ArcticMI |
| Mult | Tct.Method.Compose, Tct.Instances |
| mult | Tct.Certificate |
| Multrec | Tct.Certificate |
| mvprod | Tct.Encoding.Matrix |
| MWithDP | |
| 1 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.ArcticMI |
| name | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Processor.Args, Tct.Configuration |
| 3 (Function) | Tct.Processor.Standard |
| 4 (Function) | Tct.Processor.Transformations |
| named | Tct.Instances |
| Nat | |
| 1 (Type/Class) | Tct.Processor.Args.Instances, Tct.Configuration |
| 2 (Data Constructor) | Tct.Processor.Args.Instances, Tct.Configuration |
| nat | Tct.Processor.Args.Instances |
| natToInt | Tct.Processor.Args.Instances |
| natural | Tct.Processor.Parse |
| naturalArg | Tct.Processor.Args.Instances, Tct.Configuration |
| NaturalMI | |
| 1 (Type/Class) | Tct.Method.Matrix.NaturalMI |
| 2 (Data Constructor) | Tct.Method.Matrix.NaturalMI |
| NaturalMIKind | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| NaturalPI | Tct.Method.Poly.NaturalPI |
| newSignature | |
| 1 (Function) | Tct.Method.Uncurry |
| 2 (Function) | Tct.Method.DP.DependencyPairs |
| newVariables | Tct.Method.DP.DependencyPairs |
| NoAnswer | Tct.Proof, Tct.Processor |
| NodeId | Tct.Method.DP.DependencyGraph |
| nodes | Tct.Method.DP.DependencyGraph |
| none | Tct.Processor |
| NoProgress | Tct.Processor.Transformations |
| normalisedProof | Tct.Processor.Transformations |
| NotApplicable | Tct.Method.InnermostRuleRemoval |
| NoTimeout | Tct.Method.TCombinator |
| NotRCProblem | Tct.Method.DP.DependencyPairs |
| NotUncurryable | Tct.Method.Uncurry |
| nullaryConstraints | Tct.Method.Matrix.ArcticMI |
| Numbering | Tct.Utils.Enum |
| ofKind | Tct.Instances |
| One | Tct.Method.TCombinator |
| OneOf | Tct.Method.Combinator |
| oneOf | Tct.Method.Bounds.Violations.Fix |
| OneOfFailed | Tct.Method.Combinator |
| OneOfProof | Tct.Method.Combinator |
| OneOfSucceeded | Tct.Method.Combinator |
| onSelectedRequire | Tct.Method.RuleSelector, Tct.Instances |
| Open | Tct.Method.Combinator |
| open | |
| 1 (Function) | Tct.Method.Combinator, Tct.Instances |
| 2 (Function) | Tct.Processors |
| openProcessor | Tct.Method.Combinator |
| OpenProof | |
| 1 (Type/Class) | Tct.Method.Combinator |
| 2 (Data Constructor) | Tct.Method.Combinator |
| opt | Tct.Processor.Args |
| OptArgs | Tct.Processor |
| optArgs | Tct.Processor |
| optional | Tct.Processor.Args, Tct.Configuration |
| optionalParsers | Tct.Processor.Args |
| orBetter | Tct.Method.Combinator, Tct.Instances |
| ordInter | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| 3 (Function) | Tct.Method.Poly.NaturalPI |
| orFaster | Tct.Method.Combinator, Tct.Instances |
| orient | Tct.Method.Matrix.NaturalMI |
| Orientation | |
| 1 (Type/Class) | Tct.Encoding.Relative |
| 2 (Type/Class) | Tct.Method.Weightgap |
| orientDirect | Tct.Method.Matrix.ArcticMI |
| orientDp | Tct.Method.Matrix.ArcticMI |
| orientMatrix | Tct.Method.Matrix.ArcticMI |
| orientOneConstraints | Tct.Encoding.AbstractInterpretation |
| orientPartial | Tct.Method.Matrix.ArcticMI |
| orientPartialDp | Tct.Method.Matrix.ArcticMI |
| orientPartialRelative | Tct.Method.Matrix.ArcticMI |
| orientRelative | Tct.Method.Matrix.ArcticMI |
| OrientStrict | Tct.Method.Weightgap |
| orientWG | Tct.Method.Weightgap |
| orientWGConstraints | Tct.Method.Weightgap |
| outputMode | Tct, Tct.Configuration |
| OverviewOutput | Tct.Proof, Tct.Processor |
| param | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Poly.NaturalPI |
| parChoice | Tct.Method.TCombinator |
| parens | Tct.Processor.Parse |
| ParsableArgument | Tct.Processor.Args |
| ParsableArguments | Tct.Processor.Args |
| ParsableProcessor | Tct.Processor |
| parseAnyProcessor | Tct.Processor |
| parseArg | Tct.Processor.Args |
| parseArgs | Tct.Processor.Args |
| parseArguments | Tct.Processor.Args |
| parseFromArgsInteractive | Tct.Processor |
| parseInteractive | Tct.Processor.Args |
| parseProcessor | Tct.Processor |
| parseProcessor_ | Tct.Processor |
| parseTimeout | Tct.Processor.Parse |
| partialConstraints | Tct.Method.Matrix.ArcticMI |
| PartialInapplicable | Tct.Processor |
| PartialProof | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| PathAnalysis | Tct.Method.DP.PathAnalysis |
| pathAnalysis | |
| 1 (Function) | Tct.Method.DP.PathAnalysis |
| 2 (Function) | Tct.Instances |
| 3 (Function) | Tct.Processors |
| pathAnalysisProcessor | Tct.Method.DP.PathAnalysis |
| PathProof | Tct.Method.DP.PathAnalysis |
| PerSymbol | Tct.Method.Bounds, Tct.Instances |
| Phantom | |
| 1 (Type/Class) | Tct.Processor.Args |
| 2 (Data Constructor) | Tct.Processor.Args |
| PI | Tct.Method.Poly.PolynomialInterpretation |
| PIKind | Tct.Method.Poly.PolynomialInterpretation |
| PIVar | |
| 1 (Type/Class) | Tct.Method.Poly.PolynomialInterpretation |
| 2 (Data Constructor) | Tct.Method.Poly.PolynomialInterpretation |
| pmprod | Tct.Encoding.Polynomial |
| Poly | |
| 1 (Data Constructor) | Tct.Encoding.Polynomial |
| 2 (Data Constructor) | Tct.Certificate |
| poly | |
| 1 (Function) | Tct.Certificate |
| 2 (Function) | Tct.Method.Poly.NaturalPI, Tct.Instances |
| 3 (Function) | Tct.Processors |
| PolyInter | Tct.Method.Poly.PolynomialInterpretation |
| Polynomial | Tct.Encoding.Polynomial |
| PolynomialOrder | |
| 1 (Type/Class) | Tct.Method.Poly.NaturalPI |
| 2 (Data Constructor) | Tct.Method.Poly.NaturalPI |
| polyProcessor | Tct.Method.Poly.NaturalPI |
| PolyShape | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |
| popArgumentFiltering | Tct.Method.PopStar |
| popInputProblem | Tct.Method.PopStar |
| popInstance | Tct.Method.PopStar |
| PopOrder | Tct.Method.PopStar |
| popPrecedence | Tct.Method.PopStar |
| popRecursives | Tct.Method.PopStar |
| popSafeMapping | Tct.Method.PopStar |
| PopStar | Tct.Method.PopStar |
| popstar | |
| 1 (Function) | Tct.Method.PopStar, Tct.Instances |
| 2 (Function) | Tct.Processors |
| PopStarOrder | Tct.Method.PopStar |
| popstarProcessor | Tct.Method.PopStar |
| popstarPS | Tct.Method.PopStar, Tct.Instances |
| popStrictlyOriented | Tct.Method.PopStar |
| popUsableSymbols | Tct.Method.PopStar |
| PosArg | Tct.Processor |
| posArgs | Tct.Processor |
| positiveConstraints | Tct.Method.Matrix.NaturalMI |
| positiveMatrices | Tct.Method.Matrix.NaturalMI |
| positiveVectors | Tct.Method.Matrix.NaturalMI |
| Pow | Tct.Encoding.Polynomial, Tct.Method.Poly.PolynomialInterpretation |
| Power | Tct.Encoding.Polynomial, Tct.Method.Poly.PolynomialInterpretation |
| powsEq | Tct.Encoding.Polynomial |
| ppInputProblem | Tct.Processor |
| pplus | Tct.Encoding.Polynomial |
| PPMode | Tct.Proof, Tct.Processor |
| ppNumbering | Tct.Utils.Enum |
| ppo | Tct.Method.Mpo |
| ppopstar | Tct.Processors |
| ppopstarProcessor | Tct.Method.PopStar |
| ppRemovableDPs | Tct.Processor |
| ppRemovableTrs | Tct.Processor |
| ppResult | Tct.Processor |
| pprint | Tct.Interactive |
| pprintArgDescrs | Tct.Processor |
| pprintCWDG | Tct.Method.DP.DependencyGraph |
| pprintCWDGNode | Tct.Method.DP.DependencyGraph |
| pprintLabeledRules | Tct.Method.DP.DependencyGraph |
| pprintLI | Tct.Method.Matrix.MatrixInterpretation |
| pprintNodeSet | Tct.Method.DP.DependencyGraph |
| pprintOrientRules | Tct.Encoding.AbstractInterpretation |
| pprintProof | |
| 1 (Function) | Tct.Proof, Tct.Processor |
| 2 (Function) | Tct.Processor.Transformations |
| pprintTProof | Tct.Processor.Transformations |
| pprod | Tct.Encoding.Polynomial |
| ppRule | Tct.Method.Bounds.Automata |
| precEq | Tct.Encoding.Precedence |
| precGt | Tct.Encoding.Precedence |
| predecessors | Tct.Method.DP.DependencyGraph |
| Predicate | Tct.Method.Predicates |
| predicateProcessors | Tct.Method.Predicates |
| PredicateProof | Tct.Method.Predicates |
| Primrec | Tct.Certificate |
| primrec | Tct.Certificate |
| Problem | Tct.Method.Bounds.Violations.Fix |
| ProblemCutter | Tct.Method.Bounds.Violations.Fix |
| problemFile | Tct, Tct.Configuration |
| ProblemMissingError | Tct |
| ProblemNotWellformed | Tct |
| ProblemParseError | Tct |
| ProblemParseWarning | Tct |
| problemPredicate | Tct.Method.Predicates, Tct.Instances |
| problems | Tct.Interactive |
| problems' | Tct.Interactive |
| ProblemSelector | Tct.Method.Bounds.Violations.Fix |
| ProblemUnknownFileError | Tct |
| Proc | |
| 1 (Type/Class) | Tct.Processor.Args.Instances |
| 2 (Data Constructor) | Tct.Processor.Args.Instances |
| Processor | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Type/Class) | Tct.Processor.Standard |
| 3 (Type/Class) | Tct.Processor.Args.Instances |
| processor | |
| 1 (Function) | Tct.Processor.Standard |
| 2 (Function) | Tct.Interactive |
| processorArg | Tct.Processor.Args.Instances, Tct.Configuration |
| processorArgs | Tct.Processor.Standard |
| ProcessorInstance | Tct.Processor.Standard, Tct.Instances |
| ProcessorParser | Tct.Processor |
| processors | Tct |
| processorToXml | Tct.Processor |
| Progress | Tct.Processor.Transformations |
| progress | Tct.Method.Compose |
| progressed | |
| 1 (Function) | Tct.Processor |
| 2 (Function) | Tct.Method.DP.UsableRules |
| Proof | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Data Constructor) | Tct.Processor |
| 3 (Type/Class) | Tct.Processor.Transformations |
| 4 (Data Constructor) | Tct.Processor.Transformations |
| proof | Tct.Interactive |
| proofBound | Tct.Method.Compose |
| proofDocument | Tct.Utils.Xml |
| proofFromResult | Tct.Processor.Transformations |
| ProofOf | |
| 1 (Type/Class) | Tct.Processor |
| 2 (Type/Class) | Tct.Processor.Standard |
| 3 (Type/Class) | Tct.Processor.Transformations |
| proofOrientedStrict | Tct.Method.Compose |
| ProofOutput | Tct.Proof, Tct.Processor |
| proofSelectedDPs | Tct.Method.Compose |
| proofSelectedTrs | Tct.Method.Compose |
| proofSelector | Tct.Method.Compose |
| proofSubProblems | Tct.Method.Compose |
| proofSubProof | Tct.Method.Compose |
| proofToXml | Tct.Processor.Transformations |
| putError | Tct, Tct.Configuration |
| putProof | Tct, Tct.Configuration |
| putWarning | Tct, Tct.Configuration |
| putXmlProof | Tct.Utils.Xml |
| qed | Tct.Method.Bounds.Violations.Fix |
| Quadratic | Tct.Method.Poly.PolynomialInterpretation |
| quadraticPolynomial | Tct.Method.Poly.NaturalPI, Tct.Instances |
| 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 |
| 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 |
| 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 |
| uargMonotoneConstraints | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| uargs | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Matrix.ArcticMI |
| 3 (Function) | Tct.Method.Poly.NaturalPI |
| 4 (Function) | Tct.Interactive |
| unaryConstraints | Tct.Method.Matrix.ArcticMI |
| uncertified | Tct.Certificate |
| uncurriedStrict | Tct.Method.Uncurry |
| uncurriedWeak | Tct.Method.Uncurry |
| Uncurry | Tct.Method.Uncurry |
| uncurry | |
| 1 (Function) | Tct.Method.Uncurry, Tct.Instances |
| 2 (Function) | Tct.Processors |
| uncurryProcessor | Tct.Method.Uncurry |
| UncurryProof | |
| 1 (Type/Class) | Tct.Method.Uncurry |
| 2 (Data Constructor) | Tct.Method.Uncurry |
| uncurryTrs | Tct.Method.Uncurry |
| undirect | Tct.Method.DP.DependencyGraph |
| undo | Tct.Interactive |
| unEmpty | Tct.Encoding.Polynomial |
| Union | Tct.Method.Predicates, Tct.Instances |
| union | Tct.Encoding.UsablePositions |
| unions | Tct.Encoding.UsablePositions |
| Unique | Tct.Method.TCombinator |
| Unit | |
| 1 (Type/Class) | Tct.Processor.Args |
| 2 (Data Constructor) | Tct.Processor.Args |
| unit | Tct.Encoding.Matrix |
| Unknown | Tct.Certificate |
| unknown | Tct.Certificate |
| UnknownError | Tct |
| Unrestricted | Tct.Method.Matrix.NaturalMI, Tct.Instances |
| UnrestrictedMatrix | Tct.Method.Matrix.MatrixInterpretation |
| UnrestrictedPoly | Tct.Method.Poly.PolynomialInterpretation |
| unselect | Tct.Interactive |
| upperBound | Tct.Certificate |
| upto | Tct.Instances |
| UR | Tct.Method.DP.UsableRules |
| URProof | |
| 1 (Type/Class) | Tct.Method.DP.UsableRules |
| 2 (Data Constructor) | Tct.Method.DP.UsableRules |
| usable | Tct.Encoding.UsableRules |
| usableArgs | Tct.Encoding.UsablePositions |
| usableArgsWhereApplicable | Tct.Encoding.UsablePositions |
| UsablePositions | Tct.Encoding.UsablePositions |
| usablePositions | Tct.Encoding.UsablePositions |
| usableRules | |
| 1 (Function) | Tct.Method.DP.UsableRules, Tct.Instances |
| 2 (Function) | Tct.Processors |
| usableRulesProcessor | Tct.Method.DP.UsableRules |
| usableStrict | Tct.Method.DP.UsableRules |
| usableSubtermsOf | Tct.Encoding.UsablePositions |
| usableWeak | Tct.Method.DP.UsableRules |
| usymbols | |
| 1 (Function) | Tct.Method.Matrix.NaturalMI |
| 2 (Function) | Tct.Method.Poly.NaturalPI |
| validPrecedenceM | Tct.Encoding.Precedence |
| validSafeArgumentFiltering | Tct.Encoding.ArgumentFiltering |
| validSafeMapping | Tct.Encoding.SafeMapping |
| validUsableRulesEncoding | Tct.Encoding.UsableRules |
| varcol | Tct.Method.Matrix.MatrixInterpretation |
| varfun | |
| 1 (Function) | Tct.Method.Matrix.MatrixInterpretation |
| 2 (Function) | Tct.Method.Poly.PolynomialInterpretation |
| variable | Tct.Utils.Xml |
| variables | |
| 1 (Function) | Tct.Method.DP.UsableRules |
| 2 (Function) | Tct.Method.DP.Simplification |
| varrow | Tct.Method.Matrix.MatrixInterpretation |
| varToPoly | Tct.Encoding.Polynomial |
| vecdim | Tct.Encoding.Matrix |
| Vector | |
| 1 (Type/Class) | Tct.Encoding.Matrix |
| 2 (Data Constructor) | Tct.Encoding.Matrix |
| VectorCompare | Tct.Encoding.Matrix |
| vEntry | Tct.Encoding.Matrix |
| version | Tct, Tct.Configuration |
| vplus | Tct.Encoding.Matrix |
| wdgs | Tct.Interactive |
| wdgs' | Tct.Interactive |
| Weak | Tct.Method.Predicates, Tct.Instances |
| WeakBoundedness | Tct.Method.Bounds.Automata |
| WeakDP | Tct.Method.DP.DependencyGraph |
| weakDPs | Tct.Method.DP.DependencyPairs |
| weaklyOriented | Tct.Encoding.Relative |
| WeakMayExceedBound | Tct.Method.Bounds.Automata |
| WeakMayNotExceedBound | Tct.Method.Bounds.Automata |
| weakMonotoneConstraints | Tct.Method.Matrix.ArcticMI |
| weakRuleConstraints | Tct.Encoding.AbstractInterpretation |
| weakTrsConstraints | Tct.Encoding.AbstractInterpretation |
| WeightGap | |
| 1 (Type/Class) | Tct.Method.Weightgap |
| 2 (Data Constructor) | Tct.Method.Weightgap |
| weightgap | |
| 1 (Function) | Tct.Method.Weightgap, Tct.Instances |
| 2 (Function) | Tct.Processors |
| weightgapProcessor | Tct.Method.Weightgap |
| WeightGapProof | |
| 1 (Type/Class) | Tct.Method.Weightgap |
| 2 (Data Constructor) | Tct.Method.Weightgap |
| welcome | Tct.Interactive |
| wgConstGrowth | Tct.Method.Weightgap |
| WgOn | Tct.Method.Weightgap, Tct.Instances |
| wgOn | Tct.Method.Weightgap, Tct.Instances |
| WgOnAny | Tct.Method.Weightgap, Tct.Instances |
| WgOnTrs | Tct.Method.Weightgap, Tct.Instances |
| wgProof | Tct.Method.Weightgap |
| when | Tct.Instances |
| WhichTrs | Tct.Method.Predicates, Tct.Instances |
| whiteSpace | Tct.Processor.Parse |
| withArgs | |
| 1 (Function) | Tct.Processor.Standard |
| 2 (Function) | Tct.Processor.Transformations |
| 3 (Function) | Tct.Method.Custom |
| withBits | Tct.Instances |
| withCBits | Tct.Instances |
| withCertBy | Tct.Instances |
| withCWDG | Tct.Instances |
| withDegree | |
| 1 (Function) | Tct.Method.PopStar |
| 2 (Function) | Tct.Instances |
| withDimension | Tct.Instances |
| withNodeLabels | Tct.Method.DP.DependencyGraph |
| withNodeLabels' | Tct.Method.DP.DependencyGraph |
| withPEOn | Tct.Method.DP.Simplification, Tct.Instances |
| WithProblem | |
| 1 (Type/Class) | Tct.Method.TCombinator |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| 3 (Type/Class) | Tct.Instances |
| withProblem | |
| 1 (Function) | Tct.Method.TCombinator |
| 2 (Function) | Tct.Instances |
| WithProblemProof | |
| 1 (Type/Class) | Tct.Method.TCombinator |
| 2 (Data Constructor) | Tct.Method.TCombinator |
| withStrategy | Tct.Instances |
| withUsableArgs | Tct.Instances |
| withUsableRules | Tct.Instances |
| withWDG | Tct.Instances |
| writeProof | Tct.Interactive |
| XdaVar | Tct.Method.Matrix.NaturalMI |
| XmlContent | |
| 1 (Type/Class) | Tct.Proof |
| 2 (Type/Class) | Tct.Utils.Xml |
| yesAnswer | Tct.Proof, Tct.Processor |
| zeromatrix | Tct.Encoding.Matrix |
| zerovec | Tct.Encoding.Matrix |
| zipEnum | Tct.Utils.Enum |
| zipSafe | Tct.Utils.Enum |
| zipUnsafe | Tct.Utils.Enum |
| ^^^ | Tct.Method.Poly.PolynomialInterpretation, Tct.Instances |