RHDPDACommon.h File Reference

#include "common/DefaultStateType.h"
#include "common/DefaultSymbolType.h"
#include <alib/set>
#include <alib/map>
#include "automaton/PDA/VisiblyPushdownDPDA.h"
#include "automaton/PDA/RealTimeHeightDeterministicDPDA.h"
#include <queue>

Include dependency graph for RHDPDACommon.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	automaton
namespace	automaton::determinize

Functions
template<class StateType >
ext::set< StateType >	automaton::determinize::retrieveDSubSet (const ext::set< ext::pair< StateType, StateType > > &localOperation)
template<class StateType >
ext::set< ext::pair< StateType, StateType > >	automaton::determinize::createIdentity (const ext::set< StateType > &states)
template<class InputSymbolType , class StateType , class N >
ext::set< ext::pair< StateType, StateType > >	automaton::determinize::retInitial (const ext::set< ext::pair< StateType, StateType > > &S, const InputSymbolType &input, const N &nondeterministic)
template<class InputSymbolType , class DeterministicPushdownStoreSymbolType , class StateType , class N >
ext::set< ext::pair< StateType, StateType > >	automaton::determinize::ret (const ext::set< ext::pair< StateType, StateType > > &S, const DeterministicPushdownStoreSymbolType &pdaSymbol, const InputSymbolType &input, const N &nondeterministic)
template<class InputSymbolType , class StateType , class N >
ext::set< ext::pair< StateType, StateType > >	automaton::determinize::call (const ext::set< ext::pair< StateType, StateType > > &S, const InputSymbolType &input, const N &nondeterministic)
template<class InputSymbolType , class StateType , class N >
	automaton::determinize::ext::set< ext::pair< StateType, StateType > > (const ext::set< ext::pair< StateType, StateType > > &S, const InputSymbolType &input, const N &nondeterministic)
template<class DeterministicStateType , class DeterministicPushdownStoreSymbolType >
void	automaton::determinize::updateTopSymbols (ext::map< DeterministicStateType, ext::set< DeterministicStateType > > &localClosure, ext::map< DeterministicStateType, ext::set< DeterministicPushdownStoreSymbolType > > &topSymbols, std::queue< ext::pair< DeterministicStateType, DeterministicPushdownStoreSymbolType > > &dirtyStateSymbols, const DeterministicStateType &state, const ext::set< DeterministicPushdownStoreSymbolType > &newSymbols)