Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <VisiblyPushdownDPDA.h>
Static Public Member Functions | |
static bool | available (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const PushdownStoreSymbolType &symbol) |
static void | valid (const automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &, const PushdownStoreSymbolType &) |
Helper class specifying constraints for the automaton's internal bottom of the stack symbol element.
InputSymbolType | used for the terminal alphabet of the automaton. |
PushdownSymbolType | used for the pushdown store alphabet of the automaton. |
StateType | used for the terminal alphabet of the automaton. |
|
inlinestatic |
Determines whether the bottom of the stack symbol is available in the automaton's pushdown store alphabet.
automaton | the tested automaton |
symbol | the tested symbol |
|
inlinestatic |
All pushdown store symbols are valid as a bottom of the stack symbol symbol of the automaton.
automaton | the tested automaton |
symbol | the tested symbol |