template<class InputSymbolType, class OutputSymbolType, class PushdownStoreSymbolType, class StateType>
class core::ElementConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
Helper class specifying constraints for the automaton's internal pushdown store initial element.
- Template Parameters
-
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. |