Skip to content
Snippets Groups Projects
Commit a45ab299 authored by Jan Trávníček's avatar Jan Trávníček
Browse files

algo: use static_cast in glushkov indexate

parent a3440c2f
No related branches found
No related tags found
1 merge request!179C casts to C++ casts redesign
......@@ -39,7 +39,7 @@ ext::ptr_value < FormalRTEElement < ext::pair < SymbolType, unsigned > > > Glush
ext::pair < SymbolType, unsigned > sps = ext::make_pair ( node.getSymbol ( ).getSymbol ( ), i ++ );
ext::ptr_vector < rte::FormalRTEElement < ext::pair < SymbolType, unsigned > > > children;
for ( const rte::FormalRTEElement < SymbolType > & e : node.getElements ( ) ) {
children.push_back ( ( FormalRTEElement < ext::pair < SymbolType, unsigned > > && ) e.template accept < ext::ptr_value < rte::FormalRTEElement < ext::pair < SymbolType, unsigned > > >, GlushkovIndexate::Formal < SymbolType > > ( i ) );
children.push_back ( static_cast < FormalRTEElement < ext::pair < SymbolType, unsigned > > && > ( e.template accept < ext::ptr_value < rte::FormalRTEElement < ext::pair < SymbolType, unsigned > > >, GlushkovIndexate::Formal < SymbolType > > ( i ) ) );
}
 
return ext::ptr_value < FormalRTESymbolAlphabet < ext::pair < SymbolType, unsigned > > > ( FormalRTESymbolAlphabet < ext::pair < SymbolType, unsigned > > ( common::ranked_symbol < ext::pair < SymbolType, unsigned > > ( sps , node.getSymbol ( ).getRank ( ) ), std::move ( children ) ) );
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment