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