Index - R
| 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 |