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