Translate.h

Go to the documentation of this file.

 
#pragma once
 
#include <string/LinearString.h>
 
#include "Run.h"
#include <automaton/PDA/NPDTA.h>
 
#include <alib/deque>
#include <alib/set>
 
namespace automaton {
 
namespace run {
 
class Translate {
public:
    template < class InputSymbolType, class OutputSymbolType, class PushdownStoreSymbolType, class StateType >
    static ext::set < string::LinearString < OutputSymbolType > > translate ( const automaton::NPDTA < InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > & automaton, const string::LinearString < InputSymbolType > & string );
 
};
 
template < class InputSymbolType, class OutputSymbolType, class PushdownStoreSymbolType, class StateType >
ext::set < string::LinearString < OutputSymbolType > > Translate::translate ( const automaton::NPDTA < InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > & automaton, const string::LinearString < InputSymbolType > & string ) {
    ext::set < ext::tuple < StateType, ext::set < unsigned >, ext::deque < PushdownStoreSymbolType >, ext::deque < OutputSymbolType > > > res = Run::calculateStates ( automaton, string );
    ext::set < string::LinearString < OutputSymbolType > > strings;
 
    for ( const auto & resItem : res ) {
        const ext::deque < OutputSymbolType > & rawString = std::get < 3 > ( resItem );
        strings . insert ( string::LinearString < OutputSymbolType > ( ext::vector < OutputSymbolType > ( rawString.begin ( ), rawString.end ( ) ) ) );
    }
 
    return strings;
}
 
} /* namespace run */
 
} /* namespace automaton */