RHPDAToPDA.cpp File Reference

#include "RHPDAToPDA.h"
#include <exception/CommonException.h>
#include <automaton/PDA/RealTimeHeightDeterministicDPDA.h>
#include <automaton/PDA/RealTimeHeightDeterministicNPDA.h>
#include <automaton/PDA/DPDA.h>
#include <automaton/PDA/NPDA.h>
#include <alphabet/BottomOfTheStackSymbol.h>
#include <alib/set>
#include <alib/map>
#include <registration/CastRegistration.hpp>
#include <registration/AlgoRegistration.hpp>

Include dependency graph for RHPDAToPDA.cpp:

Namespaces
namespace	automaton
namespace	automaton::transform

Functions
template<class T >
void	automaton::transform::constructTransitions (const ext::tuple< DefaultStateType, DefaultSymbolType, ext::vector< DefaultSymbolType > > &stFirst, const ext::map< DefaultStateType, ext::set< ext::tuple< ext::vector< DefaultSymbolType >, DefaultStateType, ext::vector< DefaultSymbolType > > > > &epsilonTransitions, const DefaultStateType &toState, ext::vector< DefaultSymbolType > pops, ext::vector< DefaultSymbolType > pushes, T &res)