GlushkovPos.h

Go to the documentation of this file.

 
#pragma once
 
#include <common/ranked_symbol.hpp>
 
#include <rte/formal/FormalRTE.h>
#include <rte/formal/FormalRTEElements.h>
 
namespace rte {
 
class GlushkovPos {
public:
    template < class SymbolType >
    static bool pos ( const common::ranked_symbol < SymbolType > & symbol, const rte::FormalRTE < SymbolType > & rte );
 
    template < class SymbolType >
    class Formal {
    public:
        static bool visit ( const rte::FormalRTEAlternation < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF );
        static bool visit ( const rte::FormalRTESubstitution < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF );
        static bool visit ( const rte::FormalRTEIteration < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF );
        static bool visit ( const rte::FormalRTESymbolAlphabet < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF );
        static bool visit ( const rte::FormalRTESymbolSubst < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF );
        static bool visit ( const rte::FormalRTEEmpty < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbSearch );
    };
};
 
template < class SymbolType >
bool GlushkovPos::pos ( const common::ranked_symbol < SymbolType > & symbol, const rte::FormalRTE < SymbolType > & rte ) {
    return rte.getRTE ( ).getStructure ( ).template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbol );
}
 
template < class SymbolType >
bool GlushkovPos::Formal < SymbolType >::visit ( const rte::FormalRTEAlternation < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF ) {
    return node.getLeftElement ( ).template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbolF ) || node.getRightElement ( ).template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbolF );
}
 
template < class SymbolType >
bool GlushkovPos::Formal < SymbolType >::visit ( const rte::FormalRTESubstitution < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF ) {
    return node.getLeftElement ( ).template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbolF ) || node.getRightElement ( ).template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbolF );
}
 
template < class SymbolType >
bool GlushkovPos::Formal < SymbolType >::visit ( const rte::FormalRTEIteration < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF ) {
    return node.getElement ( ).template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbolF );
}
 
template < class SymbolType >
bool GlushkovPos::Formal < SymbolType >::visit ( const rte::FormalRTESymbolAlphabet < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF ) {
    if ( symbolF == node.getSymbol ( ) ) return true;
 
    return std::any_of ( node.getElements ( ).begin ( ), node.getElements ( ).end ( ), [ & ] ( const rte::FormalRTEElement < SymbolType > & element ) {
        return element.template accept < bool, GlushkovPos::Formal < SymbolType > > ( symbolF );
    } );
}
 
template < class SymbolType >
bool GlushkovPos::Formal < SymbolType >::visit ( const rte::FormalRTESymbolSubst < SymbolType > & node, const common::ranked_symbol < SymbolType > & symbolF ) {
    return symbolF == node.getSymbol ( );
}
 
template < class SymbolType >
bool GlushkovPos::Formal < SymbolType >::visit ( const rte::FormalRTEEmpty < SymbolType > & /* node */, const common::ranked_symbol < SymbolType > & /* symbolF */ ) {
    return false;
}
 
} /* namespace rte */