Deadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
deadlocksAlways | Test.DejaFu |
deadlocksNever | Test.DejaFu |
deadlocksSometimes | Test.DejaFu |
Decision | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
decisionOf | Test.DejaFu.Schedule, Test.DejaFu.Conc |
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 |
dejafuDiscardIO | Test.DejaFu |
dejafuIO | Test.DejaFu |
dejafus | Test.DejaFu |
dejafusIO | Test.DejaFu |
dejafusWay | Test.DejaFu |
dejafusWayIO | Test.DejaFu |
dejafuWay | Test.DejaFu |
dejafuWayIO | Test.DejaFu |
delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
depCRState | Test.DejaFu.SCT.Internal |
dependent | Test.DejaFu.SCT.Internal |
dependent' | Test.DejaFu.SCT.Internal |
dependentActions | Test.DejaFu.SCT.Internal |
depMaskState | Test.DejaFu.SCT.Internal |
DepState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
didYield | Test.DejaFu.SCT.Internal |
Discard | Test.DejaFu.SCT, Test.DejaFu |
DiscardResultAndTrace | Test.DejaFu.SCT, Test.DejaFu |
DiscardTrace | Test.DejaFu.SCT, Test.DejaFu |
doTransaction | Test.DejaFu.STM.Internal |
DPOR | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
dporDone | Test.DejaFu.SCT.Internal |
dporNext | Test.DejaFu.SCT.Internal |
dporRunnable | Test.DejaFu.SCT.Internal |
dporSched | Test.DejaFu.SCT.Internal |
DPORSchedState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
dporSleep | Test.DejaFu.SCT.Internal |
dporTaken | Test.DejaFu.SCT.Internal |
dporTodo | Test.DejaFu.SCT.Internal |