Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
AutomatonToXMLComposer.h
Go to the documentation of this file.
1
6#pragma once
7
8#include <alib/deque>
9#include <alib/vector>
10#include <alib/multiset>
11#include <alib/set>
12#include <alib/map>
13
14#include <core/xmlApi.hpp>
15
16#include <regexp/xml/UnboundedRegExpStructure.h>
17#include <alphabet/xml/RankedSymbol.h>
18#include <automaton/common/Shift.h>
19#include <common/xml/SymbolOrEpsilon.h>
20
21namespace automaton {
22
26class AutomatonToXMLComposer {
27public:
28 template<class StateType>
29 static void composeStates(ext::deque<sax::Token>&, const ext::set<StateType>& states);
30 template<class SymbolType>
31 static void composeInputAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
32 template<class SymbolType>
33 static void composeCallInputAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
34 template<class SymbolType>
35 static void composeReturnInputAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
36 template<class SymbolType>
37 static void composeLocalInputAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
38 template<class SymbolType>
39 static void composeRankedInputAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
40 template<class StateType>
41 static void composeInitialStates(ext::deque<sax::Token>&, const ext::set<StateType>& states);
42 template<class StateType>
43 static void composeInitialState(ext::deque<sax::Token>&, const StateType& state);
44 template<class StateType>
45 static void composeFinalStates(ext::deque<sax::Token>&, const ext::set<StateType>& states);
46 template<class SymbolType>
47 static void composePushdownStoreAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
48 template<class SymbolType>
49 static void composeInitialPushdownStoreSymbols(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
50 template<class SymbolType>
51 static void composeInitialPushdownStoreSymbol(ext::deque<sax::Token>&, const SymbolType& symbol);
52 template<class SymbolType>
53 static void composeOutputAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
54 template<class SymbolType>
55 static void composeTapeAlphabet(ext::deque<sax::Token>&, const ext::set<SymbolType>& symbols);
56 template<class SymbolType>
57 static void composeBlankSymbol(ext::deque<sax::Token>&, const SymbolType& symbol);
58 template<class SymbolType>
59 static void composeBottomOfTheStackSymbol(ext::deque<sax::Token>&, const SymbolType& symbol);
60 template<class InputSymbolType, class PushdownStoreSymbolType >
61 static void composeInputToPushdownStoreOperation(ext::deque<sax::Token>&, const ext::map<InputSymbolType, ext::pair<ext::vector<PushdownStoreSymbolType>, ext::vector<PushdownStoreSymbolType> > >& operations);
62
63 template<class StateType>
64 static void composeTransitionTo(ext::deque<sax::Token>&, const StateType& state);
65 template<class StateType>
66 static void composeTransitionFrom(ext::deque<sax::Token>&, const StateType& state);
67 template<class StateType>
68 static void composeTransitionFrom(ext::deque<sax::Token>&, const ext::vector<StateType> & states);
69 template<class StateType>
70 static void composeTransitionFrom(ext::deque<sax::Token>&, const ext::multiset<StateType> & states);
71 template<class SymbolType>
72 static void composeTransitionPop(ext::deque<sax::Token>&, const ext::vector<SymbolType>& symbols);
73 template<class SymbolType>
74 static void composeTransitionSinglePop(ext::deque<sax::Token>&, const SymbolType& symbol);
75 template<class SymbolType>
76 static void composeTransitionPush(ext::deque<sax::Token>&, const ext::vector<SymbolType>& symbols);
77 template<class SymbolType>
78 static void composeTransitionSinglePush(ext::deque<sax::Token>&, const SymbolType& symbol);
79 template<class SymbolType>
80 static void composeTransitionInputSymbol(ext::deque<sax::Token>&, const SymbolType& symbol);
81 template<class SymbolType>
82 static void composeTransitionInputSymbolMultiple(ext::deque<sax::Token>&, const ext::vector<SymbolType>& symbols);
83 template<class SymbolType>
84 static void composeTransitionOutputSymbol(ext::deque<sax::Token>&, const SymbolType& symbol);
85 template<class SymbolType>
86 static void composeTransitionOutputSymbolMultiple(ext::deque<sax::Token>&, const ext::vector<SymbolType>& symbols);
87
88 template < class SymbolType >
89 static void composeTransitionInputRegexp(ext::deque<sax::Token>&, const regexp::UnboundedRegExpStructure < SymbolType > & regexp);
90
91 static void composeTransitionShift(ext::deque<sax::Token>& out, Shift shift) {
92 out.emplace_back("shift", sax::Token::TokenType::START_ELEMENT);
93 out.emplace_back( shiftToString ( shift ), sax::Token::TokenType::CHARACTER);
94 out.emplace_back("shift", sax::Token::TokenType::END_ELEMENT);
95 }
96
97};
98
99template < class StateType >
100void AutomatonToXMLComposer::composeStates(ext::deque<sax::Token>& out, const ext::set<StateType>& states) {
101 out.emplace_back("states", sax::Token::TokenType::START_ELEMENT);
102 for (const auto& state : states) {
103 core::xmlApi<StateType>::compose(out, state);
104 }
105 out.emplace_back("states", sax::Token::TokenType::END_ELEMENT);
106}
107
108template < class SymbolType >
109void AutomatonToXMLComposer::composeInputAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
110 out.emplace_back("inputAlphabet", sax::Token::TokenType::START_ELEMENT);
111 for (const auto& symbol : symbols) {
112 core::xmlApi<SymbolType>::compose(out, symbol);
113 }
114 out.emplace_back("inputAlphabet", sax::Token::TokenType::END_ELEMENT);
115}
116
117template < class SymbolType >
118void AutomatonToXMLComposer::composeCallInputAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
119 out.emplace_back("callInputAlphabet", sax::Token::TokenType::START_ELEMENT);
120 for (const auto& symbol : symbols) {
121 core::xmlApi<SymbolType>::compose(out, symbol);
122 }
123 out.emplace_back("callInputAlphabet", sax::Token::TokenType::END_ELEMENT);
124}
125
126template < class SymbolType >
127void AutomatonToXMLComposer::composeReturnInputAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
128 out.emplace_back("returnInputAlphabet", sax::Token::TokenType::START_ELEMENT);
129 for (const auto& symbol : symbols) {
130 core::xmlApi<SymbolType>::compose(out, symbol);
131 }
132 out.emplace_back("returnInputAlphabet", sax::Token::TokenType::END_ELEMENT);
133}
134
135template < class SymbolType >
136void AutomatonToXMLComposer::composeLocalInputAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
137 out.emplace_back("localInputAlphabet", sax::Token::TokenType::START_ELEMENT);
138 for (const auto& symbol : symbols) {
139 core::xmlApi<SymbolType>::compose(out, symbol);
140 }
141 out.emplace_back("localInputAlphabet", sax::Token::TokenType::END_ELEMENT);
142}
143
144template < class SymbolType >
145void AutomatonToXMLComposer::composeRankedInputAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
146 out.emplace_back("rankedInputAlphabet", sax::Token::TokenType::START_ELEMENT);
147 for (const auto& symbol : symbols) {
148 core::xmlApi<SymbolType>::compose(out, symbol);
149 }
150 out.emplace_back("rankedInputAlphabet", sax::Token::TokenType::END_ELEMENT);
151}
152
153template < class StateType >
154void AutomatonToXMLComposer::composeInitialStates(ext::deque<sax::Token>& out, const ext::set<StateType>& states) {
155 out.emplace_back("initialStates", sax::Token::TokenType::START_ELEMENT);
156 for (const auto& state : states) {
157 core::xmlApi<StateType>::compose(out, state);
158 }
159 out.emplace_back("initialStates", sax::Token::TokenType::END_ELEMENT);
160}
161
162template < class StateType >
163void AutomatonToXMLComposer::composeInitialState(ext::deque<sax::Token>& out, const StateType& state) {
164 out.emplace_back("initialState", sax::Token::TokenType::START_ELEMENT);
165 core::xmlApi<StateType>::compose(out, state);
166 out.emplace_back("initialState", sax::Token::TokenType::END_ELEMENT);
167}
168
169template < class StateType >
170void AutomatonToXMLComposer::composeFinalStates(ext::deque<sax::Token>& out, const ext::set<StateType>& states) {
171 out.emplace_back("finalStates", sax::Token::TokenType::START_ELEMENT);
172 for (const auto& state : states) {
173 core::xmlApi<StateType>::compose(out, state);
174 }
175 out.emplace_back("finalStates", sax::Token::TokenType::END_ELEMENT);
176}
177
178template < class SymbolType >
179void AutomatonToXMLComposer::composePushdownStoreAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
180 out.emplace_back("pushdownStoreAlphabet", sax::Token::TokenType::START_ELEMENT);
181 for (const auto& symbol : symbols) {
182 core::xmlApi<SymbolType>::compose(out, symbol);
183 }
184 out.emplace_back("pushdownStoreAlphabet", sax::Token::TokenType::END_ELEMENT);
185}
186
187template < class SymbolType >
188void AutomatonToXMLComposer::composeInitialPushdownStoreSymbols(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
189 out.emplace_back("initialPushdownStoreSymbols", sax::Token::TokenType::START_ELEMENT);
190 for (const auto& symbol : symbols) {
191 core::xmlApi<SymbolType>::compose(out, symbol);
192 }
193 out.emplace_back("initialPushdownStoreSymbols", sax::Token::TokenType::END_ELEMENT);
194}
195
196template < class SymbolType >
197void AutomatonToXMLComposer::composeInitialPushdownStoreSymbol(ext::deque<sax::Token>& out, const SymbolType& symbol) {
198 out.emplace_back("initialPushdownStoreSymbol", sax::Token::TokenType::START_ELEMENT);
199 core::xmlApi<SymbolType>::compose(out, symbol);
200 out.emplace_back("initialPushdownStoreSymbol", sax::Token::TokenType::END_ELEMENT);
201}
202
203template < class SymbolType >
204void AutomatonToXMLComposer::composeOutputAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
205 out.emplace_back("outputAlphabet", sax::Token::TokenType::START_ELEMENT);
206 for (const auto& symbol : symbols) {
207 core::xmlApi<SymbolType>::compose(out, symbol);
208 }
209 out.emplace_back("outputAlphabet", sax::Token::TokenType::END_ELEMENT);
210}
211
212template < class SymbolType >
213void AutomatonToXMLComposer::composeTapeAlphabet(ext::deque<sax::Token>& out, const ext::set<SymbolType>& symbols) {
214 out.emplace_back("tapeAlphabet", sax::Token::TokenType::START_ELEMENT);
215 for (const auto& symbol : symbols) {
216 core::xmlApi<SymbolType>::compose(out, symbol);
217 }
218 out.emplace_back("tapeAlphabet", sax::Token::TokenType::END_ELEMENT);
219}
220
221template < class SymbolType >
222void AutomatonToXMLComposer::composeBlankSymbol(ext::deque<sax::Token>& out, const SymbolType& symbol) {
223 out.emplace_back("blankSymbol", sax::Token::TokenType::START_ELEMENT);
224 core::xmlApi<SymbolType>::compose(out, symbol);
225 out.emplace_back("blankSymbol", sax::Token::TokenType::END_ELEMENT);
226}
227
228template < class SymbolType >
229void AutomatonToXMLComposer::composeBottomOfTheStackSymbol(ext::deque<sax::Token>& out, const SymbolType& symbol) {
230 out.emplace_back("bottomOfTheStackSymbol", sax::Token::TokenType::START_ELEMENT);
231 core::xmlApi<SymbolType>::compose(out, symbol);
232 out.emplace_back("bottomOfTheStackSymbol", sax::Token::TokenType::END_ELEMENT);
233}
234
235template < class InputSymbolType, class PushdownStoreSymbolType >
236void AutomatonToXMLComposer::composeInputToPushdownStoreOperation(ext::deque<sax::Token>& out, const ext::map<InputSymbolType, ext::pair<ext::vector<PushdownStoreSymbolType>, ext::vector<PushdownStoreSymbolType> > >& operations) {
237 out.emplace_back("inputToPushdownStoreOperations", sax::Token::TokenType::START_ELEMENT);
238 for(const auto& pushdownStoreOperation : operations) {
239 out.emplace_back("operation", sax::Token::TokenType::START_ELEMENT);
240
241 core::xmlApi<InputSymbolType>::compose(out, pushdownStoreOperation.first);
242
243 composeTransitionPop(out, pushdownStoreOperation.second.first);
244 composeTransitionPush(out, pushdownStoreOperation.second.second);
245
246 out.emplace_back("operation", sax::Token::TokenType::END_ELEMENT);
247 }
248 out.emplace_back("inputToPushdownStoreOperations", sax::Token::TokenType::END_ELEMENT);
249}
250
251template < class StateType >
252void AutomatonToXMLComposer::composeTransitionTo(ext::deque<sax::Token>& out, const StateType& state) {
253 out.emplace_back("to", sax::Token::TokenType::START_ELEMENT);
254 core::xmlApi<StateType>::compose(out, state);
255 out.emplace_back("to", sax::Token::TokenType::END_ELEMENT);
256}
257
258template < class StateType >
259void AutomatonToXMLComposer::composeTransitionFrom(ext::deque<sax::Token>& out, const StateType& state) {
260 out.emplace_back("from", sax::Token::TokenType::START_ELEMENT);
261 core::xmlApi<StateType>::compose(out, state);
262 out.emplace_back("from", sax::Token::TokenType::END_ELEMENT);
263}
264
265template < class StateType >
266void AutomatonToXMLComposer::composeTransitionFrom(ext::deque<sax::Token>& out, const ext::vector<StateType> & states) {
267 out.emplace_back("from", sax::Token::TokenType::START_ELEMENT);
268 for (const auto& state : states) {
269 core::xmlApi<StateType>::compose(out, state);
270 }
271 out.emplace_back("from", sax::Token::TokenType::END_ELEMENT);
272}
273
274template < class StateType >
275void AutomatonToXMLComposer::composeTransitionFrom(ext::deque<sax::Token>& out, const ext::multiset<StateType> & states) {
276 out.emplace_back("from", sax::Token::TokenType::START_ELEMENT);
277 for (const auto& state : states) {
278 core::xmlApi<StateType>::compose(out, state);
279 }
280 out.emplace_back("from", sax::Token::TokenType::END_ELEMENT);
281}
282
283template < class SymbolType >
284void AutomatonToXMLComposer::composeTransitionPop(ext::deque<sax::Token>& out, const ext::vector<SymbolType>& symbols) {
285 out.emplace_back("pop", sax::Token::TokenType::START_ELEMENT);
286 for (const auto& symbol : symbols) {
287 core::xmlApi<SymbolType>::compose(out, symbol);
288 }
289 out.emplace_back("pop", sax::Token::TokenType::END_ELEMENT);
290}
291
292template < class SymbolType >
293void AutomatonToXMLComposer::composeTransitionSinglePop(ext::deque<sax::Token>& out, const SymbolType& symbol) {
294 out.emplace_back("pop", sax::Token::TokenType::START_ELEMENT);
295 core::xmlApi<SymbolType>::compose(out, symbol);
296 out.emplace_back("pop", sax::Token::TokenType::END_ELEMENT);
297}
298
299template < class SymbolType >
300void AutomatonToXMLComposer::composeTransitionPush(ext::deque<sax::Token>& out, const ext::vector<SymbolType>& symbols) {
301 out.emplace_back("push", sax::Token::TokenType::START_ELEMENT);
302 for (const auto& symbol : symbols) {
303 core::xmlApi<SymbolType>::compose(out, symbol);
304 }
305 out.emplace_back("push", sax::Token::TokenType::END_ELEMENT);
306}
307
308template < class SymbolType >
309void AutomatonToXMLComposer::composeTransitionSinglePush(ext::deque<sax::Token>& out, const SymbolType& symbol) {
310 out.emplace_back("push", sax::Token::TokenType::START_ELEMENT);
311 core::xmlApi<SymbolType>::compose(out, symbol);
312 out.emplace_back("push", sax::Token::TokenType::END_ELEMENT);
313}
314
315template < class SymbolType >
316void AutomatonToXMLComposer::composeTransitionInputSymbol(ext::deque<sax::Token>& out, const SymbolType& symbol) {
317 out.emplace_back("input", sax::Token::TokenType::START_ELEMENT);
318 core::xmlApi<SymbolType>::compose(out, symbol);
319 out.emplace_back("input", sax::Token::TokenType::END_ELEMENT);
320}
321
322template < class SymbolType >
323void AutomatonToXMLComposer::composeTransitionOutputSymbol(ext::deque<sax::Token>& out, const SymbolType& symbol) {
324 out.emplace_back("output", sax::Token::TokenType::START_ELEMENT);
325 core::xmlApi<SymbolType>::compose(out, symbol);
326 out.emplace_back("output", sax::Token::TokenType::END_ELEMENT);
327}
328
329template < class SymbolType >
330void AutomatonToXMLComposer::composeTransitionOutputSymbolMultiple(ext::deque<sax::Token>& out, const ext::vector<SymbolType>& symbols) {
331 out.emplace_back("output", sax::Token::TokenType::START_ELEMENT);
332 for (const auto& symbol : symbols) {
333 core::xmlApi<SymbolType>::compose(out, symbol);
334 }
335 out.emplace_back("output", sax::Token::TokenType::END_ELEMENT);
336}
337
338template < class SymbolType >
339void AutomatonToXMLComposer::composeTransitionInputSymbolMultiple(ext::deque<sax::Token>& out, const ext::vector<SymbolType>& symbols) {
340 out.emplace_back("input", sax::Token::TokenType::START_ELEMENT);
341 for (const auto& symbol : symbols) {
342 core::xmlApi<SymbolType>::compose(out, symbol);
343 }
344 out.emplace_back("input", sax::Token::TokenType::END_ELEMENT);
345}
346
347template < class SymbolType >
348void AutomatonToXMLComposer::composeTransitionInputRegexp(ext::deque<sax::Token>& out, const regexp::UnboundedRegExpStructure < SymbolType > & regexp) {
349 out.emplace_back("input", sax::Token::TokenType::START_ELEMENT);
350 core::xmlApi<regexp::UnboundedRegExpStructure < SymbolType > >::compose(out, regexp);
351 out.emplace_back("input", sax::Token::TokenType::END_ELEMENT);
352}
353
354} /* namespace automaton */
355
356
automaton::AutomatonToXMLComposer
Definition: AutomatonToXMLComposer.h:26
automaton::AutomatonToXMLComposer::composeLocalInputAlphabet
static void composeLocalInputAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:136
automaton::AutomatonToXMLComposer::composeTransitionTo
static void composeTransitionTo(ext::deque< sax::Token > &, const StateType &state)
Definition: AutomatonToXMLComposer.h:252
automaton::AutomatonToXMLComposer::composeStates
static void composeStates(ext::deque< sax::Token > &, const ext::set< StateType > &states)
Definition: AutomatonToXMLComposer.h:100
automaton::AutomatonToXMLComposer::composeInputToPushdownStoreOperation
static void composeInputToPushdownStoreOperation(ext::deque< sax::Token > &, const ext::map< InputSymbolType, ext::pair< ext::vector< PushdownStoreSymbolType >, ext::vector< PushdownStoreSymbolType > > > &operations)
Definition: AutomatonToXMLComposer.h:236
automaton::AutomatonToXMLComposer::composeTransitionOutputSymbolMultiple
static void composeTransitionOutputSymbolMultiple(ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:330
automaton::AutomatonToXMLComposer::composeTransitionFrom
static void composeTransitionFrom(ext::deque< sax::Token > &, const StateType &state)
Definition: AutomatonToXMLComposer.h:259
automaton::AutomatonToXMLComposer::composeInitialStates
static void composeInitialStates(ext::deque< sax::Token > &, const ext::set< StateType > &states)
Definition: AutomatonToXMLComposer.h:154
automaton::AutomatonToXMLComposer::composeInputAlphabet
static void composeInputAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:109
automaton::AutomatonToXMLComposer::composeTransitionSinglePush
static void composeTransitionSinglePush(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:309
automaton::AutomatonToXMLComposer::composeTransitionOutputSymbol
static void composeTransitionOutputSymbol(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:323
automaton::AutomatonToXMLComposer::composeInitialPushdownStoreSymbol
static void composeInitialPushdownStoreSymbol(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:197
automaton::AutomatonToXMLComposer::composeBlankSymbol
static void composeBlankSymbol(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:222
automaton::AutomatonToXMLComposer::composeInitialPushdownStoreSymbols
static void composeInitialPushdownStoreSymbols(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:188
automaton::AutomatonToXMLComposer::composeTransitionPop
static void composeTransitionPop(ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:284
automaton::AutomatonToXMLComposer::composeTransitionPush
static void composeTransitionPush(ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:300
automaton::AutomatonToXMLComposer::composeReturnInputAlphabet
static void composeReturnInputAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:127
automaton::AutomatonToXMLComposer::composeTransitionInputRegexp
static void composeTransitionInputRegexp(ext::deque< sax::Token > &, const regexp::UnboundedRegExpStructure< SymbolType > &regexp)
Definition: AutomatonToXMLComposer.h:348
automaton::AutomatonToXMLComposer::composeOutputAlphabet
static void composeOutputAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:204
automaton::AutomatonToXMLComposer::composeTransitionShift
static void composeTransitionShift(ext::deque< sax::Token > &out, Shift shift)
Definition: AutomatonToXMLComposer.h:91
automaton::AutomatonToXMLComposer::composeTransitionSinglePop
static void composeTransitionSinglePop(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:293
automaton::AutomatonToXMLComposer::composeFinalStates
static void composeFinalStates(ext::deque< sax::Token > &, const ext::set< StateType > &states)
Definition: AutomatonToXMLComposer.h:170
automaton::AutomatonToXMLComposer::composeBottomOfTheStackSymbol
static void composeBottomOfTheStackSymbol(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:229
automaton::AutomatonToXMLComposer::composeTransitionInputSymbolMultiple
static void composeTransitionInputSymbolMultiple(ext::deque< sax::Token > &, const ext::vector< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:339
automaton::AutomatonToXMLComposer::composeTapeAlphabet
static void composeTapeAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:213
automaton::AutomatonToXMLComposer::composeTransitionInputSymbol
static void composeTransitionInputSymbol(ext::deque< sax::Token > &, const SymbolType &symbol)
Definition: AutomatonToXMLComposer.h:316
automaton::AutomatonToXMLComposer::composeInitialState
static void composeInitialState(ext::deque< sax::Token > &, const StateType &state)
Definition: AutomatonToXMLComposer.h:163
automaton::AutomatonToXMLComposer::composeRankedInputAlphabet
static void composeRankedInputAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:145
automaton::AutomatonToXMLComposer::composePushdownStoreAlphabet
static void composePushdownStoreAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:179
automaton::AutomatonToXMLComposer::composeCallInputAlphabet
static void composeCallInputAlphabet(ext::deque< sax::Token > &, const ext::set< SymbolType > &symbols)
Definition: AutomatonToXMLComposer.h:118
ext::map
Class extending the map class from the standard library. Original reason is to allow printing of the ...
Definition: map.hpp:48
ext::multiset
Definition: multiset.hpp:44
ext::pair
Class extending the pair class from the standard library. Original reason is to allow printing of the...
Definition: pair.hpp:43
ext::set
Definition: set.hpp:44
ext::vector
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
regexp::UnboundedRegExpStructure
Represents unbounded regular expression structure. Regular expression is stored as a tree of Unbounde...
Definition: UnboundedRegExpStructure.h:47
automaton::convert::StateType
typename T::StateType StateType
Definition: ToGrammarLeftRG.h:64
automaton::properties::SymbolType
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
automaton
Definition: ToGrammar.h:31
automaton::shiftToString
std::string shiftToString(automaton::Shift shift)
Definition: Shift.cpp:22
automaton::Shift
Shift
Definition: Shift.h:15
regexp
Definition: ToAutomaton.h:15
core::xmlApi
Definition: xmlApi.hpp:27
Generated on Mon Dec 27 2021 10:21:53 for Algorithms Library Toolkit by doxygen 1.9.2