Rename.h

Go to the documentation of this file.

 
#pragma once
 
#include <grammar/Regular/LeftRG.h>
#include <grammar/Regular/RightRG.h>
 
#include <ext/algorithm>
 
#include <alib/map>
#include <alib/vector>
 
namespace grammar {
 
namespace simplify {
 
class Rename {
public:
    template < class TerminalSymbolType, class NonterminalSymbolType >
    static grammar::RightRG < TerminalSymbolType, unsigned > rename ( const grammar::RightRG < TerminalSymbolType, NonterminalSymbolType > & rrg );
 
    template < class TerminalSymbolType, class NonterminalSymbolType >
    static grammar::LeftRG < TerminalSymbolType, unsigned > rename ( const grammar::LeftRG < TerminalSymbolType, NonterminalSymbolType > & lrg );
};
 
template < class TerminalSymbolType, class NonterminalSymbolType >
grammar::RightRG < TerminalSymbolType, unsigned > Rename::rename ( const grammar::RightRG < TerminalSymbolType, NonterminalSymbolType > & rrg ) {
    unsigned counter = 0;
 
    ext::map < NonterminalSymbolType, unsigned > renamingData;
 
    for ( const NonterminalSymbolType & symbol : rrg.getNonterminalAlphabet ( ) )
        renamingData.insert ( std::make_pair ( symbol, counter++ ) );
 
    grammar::RightRG < TerminalSymbolType, unsigned > result ( renamingData.at ( rrg.getInitialSymbol ( ) ) );
    result.setGeneratesEpsilon ( rrg.getGeneratesEpsilon ( ) );
    result.setTerminalAlphabet ( rrg.getTerminalAlphabet ( ) );
 
    for ( const NonterminalSymbolType & symbol : rrg.getNonterminalAlphabet ( ) )
        result.addNonterminalSymbol ( renamingData.at ( symbol ) );
 
    for ( const std::pair < const NonterminalSymbolType, ext::set < ext::variant < TerminalSymbolType, ext::pair < TerminalSymbolType, NonterminalSymbolType > > > > & rule : rrg.getRules ( ) )
        for ( const ext::variant < TerminalSymbolType, ext::pair < TerminalSymbolType, NonterminalSymbolType > > & rhs : rule.second )
            if ( rhs.template is < TerminalSymbolType > ( ) ) {
                result.addRule ( renamingData.at ( rule.first ), rhs.template get < TerminalSymbolType > ( ) );
            } else {
                const ext::pair < TerminalSymbolType, NonterminalSymbolType > & realRhs = rhs.template get < ext::pair < TerminalSymbolType, NonterminalSymbolType > > ( );
                result.addRule ( renamingData.at ( rule.first ), ext::make_pair ( realRhs.first, renamingData.at ( realRhs.second ) ) );
            }
 
    return result;
}
 
template < class TerminalSymbolType, class NonterminalSymbolType >
grammar::LeftRG < TerminalSymbolType, unsigned > Rename::rename ( const grammar::LeftRG < TerminalSymbolType, NonterminalSymbolType > & lrg ) {
    unsigned counter = 0;
 
    ext::map < NonterminalSymbolType, unsigned > renamingData;
 
    for ( const NonterminalSymbolType & symbol : lrg.getNonterminalAlphabet ( ) )
        renamingData.insert ( std::make_pair ( symbol, counter++ ) );
 
    grammar::LeftRG < TerminalSymbolType, unsigned > result ( renamingData.at ( lrg.getInitialSymbol ( ) ) );
    result.setGeneratesEpsilon ( lrg.getGeneratesEpsilon ( ) );
    result.setTerminalAlphabet ( lrg.getTerminalAlphabet ( ) );
 
    for ( const NonterminalSymbolType & symbol : lrg.getNonterminalAlphabet ( ) )
        result.addNonterminalSymbol ( renamingData.at ( symbol ) );
 
    for ( const std::pair < const NonterminalSymbolType, ext::set < ext::variant < TerminalSymbolType, ext::pair < NonterminalSymbolType, TerminalSymbolType > > > > & rule : lrg.getRules ( ) )
        for ( const ext::variant < TerminalSymbolType, ext::pair < NonterminalSymbolType, TerminalSymbolType > > & rhs : rule.second )
            if ( rhs.template is < TerminalSymbolType > ( ) ) {
                result.addRule ( renamingData.at ( rule.first ), rhs.template get < TerminalSymbolType > ( ) );
            } else {
                const ext::pair < NonterminalSymbolType, TerminalSymbolType > & realRhs = rhs.template get < ext::pair < NonterminalSymbolType, TerminalSymbolType > > ( );
                result.addRule ( renamingData.at ( rule.first ), ext::make_pair ( renamingData.at ( realRhs.first ), realRhs.second ) );
            }
 
    return result;
}
 
} /* namespace simplify */
 
} /* namespace grammar */