Index - S
| Scale | Contract |
| scale | Contract |
| ScaleFactor | Contract |
| SeriesEnd | Observations |
| SeriesEnds | Observations |
| SeriesEntry | Observations |
| SeriesUnbounded | Observations |
| setThirdParty | DecisionTree |
| showNodes | Valuation |
| SimEnv | |
| 1 (Type/Class) | Interpreter |
| 2 (Data Constructor) | Interpreter |
| SimOutputs | |
| 1 (Type/Class) | Interpreter |
| 2 (Data Constructor) | Interpreter |
| simOutputs | Interpreter |
| simpleModel | Valuation |
| simplifyWait | DecisionTreeSimplify |
| simplifyWithinHorizon | Observable |
| simStopContract | Interpreter |
| simStopReason | Interpreter |
| simStopState | Interpreter |
| simStopTime | Interpreter |
| simStopWaitInfo | Interpreter |
| simTrace | Interpreter |
| snell | Valuation |
| Steps | Observable |
| StopFirstWait | Interpreter |
| StopNextWait | Interpreter |
| StoppedTime | Interpreter |
| StoppedWait | Interpreter |
| StopReason | Interpreter |
| StopWait | Interpreter |
| subst | |
| 1 (Function) | Observable |
| 2 (Function) | DecisionTree |