Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <NPDTA.h>
Static Public Member Functions | |
static bool | used (const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &automaton, const StateType &state) |
static bool | available (const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType &) |
static void | valid (const automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > &, const StateType &) |
Helper class specifying constraints for the automaton's internal states component.
InputSymbolType | used for the terminal alphabet of the automaton. |
OutputSymbolType | used for the output alphabet of the automaton. |
PushdownSymbolType | used for the pushdown store alphabet of the automaton. |
StateType | used for the terminal alphabet of the automaton. |
|
inlinestatic |
Returns true as all states are possibly available to be elements of the states.
automaton | the tested automaton |
state | the tested state |
|
inlinestatic |
Returns true if the state is still used in some transition of the automaton.
automaton | the tested automaton |
state | the tested state |
|
inlinestatic |
All states are valid as a state of the automaton.
automaton | the tested automaton |
state | the tested state |