| sb | Control.CP.FD.Solvers |
| Seal | Control.CP.ComposableTransformers |
| SealedCST | Control.CP.ComposableTransformers |
| setFailed | Control.CP.FD.FD |
| setMinimizeVar | Control.CP.FD.FD |
| setOptions | Control.CP.FD.Gecode.CodegenSolver |
| setValue | Control.CP.EnumTerm |
| showModel | Control.CP.FD.Model |
| showTree | Control.CP.SearchTree |
| size | Data.Expr.Sugar, Control.CP.FD.FD, Control.CP.FD.Interface, Control.CP.FD.Example |
| slice | Data.Expr.Sugar, Control.CP.FD.FD, Control.CP.FD.Interface, Control.CP.FD.Example |
| solve | Control.CP.ComposableTransformers |
| Solver | Control.CP.Solver |
| sorted | |
| 1 (Function) | Data.Expr.Sugar, Control.CP.FD.FD |
| 2 (Function) | Control.CP.FD.Interface, Control.CP.FD.Example |
| SpecFn | Control.CP.FD.FD |
| SpecFnRes | Control.CP.FD.FD |
| specInfoBoolTerm | Control.CP.FD.FD |
| specInfoIntTerm | Control.CP.FD.FD |
| SpecResNone | Control.CP.FD.FD |
| SpecResSpec | Control.CP.FD.FD |
| SpecResult | Control.CP.FD.FD |
| SpecResUnify | Control.CP.FD.FD |
| specSubModelEx | Control.CP.FD.FD |
| splitBoolDomain | Control.CP.FD.Gecode.Common |
| splitDomain | Control.CP.EnumTerm |
| splitDomains | Control.CP.EnumTerm |
| splitIntDomain | Control.CP.FD.Gecode.Common |
| sSorted | |
| 1 (Function) | Data.Expr.Sugar, Control.CP.FD.FD |
| 2 (Function) | Control.CP.FD.Interface, Control.CP.FD.Example |