-
Jan Trávníček authoredJan Trávníček authored
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
ToPostfixPushdownAutomaton.cpp 841 B
/*
* ToPostfixPushdownAutomaton.h
*
* Created on: 11. 4. 2016
* Author: Tomas Pecka
*/
#include "ToPostfixPushdownAutomaton.h"
#include "ToPostfixPushdownAutomatonGlushkov.h"
#include <exception/CommonException.h>
#include <registration/AlgoRegistration.hpp>
namespace rte {
namespace convert {
automaton::Automaton ToPostfixPushdownAutomaton::convert ( const rte::RTE & rte ) {
return dispatch ( rte.getData ( ) );
}
automaton::Automaton ToPostfixPushdownAutomaton::convert ( const rte::FormalRTE < > & rte ) {
return automaton::Automaton ( ToPostfixPushdownAutomatonGlushkov::convert ( rte ) );
}
auto ToAutomatonFormalRegExp = registration::OverloadRegister < ToPostfixPushdownAutomaton, automaton::Automaton, rte::FormalRTE < > > ( ToPostfixPushdownAutomaton::convert );
} /* namespace convert */
} /* namespace rte */