Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
alib2data
alib2data → alib2common Relation
File in alib2data
Includes file in alib2common
src
/
alphabet
/
BarSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
BarSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
BlankSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
BlankSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
BottomOfTheStackSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
BottomOfTheStackSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
EndSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
EndSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
GapSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
GapSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
InitialSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
InitialSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
NodeWildcardSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
NodeWildcardSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
StartSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
StartSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
VariablesBarSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
VariablesBarSymbol.h
src
/
object
/
Object.h
src
/
alphabet
/
WildcardSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
WildcardSymbol.h
src
/
object
/
Object.h
src
/
indexes
/
arbology
/
CompressedBitParallelTreeIndex.h
src
/
core
/
components.hpp
src
/
indexes
/
arbology
/
CompressedBitParallelTreeIndex.h
src
/
exception
/
CommonException.h
src
/
indexes
/
arbology
/
NonlinearCompressedBitParallelTreeIndex.h
src
/
core
/
components.hpp
src
/
indexes
/
arbology
/
NonlinearCompressedBitParallelTreeIndex.h
src
/
exception
/
CommonException.h
src
/
automaton
/
AutomatonException.h
src
/
exception
/
CommonException.h
src
/
rte
/
xml
/
common
/
RTEFromXmlParser.h
src
/
exception
/
CommonException.h
src
/
common
/
DefaultStateType.h
src
/
object
/
Object.h
src
/
common
/
DefaultSymbolType.h
src
/
object
/
Object.h
src
/
common
/
symbol_or_epsilon.hpp
src
/
exception
/
CommonException.h
src
/
grammar
/
xml
/
ContextFree
/
CFG.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
ContextFree
/
CNF.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
ContextFree
/
EpsilonFreeCFG.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
ContextFree
/
GNF.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
ContextFree
/
LG.cpp
src
/
object
/
Object.h
src
/
grammar
/
ContextFree
/
CFG.h
src
/
core
/
components.hpp
src
/
grammar
/
ContextFree
/
CNF.h
src
/
core
/
components.hpp
src
/
grammar
/
ContextFree
/
EpsilonFreeCFG.h
src
/
core
/
components.hpp
src
/
grammar
/
ContextFree
/
GNF.h
src
/
core
/
components.hpp
src
/
grammar
/
ContextFree
/
LG.h
src
/
core
/
components.hpp
src
/
grammar
/
ContextSensitive
/
CSG.h
src
/
core
/
components.hpp
src
/
grammar
/
ContextSensitive
/
NonContractingGrammar.h
src
/
core
/
components.hpp
src
/
grammar
/
xml
/
ContextSensitive
/
CSG.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
ContextSensitive
/
NonContractingGrammar.cpp
src
/
object
/
Object.h
src
/
regexp
/
formal
/
FormalRegExp.h
src
/
core
/
components.hpp
src
/
regexp
/
formal
/
FormalRegExp.h
src
/
exception
/
CommonException.h
src
/
regexp
/
formal
/
FormalRegExpAlternation.h
src
/
exception
/
CommonException.h
src
/
regexp
/
formal
/
FormalRegExpConcatenation.h
src
/
exception
/
CommonException.h
src
/
regexp
/
formal
/
FormalRegExpElement.h
src
/
core
/
visitor.hpp
src
/
regexp
/
formal
/
FormalRegExpIteration.h
src
/
exception
/
CommonException.h
src
/
regexp
/
formal
/
FormalRegExpStructure.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTE.h
src
/
core
/
components.hpp
src
/
rte
/
formal
/
FormalRTE.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTEAlternation.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTEElement.h
src
/
core
/
visitor.hpp
src
/
rte
/
formal
/
FormalRTEIteration.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTEStructure.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTESubstitution.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTESymbolAlphabet.h
src
/
exception
/
CommonException.h
src
/
rte
/
formal
/
FormalRTESymbolSubst.h
src
/
exception
/
CommonException.h
src
/
automaton
/
xml
/
FSM
/
CompactNFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
FSM
/
DFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
FSM
/
EpsilonNFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
FSM
/
ExtendedNFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
FSM
/
MultiInitialStateEpsilonNFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
FSM
/
MultiInitialStateNFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
FSM
/
NFA.cpp
src
/
object
/
Object.h
src
/
automaton
/
FSM
/
CompactDFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
CompactDFA.h
src
/
common
/
createUnique.hpp
src
/
automaton
/
FSM
/
CompactNFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
CompactNFA.h
src
/
common
/
createUnique.hpp
src
/
automaton
/
FSM
/
DFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
EpsilonNFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
EpsilonNFA.h
src
/
common
/
createUnique.hpp
src
/
automaton
/
FSM
/
ExtendedNFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
ExtendedNFA.h
src
/
common
/
createUnique.hpp
src
/
automaton
/
FSM
/
MultiInitialStateEpsilonNFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
MultiInitialStateEpsilonNFA.h
src
/
common
/
createUnique.hpp
src
/
automaton
/
FSM
/
MultiInitialStateNFA.h
src
/
core
/
components.hpp
src
/
automaton
/
FSM
/
NFA.h
src
/
core
/
components.hpp
src
/
grammar
/
GrammarException.h
src
/
exception
/
CommonException.h
src
/
label
/
FailStateLabel.cpp
src
/
object
/
Object.h
src
/
label
/
FailStateLabel.h
src
/
object
/
Object.h
src
/
label
/
FinalStateLabel.cpp
src
/
object
/
Object.h
src
/
label
/
FinalStateLabel.h
src
/
object
/
Object.h
src
/
label
/
InitialStateLabel.cpp
src
/
object
/
Object.h
src
/
label
/
InitialStateLabel.h
src
/
object
/
Object.h
src
/
automaton
/
PDA
/
DPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
InputDrivenDPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
InputDrivenNPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
NPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
NPDTA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
RealTimeHeightDeterministicDPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
RealTimeHeightDeterministicNPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
SinglePopDPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
SinglePopNPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
VisiblyPushdownDPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
PDA
/
VisiblyPushdownNPDA.h
src
/
core
/
components.hpp
src
/
automaton
/
xml
/
PDA
/
DPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
InputDrivenDPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
InputDrivenNPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
NPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
NPDTA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
RealTimeHeightDeterministicDPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
RealTimeHeightDeterministicNPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
SinglePopDPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
SinglePopNPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
VisiblyPushdownDPDA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
PDA
/
VisiblyPushdownNPDA.cpp
src
/
object
/
Object.h
src
/
tree
/
ranked
/
PostfixRankedTree.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedBarNonlinearPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedBarPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedBarTree.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedExtendedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedNonlinearPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
PrefixRankedTree.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
RankedExtendedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
RankedNonlinearPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
RankedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
RankedTree.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
UnorderedRankedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
ranked
/
UnorderedRankedTree.h
src
/
core
/
components.hpp
src
/
tree
/
xml
/
ranked
/
PostfixRankedTree.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
PrefixRankedBarNonlinearPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
PrefixRankedBarPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
PrefixRankedBarTree.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
PrefixRankedNonlinearPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
PrefixRankedPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
PrefixRankedTree.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
RankedNonlinearPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
RankedPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
ranked
/
RankedTree.cpp
src
/
object
/
Object.h
src
/
grammar
/
Regular
/
LeftLG.h
src
/
core
/
components.hpp
src
/
grammar
/
Regular
/
LeftRG.h
src
/
core
/
components.hpp
src
/
grammar
/
Regular
/
RightLG.h
src
/
core
/
components.hpp
src
/
grammar
/
Regular
/
RightRG.h
src
/
core
/
components.hpp
src
/
grammar
/
xml
/
Regular
/
LeftLG.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
Regular
/
LeftRG.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
Regular
/
RightLG.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
Regular
/
RightRG.cpp
src
/
object
/
Object.h
src
/
string
/
CyclicString.h
src
/
core
/
components.hpp
src
/
string
/
CyclicString.h
src
/
exception
/
CommonException.h
src
/
string
/
LinearString.h
src
/
core
/
components.hpp
src
/
string
/
LinearString.h
src
/
exception
/
CommonException.h
src
/
string
/
WildcardLinearString.h
src
/
core
/
components.hpp
src
/
string
/
WildcardLinearString.h
src
/
exception
/
CommonException.h
src
/
indexes
/
stringology
/
BitParallelIndex.h
src
/
core
/
components.hpp
src
/
indexes
/
stringology
/
BitParallelIndex.h
src
/
exception
/
CommonException.h
src
/
indexes
/
stringology
/
BitSetIndex.h
src
/
core
/
components.hpp
src
/
indexes
/
stringology
/
BitSetIndex.h
src
/
exception
/
CommonException.h
src
/
indexes
/
stringology
/
CompressedBitParallelIndex.h
src
/
core
/
components.hpp
src
/
indexes
/
stringology
/
CompressedBitParallelIndex.h
src
/
exception
/
CommonException.h
src
/
indexes
/
stringology
/
PositionHeap.h
src
/
core
/
components.hpp
src
/
indexes
/
stringology
/
PositionHeap.h
src
/
exception
/
CommonException.h
src
/
indexes
/
stringology
/
SuffixArray.h
src
/
exception
/
CommonException.h
src
/
indexes
/
stringology
/
SuffixTrie.h
src
/
core
/
components.hpp
src
/
indexes
/
stringology
/
SuffixTrie.h
src
/
exception
/
CommonException.h
src
/
automaton
/
TA
/
ArcFactoredDeterministicZAutomaton.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
ArcFactoredNondeterministicZAutomaton.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
DFTA.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
EpsilonNFTA.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
ExtendedNFTA.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
NFTA.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
NondeterministicZAutomaton.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
UnorderedDFTA.h
src
/
core
/
components.hpp
src
/
automaton
/
TA
/
UnorderedNFTA.h
src
/
core
/
components.hpp
src
/
automaton
/
xml
/
TA
/
DFTA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
TA
/
NFTA.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
TA
/
NondeterministicZAutomaton.cpp
src
/
object
/
Object.h
src
/
automaton
/
xml
/
TA
/
UnorderedNFTA.cpp
src
/
object
/
Object.h
src
/
automaton
/
TM
/
OneTapeDTM.h
src
/
core
/
components.hpp
src
/
automaton
/
xml
/
TM
/
OneTapeDTM.cpp
src
/
object
/
Object.h
src
/
tree
/
TreeException.h
src
/
exception
/
CommonException.h
src
/
regexp
/
unbounded
/
UnboundedRegExp.h
src
/
core
/
components.hpp
src
/
regexp
/
unbounded
/
UnboundedRegExp.h
src
/
exception
/
CommonException.h
src
/
regexp
/
unbounded
/
UnboundedRegExpAlternation.h
src
/
exception
/
CommonException.h
src
/
regexp
/
unbounded
/
UnboundedRegExpConcatenation.h
src
/
exception
/
CommonException.h
src
/
regexp
/
unbounded
/
UnboundedRegExpElement.h
src
/
core
/
visitor.hpp
src
/
regexp
/
unbounded
/
UnboundedRegExpIteration.h
src
/
exception
/
CommonException.h
src
/
regexp
/
unbounded
/
UnboundedRegExpStructure.h
src
/
exception
/
CommonException.h
src
/
tree
/
xml
/
unranked
/
PrefixBarTree.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
unranked
/
UnrankedNonlinearPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
unranked
/
UnrankedPattern.cpp
src
/
object
/
Object.h
src
/
tree
/
xml
/
unranked
/
UnrankedTree.cpp
src
/
object
/
Object.h
src
/
tree
/
unranked
/
PrefixBarTree.h
src
/
core
/
components.hpp
src
/
tree
/
unranked
/
UnorderedUnrankedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
unranked
/
UnorderedUnrankedTree.h
src
/
core
/
components.hpp
src
/
tree
/
unranked
/
UnrankedExtendedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
unranked
/
UnrankedNonlinearPattern.h
src
/
core
/
components.hpp
src
/
tree
/
unranked
/
UnrankedPattern.h
src
/
core
/
components.hpp
src
/
tree
/
unranked
/
UnrankedTree.h
src
/
core
/
components.hpp
src
/
grammar
/
xml
/
Unrestricted
/
ContextPreservingUnrestrictedGrammar.cpp
src
/
object
/
Object.h
src
/
grammar
/
xml
/
Unrestricted
/
UnrestrictedGrammar.cpp
src
/
object
/
Object.h
src
/
grammar
/
Unrestricted
/
ContextPreservingUnrestrictedGrammar.h
src
/
core
/
components.hpp
src
/
grammar
/
Unrestricted
/
UnrestrictedGrammar.h
src
/
core
/
components.hpp
src
/
alphabet
/
xml
/
BarSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
BlankSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
BottomOfTheStackSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
EndSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
GapSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
InitialSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
NonlinearVariableSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
RankedSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
StartSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
VariablesBarSymbol.cpp
src
/
object
/
Object.h
src
/
alphabet
/
xml
/
WildcardSymbol.cpp
src
/
object
/
Object.h
src
/
string
/
xml
/
CyclicString.cpp
src
/
object
/
Object.h
src
/
string
/
xml
/
LinearString.cpp
src
/
object
/
Object.h
src
/
string
/
xml
/
WildcardLinearString.cpp
src
/
object
/
Object.h
src
/
rte
/
xml
/
FormalRTE.cpp
src
/
object
/
Object.h
src
/
regexp
/
xml
/
FormalRegExp.cpp
src
/
object
/
Object.h
src
/
regexp
/
xml
/
UnboundedRegExp.cpp
src
/
object
/
Object.h
src
/
label
/
xml
/
FailStateLabel.cpp
src
/
object
/
Object.h
src
/
label
/
xml
/
FinalStateLabel.cpp
src
/
object
/
Object.h
src
/
label
/
xml
/
InitialStateLabel.cpp
src
/
object
/
Object.h
Generated on Mon Dec 27 2021 10:22:08 for Algorithms Library Toolkit by
1.9.2