| sb | Control.CP.FD.Solvers |
| Seal | Control.CP.ComposableTransformers |
| SealedCST | Control.CP.ComposableTransformers |
| Search | |
| 1 (Type/Class) | Control.Search.Generator |
| 2 (Data Constructor) | Control.Search.Generator |
| search | Control.Search.Generator |
| SearchCombiner | |
| 1 (Type/Class) | Control.Search.Generator |
| 2 (Data Constructor) | Control.Search.Generator |
| SearchSpec | Control.CP.FD.SearchSpec.Data |
| SecondS | Control.Search.Generator |
| Seq | Control.Search.Language |
| SeqPos | Control.Search.Generator |
| seqs | Control.Search.Language |
| seqSwitch | Control.Search.Generator |
| set' | Control.Search.Combinator.Let |
| setFailed | Control.CP.FD.FD |
| setMemo | Control.Search.Memo |
| setMinimizeVar | Control.CP.FD.FD |
| setValue | Control.CP.EnumTerm |
| setVarInfo | Control.Search.Generator |
| shiftAbort | Control.Search.GeneratorInfo |
| shiftCommit | Control.Search.GeneratorInfo |
| shiftDomain | Control.CP.FD.OvertonFD.Domain |
| SHook | Control.Search.Language |
| showModel | Control.CP.FD.Model |
| showTree | Control.CP.SearchTree |
| simple_fdProcess | Control.CP.FD.SimpleFD |
| simple_fdSpecify | Control.CP.FD.SimpleFD |
| Simplifiable | Control.Search.Language |
| simplify | |
| 1 (Function) | Control.Search.Language |
| 2 (Function) | Data.Expr.Util |
| simplStmt | Control.Search.Language |
| simplValue | Control.Search.Language |
| singleton | Control.CP.FD.OvertonFD.Domain |
| size | |
| 1 (Function) | Control.CP.FD.OvertonFD.Domain |
| 2 (Function) | Data.Expr.Sugar, Control.CP.FD.FD, Control.CP.FD.Interface, Control.CP.FD.Example |
| Skip | Control.Search.Language |
| slice | Data.Expr.Sugar, Control.CP.FD.FD, Control.CP.FD.Interface, Control.CP.FD.Example |
| snd2 | Control.Search.SStateT |
| solutionsStat | Control.Search.Stat |
| solve | Control.CP.ComposableTransformers |
| Solver | Control.CP.Solver |
| Sorted | Data.Expr.Data |
| sorted | |
| 1 (Function) | Data.Expr.Sugar, Control.CP.FD.FD |
| 2 (Function) | Control.CP.FD.Interface, Control.CP.FD.Example |
| space | Control.Search.GeneratorInfo |
| SpaceType | Control.Search.Language |
| spacetype | Control.Search.Language |
| 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 |
| splitDomain | Control.CP.EnumTerm |
| splitDomains | Control.CP.EnumTerm |
| sSorted | |
| 1 (Function) | Data.Expr.Sugar, Control.CP.FD.FD |
| 2 (Function) | Control.CP.FD.Interface, Control.CP.FD.Example |
| SStateT | Control.Search.SStateT |
| sstateT | Control.Search.SStateT |
| stackField | Control.Search.GeneratorInfo |
| startTryE | Control.Search.Generator |
| startTryH | Control.Search.Generator |
| Stat | |
| 1 (Type/Class) | Control.Search.Stat |
| 2 (Data Constructor) | Control.Search.Stat |
| Statement | Control.Search.Language |
| Struct | |
| 1 (Type/Class) | Control.Search.Language |
| 2 (Data Constructor) | Control.Search.Language |
| structs | Control.Search.Generator |
| SType | Control.Search.Language |