|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
Namespaces | |
| namespace | arbology |
| namespace | automaton |
| namespace | automaton::generate |
| namespace | automaton::properties |
| namespace | automaton::transform |
| namespace | common |
| namespace | equations |
| namespace | grammar |
| namespace | grammar::generate |
| namespace | grammar::transform |
| namespace | regexp |
| namespace | regexp::convert |
| namespace | regexp::generate |
| namespace | regexp::simplify |
| namespace | rte |
| namespace | string |
| namespace | string::generate |
| namespace | stringology |
| namespace | stringology::cover |
| namespace | stringology::indexing |
| namespace | stringology::seed |
| namespace | tree |
| namespace | tree::generate |
| namespace | tree::properties |
Data Structures | |
| class | ArithmeticModel< SymbolType > |
Functions | |
| template<class TerminalSymbolType , class NonterminalSymbolType > | |
| void | copyNonterminalsRename (grammar::CFG< TerminalSymbolType, ext::pair< NonterminalSymbolType, unsigned > > &dst, const grammar::CFG< TerminalSymbolType, NonterminalSymbolType > &src, const unsigned suffix) |
| template<class TerminalSymbolType , class NonterminalSymbolType > | |
| void | copyRulesRenameNonterminals (grammar::CFG< TerminalSymbolType, ext::pair< NonterminalSymbolType, unsigned > > &dst, const grammar::CFG< TerminalSymbolType, NonterminalSymbolType > &src, const unsigned suffix) |
| void copyNonterminalsRename | ( | grammar::CFG< TerminalSymbolType, ext::pair< NonterminalSymbolType, unsigned > > & | dst, |
| const grammar::CFG< TerminalSymbolType, NonterminalSymbolType > & | src, | ||
| const unsigned | suffix | ||
| ) |
| void copyRulesRenameNonterminals | ( | grammar::CFG< TerminalSymbolType, ext::pair< NonterminalSymbolType, unsigned > > & | dst, |
| const grammar::CFG< TerminalSymbolType, NonterminalSymbolType > & | src, | ||
| const unsigned | suffix | ||
| ) |