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