SCatch | Test.DejaFu.STM.Internal |
schedBoundKill | Test.DejaFu.SCT.Internal |
schedBPoints | Test.DejaFu.SCT.Internal |
schedDepState | Test.DejaFu.SCT.Internal |
schedGen | Test.DejaFu.SCT.Internal |
schedIgnore | Test.DejaFu.SCT.Internal |
schedPrefix | Test.DejaFu.SCT.Internal |
schedSleep | Test.DejaFu.SCT.Internal |
Scheduler | Test.DejaFu.Schedule, Test.DejaFu.Conc |
schedWeights | Test.DejaFu.SCT.Internal |
sctBound | Test.DejaFu.SCT |
sctBoundDiscard | Test.DejaFu.SCT |
sctUniformRandom | Test.DejaFu.SCT |
sctUniformRandomDiscard | Test.DejaFu.SCT |
sctWeightedRandom | Test.DejaFu.SCT |
sctWeightedRandomDiscard | Test.DejaFu.SCT |
seeMVar | Test.DejaFu.Conc.Internal.Memory |
SeqTrace | Test.DejaFu.Conc.Internal |
SequentialConsistency | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
SetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
SetNumCapabilities | Test.DejaFu.Common, Test.DejaFu.Conc |
showFail | Test.DejaFu.Common, Test.DejaFu.Conc |
showTrace | Test.DejaFu.Common, Test.DejaFu.Conc |
Sig | |
1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
simplifyAction | Test.DejaFu.Common |
simplifyLookahead | Test.DejaFu.Common |
Single | Test.DejaFu.Conc.Internal |
SNew | Test.DejaFu.STM.Internal |
somewhereTrue | Test.DejaFu |
SOrElse | Test.DejaFu.STM.Internal |
SRead | Test.DejaFu.STM.Internal |
SRetry | Test.DejaFu.STM.Internal |
SStop | Test.DejaFu.STM.Internal |
Start | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
stepThread | Test.DejaFu.Conc.Internal |
stepTrans | Test.DejaFu.STM.Internal |
SThrow | Test.DejaFu.STM.Internal |
STM | Test.DejaFu.Common, Test.DejaFu.Conc |
STMAction | Test.DejaFu.STM.Internal |
STMDeadlock | Test.DejaFu.Common, Test.DejaFu.Conc, Test.DejaFu |
STMIO | Test.DejaFu.STM |
STMLike | Test.DejaFu.STM |
STMST | Test.DejaFu.STM |
Stop | Test.DejaFu.Common, Test.DejaFu.Conc |
StopSubconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
SubC | Test.DejaFu.Conc.Internal |
Subconcurrency | Test.DejaFu.Common, Test.DejaFu.Conc |
subconcurrency | Test.DejaFu.Conc |
Success | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
swarmy | Test.DejaFu.SCT, Test.DejaFu |
SwitchTo | Test.DejaFu.Common, Test.DejaFu.Schedule, Test.DejaFu.Conc |
SWrite | Test.DejaFu.STM.Internal |
SynchronisedModify | Test.DejaFu.Common |
SynchronisedOther | Test.DejaFu.Common |
SynchronisedRead | Test.DejaFu.Common |
SynchronisedWrite | Test.DejaFu.Common |
synchronises | Test.DejaFu.Common |
systematically | Test.DejaFu.SCT, Test.DejaFu |