Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <RightRegularEquationSolver.h>
Additional Inherited Members | |
![]() | |
virtual | ~RegularEquationSolver () noexcept=default |
void | addVariableSymbol (const VariableSymbolType &symbol) |
void | removeVariableSymbol (const VariableSymbolType &symbol) |
void | setVariableSymbols (const ext::set< VariableSymbolType > &newSymbols) |
void | addEquation (const VariableSymbolType &from, const VariableSymbolType &to, const regexp::UnboundedRegExpElement< TerminalSymbolType > &eq) |
void | addEquation (const VariableSymbolType &from, const regexp::UnboundedRegExpElement< TerminalSymbolType > &eq) |
regexp::UnboundedRegExp< TerminalSymbolType > | solve (const VariableSymbolType &solveFor) |
![]() | |
void | sortSymbolsByDepth (const VariableSymbolType &solveFor) |
![]() | |
ext::deque< VariableSymbolType > | nonterminalSymbolsByDepth |
ext::map< std::pair< VariableSymbolType, VariableSymbolType >, regexp::UnboundedRegExpAlternation< TerminalSymbolType > > | equationTransition |
ext::map< VariableSymbolType, regexp::UnboundedRegExpAlternation< TerminalSymbolType > > | equationFinal |
ext::set< VariableSymbolType > | nonterminalSymbols |