| SCatch | Test.DejaFu.Conc.Internal.STM |
| schedBoundKill | Test.DejaFu.SCT.Internal.DPOR |
| schedBPoints | Test.DejaFu.SCT.Internal.DPOR |
| schedBState | Test.DejaFu.SCT.Internal.DPOR |
| schedCState | Test.DejaFu.SCT.Internal.DPOR |
| schedGen | Test.DejaFu.SCT.Internal.Weighted |
| schedIgnore | Test.DejaFu.SCT.Internal.DPOR |
| schedLengthBound | Test.DejaFu.SCT.Internal.Weighted |
| schedPrefix | Test.DejaFu.SCT.Internal.DPOR |
| schedSleep | Test.DejaFu.SCT.Internal.DPOR |
| ScheduledBlockedThread | Test.DejaFu.Types |
| ScheduledMissingThread | Test.DejaFu.Types |
| 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 |
| sct | Test.DejaFu.SCT.Internal |
| sct' | Test.DejaFu.SCT.Internal |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| SeqTrace | Test.DejaFu.Conc.Internal |
| SequentialConsistency | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| set | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| SetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| SetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| Settings | |
| 1 (Type/Class) | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Internal |
| showCondition | 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 |
| simpleRunConcurrency | Test.DejaFu.Conc.Internal.Program |
| SimpleSnapshot | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Program |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Program |
| simplestsBy | Test.DejaFu.Utils |
| simplify | Test.DejaFu.SCT.Internal |
| simplifyAction | Test.DejaFu.Internal |
| simplifyExecution | Test.DejaFu.SCT.Internal |
| simplifyLookahead | Test.DejaFu.Internal |
| snapContext | Test.DejaFu.Conc.Internal.Program |
| snapNext | Test.DejaFu.Conc.Internal.Program |
| snapRestore | Test.DejaFu.Conc.Internal.Program |
| Snapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| 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 |
| stepInvariant | Test.DejaFu.Conc.Internal |
| stepThread | Test.DejaFu.Conc.Internal |
| stepThrow | 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 |
| Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
| Strengthen | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| strengthenDiscard | Test.DejaFu.Types |
| strictlyRefines | Test.DejaFu.Refinement, Test.DejaFu |
| Succeeded | Test.DejaFu.Conc.Internal |
| Success | Test.DejaFu.Conc.Internal.STM |
| successful | Test.DejaFu |
| SwitchTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| SWrite | Test.DejaFu.Conc.Internal.STM |
| synchronised | Test.DejaFu.Conc.Internal |
| SynchronisedModify | Test.DejaFu.Internal |
| SynchronisedOther | Test.DejaFu.Internal |
| SynchronisedRead | Test.DejaFu.Internal |
| SynchronisedWrite | Test.DejaFu.Internal |
| synchronises | Test.DejaFu.Internal |
| Systematic | Test.DejaFu.Internal |
| systematically | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |