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

Index

acceptsLTK.FSA, LTK
acyclicPathsLTK.Traversals, LTK
allSLTK.Containers, LTK.FSA, LTK
alphabetLTK.Containers, LTK.FSA, LTK
anySLTK.Containers, LTK.FSA, LTK
ATT 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
attestedAlphabetLTK.Extract.SP, LTK.Extract, LTK
attestedUnitsLTK.Extract.SL, LTK.Extract, LTK
ATTO 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
augmentGLTK.Learn.StringExt
augmentSELTK.Learn.StringExt
autDifferenceLTK.FSA, LTK
autInfiltrationLTK.FSA, LTK
autShuffleLTK.FSA, LTK
autStrictOrderOverlayLTK.FSA, LTK
bothLTK.Containers, LTK.FSA, LTK
boundedCycleExtensionsLTK.Traversals, LTK
brzozowskiDerivativeLTK.FSA, LTK
buildLTK.Factors, LTK
buildFSALTK.Extract.SL, LTK.Extract, LTK
buildLiteralLTK.Factors, LTK
chooseLTK.Containers, LTK.FSA, LTK
chooseOneLTK.Containers, LTK.FSA, LTK
collapseLTK.Containers, LTK.FSA, LTK
CollapsibleLTK.Containers, LTK.FSA, LTK
commonPrefixLTK.FSA, LTK
commonSuffixLTK.FSA, LTK
compileEnvLTK.Porters.Pleb
complementLTK.FSA, LTK
complementDeterministicLTK.FSA, LTK
comTestLTK.Decide.Acom
Conjunction 
1 (Type/Class)LTK.Factors, LTK
2 (Data Constructor)LTK.Factors, LTK
ContainerLTK.Containers, LTK.FSA, LTK
containsLTK.Containers, LTK.FSA, LTK
contractAlphabetToLTK.FSA, LTK
coresidueLTK.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
depthLTK.Traversals, LTK
desemantifyLTK.FSA, LTK
destinationLTK.FSA, LTK
determinizeLTK.FSA, LTK
DictionaryLTK.Porters.Pleb
differenceLTK.Containers, LTK.FSA, LTK
discardOneLTK.Containers, LTK.FSA, LTK
Disjunction 
1 (Type/Class)LTK.Factors, LTK
2 (Data Constructor)LTK.Factors, LTK
doesNotContainLTK.Containers, LTK.FSA, LTK
doParseLTK.Porters.Pleb
doStatementsLTK.Porters.Pleb
doStatementsWithErrorLTK.Porters.Pleb
Dot 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
edgeLabelLTK.FSA, LTK
EggBox 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
embedSymbolsATTLTK.Porters.ATT
emblockLTK.Algebra
emeeLTK.Algebra
emptyLTK.Containers, LTK.FSA, LTK
emptyGLTK.Learn.StringExt
emptyLanguageLTK.FSA, LTK
emptyWithAlphabetLTK.FSA, LTK
endstateLTK.Traversals, LTK
EnvLTK.Porters.Pleb
EpsilonLTK.FSA, LTK
eseLTK.Algebra
ExportableLTK.Porters, LTK
exportATTLTK.Porters.ATT
ExprLTK.Porters.Pleb
extendAlphabetToLTK.FSA, LTK
extensionsLTK.Traversals, LTK
extractMonotonicLTK.Containers, LTK.FSA, LTK
extractSymbolsATTLTK.Porters.ATT
FactorLTK.Factors, LTK
factorsFromPathsLTK.Extract.SL, LTK.Extract, LTK
FinalLTK.Extract.SL, LTK.Extract, LTK
finalPathsLTK.Extract.SL, LTK.Extract, LTK
finalsLTK.FSA, LTK
flatInfiltrationLTK.FSA, LTK
flatIntersectionLTK.FSA, LTK
flatShuffleLTK.FSA, LTK
flatUnionLTK.FSA, LTK
followLTK.FSA, LTK
forbiddenLTK.Factors, LTK
forbiddenFinalsLTK.Extract.SL, LTK.Extract, LTK
forbiddenFreesLTK.Extract.SL, LTK.Extract, LTK
forbiddenInitialsLTK.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
forbiddenSubsequencesLTK.Extract.SP, LTK.Extract, LTK
ForbiddenSubstrings 
1 (Type/Class)LTK.Extract.SL, LTK.Extract, LTK
2 (Data Constructor)LTK.Extract.SL, LTK.Extract, LTK
forbiddenSubstringsLTK.Extract.SL, LTK.Extract, LTK
forbiddenTierSubstringsLTK.Extract.TSL, LTK.Extract, LTK
forbiddenWordsLTK.Extract.SL, LTK.Extract, LTK
forceAlphabetToLTK.FSA, LTK
formatSetLTK.Porters, LTK
FreeLTK.Extract.SL, LTK.Extract, LTK
freePathsLTK.Extract.SL, LTK.Extract, LTK
fromLTK.Porters, LTK
fromAutomatonLTK.Porters.Pleb
fromCollapsibleLTK.Containers, LTK.FSA, LTK
fromELTK.Porters, LTK
fromFSALTK.Porters, LTK
fromSemanticAutomatonLTK.Porters.Pleb
FSA 
1 (Type/Class)LTK.FSA, LTK
2 (Data Constructor)LTK.FSA, LTK
fsaFromForbiddenSubsequencesLTK.Extract.SP, LTK.Extract, LTK
fSLLTK.Learn.SL
fSPLTK.Learn.SP
fTSL 
1 (Function)LTK.Learn.TSL.AugmentedSubsequences
2 (Function)LTK.Learn.TSL.ViaSL, LTK.Learn.TSL
genFSALTK.Learn.StringExt
getDecreasingLTK.Containers, LTK.FSA, LTK
getIncreasingLTK.Containers, LTK.FSA, LTK
getSubsequencesLTK.Extract.SP, LTK.Extract, LTK
GrammarLTK.Learn.StringExt
groundEnvLTK.Porters.Pleb
groupByLTK.Containers, LTK.FSA, LTK
HasAlphabetLTK.Containers, LTK.FSA, LTK
headAnchoredLTK.Factors, LTK
hEquivalenceLTK.FSA, LTK
idempotentsLTK.Algebra
ImportableLTK.Porters, LTK
IncreasingSize 
1 (Type/Class)LTK.Containers, LTK.FSA, LTK
2 (Data Constructor)LTK.Containers, LTK.FSA, LTK
InitialLTK.Extract.SL, LTK.Extract, LTK
initialPathsLTK.Extract.SL, LTK.Extract, LTK
initialsLTK.FSA, LTK
initialsNDPathLTK.Traversals, LTK
initialsPathsLTK.Traversals, LTK
insertLTK.Containers, LTK.FSA, LTK
insertExprLTK.Porters.Pleb
interleaveLTK.Containers, LTK.FSA, LTK
intersectAllLTK.Containers, LTK.FSA, LTK
intersectionLTK.Containers, LTK.FSA, LTK
invertATTLTK.Porters.ATT
isAcomLTK.Decide.Acom, LTK.Decide, LTK
isAcomMLTK.Decide.Acom, LTK.DecideM
isAcomsLTK.Decide.Acom, LTK.DecideS
isAcyclicLTK.Traversals, LTK
isBLTK.Decide.B, LTK.Decide, LTK
isBMLTK.Decide.B, LTK.DecideM
isBsLTK.Decide.B, LTK.DecideS
isCBLTK.Decide.CB, LTK.Decide, LTK
isCBMLTK.Decide.CB, LTK.DecideM
isCBsLTK.Decide.CB, LTK.DecideS
isCofiniteLTK.Decide.Finite, LTK.Decide, LTK
isCofiniteMLTK.Decide.Finite, LTK.DecideM
isCommutativeLTK.Algebra
isDefLTK.Decide.Definite, LTK.Decide, LTK
isDefMLTK.Decide.Definite, LTK.DecideM
isDefsLTK.Decide.Definite, LTK.DecideS
isDeterministicLTK.FSA, LTK
isDot1LTK.Decide.DotDepth, LTK.Decide, LTK
isDot1MLTK.Decide.DotDepth, LTK.DecideM
isDot1sLTK.Decide.DotDepth, LTK.DecideS
isEmptyLTK.Containers, LTK.FSA, LTK
isFiniteLTK.Decide.Finite, LTK.Decide, LTK
isFiniteMLTK.Decide.Finite, LTK.DecideM
isFO2LTK.Decide.FO2, LTK.Decide, LTK
isFO2BLTK.Decide.FO2, LTK.Decide, LTK
isFO2BFLTK.Decide.FO2, LTK.Decide, LTK
isFO2BFMLTK.Decide.FO2, LTK.DecideM
isFO2BMLTK.Decide.FO2, LTK.DecideM
isFO2BsLTK.Decide.FO2, LTK.DecideS
isFO2MLTK.Decide.FO2, LTK.DecideM
isFO2SLTK.Decide.FO2, LTK.Decide, LTK
isFO2sLTK.Decide.FO2, LTK.DecideS
isFO2SMLTK.Decide.FO2, LTK.DecideM
isFO2SsLTK.Decide.FO2, LTK.DecideS
isGDLTK.Decide.GD, LTK.Decide, LTK
isGDMLTK.Decide.GD, LTK.DecideM
isGDsLTK.Decide.GD, LTK.DecideS
isGLPTLTK.Decide.GLPT, LTK.Decide, LTK
isGLPTMLTK.Decide.GLPT, LTK.DecideM
isGLPTsLTK.Decide.GLPT, LTK.DecideS
isGLTLTK.Decide.GLT, LTK.Decide, LTK
isGLTMLTK.Decide.GLT, LTK.DecideM
isGLTsLTK.Decide.GLT, LTK.DecideS
isInLTK.Containers, LTK.FSA, LTK
isizeLTK.Containers, LTK.FSA, LTK
isLAcomLTK.Decide.LAcom, LTK.Decide, LTK
isLAcomMLTK.Decide.LAcom, LTK.DecideM
isLAcomsLTK.Decide.LAcom, LTK.DecideS
isLBLTK.Decide.B, LTK.Decide, LTK
isLBMLTK.Decide.B, LTK.DecideM
isLBsLTK.Decide.B, LTK.DecideS
isLPTLTK.Decide.LPT, LTK.Decide, LTK
isLPTMLTK.Decide.LPT, LTK.DecideM
isLPTsLTK.Decide.LPT, LTK.DecideS
isLTLTK.Decide.LT, LTK.Decide, LTK
isLTMLTK.Decide.LT, LTK.DecideM
isLTsLTK.Decide.LT, LTK.DecideS
isLTTLTK.Decide.LTT, LTK.Decide, LTK
isLTTMLTK.Decide.LTT, LTK.DecideM
isLTTsLTK.Decide.LTT, LTK.DecideS
isMTDefLTK.Decide.Multitier, LTK.Decide, LTK
isMTDefMLTK.Decide.Multitier, LTK.DecideM
isMTDefsLTK.Decide.Multitier, LTK.DecideS
isMTFLTK.Decide.Multitier, LTK.Decide, LTK
isMTFMLTK.Decide.Multitier, LTK.DecideM
isMTFsLTK.Decide.Multitier, LTK.DecideS
isMTGDLTK.Decide.Multitier, LTK.Decide, LTK
isMTGDMLTK.Decide.Multitier, LTK.DecideM
isMTGDsLTK.Decide.Multitier, LTK.DecideS
isMTRDefLTK.Decide.Multitier, LTK.Decide, LTK
isMTRDefMLTK.Decide.Multitier, LTK.DecideM
isMTRDefsLTK.Decide.Multitier, LTK.DecideS
isNotInLTK.Containers, LTK.FSA, LTK
isNullLTK.FSA, LTK
isProperSubsetOfLTK.Containers, LTK.FSA, LTK
isProperSupersetOfLTK.Containers, LTK.FSA, LTK
isPTLTK.Decide.PT, LTK.Decide, LTK
isPTMLTK.Decide.PT, LTK.DecideM
isPTsLTK.Decide.PT, LTK.DecideS
isRDefLTK.Decide.Definite, LTK.Decide, LTK
isRDefMLTK.Decide.Definite, LTK.DecideM
isRDefsLTK.Decide.Definite, LTK.DecideS
isRecognizedByLTK.Learn.StringExt
isSFLTK.Decide.SF, LTK.Decide, LTK
isSFMLTK.Decide.SF, LTK.DecideM
isSFsLTK.Decide.SF, LTK.DecideS
isSLLTK.Extract.SL, LTK.Decide.SL, LTK.Decide, LTK
isSPLTK.Extract.SP, LTK.Decide.SP, LTK.Decide, LTK
isSSQLTK.Extract.SP, LTK.Extract, LTK
isSubGOfLTK.Learn.StringExt
isSubsetOfLTK.Containers, LTK.FSA, LTK
isSupersetOfLTK.Containers, LTK.FSA, LTK
isTCofiniteLTK.Decide.Finite, LTK.Decide, LTK
isTCofiniteMLTK.Decide.Finite, LTK.DecideM
isTDefLTK.Decide.Definite, LTK.Decide, LTK
isTDefMLTK.Decide.Definite, LTK.DecideM
isTDefsLTK.Decide.Definite, LTK.DecideS
isTFiniteLTK.Decide.Finite, LTK.Decide, LTK
isTFiniteMLTK.Decide.Finite, LTK.DecideM
isTGDLTK.Decide.GD, LTK.Decide, LTK
isTGDMLTK.Decide.GD, LTK.DecideM
isTGDsLTK.Decide.GD, LTK.DecideS
isTLAcomLTK.Decide.TLAcom, LTK.Decide, LTK
isTLAcomMLTK.Decide.TLAcom, LTK.DecideM
isTLAcomsLTK.Decide.TLAcom, LTK.DecideS
isTLBLTK.Decide.B, LTK.Decide, LTK
isTLBMLTK.Decide.B, LTK.DecideM
isTLBsLTK.Decide.B, LTK.DecideS
isTLPTLTK.Decide.TLPT, LTK.Decide, LTK
isTLPTMLTK.Decide.TLPT, LTK.DecideM
isTLPTsLTK.Decide.TLPT, LTK.DecideS
isTLTLTK.Decide.TLT, LTK.Decide, LTK
isTLTMLTK.Decide.TLT, LTK.DecideM
isTLTsLTK.Decide.TLT, LTK.DecideS
isTLTTLTK.Decide.TLTT, LTK.Decide, LTK
isTLTTMLTK.Decide.TLTT, LTK.DecideM
isTLTTsLTK.Decide.TLTT, LTK.DecideS
isTRDefLTK.Decide.Definite, LTK.Decide, LTK
isTRDefMLTK.Decide.Definite, LTK.DecideM
isTRDefsLTK.Decide.Definite, LTK.DecideS
isTrivialLTK.Decide.Trivial, LTK.Decide, LTK
isTSLLTK.Decide.TSL, LTK.Decide, LTK
isVarietyLTK.Decide.Variety, LTK.Decide, LTK
isVarietyMLTK.Decide.Variety, LTK.DecideM
Jeff 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
jEquivalenceLTK.FSA, LTK
keepLTK.Containers, LTK.FSA, LTK
kleeneClosureLTK.FSA, LTK
labelsLTK.Traversals, LTK
learnLTK.Learn.StringExt
LinearizableLTK.Containers, LTK.FSA, LTK
Literal 
1 (Type/Class)LTK.Factors, LTK
2 (Data Constructor)LTK.Factors, LTK
loopifyLTK.FSA, LTK
makeAutomatonLTK.Porters.Pleb
makeAutomatonELTK.Porters.Pleb
makeConstraintLTK.Factors, LTK
meLTK.Algebra
minimizeLTK.FSA, LTK
minimizeDeterministicLTK.FSA, LTK
minimizeOverLTK.FSA, LTK
multiplicitiesLTK.Containers, LTK.FSA, LTK
multiplicityLTK.Containers, LTK.FSA, LTK
MultisetLTK.Containers, LTK.FSA, LTK
multisetFromListLTK.Containers, LTK.FSA, LTK
nerodeLTK.FSA, LTK
neutralizeLTK.FSA, LTK
nodeLabelLTK.FSA, LTK
nondeterministicAcyclicExtensionsLTK.Traversals, LTK
normalizeLTK.FSA, LTK
omegaLTK.Algebra
orderGraphLTK.FSA, LTK
pAcomLTK.Parameters
ParameterLTK.Parameters
Parse 
1 (Type/Class)LTK.Porters.Pleb
2 (Data Constructor)LTK.Porters.Pleb
parseExprLTK.Porters.Pleb
partitionByLTK.Containers, LTK.FSA, LTK
Path 
1 (Type/Class)LTK.Traversals, LTK
2 (Data Constructor)LTK.Traversals, LTK
pCBLTK.Parameters
pDefLTK.Parameters
pGDefLTK.Parameters
PIntLTK.Parameters
Pleb 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
powersetGraphLTK.FSA, LTK
pRDefLTK.Parameters
primitiveIdeal2LTK.FSA, LTK
primitiveIdealLLTK.FSA, LTK
primitiveIdealRLTK.FSA, LTK
projectLTK.Tiers, LTK
pSLLTK.Parameters
pSPLTK.Parameters
PSymSetLTK.Parameters
pTierLTK.Parameters
quotLeftLTK.FSA, LTK
quotMidLTK.FSA, LTK
quotRightLTK.FSA, LTK
readATTLTK.Porters.ATT
readCorpusLTK.Porters.Corpus
readPlebLTK.Porters.Pleb
refinePartitionByLTK.Containers, LTK.FSA, LTK
rejectingPathsLTK.Traversals, LTK
renameStatesLTK.FSA, LTK
renameStatesByLTK.FSA, LTK
renameSymbolsByLTK.FSA, LTK
requiredLTK.Factors, LTK
residueLTK.FSA, LTK
restoreUniverseLTK.Porters.Pleb
restrictUniverseLTK.Porters.Pleb
reverseLTK.FSA, LTK
sccLTK.FSA, LTK
sccGraphLTK.FSA, LTK
semanticallyExtendAlphabetToLTK.FSA, LTK
sequencesOverLTK.Containers, LTK.FSA, LTK
setFromMultisetLTK.Containers, LTK.FSA, LTK
sigmaLTK.FSA, LTK
singletonLTK.Containers, LTK.FSA, LTK
singletonLanguageLTK.FSA, LTK
singletonWithAlphabetLTK.FSA, LTK
sizeLTK.Containers, LTK.FSA, LTK
SLG 
1 (Type/Class)LTK.Learn.SL
2 (Data Constructor)LTK.Learn.SL
slgLTK.Learn.SL
slgAlphaLTK.Learn.SL
slgKLTK.Learn.SL
slQLTK.Extract.SL, LTK.Extract, LTK
sourceLTK.FSA, LTK
SPGLTK.Learn.SP
State 
1 (Type/Class)LTK.FSA, LTK
2 (Data Constructor)LTK.FSA, LTK
stateMultisetLTK.Traversals, LTK
statesLTK.FSA, LTK
SubsequenceLTK.Factors, LTK
subsequenceClosureLTK.Extract.SP, LTK.Extract, LTK
SubstringLTK.Factors, LTK
substringLTK.Factors, LTK
Symbol 
1 (Type/Class)LTK.FSA, LTK
2 (Data Constructor)LTK.FSA, LTK
symmetricDifferenceLTK.Containers, LTK.FSA, LTK
SymSetLTK.Porters.Pleb
SynMonLTK.Algebra
syntacticMonoidLTK.FSA, LTK
syntacticOMonoidLTK.FSA, LTK
SyntacticOrder 
1 (Type/Class)LTK.Porters, LTK
2 (Data Constructor)LTK.Porters, LTK
syntacticOrderLTK.Algebra
syntacticOSemigroupLTK.FSA, LTK
syntacticSemigroupLTK.FSA, LTK
TaggedSubstringLTK.Extract.SL, LTK.Extract, LTK
tailAnchoredLTK.Factors, LTK
tierLTK.Tiers, LTK
tierifyLTK.FSA, LTK
tmapLTK.Containers, LTK.FSA, LTK
toLTK.Porters, LTK
toFSALTK.Porters, LTK
TokenLTK.Porters.Pleb
tokenizeLTK.Porters.Pleb
totalWithAlphabetLTK.FSA, LTK
trLTK.Containers, LTK.FSA, LTK
Transition 
1 (Type/Class)LTK.FSA, LTK
2 (Data Constructor)LTK.FSA, LTK
transitionsLTK.FSA, LTK
transliterateLTK.Porters, LTK
transliterateStringLTK.Porters, LTK
trimUnreachablesLTK.FSA, LTK
trivialUnderLTK.FSA, LTK
TSLG 
1 (Type/Class)LTK.Learn.TSL.AugmentedSubsequences
2 (Type/Class)LTK.Learn.TSL.ViaSL, LTK.Learn.TSL
TypeLTK.Porters, LTK
unionLTK.Containers, LTK.FSA, LTK
unionAllLTK.Containers, LTK.FSA, LTK
unsymbolsLTK.FSA, LTK
untransliterateLTK.Porters, LTK
untransliterateStringLTK.Porters, LTK
WordLTK.Extract.SL, LTK.Extract, LTK
wordLTK.Traversals, LTK
zsizeLTK.Containers, LTK.FSA, LTK