Deadlock | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
deadlocksAlways | Test.DejaFu |
deadlocksNever | Test.DejaFu |
deadlocksSometimes | Test.DejaFu |
Decision | Test.DejaFu.Types, Test.DejaFu.Conc |
decisionOf | Test.DejaFu.Utils |
defaultBounds | Test.DejaFu.Defaults, Test.DejaFu |
defaultDiscarder | Test.DejaFu.Defaults, Test.DejaFu |
defaultFairBound | Test.DejaFu.Defaults, Test.DejaFu |
defaultLengthBound | Test.DejaFu.Defaults, Test.DejaFu |
defaultMemType | Test.DejaFu.Defaults, Test.DejaFu |
defaultPreemptionBound | Test.DejaFu.Defaults, Test.DejaFu |
defaultWay | Test.DejaFu.Defaults, Test.DejaFu |
dejafu | Test.DejaFu |
dejafuDiscard | Test.DejaFu |
dejafus | Test.DejaFu |
dejafusWay | Test.DejaFu |
dejafuWay | Test.DejaFu |
delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
depCRState | Test.DejaFu.SCT.Internal.DPOR |
dependent | Test.DejaFu.SCT.Internal.DPOR |
dependent' | Test.DejaFu.SCT.Internal.DPOR |
dependentActions | Test.DejaFu.SCT.Internal.DPOR |
depMaskState | Test.DejaFu.SCT.Internal.DPOR |
depMVState | Test.DejaFu.SCT.Internal.DPOR |
DepState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
didYield | Test.DejaFu.SCT.Internal.DPOR |
Discard | Test.DejaFu.Types, Test.DejaFu.SCT, Test.DejaFu |
DiscardResultAndTrace | Test.DejaFu.Types, Test.DejaFu.SCT, Test.DejaFu |
DiscardTrace | Test.DejaFu.Types, Test.DejaFu.SCT, Test.DejaFu |
doTransaction | Test.DejaFu.Conc.Internal.STM |
DPOR | |
1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
dporDone | Test.DejaFu.SCT.Internal.DPOR |
dporNext | Test.DejaFu.SCT.Internal.DPOR |
dporRunnable | Test.DejaFu.SCT.Internal.DPOR |
dporSched | Test.DejaFu.SCT.Internal.DPOR |
DPORSchedState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
dporSleep | Test.DejaFu.SCT.Internal.DPOR |
dporTaken | Test.DejaFu.SCT.Internal.DPOR |
dporTodo | Test.DejaFu.SCT.Internal.DPOR |