|
Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <RightRegularEquationSolver.h>
Additional Inherited Members | |
Public Member Functions inherited from equations::RegularEquationSolver< TerminalSymbolType, VariableSymbolType > | |
| 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) |
Protected Member Functions inherited from equations::RegularEquationSolver< TerminalSymbolType, VariableSymbolType > | |
| void | sortSymbolsByDepth (const VariableSymbolType &solveFor) |
Protected Attributes inherited from equations::RegularEquationSolver< TerminalSymbolType, VariableSymbolType > | |
| 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 |