Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <RealTimeHeightDeterministicNPDA.h>
Static Public Member Functions | |
static bool | used (const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType &) |
static bool | available (const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const StateType &state) |
static void | valid (const automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType &) |
Helper class specifying constraints for the automaton's internal initial component 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 state is available in the automaton's states set.
automaton | the tested automaton |
state | the tested state |
|
inlinestatic |
Returns false. Initial state is only a mark that the automaton itself does require further.
automaton | the tested automaton |
state | the tested state |
|
inlinestatic |
All states are valid as an initial state of the automaton.
automaton | the tested automaton |
state | the tested state |