Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages

alib2data → alib2abstraction Relation

File in alib2dataIncludes file in alib2abstraction
src / alphabet / BarSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / BlankSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / BottomOfTheStackSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / EndSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / GapSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / InitialSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / NodeWildcardSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / NonlinearVariableSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / NonlinearVariableSymbol.hsrc / core / normalize.hpp
src / alphabet / StartSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / VariablesBarSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / alphabet / WildcardSymbol.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / arbology / CompressedBitParallelTreeIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / arbology / FullAndLinearIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / arbology / NonlinearCompressedBitParallelTreeIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / arbology / NonlinearFullAndLinearIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / common / ranked_symbol.hppsrc / core / normalize.hpp
src / common / symbol_or_epsilon.hppsrc / core / normalize.hpp
src / grammar / ContextFree / CFG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextFree / CFG.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextFree / CFG.hsrc / core / normalize.hpp
src / grammar / ContextFree / CNF.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextFree / CNF.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextFree / CNF.hsrc / core / normalize.hpp
src / grammar / ContextFree / EpsilonFreeCFG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextFree / EpsilonFreeCFG.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextFree / EpsilonFreeCFG.hsrc / core / normalize.hpp
src / grammar / ContextFree / GNF.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextFree / GNF.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextFree / GNF.hsrc / core / normalize.hpp
src / grammar / ContextFree / LG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextFree / LG.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextFree / LG.hsrc / core / normalize.hpp
src / grammar / ContextSensitive / CSG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextSensitive / CSG.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextSensitive / CSG.hsrc / core / normalize.hpp
src / grammar / ContextSensitive / NonContractingGrammar.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / ContextSensitive / NonContractingGrammar.cppsrc / registration / CastRegistration.hpp
src / grammar / ContextSensitive / NonContractingGrammar.hsrc / core / normalize.hpp
src / regexp / formal / FormalRegExp.cppsrc / registration / CastRegistration.hpp
src / regexp / formal / FormalRegExp.cppsrc / registration / ValuePrinterRegistration.hpp
src / regexp / formal / FormalRegExp.hsrc / core / normalize.hpp
src / rte / formal / FormalRTE.cppsrc / registration / ValuePrinterRegistration.hpp
src / rte / formal / FormalRTE.hsrc / core / normalize.hpp
src / automaton / FSM / CompactDFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / CompactDFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / CompactDFA.cppsrc / registration / ComponentRegistration.hpp
src / automaton / FSM / CompactDFA.hsrc / core / normalize.hpp
src / automaton / FSM / CompactNFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / CompactNFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / CompactNFA.cppsrc / registration / ComponentRegistration.hpp
src / automaton / FSM / CompactNFA.hsrc / core / normalize.hpp
src / automaton / FSM / DFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / DFA.hsrc / core / normalize.hpp
src / automaton / FSM / EpsilonNFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / EpsilonNFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / EpsilonNFA.hsrc / core / normalize.hpp
src / automaton / FSM / ExtendedNFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / ExtendedNFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / ExtendedNFA.hsrc / core / normalize.hpp
src / automaton / FSM / MultiInitialStateEpsilonNFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / MultiInitialStateEpsilonNFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / MultiInitialStateEpsilonNFA.hsrc / core / normalize.hpp
src / automaton / FSM / MultiInitialStateNFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / MultiInitialStateNFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / MultiInitialStateNFA.hsrc / core / normalize.hpp
src / automaton / FSM / NFA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / FSM / NFA.cppsrc / registration / CastRegistration.hpp
src / automaton / FSM / NFA.hsrc / core / normalize.hpp
src / grammar / AddRawRule.cppsrc / registration / AlgoRegistration.hpp
src / grammar / RawRules.cppsrc / registration / AlgoRegistration.hpp
src / label / FailStateLabel.cppsrc / registration / ValuePrinterRegistration.hpp
src / label / FinalStateLabel.cppsrc / registration / ValuePrinterRegistration.hpp
src / label / InitialStateLabel.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / DPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / DPDA.hsrc / core / normalize.hpp
src / automaton / PDA / InputDrivenDPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / InputDrivenDPDA.hsrc / core / normalize.hpp
src / automaton / PDA / InputDrivenNPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / InputDrivenNPDA.hsrc / core / normalize.hpp
src / automaton / PDA / NPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / NPDA.hsrc / core / normalize.hpp
src / automaton / PDA / NPDTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / NPDTA.hsrc / core / normalize.hpp
src / automaton / PDA / RealTimeHeightDeterministicDPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / RealTimeHeightDeterministicDPDA.hsrc / core / normalize.hpp
src / automaton / PDA / RealTimeHeightDeterministicNPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / RealTimeHeightDeterministicNPDA.hsrc / core / normalize.hpp
src / automaton / PDA / SinglePopDPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / SinglePopDPDA.hsrc / core / normalize.hpp
src / automaton / PDA / SinglePopNPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / SinglePopNPDA.hsrc / core / normalize.hpp
src / automaton / PDA / VisiblyPushdownDPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / VisiblyPushdownDPDA.hsrc / core / normalize.hpp
src / automaton / PDA / VisiblyPushdownNPDA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / PDA / VisiblyPushdownNPDA.hsrc / core / normalize.hpp
src / tree / ranked / PostfixRankedTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PostfixRankedTree.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PostfixRankedTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PostfixRankedTree.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedBarNonlinearPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedBarNonlinearPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedBarNonlinearPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedBarNonlinearPattern.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedBarPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedBarPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedBarPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedBarPattern.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedBarTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedBarTree.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedBarTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedBarTree.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedExtendedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedExtendedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedExtendedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedExtendedPattern.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedNonlinearPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedNonlinearPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedNonlinearPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedNonlinearPattern.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedPattern.hsrc / core / normalize.hpp
src / tree / ranked / PrefixRankedTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / PrefixRankedTree.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / PrefixRankedTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / PrefixRankedTree.hsrc / core / normalize.hpp
src / tree / ranked / RankedExtendedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / RankedExtendedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / RankedExtendedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / RankedExtendedPattern.hsrc / core / normalize.hpp
src / tree / ranked / RankedNonlinearPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / RankedNonlinearPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / RankedNonlinearPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / RankedNonlinearPattern.hsrc / core / normalize.hpp
src / tree / ranked / RankedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / RankedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / RankedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / RankedPattern.hsrc / core / normalize.hpp
src / tree / ranked / RankedTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / RankedTree.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / RankedTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / RankedTree.hsrc / core / normalize.hpp
src / tree / ranked / UnorderedRankedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / UnorderedRankedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / UnorderedRankedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / UnorderedRankedPattern.hsrc / core / normalize.hpp
src / tree / ranked / UnorderedRankedTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / ranked / UnorderedRankedTree.cppsrc / registration / CastRegistration.hpp
src / tree / ranked / UnorderedRankedTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / ranked / UnorderedRankedTree.hsrc / core / normalize.hpp
src / grammar / Regular / LeftLG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / Regular / LeftLG.cppsrc / registration / CastRegistration.hpp
src / grammar / Regular / LeftLG.hsrc / core / normalize.hpp
src / grammar / Regular / LeftRG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / Regular / LeftRG.cppsrc / registration / CastRegistration.hpp
src / grammar / Regular / LeftRG.hsrc / core / normalize.hpp
src / grammar / Regular / RightLG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / Regular / RightLG.cppsrc / registration / CastRegistration.hpp
src / grammar / Regular / RightLG.hsrc / core / normalize.hpp
src / grammar / Regular / RightRG.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / Regular / RightRG.cppsrc / registration / CastRegistration.hpp
src / grammar / Regular / RightRG.hsrc / core / normalize.hpp
src / PrimitiveRegistrator.cppsrc / registry / ContainerRegistry.hpp
src / PrimitiveRegistrator.cppsrc / registration / ValuePrinterRegistration.hpp
src / string / CyclicString.cppsrc / registration / ValuePrinterRegistration.hpp
src / string / CyclicString.cppsrc / registration / CastRegistration.hpp
src / string / CyclicString.hsrc / core / normalize.hpp
src / string / LinearString.cppsrc / registration / ValuePrinterRegistration.hpp
src / string / LinearString.cppsrc / registration / CastRegistration.hpp
src / string / LinearString.cppsrc / registration / SetRegistration.hpp
src / string / LinearString.cppsrc / registration / ComponentRegistration.hpp
src / string / LinearString.hsrc / core / normalize.hpp
src / string / WildcardLinearString.cppsrc / registration / ValuePrinterRegistration.hpp
src / string / WildcardLinearString.cppsrc / registration / CastRegistration.hpp
src / string / WildcardLinearString.cppsrc / registration / ComponentRegistration.hpp
src / string / WildcardLinearString.hsrc / core / normalize.hpp
src / indexes / stringology / BitParallelIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / BitParallelIndex.hsrc / core / normalize.hpp
src / indexes / stringology / BitSetIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / CompressedBitParallelIndex.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / CompressedBitParallelIndex.hsrc / core / normalize.hpp
src / indexes / stringology / FactorOracleAutomaton.cppsrc / registration / CastRegistration.hpp
src / indexes / stringology / FactorOracleAutomaton.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / PositionHeap.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / SuffixArray.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / SuffixAutomaton.cppsrc / registration / CastRegistration.hpp
src / indexes / stringology / SuffixAutomaton.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / SuffixTrie.cppsrc / registration / ValuePrinterRegistration.hpp
src / indexes / stringology / SuffixTrie.hsrc / core / normalize.hpp
src / automaton / TA / ArcFactoredDeterministicZAutomaton.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / ArcFactoredDeterministicZAutomaton.hsrc / core / normalize.hpp
src / automaton / TA / ArcFactoredNondeterministicZAutomaton.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / ArcFactoredNondeterministicZAutomaton.cppsrc / registration / CastRegistration.hpp
src / automaton / TA / ArcFactoredNondeterministicZAutomaton.hsrc / core / normalize.hpp
src / automaton / TA / DFTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / DFTA.hsrc / core / normalize.hpp
src / automaton / TA / EpsilonNFTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / EpsilonNFTA.cppsrc / registration / CastRegistration.hpp
src / automaton / TA / EpsilonNFTA.hsrc / core / normalize.hpp
src / automaton / TA / ExtendedNFTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / ExtendedNFTA.hsrc / core / normalize.hpp
src / automaton / TA / NFTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / NFTA.cppsrc / registration / CastRegistration.hpp
src / automaton / TA / NFTA.hsrc / core / normalize.hpp
src / automaton / TA / NondeterministicZAutomaton.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / NondeterministicZAutomaton.hsrc / core / normalize.hpp
src / automaton / TA / UnorderedDFTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / UnorderedDFTA.hsrc / core / normalize.hpp
src / automaton / TA / UnorderedNFTA.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TA / UnorderedNFTA.cppsrc / registration / CastRegistration.hpp
src / automaton / TA / UnorderedNFTA.hsrc / core / normalize.hpp
src / automaton / TM / OneTapeDTM.cppsrc / registration / ValuePrinterRegistration.hpp
src / automaton / TM / OneTapeDTM.hsrc / core / normalize.hpp
src / regexp / unbounded / UnboundedRegExp.cppsrc / registration / CastRegistration.hpp
src / regexp / unbounded / UnboundedRegExp.cppsrc / registration / ValuePrinterRegistration.hpp
src / regexp / unbounded / UnboundedRegExp.hsrc / core / normalize.hpp
src / tree / unranked / PrefixBarTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / PrefixBarTree.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / PrefixBarTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / PrefixBarTree.hsrc / core / normalize.hpp
src / tree / unranked / UnorderedUnrankedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / UnorderedUnrankedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / UnorderedUnrankedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / UnorderedUnrankedPattern.hsrc / core / normalize.hpp
src / tree / unranked / UnorderedUnrankedTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / UnorderedUnrankedTree.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / UnorderedUnrankedTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / UnorderedUnrankedTree.hsrc / core / normalize.hpp
src / tree / unranked / UnrankedExtendedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / UnrankedExtendedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / UnrankedExtendedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / UnrankedExtendedPattern.hsrc / core / normalize.hpp
src / tree / unranked / UnrankedNonlinearPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / UnrankedNonlinearPattern.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / UnrankedNonlinearPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / UnrankedNonlinearPattern.hsrc / core / normalize.hpp
src / tree / unranked / UnrankedPattern.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / UnrankedPattern.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / UnrankedPattern.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / UnrankedPattern.hsrc / core / normalize.hpp
src / tree / unranked / UnrankedTree.cppsrc / registration / ValuePrinterRegistration.hpp
src / tree / unranked / UnrankedTree.cppsrc / registration / CastRegistration.hpp
src / tree / unranked / UnrankedTree.cppsrc / registration / ComponentRegistration.hpp
src / tree / unranked / UnrankedTree.hsrc / core / normalize.hpp
src / grammar / Unrestricted / ContextPreservingUnrestrictedGrammar.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / Unrestricted / ContextPreservingUnrestrictedGrammar.cppsrc / registration / CastRegistration.hpp
src / grammar / Unrestricted / ContextPreservingUnrestrictedGrammar.hsrc / core / normalize.hpp
src / grammar / Unrestricted / UnrestrictedGrammar.cppsrc / registration / ValuePrinterRegistration.hpp
src / grammar / Unrestricted / UnrestrictedGrammar.cppsrc / registration / CastRegistration.hpp
src / grammar / Unrestricted / UnrestrictedGrammar.hsrc / core / normalize.hpp