LangToGroup-0.1.0.0

Index - S

S 
1 (Data Constructor)SMType
2 (Data Constructor)Time
3 (Data Constructor)TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
safeOptimalTuringMachine.Optimization
safeOptimizeTuringMachine.Optimization
secondContainers.Pair
secondPhaseTM2SymTM
secureTuringMachine.Optimization.Safe, TuringMachine.Optimization
semigroupGammaTM2SP
semigroupGamma_1TM2SP
semigroupGamma_2TM2SP
SemigroupPresentationSemigroupPresentation, SemigroupPresentation.Solver
semigroupPresentationSemigroupPresentation, SemigroupPresentation.Solver
SetContainers.Set, Containers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
SetterLens, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
ShowedSymbolTuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
ShowedSymbolClassTuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
ShowedSymbolOrMoveTuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
ShowedSymbolsTuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
showedSymbolsTuringMachine.ShowedSymbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
ShowInfoShowInfo, TuringMachine.TMs
showInfoShowInfo, TuringMachine.TMs
showListInfoShowInfo, TuringMachine.TMs
showListTitleShowInfo, TuringMachine.TMs
showTitleShowInfo, TuringMachine.TMs
showTitleAndInfoShowInfo, TuringMachine.TMs
showTree 
1 (Function)Containers.Map
2 (Function)Containers.Set
showTreeWith 
1 (Function)Containers.Map
2 (Function)Containers.Set
sigmaFuncTM2SM
SignedGroupPresentation.Element, GroupPresentation.Relation, GroupPresentation
signsBoolean2TMConstants
simple 
1 (Function)SP2GP.Generators
2 (Function)TM2SP.Generators
SimpleFormatFormat
SingleTapeCommandTMType
singleton 
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
SingletonableContainers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
SizableContainers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
size 
1 (Function)Containers.Map
2 (Function)Containers.Set
3 (Function)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
SlicableContainers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
SM 
1 (Type/Class)SMType
2 (Data Constructor)SMType
sm2grSM2GR
sm2grEmptySM2GR
sm2grInternalSM2GR
smartRunTuringMachine.Interpreter
SmbSMType
smb2AsSM2GR
SmbAGRType
SmbA'GRType
SmbQSMType
SmbRGRType
SmbYSMType
SmbY'SMType
SMTagSMType
smTagSMType
snd3TmsType
solveSemigroupPresentation.Solver
sp2srSP2SR
sp2sr'SP2SR
spaceBoolean2TMConstants
spanAntitone 
1 (Function)Containers.Map
2 (Function)Containers.Set
SPGetterSemigroupPresentation, SemigroupPresentation.Solver
SPGettingSemigroupPresentation, SemigroupPresentation.Solver
split 
1 (Function)Containers.Map
2 (Function)Containers.Set
splitAt 
1 (Function)Containers.Map
2 (Function)Containers.Set
splitAtCContainers, GroupPresentation, SemigroupPresentation, SemigroupPresentation.Solver, StringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
splitLookupContainers.Map
splitMemberContainers.Set
splitPosNegCmdsTM2SM
splitRoot 
1 (Function)Containers.Map
2 (Function)Containers.Set
SPTraversal'SemigroupPresentation, SemigroupPresentation.Solver
SquareTMType
srsSMType
SRule 
1 (Type/Class)SMType
2 (Data Constructor)SMType
sSFTCFG2TM
sSSTCFG2TM
standardVTM2SMHelpers
starBoolean2TMConstants
startDStateDebuggingTMTypes
startInterpreting 
1 (Function)SMInterpreter
2 (Function)TMInterpreter
startStateTuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
StartStates 
1 (Type/Class)TMType
2 (Data Constructor)TMType
StartSymbolGrammarType
State 
1 (Type/Class)TMType
2 (Data Constructor)TMType
3 (Type/Class)SMType
4 (Data Constructor)SMType
5 (Type/Class)TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
state 
1 (Function)TMType
2 (Function)TuringMachine.State, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
StateNameSMType
StateOmega 
1 (Type/Class)TMType
2 (Data Constructor)TMType
statesTuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
StateVal 
1 (Type/Class)SMType
2 (Data Constructor)SMType
StayTmsType
stepTuringMachine.Interpreter
strGenerators 
1 (Function)GroupPresentation
2 (Function)SemigroupPresentation, SemigroupPresentation.Solver
StrGWordSemigroupPresentation.Generator, SemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver
StringRewritingStringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
stringRewritingStringRewriting, StringRewriting.Rewrite, StringRewriting.KnuthBendix
strLabeledStatesTuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
strNumRelationsSemigroupPresentation, SemigroupPresentation.Solver
strNumStatesTuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
strNumSymbolsTuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
StrPairTuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
StrQuadrupleTuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
strQuadruplesTuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
StrRelationSemigroupPresentation.Relation, SemigroupPresentation, SemigroupPresentation.Solver
strRelationsSemigroupPresentation, SemigroupPresentation.Solver
strSymbolsTuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
superSmartRunTuringMachine.Interpreter
swapContainers.Pair
Symbol 
1 (Type/Class)GrammarType
2 (Type/Class)TuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
symbolTuringMachine.Symbol, TuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
symbolAcceptedByNonterminalBoolean2TMHelpers
SymbolOrMoveTuringMachine.SymbolOrMove, TuringMachine.Quadruple, TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
symbols 
1 (Function)GrammarType
2 (Function)TuringMachine, TuringMachine.Constructors, TuringMachine.Optimization, TuringMachine.Interpreter, TuringMachine.Admiter, TuringMachine.TMs
SymbolsPair 
1 (Type/Class)DebuggingTMTypes
2 (Data Constructor)DebuggingTMTypes
symCommandsTM2SymTM
symDetTMTM2SymTM
symSMTM2SM
symTMTM2SymTM
s_idxSMType
s_nameSMType
s_tagsSMType
s_valSMType