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 | ||
) |