language-toolkit-1.2.0.1: A set of tools for analyzing languages via logic and automata (Index - S)

language-toolkit-1.2.0.1: A set of tools for analyzing languages via logic and automata

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
W
Z
All

Index - S

scc	LTK.FSA, LTK
sccGraph	LTK.FSA, LTK
semanticallyExtendAlphabetTo	LTK.FSA, LTK
sequencesOver	LTK.Containers, LTK.FSA, LTK
setFromMultiset	LTK.Containers, LTK.FSA, LTK
sigma	LTK.FSA, LTK
singleton	LTK.Containers, LTK.FSA, LTK
singletonLanguage	LTK.FSA, LTK
singletonWithAlphabet	LTK.FSA, LTK
size	LTK.Containers, LTK.FSA, LTK
SLG
1 (Type/Class)	LTK.Learn.SL
2 (Data Constructor)	LTK.Learn.SL
slg	LTK.Learn.SL
slgAlpha	LTK.Learn.SL
slgK	LTK.Learn.SL
slQ	LTK.Extract.SL, LTK.Extract, LTK
source	LTK.FSA, LTK
SPG	LTK.Learn.SP
State
1 (Type/Class)	LTK.FSA, LTK
2 (Data Constructor)	LTK.FSA, LTK
stateMultiset	LTK.Traversals, LTK
states	LTK.FSA, LTK
Subsequence	LTK.Factors, LTK
subsequenceClosure	LTK.Extract.SP, LTK.Extract, LTK
Substring	LTK.Factors, LTK
substring	LTK.Factors, LTK
Symbol
1 (Type/Class)	LTK.FSA, LTK
2 (Data Constructor)	LTK.FSA, LTK
symmetricDifference	LTK.Containers, LTK.FSA, LTK
SymSet	LTK.Porters.Pleb
SynMon	LTK.Algebra
syntacticMonoid	LTK.FSA, LTK
syntacticOMonoid	LTK.FSA, LTK
SyntacticOrder
1 (Type/Class)	LTK.Porters, LTK
2 (Data Constructor)	LTK.Porters, LTK
syntacticOrder	LTK.Algebra
syntacticOSemigroup	LTK.FSA, LTK
syntacticSemigroup	LTK.FSA, LTK