Index - D
| defaultBounds | Text.LPFile |
| defaultCCMin | SAT |
| defaultLB | Text.LPFile |
| defaultLearningStrategy | SAT |
| defaultLearntSizeFirst | SAT |
| defaultLearntSizeInc | SAT |
| defaultOptions | |
| 1 (Function) | SAT.MUS |
| 2 (Function) | SAT.CAMUS |
| 3 (Function) | SAT.PBO.UnsatBased |
| 4 (Function) | SAT.PBO.MSU4 |
| 5 (Function) | SAT.PBO |
| 6 (Function) | Data.Polynomial.GBasis |
| 7 (Function) | Converter.LP2SMT |
| 8 (Function) | Algorithm.Simplex2 |
| 9 (Function) | Algorithm.OmegaTest |
| defaultPrintOptions | Data.Polynomial |
| defaultRandomFreq | SAT |
| defaultRestartFirst | SAT |
| defaultRestartInc | SAT |
| defaultRestartStrategy | SAT |
| defaultUB | Text.LPFile |
| define | Algorithm.LPSolver |
| deg | Data.Polynomial, Data.AlgebraicNumber.Real |
| Degree | Data.Polynomial |
| Delta | |
| 1 (Type/Class) | Data.Delta |
| 2 (Data Constructor) | Data.Delta |
| delta | Data.Delta |
| deltaPart | Data.Delta |
| DenseBlock | Text.SDPFile |
| denseBlock | Text.SDPFile |
| DenseMatrix | Text.SDPFile |
| denseMatrix | Text.SDPFile |
| deriv | Data.Polynomial |
| diagBlock | Text.SDPFile |
| dir | Text.LPFile |
| Divisible | Algorithm.Cooper.Core, Algorithm.Cooper |
| DNF | |
| 1 (Type/Class) | Data.DNF |
| 2 (Data Constructor) | Data.DNF |
| dualSimplex | |
| 1 (Function) | Algorithm.Simplex |
| 2 (Function) | Algorithm.LPSolver |
| 3 (Function) | Algorithm.Simplex2 |
| dump | Algorithm.Simplex2 |