Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
equations::RightRegularEquationSolver< TerminalSymbolType, VariableSymbolType > Class Template Reference

#include <RightRegularEquationSolver.h>

Inheritance diagram for equations::RightRegularEquationSolver< TerminalSymbolType, VariableSymbolType >:
[legend]
Collaboration diagram for equations::RightRegularEquationSolver< TerminalSymbolType, VariableSymbolType >:
[legend]

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
 

The documentation for this class was generated from the following file: