!-- Start Open Web Analytics Tracker -->
Navigation
index
modules
|
FAdo 2.2.0 documentation
»
Index
Index
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
U
|
V
|
W
|
Z
A
acyclicP() (OFA method)
add() (SSemiGroup method)
addEdge() (DiGraph method)
(Graph method)
addEpsilonLoops() (NFA method)
(SFT method)
(SSFA method)
(SST method)
addFinal() (FA method)
addGen() (SSemiGroup method)
addInitial() (NFA method)
addOutput() (GFT method)
addSigma() (FA method)
addState() (AFA method)
(FA method)
addSuffix() (ADFA method)
addToCode() (IPTProp method)
addToSigma() (SST method)
addTransition() (DFA method)
(GFA method)
(GFT method)
(NFA method)
(NFAr method)
(OFA method)
(SFT method)
(SSFA method)
(SST method)
addTransitionIfNeeded() (DFA method)
addTransitionProductQ() (SFT method)
(SST method)
addTransitionQ() (NFA method)
(SFT method)
addTransitionStar() (NFA method)
addVertex() (Graph method)
addWord() (FL method)
addWords() (FL method)
ADFA (class in FAdo.fl)
ADFArnd (class in FAdo.rndadfa)
aEquiv() (DFA method)
AFA (class in FAdo.fl)
AllWords (class in FAdo.common)
alpha() (ADFArnd method)
alpha0() (ADFArnd method)
alphabet() (PSPVanila method)
alphabeticLength() (CAtom static method)
(Connective method)
(Power method)
(RegExp static method)
(SConnective method)
(SNot method)
(SpecialConstant static method)
(Unary method)
ANFA (class in FAdo.fl)
assignLow() (GFA method)
assignNum() (GFA method)
autobisimulation() (NFA method)
autobisimulation2() (NFA method)
B
behaviour() (PSPVanila method)
beta() (ADFArnd method)
beta0() (ADFArnd method)
binomial() (in module FAdo.common)
(in module FAdo.rndadfa)
BitString (class in FAdo.fl)
block_maximality_index() (in module FAdo.prax)
block_unive_index() (in module FAdo.prax)
blockUniversalP() (in module FAdo.fl)
BlockWords (class in FAdo.fl)
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)
buildHypercodeProperty() (in module FAdo.codes)
buildIATPropF() (in module FAdo.codes)
buildIATPropS() (in module FAdo.codes)
buildInfixProperty() (in module FAdo.codes)
buildIPTPropF() (in module FAdo.codes)
buildIPTPropS() (in module FAdo.codes)
buildOutfixProperty() (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)
buildSuffixProperty() (in module FAdo.codes)
buildTrajPropS() (in module FAdo.codes)
buildUDCodeProperty() (in module FAdo.codes)
C
cat_one() (DAG_I method)
catLF() (DAG method)
CAtom (class in FAdo.reex)
CConcat (class in FAdo.reex)
CConj (class in FAdo.reex)
CDisj (class in FAdo.reex)
CEmptySet (class in FAdo.reex)
CEpsilon (class in FAdo.reex)
CFGerror
CFGGenerator (class in FAdo.cfg)
CFGgrammarError
CFGrammar (class in FAdo.cfg)
CFGterminalError
changeSigma() (FA method)
chomsky() (CNF method)
closeEpsilon() (NFA method)
CNF (class in FAdo.cfg)
coBlockDFA() (in module FAdo.fl)
codeOfTransducer() (GFT method)
CodeProperty (class in FAdo.codes)
CodesError
CodingTheoryError
compare() (RegExp method)
compareMinimalDFA() (RegExp method)
compat() (DFA method)
Compl (class in FAdo.reex)
complete() (ADFA method)
(DFA method)
completeDelta() (GFA method)
completeMinimal() (DFA method)
completeP() (DFA method)
completeProduct() (DFA method)
composition() (SFT method)
computeFollowNames() (NFA method)
computeKernel() (DFA method)
concat() (DFA method)
(NFA method)
(SFT method)
concatI() (DFA method)
concatN() (in module FAdo.transducers)
concatWStar() (in module FAdo.comboperations)
conjunction() (FA method)
Connective (class in FAdo.reex)
constructCode() (in module FAdo.codes)
COption (class in FAdo.reex)
countadfa() (in module FAdo.rndadfa)
countAdfaBySources() (ADFArnd method)
countadfaL() (in module FAdo.rndadfa)
countafa() (in module FAdo.rndadfa)
countafaL() (in module FAdo.rndadfa)
countTransitions() (FA method)
(NFA method)
createInputAlteringSIDTrans() (in module FAdo.codes)
cross() (SDisj static method)
CShuffle (class in FAdo.reex)
CShuffleU (class in FAdo.reex)
CSigmaP (class in FAdo.reex)
CSigmaS (class in FAdo.reex)
CStar (class in FAdo.reex)
cutPoints() (in module FAdo.conversions)
CYKParserTable() (in module FAdo.cfg)
D
DAG (class in FAdo.reex)
DAG_I (class in FAdo.reex)
deleteState() (GFA method)
(SFT method)
deleteStates() (DFA method)
(NFA method)
(NFAr method)
(SFT method)
delFinal() (FA method)
delFinals() (FA method)
delFromList() (in module FAdo.common)
Delta() (DFA method)
delTransition() (DFA method)
(NFA method)
(NFAr method)
(SFT method)
dememoize() (in module FAdo.common)
derivative() (CAtom method)
(CSigmaP method)
(CSigmaS method)
(SConcat method)
(SConj method)
(SDisj method)
(SNot method)
(SpecialConstant method)
(SStar method)
deterministicP() (DFA static method)
(NFA method)
detSet() (NFA method)
DFA (class in FAdo.fa)
DFA2regexpDijkstra() (in module FAdo.conversions)
dfaAuPoint() (RegExp method)
dfaBrzozowski() (RegExp method)
DFAdifferentSigma
DFAEmptyDFA
DFAEmptySigma
DFAepsilonRedefinition
DFAequivalent
DFAerror
DFAFileError
DFAFound
DFAinputError
DFAmarkedError
dfaNaiveFollow() (RegExp method)
DFAnoInitial
DFAnotComplete
DFAnotMinimal
DFAnotNFA
DFAstateUnknown
DFAstopped
DFAsymbolUnknown
DFAsyncWords() (in module FAdo.conversions)
DFASyntaticError
DFAtoADFA() (in module FAdo.fl)
dfaYMG() (RegExp method)
DFCA (class in FAdo.fl)
DFS() (GFA method)
dfs_visit() (GFA method)
diff() (FL method)
DiGraph (class in FAdo.graphs)
DiGraphVm (class in FAdo.graphs)
directRank() (AFA method)
Dirichlet (class in FAdo.prax)
disj() (FA method)
disjunction() (FA method)
disjWStar() (in module FAdo.comboperations)
display() (Drawable method)
diss() (ADFA method)
dissMin() (ADFA method)
dist() (DFA method)
distDerivative() (SpecialConstant method)
distMin() (DFA method)
distR() (DFA method)
distRMin() (DFA method)
distTS() (DFA method)
dotDrawEdge() (DiGraph static method)
dotDrawState() (FA method)
(SemiDFA method)
dotDrawTransition() (FA static method)
(OFA method)
(SemiDFA static method)
dotDrawVertex() (DiGraph method)
dotFormat() (DiGraph method)
(Drawable method)
(FA method)
(Graph method)
(NFA method)
(SemiDFA method)
dotLabel() (Drawable method)
Drawable (class in FAdo.common)
dump() (OFA method)
dup() (ADFA method)
(DFA method)
(GFA method)
(NFA method)
(SFT method)
DuplicateName
E
editDistanceW() (in module FAdo.codes)
elim_unitary() (CNF method)
elimEpsilon() (NFA method)
elimEpsilonO() (NFAr method)
eliminate() (GFA method)
eliminateAll() (GFA method)
eliminateDeadName() (FA method)
eliminateEpsilonTransitions() (NFA method)
eliminateState() (GFA method)
eliminateStout() (FA method)
eliminateTSymbol() (NFA method)
emptyDFA() (in module FAdo.fa)
emptyP() (OFA method)
(SFT method)
(SSFA method)
emptysetP() (CEmptySet static method)
(RegExp static method)
ensureDead() (AFA method)
enum() (EnumL method)
enumCrossSection() (EnumL method)
EnumDFA (class in FAdo.fa)
enumDFA() (DFA method)
EnumL (class in FAdo.fa)
EnumNFA (class in FAdo.fa)
enumNFA() (NFA method)
epsilonClosure() (NFA method)
epsilonLength() (CAtom static method)
(CEmptySet static method)
(CEpsilon static method)
(Compl method)
(Connective method)
(COption method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp static method)
(SConnective method)
(SNot method)
(SpecialConstant static method)
(Unary method)
epsilonOutP() (SFT method)
(SST method)
epsilonP() (CEmptySet static method)
(CEpsilon static method)
(NFA method)
(RegExp static method)
(SFT method)
(SSFA method)
(SST method)
epsilonPaths() (NFA method)
equal() (DFA method)
equivalentP() (FA method)
(in module FAdo.reex)
(RegExp method)
equivP() (RegExp method)
equivReduced() (NFA method)
ErrCorrectProp (class in FAdo.codes)
ErrDetectProp (in module FAdo.codes)
evalNumberOfStateCycles() (GFA method)
evalRank() (AFA method)
evalSymbol() (DFA method)
(FA method)
(GFA method)
(NFA method)
(OFA method)
evalSymbolI() (DFA method)
evalSymbolL() (DFA method)
evalSymbolLI() (DFA method)
evalWord() (DFA method)
evalWordP() (DAG_I method)
(DFA method)
(NFA method)
(RegExp method)
(SFT method)
evalWordSlowP() (SFT method)
ewp() (CConcat method)
(CConj method)
(CDisj method)
(CEmptySet method)
(CEpsilon method)
(Compl method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CSigmaP method)
(CSigmaS method)
(CStar method)
(RegExp static method)
(SConcat method)
(SConj method)
(SDisj method)
(SNot method)
(Unary method)
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.ordered
module
FAdo.prax
module
FAdo.reex
module
FAdo.rndadfa
module
FAdo.rndfap
module
FAdo.ssemigroup
module
FAdo.sst
module
FAdo.transducers
module
FAdoError
FAdoGeneralError
FAdoNotImplemented
FAdoSyntacticError
FAeliminateSingles() (in module FAdo.conversions)
FAException
FASiseMismatch
fillStack() (EnumDFA method)
(EnumL method)
(EnumNFA method)
filter() (FL method)
finalCompP() (DFA method)
(NFA method)
finalP() (FA method)
finalsP() (FA method)
first() (CAtom method)
(CConcat method)
(CDisj method)
(Compl method)
(Connective method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp method)
(SConnective method)
(SDisj method)
(SNot method)
(SpecialConstant static method)
(Unary method)
first_l() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(COption method)
(CShuffle method)
(CStar method)
firstBlockWords() (in module FAdo.fl)
fixedHierSubset() (in module FAdo.codes)
FixedProp (class in FAdo.codes)
FL (class in FAdo.fl)
fnhException
follow_l() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(COption method)
(CShuffle method)
(CStar method)
followFromPosition() (NFA method)
followLists() (CAtom method)
(CConcat method)
(CDisj method)
(Compl method)
(Connective method)
(COption method)
(CStar method)
(Power method)
(RegExp method)
(SConnective method)
(SDisj method)
(SNot method)
(SpecialConstant method)
(Unary method)
followListsD() (CAtom method)
(CConcat method)
(CDisj method)
(Compl method)
(Connective method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp method)
(SConnective method)
(SNot method)
(SpecialConstant method)
(Unary method)
followListsStar() (CAtom method)
(COption method)
(SDisj method)
(SpecialConstant static method)
forceIterable() (in module FAdo.common)
forceToDFA() (ADFA method)
forceToDFCA() (ADFA method)
fromBase() (in module FAdo.common)
functionalP() (SFT method)
G
gamma() (ADFArnd method)
generate() (CFGGenerator method)
generateBlockTrie() (in module FAdo.fl)
genFinalities() (ICDFArgen method)
genRandomTrie() (in module FAdo.fl)
genRndBitString() (in module FAdo.fl)
genRndTrieBalanced() (in module FAdo.fl)
genRndTriePrefix() (in module FAdo.fl)
genRndTrieUnbalanced() (in module FAdo.fl)
GenWordDis (class in FAdo.prax)
getAtomIdx() (DAG method)
getIdx() (DAG method)
getLeaves() (AFA method)
GFA (class in FAdo.conversions)
GFT (class in FAdo.transducers)
Graph (class in FAdo.graphs)
GraphError
graphvizTranslate() (in module FAdo.common)
gRules() (in module FAdo.cfg)
H
half() (NFA method)
hasStateIndexP() (FA method)
hasTransitionP() (NFA method)
hasTrapStateP() (DFA method)
head() (SConcat method)
head_rev() (SConcat method)
HKeqP() (DFA method)
(NFA method)
homogeneousFinalityP() (NFA method)
homogeneousP() (in module FAdo.common)
homogenousP() (NFA method)
(NFAr method)
hxState() (DFA method)
HypercodeProp (class in FAdo.codes)
hypercodeTransducer() (in module FAdo.transducers)
hyperMinimal() (DFA method)
I
IATProp (class in FAdo.codes)
ICDFArgen (class in FAdo.rndfap)
ICDFArnd (class in FAdo.rndfap)
ICDFArndIncomplete (class in FAdo.rndfap)
iCompleteP() (EnumL method)
IllegalBias
images() (FA method)
inBase() (in module FAdo.common)
inDegree() (DFA method)
indexList() (FA method)
infix() (DFA method)
InfixProp (class in FAdo.codes)
infixTransducer() (in module FAdo.transducers)
inIntersection() (PSPDiff method)
(PSPEqual method)
(PSPVanila method)
(SFT method)
(SST method)
inIntersectionSlow() (SFT method)
initialComp() (DFA method)
(NFA method)
initialP() (DFA method)
(FA method)
initialSet() (DFA method)
(FA method)
initStack() (EnumDFA method)
(EnumL method)
(EnumNFA method)
inputS() (FA method)
interLF() (DAG method)
intersection() (FL method)
interWStar() (in module FAdo.comboperations)
inverse() (DiGraph method)
(PSPVanila method)
(SFT method)
(SST method)
IPTProp (class in FAdo.codes)
isAInvariant() (PSPVanila method)
isLimitExceed() (in module FAdo.transducers)
isSubclass() (in module FAdo.codes)
J
joinStates() (DFA method)
L
Lambert (class in FAdo.prax)
last() (CAtom method)
(CConcat method)
(CDisj method)
(Compl method)
(Connective method)
(COption method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp method)
(SConnective method)
(SDisj method)
(SNot method)
(SpecialConstant method)
(Unary method)
last_l() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(COption method)
(CShuffle method)
(CStar method)
leftQuotient() (OFA method)
length (DFCA property)
lEquivNFA() (NFA method)
level() (ADFA method)
linearForm() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(Compl method)
(Connective method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CSigmaP method)
(CSigmaS method)
(CStar method)
(Power method)
(RegExp method)
(SConcat method)
(SConj method)
(SConnective method)
(SDisj method)
(SNot method)
(SpecialConstant method)
(SStar method)
(Unary method)
linearFormC() (CAtom method)
(CSigmaP method)
(CSigmaS method)
(SConcat method)
(SDisj method)
(SNot method)
linearP() (CAtom method)
list2string() (in module FAdo.codes)
listOfTransitions() (GFT method)
long2base() (in module FAdo.codes)
lrEquivNFA() (NFA method)
lSet() (in module FAdo.common)
M
MADFA() (FL method)
make_prefix_free() (DFA method)
makeCode() (IPTProp method)
makeCodeO() (IPTProp method)
makenonterminals() (CFGrammar method)
makePNG() (Drawable method)
makeReversible() (DFA method)
maketerminals() (CFGrammar method)
mark() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(Compl method)
(Connective method)
(CShuffle method)
(CShuffleU method)
(Power method)
(RegExp method)
(SConnective method)
(SNot method)
(SpecialConstant method)
(Unary method)
marked() (RegExp method)
markNonEquivalent() (DFA method)
markVertex() (DiGraphVm method)
MAtom (class in FAdo.reex)
max_length() (Dirichlet method)
maximal_index_p() (in module FAdo.prax)
maximality_index() (in module FAdo.prax)
maximalP() (CodeProperty method)
(FixedProp method)
(IPTProp method)
(UDCodeProp method)
measure() (CAtom static method)
(CEmptySet static method)
(CEpsilon static method)
memoize() (in module FAdo.common)
Memoized (class in FAdo.common)
mergeInitial() (ANFA method)
mergeLeaves() (ANFA method)
mergeStates() (ANFA method)
(DFA method)
(NFAr method)
mergeStatesSet() (NFAr method)
minDFCA() (ADFA method)
minI() (in module FAdo.prax)
minimal() (ADFA method)
(DFA method)
(NFA method)
minimalBrzozowski() (OFA method)
minimalBrzozowskiP() (OFA method)
minimalDFA() (NFA method)
minimalHopcroft() (DFA method)
minimalHopcroftP() (DFA method)
minimalIncremental() (DFA method)
minimalIncrementalP() (DFA method)
minimalMoore() (DFA method)
minimalMooreSq() (DFA method)
minimalMooreSqP() (DFA method)
minimalNCompleteP() (DFA method)
minimalNotEquivP() (DFA method)
minimalP() (ADFA method)
(DFA method)
minimalWatson() (DFA method)
minimalWatsonP() (DFA method)
minReversible() (ADFA method)
minWord() (EnumL method)
minWordT() (EnumDFA method)
(EnumL method)
(EnumNFA method)
module
FAdo.cfg
FAdo.codes
FAdo.comboperations
FAdo.common
FAdo.conversions
FAdo.fa
FAdo.fio
FAdo.fl
FAdo.graphs
FAdo.ordered
FAdo.prax
FAdo.reex
FAdo.rndadfa
FAdo.rndfap
FAdo.ssemigroup
FAdo.sst
FAdo.transducers
moveFinal() (ANFA method)
multiLineAutomaton() (FL method)
MyhillNerodePartition() (DFA method)
N
nextWord() (EnumDFA method)
(EnumL method)
(EnumNFA method)
NFA (class in FAdo.fa)
NFA() (DAG method)
NFA2SSFA() (in module FAdo.sst)
NFAEmpty
NFAerror
nfaFollow() (RegExp method)
nfaFollowEpsilon() (RegExp method)
nfaGlushkov() (RegExp method)
nfaLoc() (RegExp method)
nfaNaiveFollow() (RegExp method)
nfaPD() (CEmptySet method)
(CSigmaP method)
(CSigmaS method)
(RegExp method)
(SConnective method)
(SNot method)
(SStar method)
nfaPDDAG() (RegExp method)
nfaPDNaive() (RegExp method)
nfaPDO() (RegExp method)
nfaPosition() (RegExp method)
nfaPre() (RegExp method)
nfaPSNF() (RegExp method)
NFAr (class in FAdo.fa)
nfaThompson() (CAtom method)
(CDisj method)
(CEpsilon method)
(COption method)
(CStar method)
NFT (class in FAdo.transducers)
NImplemented
noBlankNames() (FA method)
nonEmptyW() (SFT method)
(SST method)
nonFunctionalW() (SFT method)
NonPlanar
normalize() (GFA method)
notAcyclic
notEmptyW() (RegExp method)
notequal() (DFA method)
notMaximalW() (CodeProperty method)
(ErrCorrectProp method)
(FixedProp method)
(IPTProp method)
notMaxStatW() (IPTProp method)
notSatisfiesW() (CodeProperty method)
(ErrCorrectProp method)
(FixedProp method)
(IATProp method)
(IPTProp method)
(UDCodeProp method)
NotSP
notUniversalStatW() (in module FAdo.codes)
NULLABLE() (CFGrammar method)
O
OFA (class in FAdo.fa)
one_derivative() (DAG_I method)
ordered() (AFA method)
orderedStrConnComponents() (DFA method)
OutfixProp (class in FAdo.codes)
outfixTransducer() (in module FAdo.transducers)
outIntersection() (SFT method)
(SST method)
outIntersectionDerived() (SFT method)
outputS() (SFT method)
overlapFreeP() (in module FAdo.common)
P
pad() (in module FAdo.common)
padList() (in module FAdo.common)
pairGraph() (DFA method)
ParRangError
partialDerivatives() (CAtom method)
(CEmptySet method)
(CEpsilon method)
(CSigmaP method)
(CSigmaS method)
(SConcat method)
(SConj method)
(SDisj method)
(SNot method)
(SStar method)
partialDerivativesC() (CAtom method)
(CEmptySet method)
(CEpsilon method)
(CSigmaP method)
(CSigmaS method)
(SConcat method)
(SConj method)
(SDisj method)
(SNot method)
(SpecialConstant method)
(SStar method)
PD() (CAtom method)
PDAerror
PDAsymbolUnknown
PDistribution (class in FAdo.prax)
PEGError
pickFrom() (in module FAdo.codes)
plus() (FA method)
plusLF() (DAG static method)
Position (class in FAdo.reex)
possibleToReverse() (ADFA method)
(DFA method)
Power (class in FAdo.reex)
powerset() (in module FAdo.reex)
prax_block_maximal_nfa() (in module FAdo.prax)
prax_block_univ_nfa() (in module FAdo.prax)
prax_maximal_nfa() (in module FAdo.prax)
prax_univ_nfa() (in module FAdo.prax)
pref() (DFA method)
prefix_free_p() (DFA method)
PrefixProp (class in FAdo.codes)
prefixTransducer() (in module FAdo.transducers)
print_data() (DFA method)
product() (DFA method)
(NFA method)
productInput() (SFT method)
(SST method)
productInputSlow() (SFT method)
productSlow() (DFA method)
PropertyNotSatisfied
PSP (class in FAdo.sst)
PSPDiff (class in FAdo.sst)
PSPEqual (class in FAdo.sst)
PSPVanila (class in FAdo.sst)
Q
quotient() (OFA method)
R
random() (in module FAdo.prax)
readFromFile() (in module FAdo.fio)
readOneFromFile() (in module FAdo.fio)
readOneFromString() (in module FAdo.fio)
reduce_size() (in module FAdo.fa)
reduced() (CAtom method)
RegExp (class in FAdo.reex)
regexpInvalid
regexpInvalidMethod
regexpInvalidSymbols
RegularExpression (class in FAdo.reex)
renameState() (FA method)
renameStates() (FA method)
renameStatesFromPosition() (NFA method)
reorder() (DFA method)
(GFA method)
(NFA method)
rEquivNFA() (NFA method)
REStringRGenerator (class in FAdo.cfg)
reversal() (CAtom method)
(CConcat method)
(CDisj method)
(FA method)
(NFA method)
(Power method)
(SFT method)
(SpecialConstant method)
(SST method)
(Unary method)
reverse() (BitString method)
reverseTransitions() (DFA method)
(NFA method)
reversibleP() (DFA method)
rightQuotient() (OFA method)
rndAdfa() (ADFArnd method)
rndBlockADFA() (in module FAdo.rndadfa)
rndNumberSecondSources() (ADFArnd method)
rndTransitionsFromSources() (ADFArnd method)
RndWGen (class in FAdo.fl)
rpn() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(CEmptySet method)
(CEpsilon method)
(Compl method)
(Connective method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CSigmaP method)
(CSigmaS method)
(CStar method)
(Power method)
(RegExp method)
(SConnective method)
(SNot method)
(SpecialConstant method)
(Unary method)
rpn2regexp() (in module FAdo.reex)
runOnNFA() (SFT method)
runOnWord() (SFT method)
S
same_nullability() (FA method)
satisfiesP() (CodeProperty method)
(ErrCorrectProp method)
(FixedProp method)
(IPTProp method)
(UDCodeProp method)
satisfiesPrefixP() (PrefixProp method)
saveToFile() (in module FAdo.fio)
saveToJson() (in module FAdo.fio)
saveToString() (in module FAdo.fa)
(in module FAdo.fio)
SConcat (class in FAdo.reex)
sConcat() (in module FAdo.common)
SConj (class in FAdo.reex)
SConnective (class in FAdo.reex)
SDisj (class in FAdo.reex)
SemiDFA (class in FAdo.fa)
setDeadState() (AFA method)
setFinal() (FA method)
setInitial() (FA method)
(NFA method)
(SFT method)
setOfSymbols() (CAtom method)
(Connective method)
(COption method)
(Position method)
(Power method)
(RegExp static method)
(SConnective method)
(SNot method)
(SpecialConstant static method)
(Unary method)
setOutput() (Transducer method)
setSigma() (FA method)
(FL method)
(RegExp method)
SetSpec (class in FAdo.sst)
SFT (class in FAdo.transducers)
show() (in module FAdo.fio)
shuffle() (DFA method)
(NFA method)
shuffle_one() (DAG_I method)
shuffleLF() (DAG method)
sigmaInitialSegment() (in module FAdo.fl)
sigmaStarDFA() (in module FAdo.fa)
simDiff() (DFA method)
smallAlphabet() (in module FAdo.cfg)
sMonoid() (DFA method)
snf() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(CEmptySet method)
(CEpsilon method)
(Compl method)
(Connective method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp method)
(SConnective method)
(SNot method)
(SpecialConstant method)
(Unary method)
SNot (class in FAdo.reex)
sop() (DFA method)
SP2regexp() (in module FAdo.conversions)
SpecialConstant (class in FAdo.reex)
SPLabel (class in FAdo.common)
square() (SFT method)
square_fv() (SFT method)
SSAnyOf (class in FAdo.sst)
SSBadTransition
SSConditionalNoneOf() (in module FAdo.sst)
SSemiGroup (class in FAdo.ssemigroup)
sSemigroup() (DFA method)
SSEmpty (class in FAdo.sst)
SSEpsilon (class in FAdo.sst)
SSError
SSFA (class in FAdo.sst)
SSMissAlphabet
SSNoneOf (class in FAdo.sst)
SSOneOf (class in FAdo.sst)
SST (class in FAdo.sst)
SStar (class in FAdo.reex)
star() (DFA method)
(NFA method)
(SFT method)
starConcat() (in module FAdo.comboperations)
starDisj() (in module FAdo.comboperations)
starHeight() (CAtom static method)
(Compl method)
(Connective method)
(COption method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp static method)
(SConnective method)
(SNot method)
(SpecialConstant static method)
(Unary method)
starI() (DFA method)
starInter() (in module FAdo.comboperations)
starInter0() (in module FAdo.comboperations)
starWConcat() (in module FAdo.comboperations)
stateAlphabet() (FA method)
stateChildren() (DFA method)
(GFA method)
(NFA method)
(OFA method)
stateIndex() (FA method)
stateName() (FA method)
statePairEquiv() (ADFA method)
statePP() (in module FAdo.fa)
str2regexp() (in module FAdo.reex)
str2sre() (in module FAdo.reex)
stringLength() (CAtom method)
stringToADFA() (in module FAdo.fl)
stringToDFA() (in module FAdo.fa)
stronglyConnectedComponents() (DFA method)
(NFA method)
subword() (DFA method)
(NFA method)
succintTransitions() (DFA method)
(FA method)
(GFA method)
(NFA method)
(OFA method)
(Transducer method)
suff() (DFA method)
suffixClosedP() (FL method)
suffixes() (in module FAdo.common)
SuffixProp (class in FAdo.codes)
suffixTransducer() (in module FAdo.transducers)
sum_list2() (Dirichlet method)
sum_minus2() (Dirichlet method)
support() (CAtom method)
(CConcat method)
(CDisj method)
(Compl method)
(COption method)
(CSigmaP method)
(CSigmaS method)
(CStar method)
(Power method)
(RegExp method)
(SConcat method)
(SConj method)
(SConnective method)
(SDisj method)
(SNot method)
(SpecialConstant method)
(SStar method)
supportlast() (CAtom method)
(SpecialConstant method)
surj() (in module FAdo.rndadfa)
symbolDFA() (in module FAdo.fa)
symmAndRefl() (in module FAdo.codes)
syncPower() (DFA method)
syntacticLength() (CAtom static method)
(SConnective method)
(SNot method)
T
tail() (SConcat method)
tail_rev() (SConcat method)
tailForm() (CAtom method)
(CConcat method)
(CConj method)
(CDisj method)
(Compl method)
(COption method)
(CShuffle method)
(CShuffleU method)
(CStar method)
(Power method)
(RegExp method)
(SConcat method)
(SConj method)
(SConnective method)
(SDisj method)
(SNot method)
(SpecialConstant method)
TFAAccept
TFAReject
TFARejectBlocked
TFARejectLoop
TFARejectNonFinal
TFASignal
to_s() (in module FAdo.reex)
toADFA() (DFA method)
toANFA() (ADFA method)
toDFA() (DFA method)
(FL method)
(NFA method)
(RegExp method)
toInNFA() (SFT method)
(SST method)
toInSSFA() (SST method)
toJson() (in module FAdo.fio)
toNFA() (ADFA method)
(DFA method)
(FL method)
(NFA method)
(NFAr method)
(RegExp method)
(SSFA method)
toNFAr() (NFA method)
toNFT() (SFT method)
toOutNFA() (SFT method)
(SST method)
toOutSSFA() (SST method)
topoSort() (OFA method)
toSFT() (GFT method)
(SFT method)
(SST method)
toXSSFA() (SST method)
TrajProp (class in FAdo.codes)
trajToTransducer() (TrajProp static method)
Transducer (class in FAdo.transducers)
transitions() (DFA method)
transitionsA() (DFA method)
treeLength() (CAtom static method)
(Compl method)
(Connective method)
(Power method)
(RegExp static method)
(SConnective method)
(SNot method)
(SpecialConstant static method)
(Unary method)
TRError
trieFA() (FL method)
trim() (ADFA method)
(OFA method)
(SFT method)
trimP() (OFA method)
TstError
TwDict (class in FAdo.common)
TypeError
U
UDCodeProp (class in FAdo.codes)
Unary (class in FAdo.reex)
unifSzSubset() (in module FAdo.common)
union() (FA method)
(FL method)
(SFT method)
unionOfIDs() (in module FAdo.codes)
unionSigma() (RegExp method)
unique() (in module FAdo.common)
uniqueRepr() (DFA method)
(NFA method)
unive_index() (in module FAdo.prax)
universalP() (DFA method)
(NFA method)
unlinkSoleIncoming() (NFAr method)
unlinkSoleOutgoing() (NFAr method)
unmark() (CConcat method)
(CDisj method)
(Compl method)
(CShuffleU method)
(DFA method)
(MAtom method)
(SpecialConstant method)
(Unary method)
unmarked() (CAtom method)
(Position method)
(SpecialConstant method)
usefulStates() (DFA method)
(NFA method)
uSet() (in module FAdo.common)
V
VersoError
vertexIndex() (Graph method)
VertexNotInGraph
W
weight() (GFA method)
weightWithCycles() (GFA method)
witness() (DFA method)
(NFA method)
(SSFA method)
witnessDiff() (DFA method)
Word (class in FAdo.common)
wordDerivative() (RegExp method)
(SpecialConstant method)
wordGenerator() (ADFA method)
WordI() (SSemiGroup method)
wordImage() (NFA method)
WordPS() (SSemiGroup method)
words() (FA method)
Z
ZERO
zeta() (in module FAdo.common)
Quick search
Navigation
index
modules
|
FAdo 2.2.0 documentation
»
Index