Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
|
#include <OneTapeDTM.h>
Static Public Member Functions | |
static bool | available (const automaton::OneTapeDTM< SymbolType, StateType > &automaton, const StateType &state) |
static void | valid (const automaton::OneTapeDTM< SymbolType, StateType > &, const StateType &) |
Helper class specifying constraints for the automaton's internal initial state element.
SymbolType | used for the terminal 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 |
All states are valid as an initial state of the automaton.
automaton | the tested automaton |
state | the tested state |