▼ alib2abstraction | |
► src | |
► abstraction | |
AlgorithmAbstraction.hpp | |
AnyaryOperationAbstraction.cpp | |
AnyaryOperationAbstraction.hpp | |
CastAbstraction.hpp | |
MemberAbstraction.hpp | |
NaryOperationAbstraction.cpp | |
NaryOperationAbstraction.hpp | |
NormalizeAbstraction.hpp | |
OperationAbstraction.cpp | |
OperationAbstraction.hpp | |
PackingAbstraction.cpp | |
PackingAbstraction.hpp | |
RawAbstraction.cpp | |
RawAbstraction.hpp | |
ReferenceAbstraction.hpp | |
SetAbstraction.hpp | |
TemporariesHolder.cpp | |
TemporariesHolder.h | |
Value.cpp | |
Value.hpp | |
ValueHolder.hpp | |
ValueHolderInterface.hpp | |
ValueOperationAbstraction.cpp | |
ValueOperationAbstraction.hpp | |
ValuePrinterAbstraction.hpp | |
WrapperAbstraction.cpp | |
WrapperAbstraction.hpp | |
► common | |
AbstractionHelpers.hpp | |
AlgorithmCategories.cpp | |
AlgorithmCategories.hpp | |
CastHelper.cpp | |
CastHelper.h | |
EvalHelper.cpp | |
EvalHelper.h | |
Operators.cpp | |
Operators.hpp | |
OverloadResolution.hpp | |
TypeQualifiers.cpp | |
TypeQualifiers.hpp | |
► core | |
normalize.hpp | |
► factory | |
NormalizeFactory.hpp | |
► registration | |
AlgoRegistration.hpp | |
CastRegistration.hpp | |
ComponentRegistration.hpp | |
NormalizationRegistration.hpp | |
OperatorRegistration.hpp | |
SetRegistration.hpp | |
ValuePrinterRegistration.hpp | |
► registry | |
AlgorithmRegistry.cpp | |
AlgorithmRegistry.hpp | |
AlgorithmRegistryInfo.cpp | |
AlgorithmRegistryInfo.hpp | |
BaseRegistryEntry.hpp | |
CastRegistry.cpp | |
CastRegistry.hpp | |
ContainerRegistry.cpp | |
ContainerRegistry.hpp | |
NormalizeRegistry.cpp | |
NormalizeRegistry.hpp | |
OperatorRegistry.cpp | |
OperatorRegistry.hpp | |
Registry.cpp | |
Registry.h | |
ValuePrinterRegistry.cpp | |
ValuePrinterRegistry.hpp | |
▼ alib2algo | |
► src | |
► arbology | |
► exact | |
BoyerMooreHorspool.cpp | |
BoyerMooreHorspool.h | |
DeadZoneUsingBadCharacterShiftAndBorderArray.cpp | |
DeadZoneUsingBadCharacterShiftAndBorderArray.h | |
ExactNonlinearTreePatternAutomaton.cpp | |
ExactNonlinearTreePatternAutomaton.h | |
ExactPatternMatch.cpp | |
ExactPatternMatch.h | |
ExactPatternMatchingAutomaton.cpp | |
ExactPatternMatchingAutomaton.h | |
ExactSubtreeAutomaton.cpp | |
ExactSubtreeAutomaton.h | |
ExactSubtreeMatch.cpp | |
ExactSubtreeMatch.h | |
ExactSubtreeMatchingAutomaton.cpp | |
ExactSubtreeMatchingAutomaton.h | |
ExactTreePatternAutomaton.cpp | |
ExactTreePatternAutomaton.h | |
KnuthMorrisPratt.cpp | |
KnuthMorrisPratt.h | |
QuickSearch.cpp | |
QuickSearch.h | |
ReversedBoyerMooreHorspool.cpp | |
ReversedBoyerMooreHorspool.h | |
ReversedQuickSearch.cpp | |
ReversedQuickSearch.h | |
► indexing | |
CompressedBitParallelIndexConstruction.cpp | |
CompressedBitParallelIndexConstruction.h | |
FullAndLinearIndexConstruction.cpp | |
FullAndLinearIndexConstruction.h | |
NonlinearCompressedBitParallelIndexConstruction.cpp | |
NonlinearCompressedBitParallelIndexConstruction.h | |
NonlinearFullAndLinearIndexConstruction.cpp | |
NonlinearFullAndLinearIndexConstruction.h | |
► properties | |
ExactSubtreeRepeatsFromSubtreeAutomaton.cpp | |
ExactSubtreeRepeatsFromSubtreeAutomaton.h | |
► query | |
CompressedBitParallelismPatterns.cpp | |
CompressedBitParallelismPatterns.h | |
FullAndLinearIndexPatterns.cpp | |
FullAndLinearIndexPatterns.h | |
NonlinearCompressedBitParallelismPatterns.cpp | |
NonlinearCompressedBitParallelismPatterns.h | |
NonlinearFullAndLinearIndexPatterns.cpp | |
NonlinearFullAndLinearIndexPatterns.h | |
► transform | |
BeginToEndIndex.cpp | |
BeginToEndIndex.h | |
► automaton | |
► convert | |
ToGrammar.cpp | |
ToGrammar.h | |
ToGrammarLeftRG.cpp | |
ToGrammarLeftRG.h | |
ToGrammarRightRG.cpp | |
ToGrammarRightRG.h | |
ToPostfixPushdownAutomaton.cpp | |
ToPostfixPushdownAutomaton.h | |
ToPrefixPushdownAutomaton.cpp | |
ToPrefixPushdownAutomaton.h | |
ToRegExp.cpp | |
ToRegExp.h | |
ToRegExpAlgebraic.cpp | |
ToRegExpAlgebraic.h | |
ToRegExpKleene.cpp | |
ToRegExpKleene.h | |
ToRegExpStateElimination.cpp | |
ToRegExpStateElimination.h | |
ToRTEStateElimination.cpp | |
ToRTEStateElimination.h | |
► determinize | |
► common | |
RHDPDACommon.h | |
Determinize.cpp | |
Determinize.h | |
DeterminizeIDPDAPart.hxx | |
DeterminizeNFAPart.hxx | |
DeterminizeNFTAPart.hxx | |
DeterminizeRHDPDAPart.hxx | |
DeterminizeVPAPart.hxx | |
DeterminizeZAutomataPart.hxx | |
► generate | |
NumberModuloAutomaton.cpp | |
NumberModuloAutomaton.h | |
NumberOfSymbolsAutomaton.cpp | |
NumberOfSymbolsAutomaton.h | |
RandomAutomatonFactory.cpp | |
RandomAutomatonFactory.h | |
RandomizeAutomaton.cpp | |
RandomizeAutomaton.h | |
RandomTreeAutomatonFactory.cpp | |
RandomTreeAutomatonFactory.h | |
► properties | |
AllEpsilonClosure.cpp | |
AllEpsilonClosure.h | |
BackwardBisimulation.cpp | |
BackwardBisimulation.h | |
DistinguishableStates.cpp | |
DistinguishableStates.h | |
EpsilonClosure.cpp | |
EpsilonClosure.h | |
ForwardBisimulation.cpp | |
ForwardBisimulation.h | |
InfiniteLanguage.cpp | |
InfiniteLanguage.h | |
ReachableStates.cpp | |
ReachableStates.h | |
SynchronizingWordExistence.cpp | |
SynchronizingWordExistence.h | |
UndistinguishableStates.cpp | |
UndistinguishableStates.h | |
UsefulStates.cpp | |
UsefulStates.h | |
► run | |
Accept.cpp | |
Accept.h | |
Occurrences.cpp | |
Occurrences.h | |
Result.cpp | |
Result.h | |
Run.h | |
Translate.cpp | |
Translate.h | |
► simplify | |
EpsilonRemoverIncoming.cpp | |
EpsilonRemoverIncoming.h | |
EpsilonRemoverOutgoing.cpp | |
EpsilonRemoverOutgoing.h | |
Minimize.cpp | |
Minimize.h | |
MinimizeBrzozowski.cpp | |
MinimizeBrzozowski.h | |
MinimizeByPartitioning.cpp | |
MinimizeByPartitioning.h | |
MinimizeVerbose.cpp | |
MinimizeVerbose.h | |
Normalize.cpp | |
Normalize.h | |
RemoveUnused.cpp | |
RemoveUnused.h | |
Rename.cpp | |
Rename.h | |
SingleInitialState.cpp | |
SingleInitialState.h | |
SingleInitialStateEpsilonTransition.cpp | |
SingleInitialStateEpsilonTransition.h | |
ToArcFactored.cpp | |
ToArcFactored.h | |
Total.cpp | |
Total.h | |
Trim.cpp | |
Trim.h | |
UnreachableStatesRemover.cpp | |
UnreachableStatesRemover.h | |
UselessStatesRemover.cpp | |
UselessStatesRemover.h | |
► transform | |
AutomataConcatenation.cpp | |
AutomataConcatenation.h | |
AutomataConcatenationEpsilonTransition.cpp | |
AutomataConcatenationEpsilonTransition.h | |
AutomataIntersectionCartesianProduct.cpp | |
AutomataIntersectionCartesianProduct.h | |
AutomataLeftQuotientCartesianProduct.cpp | |
AutomataLeftQuotientCartesianProduct.h | |
AutomataUnion.cpp | |
AutomataUnion.h | |
AutomataUnionCartesianProduct.cpp | |
AutomataUnionCartesianProduct.h | |
AutomataUnionEpsilonTransition.cpp | |
AutomataUnionEpsilonTransition.h | |
AutomataUnionMultipleInitialStates.cpp | |
AutomataUnionMultipleInitialStates.h | |
AutomatonComplement.cpp | |
AutomatonComplement.h | |
AutomatonIteration.cpp | |
AutomatonIteration.h | |
AutomatonIterationEpsilonTransition.cpp | |
AutomatonIterationEpsilonTransition.h | |
Compaction.cpp | |
Compaction.h | |
PDAToRHPDA.cpp | |
PDAToRHPDA.h | |
Reverse.cpp | |
Reverse.h | |
RHPDAToPDA.cpp | |
RHPDAToPDA.h | |
► common | |
Permutation.hpp | |
► equations | |
LeftRegularEquationSolver.h | |
RegularEquationSolver.h | |
RightRegularEquationSolver.h | |
► grammar | |
► convert | |
ToAutomaton.cpp | |
ToAutomaton.h | |
ToAutomatonBottomUp.cpp | |
ToAutomatonBottomUp.h | |
ToAutomatonTopDown.cpp | |
ToAutomatonTopDown.h | |
ToGrammarLeftRG.cpp | |
ToGrammarLeftRG.h | |
ToGrammarRightRG.cpp | |
ToGrammarRightRG.h | |
ToRegExp.cpp | |
ToRegExp.h | |
ToRegExpAlgebraic.cpp | |
ToRegExpAlgebraic.h | |
► generate | |
CockeYoungerKasami.cpp | |
CockeYoungerKasami.h | |
CockeYoungerKasamiVerbose.cpp | |
CockeYoungerKasamiVerbose.h | |
GenerateUpToLength.cpp | |
GenerateUpToLength.h | |
RandomGrammarFactory.cpp | |
RandomGrammarFactory.h | |
RandomizeGrammar.cpp | |
RandomizeGrammar.h | |
► properties | |
IsLanguageEmpty.cpp | |
IsLanguageEmpty.h | |
IsLanguageGeneratingEpsilon.cpp | |
IsLanguageGeneratingEpsilon.h | |
NonterminalUnitRuleCycle.cpp | |
NonterminalUnitRuleCycle.h | |
NullableNonterminals.cpp | |
NullableNonterminals.h | |
ProductiveNonterminals.cpp | |
ProductiveNonterminals.h | |
ReachableSymbols.cpp | |
ReachableSymbols.h | |
RecursiveNonterminal.cpp | |
RecursiveNonterminal.h | |
► simplify | |
EpsilonRemover.cpp | |
EpsilonRemover.h | |
LeftRecursionRemover.cpp | |
LeftRecursionRemover.h | |
Rename.cpp | |
Rename.h | |
SimpleRulesRemover.cpp | |
SimpleRulesRemover.h | |
ToCNF.cpp | |
ToCNF.h | |
ToGNF.cpp | |
ToGNF.h | |
Trim.cpp | |
Trim.h | |
UnproductiveSymbolsRemover.cpp | |
UnproductiveSymbolsRemover.h | |
UnreachableSymbolsRemover.cpp | |
UnreachableSymbolsRemover.h | |
► transform | |
GrammarAlternation.cpp | |
GrammarAlternation.h | |
GrammarConcatenation.cpp | |
GrammarConcatenation.h | |
GrammarIteration.cpp | |
GrammarIteration.h | |
GrammarTransformCommon.h | |
► regexp | |
► convert | |
ToAutomaton.cpp | |
ToAutomaton.h | |
ToAutomatonDerivation.cpp | |
ToAutomatonDerivation.h | |
ToAutomatonGlushkov.cpp | |
ToAutomatonGlushkov.h | |
ToAutomatonThompson.cpp | |
ToAutomatonThompson.h | |
ToGrammar.cpp | |
ToGrammar.h | |
ToGrammarRightRGDerivation.cpp | |
ToGrammarRightRGDerivation.h | |
ToGrammarRightRGGlushkov.cpp | |
ToGrammarRightRGGlushkov.h | |
► generate | |
RandomRegExpFactory.cpp | |
RandomRegExpFactory.h | |
► glushkov | |
GlushkovFirst.h | |
GlushkovFollow.h | |
GlushkovIndexate.h | |
GlushkovLast.h | |
GlushkovPos.h | |
► properties | |
RegExpEmpty.cpp | |
RegExpEmpty.h | |
RegExpEpsilon.cpp | |
RegExpEpsilon.h | |
► simplify | |
RegExpOptimize.cpp | |
RegExpOptimize.h | |
RegExpOptimizeFormalPart.hpp | |
RegExpOptimizeUnboundedPart.hpp | |
► transform | |
RegExpAlternate.cpp | |
RegExpAlternate.h | |
RegExpConcatenate.cpp | |
RegExpConcatenate.h | |
RegExpDerivation.cpp | |
RegExpDerivation.h | |
RegExpIntegral.cpp | |
RegExpIntegral.h | |
RegExpIterate.cpp | |
RegExpIterate.h | |
► rte | |
► convert | |
ToFTAGlushkov.cpp | |
ToFTAGlushkov.h | |
ToFTAThompson.cpp | |
ToFTAThompson.h | |
ToPostfixPushdownAutomaton.cpp | |
ToPostfixPushdownAutomaton.h | |
ToPostfixPushdownAutomatonGlushkov.cpp | |
ToPostfixPushdownAutomatonGlushkov.h | |
ToPostfixPushdownAutomatonGlushkovNaive.cpp | |
ToPostfixPushdownAutomatonGlushkovNaive.h | |
► glushkov | |
GlushkovFirst.h | |
GlushkovFollow.h | |
GlushkovFollowNaive.h | |
GlushkovIndexate.h | |
GlushkovPos.h | |
► simplify | |
RTEOptimize.cpp | |
RTEOptimize.h | |
RTEOptimizeFormalPart.hpp | |
► string | |
► generate | |
RandomStringFactory.cpp | |
RandomStringFactory.h | |
RandomSubstringFactory.cpp | |
RandomSubstringFactory.h | |
► naive | |
ExactCompare.cpp | |
ExactCompare.h | |
ExactEqual.cpp | |
ExactEqual.h | |
► properties | |
BadCharacterShiftTable.cpp | |
BadCharacterShiftTable.h | |
BorderArray.cpp | |
BorderArray.h | |
GoodSuffixShiftTable.cpp | |
GoodSuffixShiftTable.h | |
MaximalSuffix.cpp | |
MaximalSuffix.h | |
PeriodicPrefix.cpp | |
PeriodicPrefix.h | |
QuickSearchBadCharacterShiftTable.cpp | |
QuickSearchBadCharacterShiftTable.h | |
Repetition.cpp | |
Repetition.h | |
ReversedBadCharacterShiftTable.cpp | |
ReversedBadCharacterShiftTable.h | |
► simplify | |
NormalizeAlphabet.cpp | |
NormalizeAlphabet.h | |
NormalizeRotation.cpp | |
NormalizeRotation.h | |
► transform | |
StringConcatenate.cpp | |
StringConcatenate.h | |
StringReverse.cpp | |
StringReverse.h | |
► stringology | |
► compression | |
ArithmeticCompression.cpp | |
ArithmeticCompression.h | |
ArithmeticDecompression.cpp | |
ArithmeticDecompression.h | |
ArithmeticModel.h | |
LZ77Compression.cpp | |
LZ77Compression.h | |
LZ77Decompression.cpp | |
LZ77Decompression.h | |
► cover | |
ApproximateCoversComputation.cpp | |
ApproximateCoversComputation.h | |
ApproximateEnhancedCoversCommon.h | |
ApproximateEnhancedCoversComputation.cpp | |
ApproximateEnhancedCoversComputation.h | |
ExactCoversComputation.cpp | |
ExactCoversComputation.h | |
RelaxedApproximateEnhancedCoversComputation.cpp | |
RelaxedApproximateEnhancedCoversComputation.h | |
RestrictedApproximateCoversComputation.cpp | |
RestrictedApproximateCoversComputation.h | |
► exact | |
BoyerMoore.cpp | |
BoyerMoore.h | |
BoyerMooreHorspool.cpp | |
BoyerMooreHorspool.h | |
CGR.cpp | |
CGR.h | |
DeadZoneUsingBadCharacterShift.cpp | |
DeadZoneUsingBadCharacterShift.h | |
Dogaru.cpp | |
Dogaru.h | |
ExactFactorMatch.cpp | |
ExactFactorMatch.h | |
GalilSeiferas.cpp | |
GalilSeiferas.h | |
KnuthMorrisPratt.cpp | |
KnuthMorrisPratt.h | |
NotSoNaive.cpp | |
NotSoNaive.h | |
QuickSearch.cpp | |
QuickSearch.h | |
QuiteNaive.cpp | |
QuiteNaive.h | |
ReversedBoyerMooreHorspool.cpp | |
ReversedBoyerMooreHorspool.h | |
SequentialSampling.cpp | |
SequentialSampling.h | |
TailedSubstring.cpp | |
TailedSubstring.h | |
► indexing | |
BitParallelIndexConstruction.cpp | |
BitParallelIndexConstruction.h | |
CompressedBitParallelIndexConstruction.cpp | |
CompressedBitParallelIndexConstruction.h | |
ExactFactorOracleAutomaton.cpp | |
ExactFactorOracleAutomaton.h | |
ExactMultiNondeterministicSubsequenceAutomaton.cpp | |
ExactMultiNondeterministicSubsequenceAutomaton.h | |
ExactNondeterministicSubsequenceAutomaton.cpp | |
ExactNondeterministicSubsequenceAutomaton.h | |
ExactSubsequenceAutomaton.cpp | |
ExactSubsequenceAutomaton.h | |
ExactSuffixAutomaton.cpp | |
ExactSuffixAutomaton.h | |
NondeterministicApproximateSuffixAutomatonForHammingDistance.cpp | |
NondeterministicApproximateSuffixAutomatonForHammingDistance.h | |
NondeterministicApproximateSuffixEpsilonAutomatonForHammingDistance.cpp | |
NondeterministicApproximateSuffixEpsilonAutomatonForHammingDistance.h | |
NondeterministicExactFactorAutomaton.cpp | |
NondeterministicExactFactorAutomaton.h | |
NondeterministicExactSuffixAutomaton.cpp | |
NondeterministicExactSuffixAutomaton.h | |
NondeterministicExactSuffixEpsilonAutomaton.cpp | |
NondeterministicExactSuffixEpsilonAutomaton.h | |
PositionHeapNaive.cpp | |
PositionHeapNaive.h | |
SuffixArrayNaive.cpp | |
SuffixArrayNaive.h | |
SuffixTrieNaive.cpp | |
SuffixTrieNaive.h | |
► matching | |
BNDMMatcherConstruction.cpp | |
BNDMMatcherConstruction.h | |
DAWGMatcherConstruction.cpp | |
DAWGMatcherConstruction.h | |
ExactMatchingAutomaton.cpp | |
ExactMatchingAutomaton.h | |
GeneralizedLevenshteinMatchingAutomaton.cpp | |
GeneralizedLevenshteinMatchingAutomaton.h | |
GeneralizedLevenshteinSequenceMatchingAutomaton.cpp | |
GeneralizedLevenshteinSequenceMatchingAutomaton.h | |
HammingMatchingAutomaton.cpp | |
HammingMatchingAutomaton.h | |
HammingSequenceMatchingAutomaton.cpp | |
HammingSequenceMatchingAutomaton.h | |
LevenshteinMatchingAutomaton.cpp | |
LevenshteinMatchingAutomaton.h | |
LevenshteinSequenceMatchingAutomaton.cpp | |
LevenshteinSequenceMatchingAutomaton.h | |
NaiveDAWGMatcherConstruction.cpp | |
NaiveDAWGMatcherConstruction.h | |
OracleMatcherConstruction.cpp | |
OracleMatcherConstruction.h | |
SequenceMatchingAutomaton.cpp | |
SequenceMatchingAutomaton.h | |
WideBNDMMatcherConstruction.cpp | |
WideBNDMMatcherConstruction.h | |
► properties | |
BackboneLength.cpp | |
BackboneLength.h | |
LyndonFactoring.cpp | |
LyndonFactoring.h | |
NyldonFactoring.cpp | |
NyldonFactoring.h | |
► query | |
BackwardDAWGMatching.cpp | |
BackwardDAWGMatching.h | |
BackwardOracleMatching.cpp | |
BackwardOracleMatching.h | |
BitParallelismFactors.cpp | |
BitParallelismFactors.h | |
BNDMOccurrences.cpp | |
BNDMOccurrences.h | |
CompressedBitParallelismFactors.cpp | |
CompressedBitParallelismFactors.h | |
PositionHeapFactors.cpp | |
PositionHeapFactors.h | |
SuffixArrayFactors.cpp | |
SuffixArrayFactors.h | |
SuffixAutomatonFactors.cpp | |
SuffixAutomatonFactors.h | |
SuffixTrieFactors.cpp | |
SuffixTrieFactors.h | |
WideBNDMOccurrences.cpp | |
WideBNDMOccurrences.h | |
► seed | |
ApproximateSeedComputation.cpp | |
ApproximateSeedComputation.h | |
DeterministicApproximateSuffixAutomatonForHammingDistanceFactory.h | |
ExactSeedComputation.cpp | |
ExactSeedComputation.h | |
RestrictedApproximateSeedComputation.cpp | |
RestrictedApproximateSeedComputation.h | |
► simulations | |
BitParalelism.h | |
ExactBitParalelism.cpp | |
ExactBitParalelism.h | |
GeneralizedLevenshteinBitParalelism.cpp | |
GeneralizedLevenshteinBitParalelism.h | |
GeneralizedLevenshteinDynamicProgramming.cpp | |
GeneralizedLevenshteinDynamicProgramming.h | |
HammingBitParalelism.cpp | |
HammingBitParalelism.h | |
HammingDynamicProgramming.cpp | |
HammingDynamicProgramming.h | |
LevenshteinBitParalelism.cpp | |
LevenshteinBitParalelism.h | |
LevenshteinDynamicProgramming.cpp | |
LevenshteinDynamicProgramming.h | |
► transform | |
BeginToEndIndex.cpp | |
BeginToEndIndex.h | |
► tree | |
► exact | |
BackwardOccurrenceTest.cpp | |
BackwardOccurrenceTest.h | |
ForwardOccurrenceTest.cpp | |
ForwardOccurrenceTest.h | |
► generate | |
RandomTreeFactory.cpp | |
RandomTreeFactory.h | |
► properties | |
BadCharacterShiftTable.cpp | |
BadCharacterShiftTable.h | |
BorderArray.cpp | |
BorderArray.h | |
BorderArrayNaive.cpp | |
BorderArrayNaive.h | |
ExactSubtreeRepeats.cpp | |
ExactSubtreeRepeats.h | |
ExactSubtreeRepeatsNaive.cpp | |
ExactSubtreeRepeatsNaive.h | |
FirstVariableOffsetFront.h | |
LastVariableOffsetBack.h | |
QuickSearchBadCharacterShiftTable.cpp | |
QuickSearchBadCharacterShiftTable.h | |
ReversedBadCharacterShiftTable.cpp | |
ReversedBadCharacterShiftTable.h | |
ReversedQuickSearchBadCharacterShiftTable.cpp | |
ReversedQuickSearchBadCharacterShiftTable.h | |
SubtreeJumpTable.cpp | |
SubtreeJumpTable.h | |
► simplify | |
NormalizeTreeLabels.cpp | |
NormalizeTreeLabels.h | |
► transform | |
FirstChildNextSibling.cpp | |
FirstChildNextSibling.h | |
▼ alib2algo_experimental | |
► src | |
► automaton | |
MinimizeGenerator.cpp | |
MinimizeGenerator.h | |
RandomAutomatonFactory2.cpp | |
RandomAutomatonFactory2.h | |
RandomAutomatonFactory3.cpp | |
RandomAutomatonFactory3.h | |
► grammar | |
► parsing | |
► common | |
Substitute.cpp | |
Substitute.h | |
AbsorbTerminalSymbol.cpp | |
AbsorbTerminalSymbol.h | |
CornerSubstitution.cpp | |
CornerSubstitution.h | |
DeterministicLL1Grammar.cpp | |
DeterministicLL1Grammar.h | |
DeterministicLL1ParseTable.cpp | |
DeterministicLL1ParseTable.h | |
ExtractRightContext.cpp | |
ExtractRightContext.h | |
First.cpp | |
First.h | |
Follow.cpp | |
Follow.h | |
HandleFirstFirstConflict.cpp | |
HandleFirstFirstConflict.h | |
HandleFirstFollowConflict.cpp | |
HandleFirstFollowConflict.h | |
LeftFactorize.cpp | |
LeftFactorize.h | |
LL1ParseTable.cpp | |
LL1ParseTable.h | |
LR0Parser.cpp | |
LR0Parser.h | |
LRParser.cpp | |
LRParser.h | |
SLR1ParseTable.cpp | |
SLR1ParseTable.h | |
► stringology | |
► indexing | |
ExperimentalCompactSuffixAutomatonConstruct.cpp | |
ExperimentalCompactSuffixAutomatonConstruct.h | |
ExperimentalSuffixTrie.cpp | |
ExperimentalSuffixTrie.h | |
► query | |
CompactSuffixAutomatonFactors.cpp | |
CompactSuffixAutomatonFactors.h | |
▼ alib2aux | |
► src | |
► access | |
PairSetFirst.cpp | |
PairSetFirst.h | |
PairSetSecond.cpp | |
PairSetSecond.h | |
► compare | |
AutomatonCompare.cpp | |
AutomatonCompare.h | |
AutomatonDiff.cpp | |
AutomatonDiff.h | |
DiffAux.h | |
GrammarCompare.cpp | |
GrammarCompare.h | |
GrammarDiff.cpp | |
GrammarDiff.h | |
PrimitiveCompare.cpp | |
PrimitiveCompare.h | |
SetCompare.cpp | |
SetCompare.h | |
StringCompare.cpp | |
StringCompare.h | |
StringDiff.cpp | |
StringDiff.h | |
TreeCompare.cpp | |
TreeCompare.h | |
TrieCompare.cpp | |
TrieCompare.h | |
VectorCompare.cpp | |
VectorCompare.h | |
► convert | |
► common | |
converterCommon.hpp | |
DotConverter.cpp | |
DotConverter.h | |
DotConverterRTEPart.hxx | |
DotConverterTreePart.hxx | |
GasTexConverter.cpp | |
GasTexConverter.h | |
LatexConverter.cpp | |
LatexConverter.h | |
TikZConverter.cpp | |
TikZConverter.h | |
► debug | |
Random.cpp | |
Random.h | |
► relation | |
InducedEquivalence.cpp | |
InducedEquivalence.h | |
IsReflexive.cpp | |
IsReflexive.h | |
IsSymmetric.cpp | |
IsSymmetric.h | |
IsTransitive.cpp | |
IsTransitive.h | |
RelationComplement.cpp | |
RelationComplement.h | |
► stats | |
SizeStat.cpp | |
SizeStat.h | |
▼ alib2cli | |
► src | |
► ast | |
► args | |
BindedArg.h | |
ImmediateArg.h | |
► command | |
AlgorithmsIntrospectionCommand.cpp | |
AlgorithmsIntrospectionCommand.h | |
BindingsIntrospectionCommand.cpp | |
BindingsIntrospectionCommand.h | |
BlockCommand.h | |
BreakCommand.h | |
CalcCommand.h | |
CastsIntrospectionCommand.cpp | |
CastsIntrospectionCommand.h | |
ClearMeasurements.h | |
CommandList.h | |
CommandResult.h | |
ContinueCommand.h | |
DataTypesIntrospectionCommand.cpp | |
DataTypesIntrospectionCommand.h | |
DeclareRunnableCommand.h | |
EOTCommand.h | |
EvalCommand.h | |
ExecuteCommand.h | |
HelpCommand.cpp | |
HelpCommand.h | |
IfCommand.h | |
InterpretCommand.h | |
LoadCommand.h | |
OperatorsIntrospectionCommand.cpp | |
OperatorsIntrospectionCommand.h | |
OverloadsIntrospectionCommand.cpp | |
OverloadsIntrospectionCommand.h | |
PrintCommand.cpp | |
PrintCommand.h | |
QuitCommand.h | |
ReturnCommand.h | |
SetCommand.cpp | |
SetCommand.h | |
ShowMeasurements.cpp | |
ShowMeasurements.h | |
StartMeasurementFrame.h | |
StopMeasurementFrame.h | |
UnloadCommand.h | |
VarDeclareCommand.h | |
VariablesIntrospectionCommand.cpp | |
VariablesIntrospectionCommand.h | |
WhileCommand.h | |
► expression | |
BatchExpression.h | |
BinaryExpression.h | |
CastExpression.h | |
FunctionCallExpression.h | |
ImmediateExpression.h | |
MethodCallExpression.h | |
PostfixExpression.h | |
PrefixExpression.h | |
TypeExpression.h | |
VariableExpression.h | |
► options | |
CategoryOption.h | |
TypeOption.h | |
► statements | |
CastStatement.h | |
ContainerStatement.cpp | |
ContainerStatement.h | |
FileStatement.cpp | |
FileStatement.h | |
ImmediateStatement.h | |
PreviousResultStatement.h | |
ResultFileStatement.h | |
ResultVariableStatement.h | |
SingleStatement.cpp | |
SingleStatement.h | |
StatementList.h | |
ValueStatement.h | |
VariableStatement.h | |
Arg.h | |
Ast.h | |
Command.h | |
Expression.h | |
Option.h | |
Statement.h | |
► builtin | |
Dot.cpp | |
Dot.h | |
Move.cpp | |
Move.h | |
ReadFile.cpp | |
ReadFile.h | |
WriteFile.cpp | |
WriteFile.h | |
► common | |
LibraryLoader.cpp | |
LibraryLoader.h | |
ResultInterpret.h | |
► environment | |
Environment.cpp | |
Environment.h | |
► lexer | |
CharSequence.cpp | |
CharSequence.h | |
Lexer.cpp | |
Lexer.h | |
► parser | |
Parser.cpp | |
Parser.h | |
► readline | |
IstreamLineInterface.h | |
LineInterface.h | |
StringLineInterface.h | |
► registration | |
InputFileTypeRegistration.cpp | |
InputFileTypeRegistration.hpp | |
OutputFileTypeRegistration.cpp | |
OutputFileTypeRegistration.hpp | |
► registry | |
InputFileRegistry.cpp | |
InputFileRegistry.hpp | |
OutputFileRegistry.cpp | |
OutputFileRegistry.hpp | |
▼ alib2common | |
► src | |
► common | |
createUnique.hpp | |
► core | |
► components | |
setComponents.hpp | |
components.hpp | |
visitor.hpp | |
► debug | |
sigHandler.cpp | |
sigHandler.h | |
simpleStacktrace.cpp | |
simpleStacktrace.h | |
► exception | |
CommonException.cpp | |
CommonException.h | |
► global | |
GlobalData.cpp | |
GlobalData.h | |
► object | |
AnyObject.h | |
AnyObjectBase.h | |
Object.h | |
Void.cpp | |
Void.h | |
PrimitiveRegistrator.cpp | |
▼ alib2data | |
► src | |
► alphabet | |
► common | |
SymbolNormalize.h | |
► xml | |
BarSymbol.cpp | |
BarSymbol.h | |
BlankSymbol.cpp | |
BlankSymbol.h | |
BottomOfTheStackSymbol.cpp | |
BottomOfTheStackSymbol.h | |
EndSymbol.cpp | |
EndSymbol.h | |
GapSymbol.cpp | |
GapSymbol.h | |
InitialSymbol.cpp | |
InitialSymbol.h | |
NonlinearVariableSymbol.cpp | |
NonlinearVariableSymbol.h | |
RankedSymbol.cpp | |
RankedSymbol.h | |
StartSymbol.cpp | |
StartSymbol.h | |
VariablesBarSymbol.cpp | |
VariablesBarSymbol.h | |
WildcardSymbol.cpp | |
WildcardSymbol.h | |
BarSymbol.cpp | |
BarSymbol.h | |
BlankSymbol.cpp | |
BlankSymbol.h | |
BottomOfTheStackSymbol.cpp | |
BottomOfTheStackSymbol.h | |
EndSymbol.cpp | |
EndSymbol.h | |
GapSymbol.cpp | |
GapSymbol.h | |
InitialSymbol.cpp | |
InitialSymbol.h | |
NodeWildcardSymbol.cpp | |
NodeWildcardSymbol.h | |
NonlinearVariableSymbol.cpp | |
NonlinearVariableSymbol.h | |
StartSymbol.cpp | |
StartSymbol.h | |
VariablesBarSymbol.cpp | |
VariablesBarSymbol.h | |
WildcardSymbol.cpp | |
WildcardSymbol.h | |
► automaton | |
► common | |
AutomatonNormalize.h | |
Shift.cpp | |
Shift.h | |
► FSM | |
CompactDFA.cpp | |
CompactDFA.h | |
CompactNFA.cpp | |
CompactNFA.h | |
DFA.cpp | |
DFA.h | |
EpsilonNFA.cpp | |
EpsilonNFA.h | |
ExtendedNFA.cpp | |
ExtendedNFA.h | |
MultiInitialStateEpsilonNFA.cpp | |
MultiInitialStateEpsilonNFA.h | |
MultiInitialStateNFA.cpp | |
MultiInitialStateNFA.h | |
NFA.cpp | |
NFA.h | |
► PDA | |
DPDA.cpp | |
DPDA.h | |
InputDrivenDPDA.cpp | |
InputDrivenDPDA.h | |
InputDrivenNPDA.cpp | |
InputDrivenNPDA.h | |
NPDA.cpp | |
NPDA.h | |
NPDTA.cpp | |
NPDTA.h | |
RealTimeHeightDeterministicDPDA.cpp | |
RealTimeHeightDeterministicDPDA.h | |
RealTimeHeightDeterministicNPDA.cpp | |
RealTimeHeightDeterministicNPDA.h | |
SinglePopDPDA.cpp | |
SinglePopDPDA.h | |
SinglePopNPDA.cpp | |
SinglePopNPDA.h | |
VisiblyPushdownDPDA.cpp | |
VisiblyPushdownDPDA.h | |
VisiblyPushdownNPDA.cpp | |
VisiblyPushdownNPDA.h | |
► TA | |
ArcFactoredDeterministicZAutomaton.cpp | |
ArcFactoredDeterministicZAutomaton.h | |
ArcFactoredNondeterministicZAutomaton.cpp | |
ArcFactoredNondeterministicZAutomaton.h | |
DFTA.cpp | |
DFTA.h | |
EpsilonNFTA.cpp | |
EpsilonNFTA.h | |
ExtendedNFTA.cpp | |
ExtendedNFTA.h | |
NFTA.cpp | |
NFTA.h | |
NondeterministicZAutomaton.cpp | |
NondeterministicZAutomaton.h | |
UnorderedDFTA.cpp | |
UnorderedDFTA.h | |
UnorderedNFTA.cpp | |
UnorderedNFTA.h | |
► TM | |
OneTapeDTM.cpp | |
OneTapeDTM.h | |
► xml | |
► common | |
AutomatonFromXMLParser.h | |
AutomatonToXMLComposer.h | |
► FSM | |
CompactNFA.cpp | |
CompactNFA.h | |
DFA.cpp | |
DFA.h | |
EpsilonNFA.cpp | |
EpsilonNFA.h | |
ExtendedNFA.cpp | |
ExtendedNFA.h | |
MultiInitialStateEpsilonNFA.cpp | |
MultiInitialStateEpsilonNFA.h | |
MultiInitialStateNFA.cpp | |
MultiInitialStateNFA.h | |
NFA.cpp | |
NFA.h | |
► PDA | |
DPDA.cpp | |
DPDA.h | |
InputDrivenDPDA.cpp | |
InputDrivenDPDA.h | |
InputDrivenNPDA.cpp | |
InputDrivenNPDA.h | |
NPDA.cpp | |
NPDA.h | |
NPDTA.cpp | |
NPDTA.h | |
RealTimeHeightDeterministicDPDA.cpp | |
RealTimeHeightDeterministicDPDA.h | |
RealTimeHeightDeterministicNPDA.cpp | |
RealTimeHeightDeterministicNPDA.h | |
SinglePopDPDA.cpp | |
SinglePopDPDA.h | |
SinglePopNPDA.cpp | |
SinglePopNPDA.h | |
VisiblyPushdownDPDA.cpp | |
VisiblyPushdownDPDA.h | |
VisiblyPushdownNPDA.cpp | |
VisiblyPushdownNPDA.h | |
► TA | |
DFTA.cpp | |
DFTA.h | |
NFTA.cpp | |
NFTA.h | |
NondeterministicZAutomaton.cpp | |
NondeterministicZAutomaton.h | |
UnorderedNFTA.cpp | |
UnorderedNFTA.h | |
► TM | |
OneTapeDTM.cpp | |
OneTapeDTM.h | |
Automaton.h | |
AutomatonException.cpp | |
AutomatonException.h | |
► common | |
► xml | |
SparseBoolVector.cpp | |
SparseBoolVector.hpp | |
SymbolOrEpsilon.h | |
DefaultStateType.h | |
DefaultSymbolType.h | |
ranked_symbol.hpp | |
SparseBoolVector.hpp | |
symbol_or_epsilon.hpp | |
► grammar | |
► common | |
GrammarNormalize.h | |
► ContextFree | |
CFG.cpp | |
CFG.h | |
CNF.cpp | |
CNF.h | |
EpsilonFreeCFG.cpp | |
EpsilonFreeCFG.h | |
GNF.cpp | |
GNF.h | |
LG.cpp | |
LG.h | |
► ContextSensitive | |
CSG.cpp | |
CSG.h | |
NonContractingGrammar.cpp | |
NonContractingGrammar.h | |
► Regular | |
LeftLG.cpp | |
LeftLG.h | |
LeftRG.cpp | |
LeftRG.h | |
RightLG.cpp | |
RightLG.h | |
RightRG.cpp | |
RightRG.h | |
► Unrestricted | |
ContextPreservingUnrestrictedGrammar.cpp | |
ContextPreservingUnrestrictedGrammar.h | |
UnrestrictedGrammar.cpp | |
UnrestrictedGrammar.h | |
► xml | |
► common | |
GrammarFromXMLParser.h | |
GrammarToXMLComposer.h | |
► ContextFree | |
CFG.cpp | |
CFG.h | |
CNF.cpp | |
CNF.h | |
EpsilonFreeCFG.cpp | |
EpsilonFreeCFG.h | |
GNF.cpp | |
GNF.h | |
LG.cpp | |
LG.h | |
► ContextSensitive | |
CSG.cpp | |
CSG.h | |
NonContractingGrammar.cpp | |
NonContractingGrammar.h | |
► Regular | |
LeftLG.cpp | |
LeftLG.h | |
LeftRG.cpp | |
LeftRG.h | |
RightLG.cpp | |
RightLG.h | |
RightRG.cpp | |
RightRG.h | |
► Unrestricted | |
ContextPreservingUnrestrictedGrammar.cpp | |
ContextPreservingUnrestrictedGrammar.h | |
UnrestrictedGrammar.cpp | |
UnrestrictedGrammar.h | |
AddRawRule.cpp | |
AddRawRule.h | |
Grammar.h | |
GrammarException.cpp | |
GrammarException.h | |
RawRules.cpp | |
RawRules.h | |
► indexes | |
► arbology | |
CompressedBitParallelTreeIndex.cpp | |
CompressedBitParallelTreeIndex.h | |
FullAndLinearIndex.cpp | |
FullAndLinearIndex.h | |
NonlinearCompressedBitParallelTreeIndex.cpp | |
NonlinearCompressedBitParallelTreeIndex.h | |
NonlinearFullAndLinearIndex.cpp | |
NonlinearFullAndLinearIndex.h | |
► common | |
IndexesNormalize.h | |
► stringology | |
BitParallelIndex.cpp | |
BitParallelIndex.h | |
BitSetIndex.cpp | |
BitSetIndex.h | |
CompressedBitParallelIndex.cpp | |
CompressedBitParallelIndex.h | |
FactorOracleAutomaton.cpp | |
FactorOracleAutomaton.h | |
PositionHeap.cpp | |
PositionHeap.h | |
SuffixArray.cpp | |
SuffixArray.h | |
SuffixAutomaton.cpp | |
SuffixAutomaton.h | |
SuffixTrie.cpp | |
SuffixTrie.h | |
► xml | |
► arbology | |
CompressedBitParallelTreeIndex.cpp | |
CompressedBitParallelTreeIndex.h | |
FullAndLinearIndex.cpp | |
FullAndLinearIndex.h | |
NonlinearCompressedBitParallelTreeIndex.cpp | |
NonlinearCompressedBitParallelTreeIndex.h | |
NonlinearFullAndLinearIndex.cpp | |
NonlinearFullAndLinearIndex.h | |
► stringology | |
BitParallelIndex.cpp | |
BitParallelIndex.h | |
BitSetIndex.cpp | |
BitSetIndex.h | |
CompressedBitParallelIndex.cpp | |
CompressedBitParallelIndex.h | |
FactorOracleAutomaton.cpp | |
FactorOracleAutomaton.h | |
PositionHeap.cpp | |
PositionHeap.h | |
SuffixArray.cpp | |
SuffixArray.h | |
SuffixAutomaton.cpp | |
SuffixAutomaton.h | |
SuffixTrie.cpp | |
SuffixTrie.h | |
► label | |
► xml | |
FailStateLabel.cpp | |
FailStateLabel.h | |
FinalStateLabel.cpp | |
FinalStateLabel.h | |
InitialStateLabel.cpp | |
InitialStateLabel.h | |
FailStateLabel.cpp | |
FailStateLabel.h | |
FinalStateLabel.cpp | |
FinalStateLabel.h | |
InitialStateLabel.cpp | |
InitialStateLabel.h | |
► regexp | |
► formal | |
FormalRegExp.cpp | |
FormalRegExp.h | |
FormalRegExpAlternation.h | |
FormalRegExpConcatenation.h | |
FormalRegExpElement.h | |
FormalRegExpElements.h | |
FormalRegExpEmpty.h | |
FormalRegExpEpsilon.h | |
FormalRegExpIteration.h | |
FormalRegExpStructure.h | |
FormalRegExpSymbol.h | |
► unbounded | |
UnboundedRegExp.cpp | |
UnboundedRegExp.h | |
UnboundedRegExpAlternation.h | |
UnboundedRegExpConcatenation.h | |
UnboundedRegExpElement.h | |
UnboundedRegExpElements.h | |
UnboundedRegExpEmpty.h | |
UnboundedRegExpEpsilon.h | |
UnboundedRegExpIteration.h | |
UnboundedRegExpStructure.h | |
UnboundedRegExpSymbol.h | |
► xml | |
► common | |
RegExpFromXmlParser.h | |
RegExpToXmlComposer.h | |
FormalRegExp.cpp | |
FormalRegExp.h | |
FormalRegExpStructure.h | |
UnboundedRegExp.cpp | |
UnboundedRegExp.h | |
UnboundedRegExpStructure.h | |
RegExp.cpp | |
RegExp.h | |
► rte | |
► formal | |
FormalRTE.cpp | |
FormalRTE.h | |
FormalRTEAlternation.h | |
FormalRTEElement.h | |
FormalRTEElements.h | |
FormalRTEEmpty.h | |
FormalRTEIteration.h | |
FormalRTEStructure.h | |
FormalRTESubstitution.h | |
FormalRTESymbol.h | |
FormalRTESymbolAlphabet.h | |
FormalRTESymbolSubst.h | |
► xml | |
► common | |
RTEFromXmlParser.h | |
RTEToXmlComposer.h | |
FormalRTE.cpp | |
FormalRTE.h | |
FormalRTEStructure.h | |
RTE.h | |
► string | |
► xml | |
► common | |
StringFromXmlParserCommon.h | |
StringToXmlComposerCommon.h | |
CyclicString.cpp | |
CyclicString.h | |
LinearString.cpp | |
LinearString.h | |
WildcardLinearString.cpp | |
WildcardLinearString.h | |
CyclicString.cpp | |
CyclicString.h | |
LinearString.cpp | |
LinearString.h | |
String.cpp | |
String.h | |
WildcardLinearString.cpp | |
WildcardLinearString.h | |
► tree | |
► common | |
TreeAuxiliary.h | |
TreeNormalize.h | |
► ranked | |
PostfixRankedTree.cpp | |
PostfixRankedTree.h | |
PrefixRankedBarNonlinearPattern.cpp | |
PrefixRankedBarNonlinearPattern.h | |
PrefixRankedBarPattern.cpp | |
PrefixRankedBarPattern.h | |
PrefixRankedBarTree.cpp | |
PrefixRankedBarTree.h | |
PrefixRankedExtendedPattern.cpp | |
PrefixRankedExtendedPattern.h | |
PrefixRankedNonlinearPattern.cpp | |
PrefixRankedNonlinearPattern.h | |
PrefixRankedPattern.cpp | |
PrefixRankedPattern.h | |
PrefixRankedTree.cpp | |
PrefixRankedTree.h | |
RankedExtendedPattern.cpp | |
RankedExtendedPattern.h | |
RankedNonlinearPattern.cpp | |
RankedNonlinearPattern.h | |
RankedPattern.cpp | |
RankedPattern.h | |
RankedTree.cpp | |
RankedTree.h | |
UnorderedRankedPattern.cpp | |
UnorderedRankedPattern.h | |
UnorderedRankedTree.cpp | |
UnorderedRankedTree.h | |
► unranked | |
PrefixBarTree.cpp | |
PrefixBarTree.h | |
UnorderedUnrankedPattern.cpp | |
UnorderedUnrankedPattern.h | |
UnorderedUnrankedTree.cpp | |
UnorderedUnrankedTree.h | |
UnrankedExtendedPattern.cpp | |
UnrankedExtendedPattern.h | |
UnrankedNonlinearPattern.cpp | |
UnrankedNonlinearPattern.h | |
UnrankedPattern.cpp | |
UnrankedPattern.h | |
UnrankedTree.cpp | |
UnrankedTree.h | |
► xml | |
► common | |
TreeFromXMLParser.h | |
TreeToXMLComposer.h | |
► ranked | |
PostfixRankedTree.cpp | |
PostfixRankedTree.h | |
PrefixRankedBarNonlinearPattern.cpp | |
PrefixRankedBarNonlinearPattern.h | |
PrefixRankedBarPattern.cpp | |
PrefixRankedBarPattern.h | |
PrefixRankedBarTree.cpp | |
PrefixRankedBarTree.h | |
PrefixRankedNonlinearPattern.cpp | |
PrefixRankedNonlinearPattern.h | |
PrefixRankedPattern.cpp | |
PrefixRankedPattern.h | |
PrefixRankedTree.cpp | |
PrefixRankedTree.h | |
RankedNonlinearPattern.cpp | |
RankedNonlinearPattern.h | |
RankedPattern.cpp | |
RankedPattern.h | |
RankedTree.cpp | |
RankedTree.h | |
► unranked | |
PrefixBarTree.cpp | |
PrefixBarTree.h | |
UnrankedNonlinearPattern.cpp | |
UnrankedNonlinearPattern.h | |
UnrankedPattern.cpp | |
UnrankedPattern.h | |
UnrankedTree.cpp | |
UnrankedTree.h | |
Tree.h | |
TreeException.cpp | |
TreeException.h | |
PrimitiveRegistrator.cpp | |
▼ alib2data_experimental | |
► src | |
► grammar | |
► parsing | |
LRParserTypes.h | |
► indexes | |
► common | |
IndexFromXMLParser.cpp | |
IndexFromXMLParser.h | |
IndexToXMLComposer.cpp | |
IndexToXMLComposer.h | |
► stringology | |
CompactSuffixAutomatonTerminatingSymbol.cpp | |
CompactSuffixAutomatonTerminatingSymbol.h | |
SuffixTrieNodeTerminatingSymbol.cpp | |
SuffixTrieNodeTerminatingSymbol.h | |
SuffixTrieTerminatingSymbol.cpp | |
SuffixTrieTerminatingSymbol.h | |
► string | |
LinearStringTerminatingSymbol.cpp | |
LinearStringTerminatingSymbol.h | |
▼ alib2dummy | |
► src | |
► example | |
► xml | |
DataType.cpp | |
DataType.h | |
CreateDataType.cpp | |
CreateDataType.h | |
DataType.cpp | |
DataType.h | |
▼ alib2elgo | |
► src | |
► automaton | |
► properties | |
► efficient | |
AllEpsilonClosure.cpp | |
AllEpsilonClosure.h | |
ReachableStates.cpp | |
ReachableStates.h | |
UsefulStates.cpp | |
UsefulStates.h | |
► simplify | |
► efficient | |
EpsilonRemoverIncoming.cpp | |
EpsilonRemoverIncoming.h | |
EpsilonRemoverOutgoing.cpp | |
EpsilonRemoverOutgoing.h | |
Trim.cpp | |
Trim.h | |
UnreachableStatesRemover.cpp | |
UnreachableStatesRemover.h | |
UselessStatesRemover.cpp | |
UselessStatesRemover.h | |
▼ alib2graph_algo | |
► src | |
► common | |
ReconstructPath.hpp | |
► generate | |
FixedUndirectedGraph.cpp | |
FixedUndirectedGraph.hpp | |
FixedWeightedSquareGrid8.cpp | |
FixedWeightedSquareGrid8.hpp | |
FixedWeightedUndirectedGraph.cpp | |
FixedWeightedUndirectedGraph.hpp | |
RandomGraphFactory.cpp | |
RandomGraphFactory.hpp | |
RandomGridFactory.cpp | |
RandomGridFactory.hpp | |
► heuristic | |
ChebyshevDistance.cpp | |
ChebyshevDistance.hpp | |
DiagonalDistance.cpp | |
DiagonalDistance.hpp | |
EuclideanDistance.cpp | |
EuclideanDistance.hpp | |
EuclideanDistanceNoSQRT.cpp | |
EuclideanDistanceNoSQRT.hpp | |
ManhattenDistance.cpp | |
ManhattenDistance.hpp | |
SquareGridHeuristics.hpp | |
► maximum_flow | |
FordFulkerson.cpp | |
FordFulkerson.hpp | |
► minimum_cut | |
FordFulkerson.cpp | |
FordFulkerson.hpp | |
► shortest_path | |
AStar.cpp | |
AStar.hpp | |
BellmanFord.cpp | |
BellmanFord.hpp | |
Dijkstra.cpp | |
Dijkstra.hpp | |
FloydWarshall.cpp | |
FloydWarshall.hpp | |
GreedyBestFS.cpp | |
GreedyBestFS.hpp | |
IDAStar.cpp | |
IDAStar.hpp | |
MM.cpp | |
MM.hpp | |
SPFA.cpp | |
SPFA.hpp | |
► spanning_tree | |
JarnikPrim.cpp | |
JarnikPrim.hpp | |
► traverse | |
BFS.cpp | |
BFS.hpp | |
DFS.cpp | |
DFS.hpp | |
IDDFS.cpp | |
IDDFS.hpp | |
▼ alib2graph_data | |
► src | |
► common | |
► default_type | |
DefaultCapacityEdgeType.hpp | |
DefaultCapacityType.hpp | |
DefaultCoordinateType.hpp | |
DefaultEdgeType.hpp | |
DefaultNodeType.hpp | |
DefaultSquareGridEdgeType.hpp | |
DefaultSquareGridNodeType.hpp | |
DefaultSquareGridWeightedEdgeType.hpp | |
DefaultWeightedEdgeType.hpp | |
DefaultWeightType.hpp | |
DefaultTypes.hpp | |
Normalize.hpp | |
SupportFunction.hpp | |
► edge | |
► capacity | |
CapacityEdge.cpp | |
CapacityEdge.hpp | |
► weighted | |
WeightedEdge.cpp | |
WeightedEdge.hpp | |
Edge.cpp | |
Edge.hpp | |
EdgeBase.hpp | |
EdgeClasses.hpp | |
EdgeFeatures.hpp | |
► graph | |
► directed | |
DirectedGraph.cpp | |
DirectedGraph.hpp | |
DirectedMultiGraph.cpp | |
DirectedMultiGraph.hpp | |
► mixed | |
MixedGraph.cpp | |
MixedGraph.hpp | |
MixedMultiGraph.cpp | |
MixedMultiGraph.hpp | |
► undirected | |
UndirectedGraph.cpp | |
UndirectedGraph.hpp | |
UndirectedMultiGraph.cpp | |
UndirectedMultiGraph.hpp | |
► weighted | |
WeightedGraphClasses.cpp | |
WeightedGraphClasses.hpp | |
GraphBase.hpp | |
GraphClasses.hpp | |
GraphFeatures.hpp | |
GraphInterface.hpp | |
► grid | |
► common | |
GridDirection.hpp | |
GridFunction.cpp | |
GridFunction.hpp | |
► parser | |
SquareGridMapParser.hpp | |
► square | |
SquareGrid.hpp | |
SquareGrid4.cpp | |
SquareGrid4.hpp | |
SquareGrid8.cpp | |
SquareGrid8.hpp | |
WeightedSquareGrid4.cpp | |
WeightedSquareGrid4.hpp | |
WeightedSquareGrid8.cpp | |
WeightedSquareGrid8.hpp | |
GridBase.hpp | |
GridClasses.hpp | |
GridFeatures.hpp | |
GridInterface.hpp | |
► node | |
Node.cpp | |
Node.hpp | |
NodeBase.hpp | |
NodeClasses.hpp | |
▼ alib2measure | |
► src | |
► allocator | |
StealthAllocator.hpp | |
StealthTypes.cpp | |
StealthTypes.hpp | |
► debug | |
New.cpp | |
► measurements | |
► frames | |
CounterDataFrame.cpp | |
CounterDataFrame.hpp | |
MemoryDataFrame.cpp | |
MemoryDataFrame.hpp | |
TimeDataFrame.cpp | |
TimeDataFrame.hpp | |
MeasurementEngine.cpp | |
MeasurementEngine.hpp | |
MeasurementFrame.cpp | |
MeasurementFrame.hpp | |
MeasurementNew.cpp | |
MeasurementNew.hpp | |
MeasurementResults.cpp | |
MeasurementResults.hpp | |
measurements.cpp | |
measurements.hpp | |
MeasurementTypes.cpp | |
MeasurementTypes.hpp | |
▼ alib2raw | |
► src | |
► abstraction | |
RawReaderAbstraction.hpp | |
RawWriterAbstraction.hpp | |
► core | |
rawApi.hpp | |
► factory | |
RawDataFactory.hpp | |
► registration | |
RawRegistration.hpp | |
► registry | |
RawReaderRegistry.cpp | |
RawReaderRegistry.hpp | |
RawWriterRegistry.cpp | |
RawWriterRegistry.hpp | |
► string | |
► raw | |
LinearString.cpp | |
LinearString.h | |
► tree | |
► raw | |
UnrankedTree.cpp | |
UnrankedTree.h | |
▼ alib2raw_cli_integration | |
► src | |
InputFileTypeRegistration.cpp | |
OutputFileTypeRegistration.cpp | |
▼ alib2std | |
► src | |
► extensions | |
► common | |
tuple_common.hpp | |
► container | |
► managed | |
managed_linear_set.hpp | |
managed_value.hpp | |
array.hpp | |
bitset.hpp | |
deque.hpp | |
forward_list.hpp | |
forward_tree.hpp | |
linear_set.hpp | |
list.hpp | |
map.hpp | |
multimap.hpp | |
multiset.hpp | |
optional.hpp | |
optional_ref.hpp | |
pair.hpp | |
ptr_array.hpp | |
ptr_tuple.hpp | |
ptr_value.hpp | |
ptr_vector.hpp | |
set.hpp | |
string.cpp | |
string.hpp | |
tree.hpp | |
tree_base.hpp | |
trie.hpp | |
tuple.hpp | |
unordered_map.hpp | |
variant.hpp | |
vector.hpp | |
► exception | |
ExceptionHandler.cpp | |
ExceptionHandler.hpp | |
► heaps | |
BinomialHeap.h | |
CppHeap.h | |
FibonacciHeap.h | |
algorithm.hpp | |
clone.hpp | |
concepts.hpp | |
dry-comparisons.hpp | |
fdstream.cpp | |
fdstream.hpp | |
foreach.hpp | |
fstream.h | |
functional.hpp | |
hexavigesimal.cpp | |
hexavigesimal.h | |
init.cpp | |
init.h | |
iostream.hpp | |
istream.cpp | |
istream.h | |
iterator.hpp | |
memory.hpp | |
ostream.cpp | |
ostream.h | |
random.cpp | |
random.hpp | |
range.hpp | |
registration.hpp | |
sstream.cpp | |
sstream.h | |
type_traits.hpp | |
typeindex.cpp | |
typeindex.h | |
typeinfo.cpp | |
typeinfo.hpp | |
utility.hpp | |
▼ alib2str | |
► src | |
► abstraction | |
StringReaderAbstraction.hpp | |
StringWriterAbstraction.hpp | |
► alphabet | |
► string | |
BarSymbol.cpp | |
BarSymbol.h | |
BlankSymbol.cpp | |
BlankSymbol.h | |
BottomOfTheStackSymbol.cpp | |
BottomOfTheStackSymbol.h | |
EndSymbol.cpp | |
EndSymbol.h | |
GapSymbol.cpp | |
GapSymbol.h | |
InitialSymbol.cpp | |
InitialSymbol.h | |
NonlinearVariableSymbol.cpp | |
NonlinearVariableSymbol.h | |
RankedSymbol.cpp | |
RankedSymbol.h | |
StartSymbol.cpp | |
StartSymbol.h | |
SymbolOrEpsilon.cpp | |
SymbolOrEpsilon.h | |
VariablesBarSymbol.cpp | |
VariablesBarSymbol.h | |
WildcardSymbol.cpp | |
WildcardSymbol.h | |
► automaton | |
► string | |
► common | |
AutomatonFromStringParserCommon.cpp | |
AutomatonFromStringParserCommon.h | |
AutomatonToStringComposerCommon.h | |
► FSM | |
DFA.cpp | |
DFA.h | |
EpsilonNFA.cpp | |
EpsilonNFA.h | |
MultiInitialStateEpsilonNFA.cpp | |
MultiInitialStateEpsilonNFA.h | |
MultiInitialStateNFA.cpp | |
MultiInitialStateNFA.h | |
NFA.cpp | |
NFA.h | |
► TA | |
DFTA.cpp | |
DFTA.h | |
NFTA.cpp | |
NFTA.h | |
AutomatonGroupRegister.cpp | |
AutomatonFromStringLexer.cpp | |
AutomatonFromStringLexer.h | |
► common | |
lexer.cpp | |
lexer.hpp | |
► container | |
► string | |
ObjectsPair.cpp | |
ObjectsPair.h | |
ObjectsSet.cpp | |
ObjectsSet.h | |
ObjectsVariant.h | |
ObjectsVector.cpp | |
ObjectsVector.h | |
ContainerFromStringLexer.cpp | |
ContainerFromStringLexer.h | |
► core | |
stringApi.cpp | |
stringApi.hpp | |
► factory | |
StringDataFactory.hpp | |
► grammar | |
► properties | |
IsFITDefinition.h | |
► simplify | |
MakeFITDefinition.h | |
► string | |
► common | |
GrammarFromStringParserCommon.h | |
GrammarToStringComposerCommon.h | |
► ContextFree | |
CFG.cpp | |
CFG.h | |
CNF.cpp | |
CNF.h | |
EpsilonFreeCFG.cpp | |
EpsilonFreeCFG.h | |
GNF.cpp | |
GNF.h | |
LG.cpp | |
LG.h | |
► ContextSensitive | |
CSG.cpp | |
CSG.h | |
NonContractingGrammar.cpp | |
NonContractingGrammar.h | |
► Regular | |
LeftLG.cpp | |
LeftLG.h | |
LeftRG.cpp | |
LeftRG.h | |
RightLG.cpp | |
RightLG.h | |
RightRG.cpp | |
RightRG.h | |
► Unrestricted | |
ContextPreservingUnrestrictedGrammar.cpp | |
ContextPreservingUnrestrictedGrammar.h | |
UnrestrictedGrammar.cpp | |
UnrestrictedGrammar.h | |
GrammarGroupRegister.cpp | |
GrammarFromStringLexer.cpp | |
GrammarFromStringLexer.h | |
► label | |
► string | |
FailStateLabel.cpp | |
FailStateLabel.h | |
FinalStateLabel.cpp | |
FinalStateLabel.h | |
InitialStateLabel.cpp | |
InitialStateLabel.h | |
► object | |
► string | |
AnyObject.cpp | |
ObjectGroupRegister.cpp | |
Void.cpp | |
Void.h | |
► primitive | |
► string | |
Bool.cpp | |
Bool.h | |
Character.cpp | |
Character.h | |
Integer.cpp | |
Integer.h | |
String.cpp | |
String.h | |
Unsigned.cpp | |
Unsigned.h | |
UnsignedLong.cpp | |
UnsignedLong.h | |
PrimitiveFromStringLexer.cpp | |
PrimitiveFromStringLexer.h | |
► regexp | |
► string | |
FormalRegExp.cpp | |
FormalRegExp.h | |
RegexpGroupRegister.cpp | |
UnboundedRegExp.cpp | |
UnboundedRegExp.h | |
RegExpFromStringLexer.cpp | |
RegExpFromStringLexer.h | |
► registration | |
StringRegistration.hpp | |
► registry | |
StringReaderRegistry.cpp | |
StringReaderRegistry.hpp | |
StringWriterRegistry.cpp | |
StringWriterRegistry.hpp | |
► rte | |
► string | |
FormalRTE.cpp | |
FormalRTE.h | |
RTEGroupRegister.cpp | |
RTEFromStringLexer.cpp | |
RTEFromStringLexer.h | |
► string | |
► string | |
► common | |
StringFromStringParserCommon.h | |
StringToStringComposerCommon.h | |
CyclicString.cpp | |
CyclicString.h | |
LinearString.cpp | |
LinearString.h | |
StringGroupRegister.cpp | |
StringFromStringLexer.cpp | |
StringFromStringLexer.h | |
► tree | |
► string | |
► common | |
TreeFromStringParserCommon.h | |
TreeToStringComposerCommon.h | |
► ranked | |
RankedExtendedPattern.cpp | |
RankedExtendedPattern.h | |
RankedNonlinearPattern.cpp | |
RankedNonlinearPattern.h | |
RankedPattern.cpp | |
RankedPattern.h | |
RankedTree.cpp | |
RankedTree.h | |
► unranked | |
UnrankedExtendedPattern.cpp | |
UnrankedExtendedPattern.h | |
UnrankedNonlinearPattern.cpp | |
UnrankedNonlinearPattern.h | |
UnrankedPattern.cpp | |
UnrankedPattern.h | |
UnrankedTree.cpp | |
UnrankedTree.h | |
TreeGroupRegister.cpp | |
TreeFromStringLexer.cpp | |
TreeFromStringLexer.h | |
▼ alib2str_cli_integration | |
► src | |
InputFileTypeRegistration.cpp | |
OutputFileTypeRegistration.cpp | |
▼ alib2xml | |
► src | |
► abstraction | |
XmlComposerAbstraction.hpp | |
XmlParserAbstraction.hpp | |
XmlTokensComposerAbstraction.hpp | |
XmlTokensParserAbstraction.hpp | |
► common | |
► xml | |
AlgorithmCategories.cpp | |
AlgorithmCategories.hpp | |
TypeQualifiers.cpp | |
TypeQualifiers.hpp | |
► container | |
► xml | |
ObjectsBitset.h | |
ObjectsDeque.cpp | |
ObjectsDeque.h | |
ObjectsList.cpp | |
ObjectsList.h | |
ObjectsMap.cpp | |
ObjectsMap.h | |
ObjectsMultimap.cpp | |
ObjectsMultimap.h | |
ObjectsOptional.h | |
ObjectsPair.cpp | |
ObjectsPair.h | |
ObjectsSet.cpp | |
ObjectsSet.h | |
ObjectsTree.cpp | |
ObjectsTree.h | |
ObjectsTrie.cpp | |
ObjectsTrie.h | |
ObjectsTuple.h | |
ObjectsVariant.h | |
ObjectsVector.cpp | |
ObjectsVector.h | |
► core | |
xmlApi.cpp | |
xmlApi.hpp | |
► factory | |
XmlDataFactory.hpp | |
► measure | |
► xml | |
MeasurementResults.cpp | |
MeasurementResults.hpp | |
► object | |
► xml | |
Void.cpp | |
Void.h | |
► primitive | |
► xml | |
Bool.cpp | |
Bool.h | |
Character.cpp | |
Character.h | |
Double.cpp | |
Double.h | |
Integer.cpp | |
Integer.h | |
String.cpp | |
String.h | |
Unsigned.cpp | |
Unsigned.h | |
UnsignedLong.cpp | |
UnsignedLong.h | |
► registration | |
XmlRegistration.cpp | |
XmlRegistration.hpp | |
► registry | |
XmlComposerRegistry.cpp | |
XmlComposerRegistry.hpp | |
XmlContainerParserRegistry.cpp | |
XmlContainerParserRegistry.hpp | |
XmlParserRegistry.cpp | |
XmlParserRegistry.hpp | |
XmlRegistry.cpp | |
XmlRegistry.h | |
► sax | |
ComposerException.cpp | |
ComposerException.h | |
FromXMLParserHelper.cpp | |
FromXMLParserHelper.h | |
ParserException.cpp | |
ParserException.h | |
SaxComposeInterface.cpp | |
SaxComposeInterface.h | |
SaxParseInterface.cpp | |
SaxParseInterface.h | |
Token.cpp | |
Token.h | |
PrimitiveRegistrator.cpp | |
▼ aql2 | |
► src | |
► prompt | |
Prompt.cpp | |
Prompt.h | |
ReadlineLineInterface.cpp | |
ReadlineLineInterface.h | |
ReadlinePromptCompletion.cpp | |
ReadlinePromptCompletion.h | |
ReadlinePromptHistory.cpp | |
ReadlinePromptHistory.h | |
aql.cpp | |