Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Namespaces | Functions
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)