Index - D
| Deadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Common, Test.DejaFu.Conc |
| decisionOf | Test.DejaFu.Conc |
| defaultBounds | Test.DejaFu.SCT, Test.DejaFu |
| defaultFairBound | Test.DejaFu.SCT, Test.DejaFu |
| defaultLengthBound | Test.DejaFu.SCT, Test.DejaFu |
| defaultMemType | Test.DejaFu |
| defaultPreemptionBound | Test.DejaFu.SCT, Test.DejaFu |
| dejafu | Test.DejaFu |
| dejafu' | Test.DejaFu |
| dejafuIO | Test.DejaFu |
| dejafuIO' | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafus' | Test.DejaFu |
| dejafusIO | Test.DejaFu |
| dejafusIO' | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| doTransaction | Test.DejaFu.STM.Internal |