#include <DPDA.h>
|
static std::string | xmlTagName () |
| The XML tag name of class. More...
|
|
static bool | first (const ext::deque< sax::Token >::const_iterator &input) |
| Tests whether the token stream starts with this type. More...
|
|
static automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > | parse (ext::deque< sax::Token >::iterator &input) |
|
static void | parseTransition (ext::deque< sax::Token >::iterator &input, automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton) |
|
static void | compose (ext::deque< sax::Token > &out, const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton) |
|
static void | composeTransitions (ext::deque< sax::Token > &out, const automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > &automaton) |
|
◆ compose()
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
Composing to a sequence of xml tokens helper.
- Parameters
-
out | the sink for new xml tokens representing the automaton |
automaton | the automaton to compose |
◆ composeTransitions()
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
Helper for composing transitions of the automaton to a sequence of xml tokens.
- Parameters
-
out | the sink for xml tokens representing the rules of the automaton |
automaton | the automaton to compose |
◆ first()
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
Tests whether the token stream starts with this type.
\params input the iterator to sequence of xml tokens to test
- Returns
- true if the token stream iterator points to opening tag named with xml tag name of this type, false otherwise.
◆ parse()
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
Parsing from a sequence of xml tokens helper.
\params input the iterator to sequence of xml tokens to parse from
- Returns
- the new instance of the automaton
◆ parseTransition()
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
Helper for parsing of individual transitions of the automaton from a sequence of xml tokens.
\params input the iterator to sequence of xml tokens to parse from \params automaton the automaton to add the rule to
◆ xmlTagName()
template<class InputSymbolType , class PushdownStoreSymbolType , class StateType >
The XML tag name of class.
Intentionaly a static member function to be safe in the initialisation before the main function starts.
- Returns
- string representing the XML tag name of the class
The documentation for this struct was generated from the following file:
- alib2data/src/automaton/xml/PDA/DPDA.h