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