dcSched | Test.DejaFu.Conc.Internal |
dcsContext | Test.DejaFu.Conc.Internal |
DCSnapshot | |
1 (Type/Class) | Test.DejaFu.Conc.Internal, Test.DejaFu.Conc |
2 (Data Constructor) | Test.DejaFu.Conc.Internal |
dcsRef | Test.DejaFu.Conc.Internal |
dcsRestore | Test.DejaFu.Conc.Internal |
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.Settings, Test.DejaFu.SCT, Test.DejaFu |
defaultFairBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
defaultLengthBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
defaultMemType | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
defaultPreemptionBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
defaultSettings | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
defaultWay | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
dejafu | Test.DejaFu |
dejafuDiscard | Test.DejaFu |
dejafus | Test.DejaFu |
dejafusWay | Test.DejaFu |
dejafusWithSettings | Test.DejaFu |
dejafuWay | Test.DejaFu |
dejafuWithSettings | 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.Settings, Test.DejaFu.SCT, Test.DejaFu |
DiscardResultAndTrace | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
DiscardTrace | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
DontCheck | Test.DejaFu.Types, Test.DejaFu.Conc |
dontCheck | Test.DejaFu.Conc |
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 |
dropCommits | Test.DejaFu.SCT.Internal |