S | |
1 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
2 (Data Constructor) | Test.DejaFu.Conc.Internal.STM |
SCatch | Test.DejaFu.Conc.Internal.STM |
schedBoundKill | Test.DejaFu.SCT.Internal.DPOR |
schedBPoints | Test.DejaFu.SCT.Internal.DPOR |
schedBState | Test.DejaFu.SCT.Internal.DPOR |
schedDepState | Test.DejaFu.SCT.Internal.DPOR |
schedGen | Test.DejaFu.SCT.Internal.Weighted |
schedIgnore | Test.DejaFu.SCT.Internal.DPOR |
schedPrefix | Test.DejaFu.SCT.Internal.DPOR |
schedSleep | Test.DejaFu.SCT.Internal.DPOR |
Scheduler | |
1 (Type/Class) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
2 (Data Constructor) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
scheduleThread | Test.DejaFu.Schedule, Test.DejaFu.Conc |
schedWeights | Test.DejaFu.SCT.Internal.Weighted |
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.Types, Test.DejaFu.Conc, Test.DejaFu |
SetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
SetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
showFail | Test.DejaFu.Utils, Test.DejaFu.Conc |
showTrace | Test.DejaFu.Utils, Test.DejaFu.Conc |
Sig | |
1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
2 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
simplestsBy | Test.DejaFu.Utils |
simplifyAction | Test.DejaFu.Internal |
simplifyLookahead | Test.DejaFu.Internal |
Single | Test.DejaFu.Conc.Internal |
SNew | Test.DejaFu.Conc.Internal.STM |
somewhereNothing | Test.DejaFu |
somewhereTrue | Test.DejaFu |
SOrElse | Test.DejaFu.Conc.Internal.STM |
SRead | Test.DejaFu.Conc.Internal.STM |
SRetry | Test.DejaFu.Conc.Internal.STM |
SStop | Test.DejaFu.Conc.Internal.STM |
Start | Test.DejaFu.Types, Test.DejaFu.Conc |
stepThread | Test.DejaFu.Conc.Internal |
stepTrans | Test.DejaFu.Conc.Internal.STM |
SThrow | Test.DejaFu.Conc.Internal.STM |
STM | Test.DejaFu.Types, Test.DejaFu.Conc |
STMAction | Test.DejaFu.Conc.Internal.STM |
STMDeadlock | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
StopSubconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc |
strengthenDiscard | Test.DejaFu.Types |
strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
SubC | Test.DejaFu.Conc.Internal |
Subconcurrency | Test.DejaFu.Types, Test.DejaFu.Conc |
subconcurrency | Test.DejaFu.Conc |
Success | Test.DejaFu.Conc.Internal.STM |
swarmy | Test.DejaFu.SCT, Test.DejaFu |
SwitchTo | Test.DejaFu.Types, Test.DejaFu.Conc |
SWrite | Test.DejaFu.Conc.Internal.STM |
SynchronisedModify | Test.DejaFu.Internal |
SynchronisedOther | Test.DejaFu.Internal |
SynchronisedRead | Test.DejaFu.Internal |
SynchronisedWrite | Test.DejaFu.Internal |
synchronises | Test.DejaFu.Internal |
systematically | Test.DejaFu.SCT, Test.DejaFu |