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 |