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