template<class InputSymbolType, class PushdownStoreSymbolType, class StateType>
class core::ElementConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
Helper class specifying constraints for the automaton's internal initial state element.
- Template Parameters
-
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. |