Index

A

ADFA (class in FAdo.fl) ADFArnd (class in FAdo.rndadfa)

AFA (class in FAdo.fl) ANFA (class in FAdo.fl) atom (class in FAdo.reex)

B

buildErrorCorrectPropF() (in module FAdo.codes) buildErrorCorrectPropS() (in module FAdo.codes) buildErrorDetectPropF() (in module FAdo.codes) buildErrorDetectPropS() (in module FAdo.codes) BuildFadoObject (class in FAdo.fio) buildIATPropF() (in module FAdo.codes) buildIATPropS() (in module FAdo.codes)

buildIPTPropF() (in module FAdo.codes) buildIPTPropS() (in module FAdo.codes) buildPrefixProperty() (in module FAdo.codes) BuildRegexp (class in FAdo.reex) BuildRPNRegexp (class in FAdo.reex) BuildRPNSRE (class in FAdo.reex) BuildSRE (class in FAdo.reex) buildTrajPropS() (in module FAdo.codes)

C

cfgGenerator (class in FAdo.cfg) CFGrammar (class in FAdo.cfg) CNF (class in FAdo.cfg) CodeProperty (class in FAdo.codes) concat (class in FAdo.reex)

concatWStar() (in module FAdo.comboperations) conj (class in FAdo.reex) connective (class in FAdo.reex) createInputAlteringSIDTrans() (in module FAdo.codes) cutPoints() (in module FAdo.conversions)

D

dag (class in FAdo.reex) delta (FAdo.fa.FA attribute) (FAdo.fa.SemiDFA attribute) DFA (class in FAdo.fa) DFA2regexpDijkstra() (in module FAdo.conversions) DFAtoADFA() (in module FAdo.fl)

DFCA (class in FAdo.fl) DiGraph (class in FAdo.graphs) DiGraphVm (class in FAdo.graphs) disj (class in FAdo.reex) disjWStar() (in module FAdo.comboperations) dnode (class in FAdo.reex) Drawable (class in FAdo.common)

E

editDistanceW() (in module FAdo.codes) emptyset (class in FAdo.reex) EnumL (class in FAdo.fa)

epsilon (class in FAdo.reex) ErrCorrectProp (class in FAdo.codes) ErrDetectProp (in module FAdo.codes) exponentialDensityP() (in module FAdo.codes)

F

FA (class in FAdo.fa) FA2GFA() (in module FAdo.conversions) FA2regexpCG() (in module FAdo.conversions) FA2regexpCG_nn() (in module FAdo.conversions) FA2regexpDynamicCycleHeuristic() (in module FAdo.conversions) FA2regexpSE() (in module FAdo.conversions) FA2regexpSE_nn() (in module FAdo.conversions) FA2regexpSEO() (in module FAdo.conversions) FA2regexpStaticCycleHeuristic() (in module FAdo.conversions) FAallRegExps() (in module FAdo.conversions) FAdo.cfg module FAdo.codes module FAdo.comboperations module FAdo.common module FAdo.conversions module

FAdo.fa module FAdo.fio module FAdo.fl module FAdo.graphs module FAdo.reex module FAdo.rndadfa module FAdo.rndfap module FAdo.transducers module FAeliminateSingles() (in module FAdo.conversions) Final (FAdo.fa.FA attribute) FL (class in FAdo.fl)

G

genRandomTrie() (in module FAdo.fl) genRndTrieBalanced() (in module FAdo.fl) genRndTriePrefix() (in module FAdo.fl) genRndTrieUnbalanced() (in module FAdo.fl)

GFA (class in FAdo.conversions) GFT (class in FAdo.transducers) Graph (class in FAdo.graphs) gRules() (in module FAdo.cfg)

H

hypercodeTransducer() (in module FAdo.transducers)

I

IATProp (class in FAdo.codes) ICDFArgen (class in FAdo.rndfap) ICDFArnd (class in FAdo.rndfap) ICDFArndIncomplete (class in FAdo.rndfap)

infixTransducer() (in module FAdo.transducers) Initial (FAdo.fa.FA attribute) interWStar() (in module FAdo.comboperations) IPTProp (class in FAdo.codes) isLimitExceed() (in module FAdo.transducers)

M

m_atom (class in FAdo.reex) module FAdo.cfg FAdo.codes FAdo.comboperations FAdo.common FAdo.conversions FAdo.fa FAdo.fio FAdo.fl FAdo.graphs FAdo.reex FAdo.rndadfa FAdo.rndfap FAdo.transducers

N

NFA (class in FAdo.fa)

NFAr (class in FAdo.fa) NFT (class in FAdo.transducers)

O

OFA (class in FAdo.fa)

option (class in FAdo.reex) outfixTransducer() (in module FAdo.transducers)

P

position (class in FAdo.reex) power (class in FAdo.reex)

PrefixProp (class in FAdo.codes) prefixTransducer() (in module FAdo.transducers)

R

readFromFile() (in module FAdo.fio) readOneFromFile() (in module FAdo.fio) readOneFromString() (in module FAdo.fio) regexp (class in FAdo.reex)

RegularExpression (class in FAdo.reex) reStringRGenerator (class in FAdo.cfg) RndWGen (class in FAdo.fl) rpn2regexp() (in module FAdo.reex)

S

saveToFile() (in module FAdo.fio) saveToJson() (in module FAdo.fio) saveToString() (in module FAdo.fa) (in module FAdo.fio) sconcat (class in FAdo.reex) sconj (class in FAdo.reex) sconnective (class in FAdo.reex) sdisj (class in FAdo.reex) SemiDFA (class in FAdo.fa) SFT (class in FAdo.transducers) shuffle (class in FAdo.reex) Sigma (FAdo.fa.FA attribute) (FAdo.fa.SemiDFA attribute) sigmaInitialSegment() (in module FAdo.fl) sigmaP (class in FAdo.reex) sigmaS (class in FAdo.reex) smallAlphabet() (in module FAdo.cfg)

snot (class in FAdo.reex) SP2regexp() (in module FAdo.conversions) specialConstant (class in FAdo.reex) SSemiGroup (class in FAdo.fa) sstar (class in FAdo.reex) star (class in FAdo.reex) starConcat() (in module FAdo.comboperations) starDisj() (in module FAdo.comboperations) starInter() (in module FAdo.comboperations) starInter0() (in module FAdo.comboperations) starWConcat() (in module FAdo.comboperations) States (FAdo.fa.FA attribute) (FAdo.fa.SemiDFA attribute) str2regexp() (in module FAdo.reex) str2sre() (in module FAdo.reex) stringToADFA() (in module FAdo.fl) stringToDFA() (in module FAdo.fa) suffixTransducer() (in module FAdo.transducers)

T

to_s() (in module FAdo.reex) toJson() (in module FAdo.fio)

TrajProp (class in FAdo.codes) Transducer (class in FAdo.transducers)

W

Word (class in FAdo.common)