LangToGroup-0.1.0.0

Index - R

R 
1 (Data Constructor)SMType
2 (Data Constructor)DebuggingTMTypes
RBSTMType
reduceYSMInterpreter
refineSymbolInConjunctionToNonterminalBoolean2TMHelpers
refineSymbolToTerminalValueBoolean2TMHelpers
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
relationHasOneTerminalInRightPartBoolean2TMHelpers
Relations 
1 (Type/Class)GroupPresentation.Relation, GroupPresentation
2 (Type/Class)SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver
relations 
1 (Function)GroupPresentation
2 (Function)SemigroupPresentation, SemigroupPresentation.Solver
RelatorGRType
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
renameRightLeftBoundingsTM2SM
replaceGeneratorSemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver
replaceSublistSMInterpreter
restrictKeysContainers.Map
revertRelHelpers
revertSmbHelpers
rewrite 
1 (Function)StringRewriting.Rewrite
2 (Function)TuringMachine.Constructors
rewrite'StringRewriting.Rewrite
rewriteAndMoveTuringMachine.Constructors
rightStringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
rightBracketBoolean2TMConstants
Rule 
1 (Type/Class)SemigroupPresentation.Solver
2 (Type/Class)StringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
ruleStringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
RulesStringRewriting.Rule, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
rulesStringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
runTuringMachine.Interpreter