| 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 |