Index - S
| S | |
| 1 (Data Constructor) | SMType |
| 2 (Data Constructor) | Time |
| 3 (Data Constructor) | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| safeOptimal | TuringMachine.Optimization |
| safeOptimize | TuringMachine.Optimization |
| second | Containers.Pair |
| secondPhase | TM2SymTM |
| secure | TuringMachine.Optimization.Safe, TuringMachine.Optimization |
| semigroupGamma | TM2SP |
| semigroupGamma_1 | TM2SP |
| semigroupGamma_2 | TM2SP |
| SemigroupPresentation | SemigroupPresentation, SemigroupPresentation.Solver |
| semigroupPresentation | SemigroupPresentation, SemigroupPresentation.Solver |
| Set | Containers.Set, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Setter | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ShowedSymbol | TuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ShowedSymbolClass | TuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ShowedSymbolOrMove | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ShowedSymbols | TuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| showedSymbols | TuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ShowInfo | ShowInfo, TuringMachine.TMs |
| showInfo | ShowInfo, TuringMachine.TMs |
| showListInfo | ShowInfo, TuringMachine.TMs |
| showListTitle | ShowInfo, TuringMachine.TMs |
| showTitle | ShowInfo, TuringMachine.TMs |
| showTitleAndInfo | ShowInfo, TuringMachine.TMs |
| showTree | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| showTreeWith | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| sigmaFunc | TM2SM |
| Signed | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| signs | Boolean2TMConstants |
| simple | |
| 1 (Function) | SP2GP.Generators |
| 2 (Function) | TM2SP.Generators |
| SimpleFormat | Format |
| SingleTapeCommand | TMType |
| singleton | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 4 (Function) | Containers.PrismMap |
| 5 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Singletonable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Sizable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| size | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.IsoMap |
| 4 (Function) | Containers.PrismMap |
| 5 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Slicable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| SM | |
| 1 (Type/Class) | SMType |
| 2 (Data Constructor) | SMType |
| sm2gr | SM2GR |
| sm2grEmpty | SM2GR |
| sm2grInternal | SM2GR |
| smartRun | TuringMachine.Interpreter |
| Smb | SMType |
| smb2As | SM2GR |
| SmbA | GRType |
| SmbA' | GRType |
| SmbQ | SMType |
| SmbR | GRType |
| SmbY | SMType |
| SmbY' | SMType |
| SMTag | SMType |
| smTag | SMType |
| snd3 | TmsType |
| solve | SemigroupPresentation.Solver |
| sp2sr | SP2SR |
| sp2sr' | SP2SR |
| space | Boolean2TMConstants |
| spanAntitone | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| SPGetter | SemigroupPresentation, SemigroupPresentation.Solver |
| SPGetting | SemigroupPresentation, SemigroupPresentation.Solver |
| split | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| splitAt | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| splitAtC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| splitLookup | Containers.Map |
| splitMember | Containers.Set |
| splitPosNegCmds | TM2SM |
| splitRoot | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| SPTraversal' | SemigroupPresentation, SemigroupPresentation.Solver |
| Square | TMType |
| srs | SMType |
| SRule | |
| 1 (Type/Class) | SMType |
| 2 (Data Constructor) | SMType |
| sSFT | CFG2TM |
| sSST | CFG2TM |
| standardV | TM2SMHelpers |
| star | Boolean2TMConstants |
| startDState | DebuggingTMTypes |
| startInterpreting | |
| 1 (Function) | SMInterpreter |
| 2 (Function) | TMInterpreter |
| startState | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| StartStates | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| StartSymbol | GrammarType |
| State | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| 3 (Type/Class) | SMType |
| 4 (Data Constructor) | SMType |
| 5 (Type/Class) | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| state | |
| 1 (Function) | TMType |
| 2 (Function) | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| StateName | SMType |
| StateOmega | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| states | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| StateVal | |
| 1 (Type/Class) | SMType |
| 2 (Data Constructor) | SMType |
| Stay | TmsType |
| step | TuringMachine.Interpreter |
| strGenerators | |
| 1 (Function) | GroupPresentation |
| 2 (Function) | SemigroupPresentation, SemigroupPresentation.Solver |
| StrGWord | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| StringRewriting | StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| stringRewriting | StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| strLabeledStates | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| strNumRelations | SemigroupPresentation, SemigroupPresentation.Solver |
| strNumStates | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| strNumSymbols | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| StrPair | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| StrQuadruple | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| strQuadruples | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| StrRelation | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| strRelations | SemigroupPresentation, SemigroupPresentation.Solver |
| strSymbols | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| superSmartRun | TuringMachine.Interpreter |
| swap | Containers.Pair |
| Symbol | |
| 1 (Type/Class) | GrammarType |
| 2 (Type/Class) | TuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| symbol | TuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| symbolAcceptedByNonterminal | Boolean2TMHelpers |
| SymbolOrMove | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| symbols | |
| 1 (Function) | GrammarType |
| 2 (Function) | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| SymbolsPair | |
| 1 (Type/Class) | DebuggingTMTypes |
| 2 (Data Constructor) | DebuggingTMTypes |
| symCommands | TM2SymTM |
| symDetTM | TM2SymTM |
| symSM | TM2SM |
| symTM | TM2SymTM |
| s_idx | SMType |
| s_name | SMType |
| s_tags | SMType |
| s_val | SMType |