accepts | LTK.FSA, LTK |
acyclicPaths | LTK.Traversals, LTK |
allS | LTK.Containers, LTK.FSA, LTK |
alphabet | LTK.Containers, LTK.FSA, LTK |
anyS | LTK.Containers, LTK.FSA, LTK |
ATT | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
attestedAlphabet | LTK.Extract.SP, LTK.Extract, LTK |
attestedUnits | LTK.Extract.SL, LTK.Extract, LTK |
ATTO | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
augmentG | LTK.Learn.StringExt |
augmentSE | LTK.Learn.StringExt |
autDifference | LTK.FSA, LTK |
autInfiltration | LTK.FSA, LTK |
autShuffle | LTK.FSA, LTK |
autStrictOrderOverlay | LTK.FSA, LTK |
both | LTK.Containers, LTK.FSA, LTK |
boundedCycleExtensions | LTK.Traversals, LTK |
brzozowskiDerivative | LTK.FSA, LTK |
build | LTK.Factors, LTK |
buildFSA | LTK.Extract.SL, LTK.Extract, LTK |
buildLiteral | LTK.Factors, LTK |
choose | LTK.Containers, LTK.FSA, LTK |
chooseOne | LTK.Containers, LTK.FSA, LTK |
collapse | LTK.Containers, LTK.FSA, LTK |
Collapsible | LTK.Containers, LTK.FSA, LTK |
commonPrefix | LTK.FSA, LTK |
commonSuffix | LTK.FSA, LTK |
compileEnv | LTK.Porters.Pleb |
complement | LTK.FSA, LTK |
complementDeterministic | LTK.FSA, LTK |
comTest | LTK.Decide.Acom |
Conjunction | |
1 (Type/Class) | LTK.Factors, LTK |
2 (Data Constructor) | LTK.Factors, LTK |
Container | LTK.Containers, LTK.FSA, LTK |
contains | LTK.Containers, LTK.FSA, LTK |
contractAlphabetTo | LTK.FSA, LTK |
coresidue | LTK.FSA, LTK |
Corpus | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
DecreasingSize | |
1 (Type/Class) | LTK.Containers, LTK.FSA, LTK |
2 (Data Constructor) | LTK.Containers, LTK.FSA, LTK |
depth | LTK.Traversals, LTK |
desemantify | LTK.FSA, LTK |
destination | LTK.FSA, LTK |
determinize | LTK.FSA, LTK |
Dictionary | LTK.Porters.Pleb |
difference | LTK.Containers, LTK.FSA, LTK |
discardOne | LTK.Containers, LTK.FSA, LTK |
Disjunction | |
1 (Type/Class) | LTK.Factors, LTK |
2 (Data Constructor) | LTK.Factors, LTK |
doesNotContain | LTK.Containers, LTK.FSA, LTK |
doParse | LTK.Porters.Pleb |
doStatements | LTK.Porters.Pleb |
doStatementsWithError | LTK.Porters.Pleb |
Dot | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
edgeLabel | LTK.FSA, LTK |
EggBox | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
embedSymbolsATT | LTK.Porters.ATT |
emblock | LTK.Algebra |
emee | LTK.Algebra |
empty | LTK.Containers, LTK.FSA, LTK |
emptyG | LTK.Learn.StringExt |
emptyLanguage | LTK.FSA, LTK |
emptyWithAlphabet | LTK.FSA, LTK |
endstate | LTK.Traversals, LTK |
Env | LTK.Porters.Pleb |
Epsilon | LTK.FSA, LTK |
ese | LTK.Algebra |
Exportable | LTK.Porters, LTK |
exportATT | LTK.Porters.ATT |
Expr | LTK.Porters.Pleb |
extendAlphabetTo | LTK.FSA, LTK |
extensions | LTK.Traversals, LTK |
extractMonotonic | LTK.Containers, LTK.FSA, LTK |
extractSymbolsATT | LTK.Porters.ATT |
Factor | LTK.Factors, LTK |
factorsFromPaths | LTK.Extract.SL, LTK.Extract, LTK |
Final | LTK.Extract.SL, LTK.Extract, LTK |
finalPaths | LTK.Extract.SL, LTK.Extract, LTK |
finals | LTK.FSA, LTK |
flatInfiltration | LTK.FSA, LTK |
flatIntersection | LTK.FSA, LTK |
flatShuffle | LTK.FSA, LTK |
flatUnion | LTK.FSA, LTK |
follow | LTK.FSA, LTK |
forbidden | LTK.Factors, LTK |
forbiddenFinals | LTK.Extract.SL, LTK.Extract, LTK |
forbiddenFrees | LTK.Extract.SL, LTK.Extract, LTK |
forbiddenInitials | LTK.Extract.SL, LTK.Extract, LTK |
ForbiddenPaths | |
1 (Type/Class) | LTK.Extract.SL, LTK.Extract, LTK |
2 (Data Constructor) | LTK.Extract.SL, LTK.Extract, LTK |
ForbiddenSubsequences | |
1 (Type/Class) | LTK.Extract.SP, LTK.Extract, LTK |
2 (Data Constructor) | LTK.Extract.SP, LTK.Extract, LTK |
forbiddenSubsequences | LTK.Extract.SP, LTK.Extract, LTK |
ForbiddenSubstrings | |
1 (Type/Class) | LTK.Extract.SL, LTK.Extract, LTK |
2 (Data Constructor) | LTK.Extract.SL, LTK.Extract, LTK |
forbiddenSubstrings | LTK.Extract.SL, LTK.Extract, LTK |
forbiddenTierSubstrings | LTK.Extract.TSL, LTK.Extract, LTK |
forbiddenWords | LTK.Extract.SL, LTK.Extract, LTK |
forceAlphabetTo | LTK.FSA, LTK |
formatSet | LTK.Porters, LTK |
Free | LTK.Extract.SL, LTK.Extract, LTK |
freePaths | LTK.Extract.SL, LTK.Extract, LTK |
from | LTK.Porters, LTK |
fromAutomaton | LTK.Porters.Pleb |
fromCollapsible | LTK.Containers, LTK.FSA, LTK |
fromE | LTK.Porters, LTK |
fromFSA | LTK.Porters, LTK |
fromSemanticAutomaton | LTK.Porters.Pleb |
FSA | |
1 (Type/Class) | LTK.FSA, LTK |
2 (Data Constructor) | LTK.FSA, LTK |
fsaFromForbiddenSubsequences | LTK.Extract.SP, LTK.Extract, LTK |
fSL | LTK.Learn.SL |
fSP | LTK.Learn.SP |
fTSL | |
1 (Function) | LTK.Learn.TSL.AugmentedSubsequences |
2 (Function) | LTK.Learn.TSL.ViaSL, LTK.Learn.TSL |
genFSA | LTK.Learn.StringExt |
getDecreasing | LTK.Containers, LTK.FSA, LTK |
getIncreasing | LTK.Containers, LTK.FSA, LTK |
getSubsequences | LTK.Extract.SP, LTK.Extract, LTK |
Grammar | LTK.Learn.StringExt |
groundEnv | LTK.Porters.Pleb |
groupBy | LTK.Containers, LTK.FSA, LTK |
HasAlphabet | LTK.Containers, LTK.FSA, LTK |
headAnchored | LTK.Factors, LTK |
hEquivalence | LTK.FSA, LTK |
idempotents | LTK.Algebra |
Importable | LTK.Porters, LTK |
IncreasingSize | |
1 (Type/Class) | LTK.Containers, LTK.FSA, LTK |
2 (Data Constructor) | LTK.Containers, LTK.FSA, LTK |
Initial | LTK.Extract.SL, LTK.Extract, LTK |
initialPaths | LTK.Extract.SL, LTK.Extract, LTK |
initials | LTK.FSA, LTK |
initialsNDPath | LTK.Traversals, LTK |
initialsPaths | LTK.Traversals, LTK |
insert | LTK.Containers, LTK.FSA, LTK |
insertExpr | LTK.Porters.Pleb |
interleave | LTK.Containers, LTK.FSA, LTK |
intersectAll | LTK.Containers, LTK.FSA, LTK |
intersection | LTK.Containers, LTK.FSA, LTK |
invertATT | LTK.Porters.ATT |
isAcom | LTK.Decide.Acom, LTK.Decide, LTK |
isAcomM | LTK.Decide.Acom, LTK.DecideM |
isAcoms | LTK.Decide.Acom, LTK.DecideS |
isAcyclic | LTK.Traversals, LTK |
isB | LTK.Decide.B, LTK.Decide, LTK |
isBM | LTK.Decide.B, LTK.DecideM |
isBs | LTK.Decide.B, LTK.DecideS |
isCB | LTK.Decide.CB, LTK.Decide, LTK |
isCBM | LTK.Decide.CB, LTK.DecideM |
isCBs | LTK.Decide.CB, LTK.DecideS |
isCofinite | LTK.Decide.Finite, LTK.Decide, LTK |
isCofiniteM | LTK.Decide.Finite, LTK.DecideM |
isCommutative | LTK.Algebra |
isDef | LTK.Decide.Definite, LTK.Decide, LTK |
isDefM | LTK.Decide.Definite, LTK.DecideM |
isDefs | LTK.Decide.Definite, LTK.DecideS |
isDeterministic | LTK.FSA, LTK |
isDot1 | LTK.Decide.DotDepth, LTK.Decide, LTK |
isDot1M | LTK.Decide.DotDepth, LTK.DecideM |
isDot1s | LTK.Decide.DotDepth, LTK.DecideS |
isEmpty | LTK.Containers, LTK.FSA, LTK |
isFinite | LTK.Decide.Finite, LTK.Decide, LTK |
isFiniteM | LTK.Decide.Finite, LTK.DecideM |
isFO2 | LTK.Decide.FO2, LTK.Decide, LTK |
isFO2B | LTK.Decide.FO2, LTK.Decide, LTK |
isFO2BF | LTK.Decide.FO2, LTK.Decide, LTK |
isFO2BFM | LTK.Decide.FO2, LTK.DecideM |
isFO2BM | LTK.Decide.FO2, LTK.DecideM |
isFO2Bs | LTK.Decide.FO2, LTK.DecideS |
isFO2M | LTK.Decide.FO2, LTK.DecideM |
isFO2S | LTK.Decide.FO2, LTK.Decide, LTK |
isFO2s | LTK.Decide.FO2, LTK.DecideS |
isFO2SM | LTK.Decide.FO2, LTK.DecideM |
isFO2Ss | LTK.Decide.FO2, LTK.DecideS |
isGD | LTK.Decide.GD, LTK.Decide, LTK |
isGDM | LTK.Decide.GD, LTK.DecideM |
isGDs | LTK.Decide.GD, LTK.DecideS |
isGLPT | LTK.Decide.GLPT, LTK.Decide, LTK |
isGLPTM | LTK.Decide.GLPT, LTK.DecideM |
isGLPTs | LTK.Decide.GLPT, LTK.DecideS |
isGLT | LTK.Decide.GLT, LTK.Decide, LTK |
isGLTM | LTK.Decide.GLT, LTK.DecideM |
isGLTs | LTK.Decide.GLT, LTK.DecideS |
isIn | LTK.Containers, LTK.FSA, LTK |
isize | LTK.Containers, LTK.FSA, LTK |
isLAcom | LTK.Decide.LAcom, LTK.Decide, LTK |
isLAcomM | LTK.Decide.LAcom, LTK.DecideM |
isLAcoms | LTK.Decide.LAcom, LTK.DecideS |
isLB | LTK.Decide.B, LTK.Decide, LTK |
isLBM | LTK.Decide.B, LTK.DecideM |
isLBs | LTK.Decide.B, LTK.DecideS |
isLPT | LTK.Decide.LPT, LTK.Decide, LTK |
isLPTM | LTK.Decide.LPT, LTK.DecideM |
isLPTs | LTK.Decide.LPT, LTK.DecideS |
isLT | LTK.Decide.LT, LTK.Decide, LTK |
isLTM | LTK.Decide.LT, LTK.DecideM |
isLTs | LTK.Decide.LT, LTK.DecideS |
isLTT | LTK.Decide.LTT, LTK.Decide, LTK |
isLTTM | LTK.Decide.LTT, LTK.DecideM |
isLTTs | LTK.Decide.LTT, LTK.DecideS |
isMTDef | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTDefM | LTK.Decide.Multitier, LTK.DecideM |
isMTDefs | LTK.Decide.Multitier, LTK.DecideS |
isMTF | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTFM | LTK.Decide.Multitier, LTK.DecideM |
isMTFs | LTK.Decide.Multitier, LTK.DecideS |
isMTGD | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTGDM | LTK.Decide.Multitier, LTK.DecideM |
isMTGDs | LTK.Decide.Multitier, LTK.DecideS |
isMTRDef | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTRDefM | LTK.Decide.Multitier, LTK.DecideM |
isMTRDefs | LTK.Decide.Multitier, LTK.DecideS |
isNotIn | LTK.Containers, LTK.FSA, LTK |
isNull | LTK.FSA, LTK |
isProperSubsetOf | LTK.Containers, LTK.FSA, LTK |
isProperSupersetOf | LTK.Containers, LTK.FSA, LTK |
isPT | LTK.Decide.PT, LTK.Decide, LTK |
isPTM | LTK.Decide.PT, LTK.DecideM |
isPTs | LTK.Decide.PT, LTK.DecideS |
isRDef | LTK.Decide.Definite, LTK.Decide, LTK |
isRDefM | LTK.Decide.Definite, LTK.DecideM |
isRDefs | LTK.Decide.Definite, LTK.DecideS |
isRecognizedBy | LTK.Learn.StringExt |
isSF | LTK.Decide.SF, LTK.Decide, LTK |
isSFM | LTK.Decide.SF, LTK.DecideM |
isSFs | LTK.Decide.SF, LTK.DecideS |
isSL | LTK.Extract.SL, LTK.Decide.SL, LTK.Decide, LTK |
isSP | LTK.Extract.SP, LTK.Decide.SP, LTK.Decide, LTK |
isSSQ | LTK.Extract.SP, LTK.Extract, LTK |
isSubGOf | LTK.Learn.StringExt |
isSubsetOf | LTK.Containers, LTK.FSA, LTK |
isSupersetOf | LTK.Containers, LTK.FSA, LTK |
isTCofinite | LTK.Decide.Finite, LTK.Decide, LTK |
isTCofiniteM | LTK.Decide.Finite, LTK.DecideM |
isTDef | LTK.Decide.Definite, LTK.Decide, LTK |
isTDefM | LTK.Decide.Definite, LTK.DecideM |
isTDefs | LTK.Decide.Definite, LTK.DecideS |
isTFinite | LTK.Decide.Finite, LTK.Decide, LTK |
isTFiniteM | LTK.Decide.Finite, LTK.DecideM |
isTGD | LTK.Decide.GD, LTK.Decide, LTK |
isTGDM | LTK.Decide.GD, LTK.DecideM |
isTGDs | LTK.Decide.GD, LTK.DecideS |
isTLAcom | LTK.Decide.TLAcom, LTK.Decide, LTK |
isTLAcomM | LTK.Decide.TLAcom, LTK.DecideM |
isTLAcoms | LTK.Decide.TLAcom, LTK.DecideS |
isTLB | LTK.Decide.B, LTK.Decide, LTK |
isTLBM | LTK.Decide.B, LTK.DecideM |
isTLBs | LTK.Decide.B, LTK.DecideS |
isTLPT | LTK.Decide.TLPT, LTK.Decide, LTK |
isTLPTM | LTK.Decide.TLPT, LTK.DecideM |
isTLPTs | LTK.Decide.TLPT, LTK.DecideS |
isTLT | LTK.Decide.TLT, LTK.Decide, LTK |
isTLTM | LTK.Decide.TLT, LTK.DecideM |
isTLTs | LTK.Decide.TLT, LTK.DecideS |
isTLTT | LTK.Decide.TLTT, LTK.Decide, LTK |
isTLTTM | LTK.Decide.TLTT, LTK.DecideM |
isTLTTs | LTK.Decide.TLTT, LTK.DecideS |
isTRDef | LTK.Decide.Definite, LTK.Decide, LTK |
isTRDefM | LTK.Decide.Definite, LTK.DecideM |
isTRDefs | LTK.Decide.Definite, LTK.DecideS |
isTrivial | LTK.Decide.Trivial, LTK.Decide, LTK |
isTSL | LTK.Decide.TSL, LTK.Decide, LTK |
isVariety | LTK.Decide.Variety, LTK.Decide, LTK |
isVarietyM | LTK.Decide.Variety, LTK.DecideM |
Jeff | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
jEquivalence | LTK.FSA, LTK |
keep | LTK.Containers, LTK.FSA, LTK |
kleeneClosure | LTK.FSA, LTK |
labels | LTK.Traversals, LTK |
learn | LTK.Learn.StringExt |
Linearizable | LTK.Containers, LTK.FSA, LTK |
Literal | |
1 (Type/Class) | LTK.Factors, LTK |
2 (Data Constructor) | LTK.Factors, LTK |
loopify | LTK.FSA, LTK |
makeAutomaton | LTK.Porters.Pleb |
makeAutomatonE | LTK.Porters.Pleb |
makeConstraint | LTK.Factors, LTK |
me | LTK.Algebra |
minimize | LTK.FSA, LTK |
minimizeDeterministic | LTK.FSA, LTK |
minimizeOver | LTK.FSA, LTK |
multiplicities | LTK.Containers, LTK.FSA, LTK |
multiplicity | LTK.Containers, LTK.FSA, LTK |
Multiset | LTK.Containers, LTK.FSA, LTK |
multisetFromList | LTK.Containers, LTK.FSA, LTK |
nerode | LTK.FSA, LTK |
neutralize | LTK.FSA, LTK |
nodeLabel | LTK.FSA, LTK |
nondeterministicAcyclicExtensions | LTK.Traversals, LTK |
normalize | LTK.FSA, LTK |
omega | LTK.Algebra |
orderGraph | LTK.FSA, LTK |
pAcom | LTK.Parameters |
Parameter | LTK.Parameters |
Parse | |
1 (Type/Class) | LTK.Porters.Pleb |
2 (Data Constructor) | LTK.Porters.Pleb |
parseExpr | LTK.Porters.Pleb |
partitionBy | LTK.Containers, LTK.FSA, LTK |
Path | |
1 (Type/Class) | LTK.Traversals, LTK |
2 (Data Constructor) | LTK.Traversals, LTK |
pCB | LTK.Parameters |
pDef | LTK.Parameters |
pGDef | LTK.Parameters |
PInt | LTK.Parameters |
Pleb | |
1 (Type/Class) | LTK.Porters, LTK |
2 (Data Constructor) | LTK.Porters, LTK |
powersetGraph | LTK.FSA, LTK |
pRDef | LTK.Parameters |
primitiveIdeal2 | LTK.FSA, LTK |
primitiveIdealL | LTK.FSA, LTK |
primitiveIdealR | LTK.FSA, LTK |
project | LTK.Tiers, LTK |
pSL | LTK.Parameters |
pSP | LTK.Parameters |
PSymSet | LTK.Parameters |
pTier | LTK.Parameters |
quotLeft | LTK.FSA, LTK |
quotMid | LTK.FSA, LTK |
quotRight | LTK.FSA, LTK |
readATT | LTK.Porters.ATT |
readCorpus | LTK.Porters.Corpus |
readPleb | LTK.Porters.Pleb |
refinePartitionBy | LTK.Containers, LTK.FSA, LTK |
rejectingPaths | LTK.Traversals, LTK |
renameStates | LTK.FSA, LTK |
renameStatesBy | LTK.FSA, LTK |
renameSymbolsBy | LTK.FSA, LTK |
required | LTK.Factors, LTK |
residue | LTK.FSA, LTK |
restoreUniverse | LTK.Porters.Pleb |
restrictUniverse | LTK.Porters.Pleb |
reverse | LTK.FSA, LTK |
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 |
TaggedSubstring | LTK.Extract.SL, LTK.Extract, LTK |
tailAnchored | LTK.Factors, LTK |
tier | LTK.Tiers, LTK |
tierify | LTK.FSA, LTK |
tmap | LTK.Containers, LTK.FSA, LTK |
to | LTK.Porters, LTK |
toFSA | LTK.Porters, LTK |
Token | LTK.Porters.Pleb |
tokenize | LTK.Porters.Pleb |
totalWithAlphabet | LTK.FSA, LTK |
tr | LTK.Containers, LTK.FSA, LTK |
Transition | |
1 (Type/Class) | LTK.FSA, LTK |
2 (Data Constructor) | LTK.FSA, LTK |
transitions | LTK.FSA, LTK |
transliterate | LTK.Porters, LTK |
transliterateString | LTK.Porters, LTK |
trimUnreachables | LTK.FSA, LTK |
trivialUnder | LTK.FSA, LTK |
TSLG | |
1 (Type/Class) | LTK.Learn.TSL.AugmentedSubsequences |
2 (Type/Class) | LTK.Learn.TSL.ViaSL, LTK.Learn.TSL |
Type | LTK.Porters, LTK |
union | LTK.Containers, LTK.FSA, LTK |
unionAll | LTK.Containers, LTK.FSA, LTK |
unsymbols | LTK.FSA, LTK |
untransliterate | LTK.Porters, LTK |
untransliterateString | LTK.Porters, LTK |
Word | LTK.Extract.SL, LTK.Extract, LTK |
word | LTK.Traversals, LTK |
zsize | LTK.Containers, LTK.FSA, LTK |