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

language-toolkit-1.1.0.0: 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

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
SyntacticOrder
1 (Type/Class)	LTK.Porters, LTK
2 (Data Constructor)	LTK.Porters, LTK
syntacticOrder	LTK.Algebra