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 |
isAcyclic | LTK.Traversals, LTK |
isB | LTK.Decide.B, LTK.Decide, LTK |
isBM | LTK.Decide.B, LTK.DecideM |
isCB | LTK.Decide.CB, LTK.Decide, LTK |
isCBM | LTK.Decide.CB, LTK.DecideM |
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 |
isDeterministic | LTK.FSA, LTK |
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 |
isFO2M | LTK.Decide.FO2, LTK.DecideM |
isFO2S | LTK.Decide.FO2, LTK.Decide, LTK |
isFO2SM | LTK.Decide.FO2, LTK.DecideM |
isGD | LTK.Decide.GD, LTK.Decide, LTK |
isGDM | LTK.Decide.GD, LTK.DecideM |
isGLPT | LTK.Decide.GLPT, LTK.Decide, LTK |
isGLPTM | LTK.Decide.GLPT, LTK.DecideM |
isGLT | LTK.Decide.GLT, LTK.Decide, LTK |
isGLTM | LTK.Decide.GLT, LTK.DecideM |
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 |
isLB | LTK.Decide.B, LTK.Decide, LTK |
isLBM | LTK.Decide.B, LTK.DecideM |
isLPT | LTK.Decide.LPT, LTK.Decide, LTK |
isLPTM | LTK.Decide.LPT, LTK.DecideM |
isLT | LTK.Decide.LT, LTK.Decide, LTK |
isLTM | LTK.Decide.LT, LTK.DecideM |
isLTT | LTK.Decide.LTT, LTK.Decide, LTK |
isLTTM | LTK.Decide.LTT, LTK.DecideM |
isMTDef | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTDefM | LTK.Decide.Multitier, LTK.DecideM |
isMTF | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTFM | LTK.Decide.Multitier, LTK.DecideM |
isMTGD | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTGDM | LTK.Decide.Multitier, LTK.DecideM |
isMTRDef | LTK.Decide.Multitier, LTK.Decide, LTK |
isMTRDefM | LTK.Decide.Multitier, LTK.DecideM |
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 |
isRDef | LTK.Decide.Definite, LTK.Decide, LTK |
isRDefM | LTK.Decide.Definite, LTK.DecideM |
isRecognizedBy | LTK.Learn.StringExt |
isSF | LTK.Decide.SF, LTK.Decide, LTK |
isSFM | LTK.Decide.SF, LTK.DecideM |
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 |
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 |
isTLAcom | LTK.Decide.TLAcom, LTK.Decide, LTK |
isTLAcomM | LTK.Decide.TLAcom, LTK.DecideM |
isTLB | LTK.Decide.B, LTK.Decide, LTK |
isTLBM | LTK.Decide.B, LTK.DecideM |
isTLPT | LTK.Decide.TLPT, LTK.Decide, LTK |
isTLPTM | LTK.Decide.TLPT, LTK.DecideM |
isTLT | LTK.Decide.TLT, LTK.Decide, LTK |
isTLTM | LTK.Decide.TLT, LTK.DecideM |
isTLTT | LTK.Decide.TLTT, LTK.Decide, LTK |
isTLTTM | LTK.Decide.TLTT, LTK.DecideM |
isTRDef | LTK.Decide.Definite, LTK.Decide, LTK |
isTRDefM | LTK.Decide.Definite, LTK.DecideM |
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 |