d4/ded/rte_2convert_2ToPostfixPushdownAutomaton_8h_source.html

#pragma once


#include <rte/formal/FormalRTE.h>

#include <automaton/PDA/NPDA.h>

#include "ToPostfixPushdownAutomatonGlushkovNaive.h"


namespace rte {


namespace convert {


class ToPostfixPushdownAutomaton {

public:

    template < class SymbolType >

    static automaton::NPDA < ext::variant < common::ranked_symbol < SymbolType >, alphabet::EndSymbol >, ext::variant < common::ranked_symbol < ext::pair < SymbolType, unsigned > >, alphabet::BottomOfTheStackSymbol >, char > convert ( const rte::FormalRTE < SymbolType > & rte );


};


template < class SymbolType >

automaton::NPDA < ext::variant < common::ranked_symbol < SymbolType >, alphabet::EndSymbol >, ext::variant < common::ranked_symbol < ext::pair < SymbolType, unsigned > >, alphabet::BottomOfTheStackSymbol >, char > ToPostfixPushdownAutomaton::convert ( const rte::FormalRTE < SymbolType > & rte ) {

    return ToPostfixPushdownAutomatonGlushkovNaive::convert ( rte );

}


} /* namespace convert */


} /* namespace rte */


NPDA.h

ToPostfixPushdownAutomatonGlushkovNaive.h

FormalRTE.h

alphabet::BottomOfTheStackSymbol
Represents bottom of the stack symbol used in the visibly pushdown automata.
Definition: BottomOfTheStackSymbol.h:35

alphabet::EndSymbol
Represents end symbol used as termation symbol of a string.
Definition: EndSymbol.h:35

automaton::NPDA
Definition: NPDA.h:74

ext::variant
Implementation of the variant class allowing to store any type of those listed in the template parame...
Definition: variant.hpp:98

rte::FormalRTE
Formal regular tree expression represents regular tree expression. It describes regular tree language...
Definition: FormalRTE.h:71

rte::convert::ToPostfixPushdownAutomatonGlushkovNaive::convert
static automaton::NPDA< ext::variant< common::ranked_symbol< SymbolType >, alphabet::EndSymbol >, ext::variant< common::ranked_symbol< ext::pair< SymbolType, unsigned > >, alphabet::BottomOfTheStackSymbol >, char > convert(const rte::FormalRTE< SymbolType > &rte)
Definition: ToPostfixPushdownAutomatonGlushkovNaive.h:51

rte::convert::ToPostfixPushdownAutomaton
Definition: ToPostfixPushdownAutomaton.h:23

rte::convert::ToPostfixPushdownAutomaton::convert
static automaton::NPDA< ext::variant< common::ranked_symbol< SymbolType >, alphabet::EndSymbol >, ext::variant< common::ranked_symbol< ext::pair< SymbolType, unsigned > >, alphabet::BottomOfTheStackSymbol >, char > convert(const rte::FormalRTE< SymbolType > &rte)
Definition: ToPostfixPushdownAutomaton.h:41

convert
Definition: converterCommon.hpp:8

rte
Definition: ToFTAGlushkov.h:22