Index
| ! | Containers.Map |
| !<> | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| !? | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| %= | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| %~ | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| & | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| &. | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ++> | TuringMachine.Constructors |
| +> | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| +^> | TuringMachine.Constructors |
| -^ | TuringMachine.Constructors |
| .<@> | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| .= | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| .@ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| .~ | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| /\ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| /\= | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| /\~ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <+ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <+= | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <+~ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <?> | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <?>= | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <?>~ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <@> | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <\ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <\= | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| <\~ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| === | |
| 1 (Function) | SP2GP.Relations |
| 2 (Function) | TM2SP.Relations |
| >+^ | TuringMachine.Constructors |
| @@> | TuringMachine.Constructors |
| A | GRType |
| AccessStates | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| Action | TuringMachine.Admiter |
| addCollectionToMap | Boolean2TMHelpers |
| addICmdSmTag | TM2SMHelpers |
| addTag | TM2SMHelpers |
| addTags | TM2SMHelpers |
| adjust | Containers.Map |
| adjustWithKey | Containers.Map |
| admit | TuringMachine.Admiter |
| admit' | TuringMachine.Admiter |
| allGenerators | |
| 1 (Function) | GroupPresentation |
| 2 (Function) | SemigroupPresentation, SemigroupPresentation.Solver |
| allStates | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| allSymbols | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Alpha | SMType |
| Alphabet | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| alphabet | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| alter | Containers.Map |
| alterF | Containers.Map |
| apply | Format |
| applyCommand | TMInterpreter |
| applyCommands | TMInterpreter |
| applyCommandss | TMInterpreter |
| applyRule | SMInterpreter |
| applyRules | SMInterpreter |
| applyRuless | SMInterpreter |
| ASetter | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| assocs | Containers.Map |
| asStrSet | SemigroupPresentation, SemigroupPresentation.Solver |
| auxiliaryRelations | SM2GR |
| A_K | GRType |
| A_Q | GRType |
| A_R | GRType |
| A_Y | GRType |
| BCommand | TMType |
| blank | TuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| blankSymbol | TuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Boolean | GrammarType |
| boolean2tm | Boolean2TM |
| boolean2tm' | Boolean2TM |
| BooleanRelation | GrammarType |
| both | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| brackets | Boolean2TMConstants |
| calculateAllQuads | Boolean2TMHelpers |
| calculateFirstConjunctionInNextRule | Boolean2TMHelpers |
| calculateGroupRelationsByNonterminals | Boolean2TMHelpers |
| calculateMaxNumberOfRulesForNonterminal | Boolean2TMHelpers |
| calculateNextConjunctionInSameRule | Boolean2TMHelpers |
| calculateQuads | Boolean2TMHelpers |
| calculateQuads' | Boolean2TMHelpers |
| calculateTriplets | Boolean2TMHelpers |
| cartesianProduct | Containers.Set |
| CFG | GrammarType |
| cfg2tm | CFG2TM |
| ChangeFromTo | TmsType |
| check | TuringMachine.Constructors |
| checkCommandTapeToTape | TMInterpreter |
| checkFinalEmptyStates | TMInterpreter |
| checkGrammarType | GrammarReader |
| checkIfConjHasNeg | Boolean2TMHelpers |
| checkRule | SMInterpreter |
| cmd2SIDCmd | TM2SymTM |
| comma | Boolean2TMConstants |
| Command | SMType |
| CommandAlias | SMType |
| Commands | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| Configs | |
| 1 (Type/Class) | ConfigType |
| 2 (Data Constructor) | ConfigType |
| Conj | GrammarType |
| Conjunctive | GrammarType |
| constructSymbolsPairByQuad | Boolean2TMHelpers |
| Containable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| convertInput | TM2SP |
| convertListToConjunctionPair | Boolean2TMHelpers |
| convertToTuringMachine | DebuggingTMTypes |
| copy | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| copySMForCommand | TM2SM |
| crash | TuringMachine.Constructors |
| createSMs | TM2SM |
| currentState | TuringMachine.Interpreter |
| D | DebuggingTMTypes |
| Dash | SMType |
| dashTag | TM2SMHelpers |
| DebuggingMove | DebuggingTMTypes |
| DebuggingQuadruples | DebuggingTMTypes |
| DebuggingState | DebuggingTMTypes |
| DebuggingSymbol | DebuggingTMTypes |
| DebuggingTuringMachine | DebuggingTMTypes |
| defValue | Helpers |
| Deletable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| delete | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| deleteAt | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| deleteFindMax | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| deleteFindMin | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| deleteKey | Containers.PrismMap |
| deleteMax | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| deleteMin | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| deleteValue | Containers.PrismMap |
| Delta | SMType |
| Depth | |
| 1 (Type/Class) | SemigroupPresentation.Solver |
| 2 (Type/Class) | TuringMachine.Admiter |
| die | TuringMachine.Constructors |
| difference | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.PrismMap |
| 4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| differenceWith | Containers.Map |
| differenceWithKey | Containers.Map |
| DiffTM | TuringMachine.Optimization |
| diffTM | TuringMachine.Optimization |
| disjoinIfTerminal | Helpers |
| disjoinQuotes | Helpers |
| disjoint | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| disjointUnion | Containers.Set |
| doubleCommands | TM2SymTM |
| DQuadruples | DebuggingTMTypes |
| drop | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| dropC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| dropWhileAntitone | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| DState | DebuggingTMTypes |
| DSymbol | DebuggingTMTypes |
| DTM | DebuggingTMTypes |
| E | |
| 1 (Data Constructor) | TMType |
| 2 (Data Constructor) | SMType |
| easyHubRelation | SM2GR |
| eE | TM2SMHelpers |
| eE' | TM2SMHelpers |
| eF | TM2SMHelpers |
| eF' | TM2SMHelpers |
| elemAt | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| Element | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| element | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| elems | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| empty | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.IsoMap |
| 4 (Function) | Containers.PrismMap |
| emptyC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| eP | TM2SMHelpers |
| ePd | TM2SMHelpers |
| Eps | GrammarType |
| eQ | TM2SMHelpers |
| eQd | TM2SMHelpers |
| eR | TM2SMHelpers |
| eRd | TM2SMHelpers |
| ES | TMType |
| eS | TM2SMHelpers |
| eSd | TM2SMHelpers |
| eT | TM2SMHelpers |
| eTag | TM2SMHelpers |
| eTagState | TM2SMHelpers |
| eTd | TM2SMHelpers |
| eU | TM2SMHelpers |
| eUd | TM2SMHelpers |
| EWord | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| eX | TM2SMHelpers |
| eX' | TM2SMHelpers |
| F | SMType |
| FastUnsafeListable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| filter | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 4 (Function) | Containers.PrismMap |
| Filterable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| filterByFormat | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| filterC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| filterKeys | Containers.PrismMap |
| filterStateName | TmsType |
| filterWithKey | Containers.Map |
| finalDState | DebuggingTMTypes |
| finalState | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| findIndex | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| findMax | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| findMin | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| findWithDefault | Containers.Map |
| first | |
| 1 (Function) | Containers.Pair |
| 2 (Function) | CFG2TM |
| first2 | CFG2TM |
| firstPhase | TM2SymTM |
| fold | Containers.Set |
| foldl | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| foldl' | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| foldlWithKey | Containers.Map |
| foldlWithKey' | Containers.Map |
| foldMapWithKey | Containers.Map |
| foldr | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| foldr' | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| foldrWithKey | Containers.Map |
| foldrWithKey' | Containers.Map |
| follow | CFG2TM |
| for' | |
| 1 (Function) | SP2GP.Relations |
| 2 (Function) | TM2SP.Relations |
| forAll | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| format | Format |
| format2str | Format |
| forSs | TuringMachine.Constructors |
| from | |
| 1 (Function) | SP2GP.Generators |
| 2 (Function) | TM2SP.Generators |
| fromAscList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromAscListWith | Containers.Map |
| fromAscListWithKey | Containers.Map |
| fromDescList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromDescListWith | Containers.Map |
| fromDescListWithKey | Containers.Map |
| fromDistinctAscList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromDistinctDescList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.Pair |
| 4 (Function) | Containers.Quadruple |
| 5 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 6 (Function) | Containers.PrismMap |
| 7 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromList' | Containers.IsoMap.Iso, Containers.IsoMap |
| fromListWith | Containers.Map |
| fromListWithKey | Containers.Map |
| fromList_ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromSet | Containers.Map |
| fromState | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fromString | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
| fromSymbol | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| fSFT | CFG2TM |
| fSST | CFG2TM |
| fst3 | TmsType |
| gapFormat | GP2GAP |
| gen | TM2SMHelpers |
| genConnectingRules | TM2SM |
| genEraseCommand | CFG2TM |
| generateEmptyStayCommands | TM2SymTM |
| Generator | |
| 1 (Type/Class) | GroupPresentation.Generator, GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| 2 (Type/Class) | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| 3 (Type/Class) | StringRewriting.Generator, StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| generator | |
| 1 (Function) | GroupPresentation.Generator, GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| 2 (Function) | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| 3 (Function) | StringRewriting.Generator, StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| generators | |
| 1 (Function) | GroupPresentation |
| 2 (Function) | SemigroupPresentation, SemigroupPresentation.Solver |
| GeneratorsDescr | |
| 1 (Type/Class) | GroupPresentation |
| 2 (Type/Class) | SemigroupPresentation, SemigroupPresentation.Solver |
| 3 (Type/Class) | StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| generatorsDescr | |
| 1 (Function) | GroupPresentation |
| 2 (Function) | SemigroupPresentation, SemigroupPresentation.Solver |
| 3 (Function) | StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| genNextState | Helpers |
| genNextStateList | Helpers |
| genPos22Rule | TM2SM |
| genPreviewCommand | CFG2TM |
| genRange | TM2SMHelpers |
| genRelationCommand | CFG2TM |
| Gens | |
| 1 (Type/Class) | SP2GP.Generators |
| 2 (Type/Class) | TM2SP.Generators |
| gens | |
| 1 (Function) | SP2GP.Generators |
| 2 (Function) | TM2SP.Generators |
| getai | TM2SMHelpers |
| getApplicableRules | SMInterpreter |
| getDisjoinSquare | Helpers |
| getDisjoinSquare2 | Helpers |
| getFront | SMInterpreter |
| getFstConjInKthRel | Boolean2TMHelpers |
| getFstNonterminalsInConjsOfGivenRel | Boolean2TMHelpers |
| getGenerator | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| getJIdx | TM2SMHelpers |
| getLongRels | Boolean2TMHelpers |
| getMove | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| getNumbersOfShortRelations | Boolean2TMHelpers |
| getRestrictedGraph | SMInterpreter |
| getShiftsDecrements | Boolean2TMHelpers |
| getShortRightParts | Boolean2TMHelpers |
| getSndNonterminalsInConjsOfGivenRel | Boolean2TMHelpers |
| getStates | DebuggingTMTypes |
| getSymbol | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| getSymbols | DebuggingTMTypes |
| Getter | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Getting | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| gmap | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| gp2sr | GP2SR |
| gp2sr' | GP2SR |
| GPGetter | GroupPresentation |
| GR | |
| 1 (Type/Class) | GRType |
| 2 (Data Constructor) | GRType |
| Grammar | |
| 1 (Type/Class) | GrammarType |
| 2 (Data Constructor) | GrammarType |
| GrammarType | GrammarType |
| group | SP2GP.Generators |
| groupBeta | SP2GP |
| GroupPresentation | GroupPresentation |
| groupPresentation | GroupPresentation |
| GrRelation | GRType |
| Gunctor | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| GWord | |
| 1 (Type/Class) | GroupPresentation.Generator, GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| 2 (Type/Class) | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| 3 (Type/Class) | StringRewriting.Generator, StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| H | Time |
| hash | |
| 1 (Function) | Boolean2TMConstants |
| 2 (Function) | Tms2TuringMachine |
| Hat | SMType |
| hatdashTag | TM2SMHelpers |
| hatTag | TM2SMHelpers |
| hubRelation | SM2GR |
| ifCanOptimize | TuringMachine.Optimization |
| ifCanSafeOptimize | TuringMachine.Optimization |
| in' | |
| 1 (Function) | SP2GP.Relations |
| 2 (Function) | TM2SP.Relations |
| Index | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| index | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Indexable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| initWS | TuringMachine.Interpreter |
| InputAlphabet | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| insert | |
| 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 |
| Insertable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| insertGen | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| insertLookupWithKey | Containers.Map |
| insertWith | Containers.Map |
| insertWithKey | Containers.Map |
| interpretSM | SMInterpreter |
| interpretTM | TMInterpreter |
| intersection | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.PrismMap |
| 4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| intersectionWith | Containers.Map |
| intersectionWithKey | Containers.Map |
| isBlank | TuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| isFormat | Format |
| isMove | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Iso | Containers.IsoMap.Iso, Containers.IsoMap |
| IsoMap | Containers.IsoMap, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| isPositive | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| isProperSubmapOf | Containers.Map |
| isProperSubmapOfBy | Containers.Map |
| isProperSubsetOf | Containers.Set |
| iSST | CFG2TM |
| isSubmapOf | Containers.Map |
| isSubmapOfBy | Containers.Map |
| isSubsetOf | Containers.Set |
| isSymbol | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| JustFormat | Format |
| JustString | Format |
| k | SM2GR |
| key | Containers.PrismMap |
| Keyable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| keys | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.PrismMap |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| keysSet | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.PrismMap |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| knuthBendix | StringRewriting.KnuthBendix |
| knuthBendixBy | StringRewriting.KnuthBendix |
| kthRelForNonterminalLong | Boolean2TMHelpers |
| L | DebuggingTMTypes |
| LabeledStates | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| labeledStates | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| LBS | TMType |
| Leave | TmsType |
| left | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| leftBracket | Boolean2TMConstants |
| Level | TuringMachine.Optimization.Level, TuringMachine.Optimization |
| levelGradation | TuringMachine.Optimization.Level, TuringMachine.Optimization |
| Listable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| lookup | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.PrismMap |
| lookupGE | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| lookupGT | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| lookupIndex | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| lookupKeys | Containers.PrismMap |
| lookupLE | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| lookupLT | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| lookupMax | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| lookupMin | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| loop | TuringMachine.Constructors |
| M | |
| 1 (Data Constructor) | Time |
| 2 (Data Constructor) | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| makeEofParser | ParsingHelpers |
| makeLenses | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| makeStandartTM | TuringMachine.Constructors |
| Map | Containers.Map, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| map | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.PrismMap |
| mapAccum | Containers.Map |
| mapAccumRWithKey | Containers.Map |
| mapAccumWithKey | Containers.Map |
| mapEither | Containers.Map |
| mapEitherWithKey | Containers.Map |
| mapFst | Containers.IsoMap |
| mapFstRev | Containers.IsoMap |
| mapKeys | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.PrismMap |
| mapKeysMonotonic | Containers.Map |
| mapKeysWith | Containers.Map |
| mapMaybe | Containers.Map |
| mapMaybeWithKey | Containers.Map |
| mapMonotonic | Containers.Set |
| mapSnd | Containers.IsoMap |
| mapSndRev | Containers.IsoMap |
| mapTuple | Helpers |
| mapValue | Helpers |
| mapWithKey | Containers.Map |
| match | Format |
| matchWithFormat | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| maxNumState | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| maxNumSymbol | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| maxO | TuringMachine.Optimization.Level, TuringMachine.Optimization |
| maxView | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| maxViewWithKey | Containers.Map |
| MaybeFormat | Format |
| MaybeSimpleFormat | Format |
| MaybeTaggedFormat | Format |
| member | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| mergeWithKey | Containers.Map |
| minus | Boolean2TMConstants |
| minView | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| minViewWithKey | Containers.Map |
| MonadTimeout | Time |
| Move | TuringMachine.Move, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| move | |
| 1 (Function) | TuringMachine.Constructors |
| 2 (Function) | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
| moveInf | TuringMachine.Constructors |
| MoveLeft | TmsType |
| MoveOr | TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| MoveRight | TmsType |
| MS | Time |
| MultiFormat | Format |
| MultiTapeStates | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| N | GrammarType |
| negation | Boolean2TMConstants |
| Negative | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| NegConj | GrammarType |
| newState | TM2SMHelpers |
| nk | SM2GR |
| Nonterminal | |
| 1 (Type/Class) | GrammarType |
| 2 (Data Constructor) | GrammarType |
| nonterminalValue | GrammarType |
| notMember | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| null | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.PrismMap |
| Nullable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| nullC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| numGenerator | |
| 1 (Function) | GroupPresentation.Generator, GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| 2 (Function) | SemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| 3 (Function) | StringRewriting.Generator, StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| numState | TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| numSymbol | TuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| O0 | TuringMachine.Optimization.Level, TuringMachine.Optimization |
| O1 | TuringMachine.Optimization.Level, TuringMachine.Optimization |
| O2 | TuringMachine.Optimization.Level, TuringMachine.Optimization |
| Omega | SMType |
| on | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| one2KCmds | TM2SymTM |
| OneTapeTMCommand | TmsType |
| Operable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| optimal | TuringMachine.Optimization |
| optimize | TuringMachine.Optimization |
| Order | StringRewriting.KnuthBendix |
| P | SMType |
| Pair | |
| 1 (Type/Class) | Containers.Pair, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| 2 (Data Constructor) | Containers.Pair, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| parseFromFile | ParsingHelpers, GrammarReader |
| Parser | ParsingHelpers |
| parser | |
| 1 (Function) | GrammarReader |
| 2 (Function) | TmsParser |
| parseTms | TmsParser |
| partition | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| partitionWithKey | Containers.Map |
| PCommand | TMType |
| plus | Boolean2TMConstants |
| PosConj | GrammarType |
| Positive | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| powerSet | Containers.Set |
| Predicate | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| PreSMCommand | TMType |
| printSmb | Helpers |
| PrismMap | Containers.PrismMap, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| pTms | TmsParser |
| Q | SMType |
| qn | SMType |
| Quadruple | |
| 1 (Type/Class) | Containers.Quadruple, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| 2 (Data Constructor) | Containers.Quadruple, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| 3 (Type/Class) | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| QuadrupleFromPart | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Quadruples | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| quadruples | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| QuadrupleToPart | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Quote | SMType |
| quoteTag | TM2SMHelpers |
| R | |
| 1 (Data Constructor) | SMType |
| 2 (Data Constructor) | DebuggingTMTypes |
| RBS | TMType |
| reduceY | SMInterpreter |
| refineSymbolInConjunctionToNonterminal | Boolean2TMHelpers |
| refineSymbolToTerminalValue | Boolean2TMHelpers |
| Relation | |
| 1 (Type/Class) | GrammarType |
| 2 (Data Constructor) | GrammarType |
| 3 (Type/Class) | GroupPresentation.Relation, GroupPresentation |
| 4 (Type/Class) | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| 5 (Data Constructor) | GRType |
| relation | |
| 1 (Function) | GroupPresentation.Relation, GroupPresentation |
| 2 (Function) | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| relationHasOneTerminalInRightPart | Boolean2TMHelpers |
| Relations | |
| 1 (Type/Class) | GroupPresentation.Relation, GroupPresentation |
| 2 (Type/Class) | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| relations | |
| 1 (Function) | GroupPresentation |
| 2 (Function) | SemigroupPresentation, SemigroupPresentation.Solver |
| Relator | GRType |
| relator | |
| 1 (Function) | GroupPresentation.Relation, GroupPresentation |
| 2 (Function) | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| Rels | |
| 1 (Type/Class) | SP2GP.Relations |
| 2 (Type/Class) | TM2SP.Relations |
| rels | |
| 1 (Function) | SP2GP.Relations |
| 2 (Function) | TM2SP.Relations |
| renameRightLeftBoundings | TM2SM |
| replaceGenerator | SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver |
| replaceSublist | SMInterpreter |
| restrictKeys | Containers.Map |
| revertRel | Helpers |
| revertSmb | Helpers |
| rewrite | |
| 1 (Function) | StringRewriting.Rewrite |
| 2 (Function) | TuringMachine.Constructors |
| rewrite' | StringRewriting.Rewrite |
| rewriteAndMove | TuringMachine.Constructors |
| right | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| rightBracket | Boolean2TMConstants |
| Rule | |
| 1 (Type/Class) | SemigroupPresentation.Solver |
| 2 (Type/Class) | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| rule | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| Rules | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| rules | StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| run | TuringMachine.Interpreter |
| 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 |
| T | |
| 1 (Data Constructor) | GrammarType |
| 2 (Data Constructor) | SMType |
| T4 | SMType |
| T9 | SMType |
| Tag | SMType |
| TaggedFormat | Format |
| take | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| takeC | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeFromPart | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeOnly | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeToPart | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| takeWhileAntitone | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| TAlpha | SMType |
| Tape | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
| tape | |
| 1 (Function) | SMType |
| 2 (Function) | TuringMachine.Interpreter |
| TapeAlphabet | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| TapeCommand | TMType |
| Terminal | |
| 1 (Type/Class) | GrammarType |
| 2 (Data Constructor) | GrammarType |
| terminalValue | GrammarType |
| testingSetTMs | TuringMachine.TMs |
| thd3 | TmsType |
| thirdPhase | TM2SymTM |
| threePhaseProcessing | TM2SymTM |
| TimeAccuracy | Time |
| timeout | Time |
| timeout' | Time |
| Title | |
| 1 (Type/Class) | ShowInfo, TuringMachine.TMs |
| 2 (Data Constructor) | ShowInfo, TuringMachine.TMs |
| title | ShowInfo, TuringMachine.TMs |
| TM | |
| 1 (Type/Class) | TMType |
| 2 (Data Constructor) | TMType |
| tm2sm | TM2SM |
| tm2tms | TM2Tms |
| TMCMD | SMType |
| tmCommand | SMType |
| TMGetter | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Tms | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| tms2turingMachine | Tms2TuringMachine |
| TmsCommand | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| TMSetter | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| TmsSingleTapeCommand | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| TmsState | |
| 1 (Type/Class) | TmsType |
| 2 (Data Constructor) | TmsType |
| TmsTapeHeadMovement | TmsType |
| TmsTapeSquare | TmsType |
| to | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toAscList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| toDescList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| toLeft | TuringMachine.Move, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toList | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.Pair |
| 4 (Function) | Containers.Quadruple |
| 5 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 6 (Function) | Containers.PrismMap |
| 7 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toMap | |
| 1 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 2 (Function) | Containers.PrismMap |
| TOmega | SMType |
| top | TuringMachine.Interpreter.Tape, TuringMachine.Interpreter |
| toPair | StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix |
| toRight | TuringMachine.Move, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toState | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toStrQ | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toSymbol | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| toTmsCommand | TmsType |
| toZipList | |
| 1 (Function) | Containers.Pair |
| 2 (Function) | Containers.Quadruple |
| transitionRelations | SM2GR |
| Traversal' | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| traverseMaybeWithKey | Containers.Map |
| traverseWithKey | Containers.Map |
| TuringMachine | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| turingMachine | TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| turingMachine2tms | TuringMachine2Tms |
| turingMachineSt2tmsSt | TuringMachine2Tms |
| U | SMType |
| unDSymbol | DebuggingTMTypes |
| union | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers.PrismMap |
| 4 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| unions | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| unionsWith | Containers.Map |
| unionWith | Containers.Map |
| unionWithKey | Containers.Map |
| unPair | Containers.Pair, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| unQuadruple | Containers.Quadruple, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| unsafeDelete | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| unsafeInsert | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| UnsafeListable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| unSigned | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| update | Containers.Map |
| updateAt | Containers.Map |
| updateLookupWithKey | Containers.Map |
| updateMax | Containers.Map |
| updateMaxWithKey | Containers.Map |
| updateMin | Containers.Map |
| updateMinWithKey | Containers.Map |
| updateWithKey | Containers.Map |
| use | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| uses | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| valid | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| Valuable | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| Value | TMType |
| value | Containers.PrismMap |
| values | |
| 1 (Function) | Containers.IsoMap.Iso, Containers.IsoMap |
| 2 (Function) | Containers.PrismMap |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| valuesSet | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| val_name | TMType |
| val_quote_cnt | TMType |
| versa | TuringMachine.Move, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| view | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| views | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| withMove | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| withoutKeys | Containers.Map |
| withoutLoops | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| withoutMove | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| withoutTitle | ShowInfo, TuringMachine.TMs |
| WithTitle | ShowInfo, TuringMachine.TMs |
| withTitle | ShowInfo, TuringMachine.TMs |
| Word | |
| 1 (Type/Class) | SMType |
| 2 (Data Constructor) | SMType |
| WorkingState | TuringMachine.Interpreter |
| writeGap | GapFuncWriter |
| writeGenerators | |
| 1 (Function) | MapleFuncWriter |
| 2 (Function) | GapFuncWriter |
| writeMaple | MapleFuncWriter |
| writeRelations | |
| 1 (Function) | MapleFuncWriter |
| 2 (Function) | GapFuncWriter |
| writeWord | GapFuncWriter |
| X | SMType |
| Y | |
| 1 (Type/Class) | SMType |
| 2 (Data Constructor) | SMType |
| yn | SMType |
| \/ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| \/= | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| \/~ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| \> | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| \\ | |
| 1 (Function) | Containers.Map |
| 2 (Function) | Containers.Set |
| 3 (Function) | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| \\= | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| \\~ | Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ^. | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ^~ | GroupPresentation.Element, GroupPresentation.Relation, GroupPresentation |
| _1 | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| _2 | Lens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| |. | TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs |
| ||> | TuringMachine.Constructors |
| ~$ | Containers.IsoMap.Iso, Containers.IsoMap |
| ~& | Containers.IsoMap.Iso, Containers.IsoMap |