From 1c4dfb81cdb471a7ab263d3b6639796767e619ee Mon Sep 17 00:00:00 2001 From: Tomas Pecka <peckato1@fit.cvut.cz> Date: Thu, 21 Jul 2016 20:21:49 +0200 Subject: [PATCH] RTE: Examples update --- examples2/rte/rte.xml | 12 ++++++------ examples2/rte/rte1.xml | 12 ++++++------ examples2/rte/rte2.xml | 12 ++++++------ examples2/rte/rte3.xml | 12 ++++++------ examples2/rte/rte4.xml | 12 ++++++------ examples2/rte/rte5.xml | 8 ++++---- examples2/rte/rte6.xml | 12 ++++++------ examples2/rte/rte7.xml | 12 ++++++------ examples2/rte/rte8.xml | 12 ++++++------ examples2/rte/rte9.xml | 16 ++++++++-------- 10 files changed, 60 insertions(+), 60 deletions(-) diff --git a/examples2/rte/rte.xml b/examples2/rte/rte.xml index 9289d61df3..03b7f81530 100644 --- a/examples2/rte/rte.xml +++ b/examples2/rte/rte.xml @@ -5,10 +5,10 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol> <iteration> @@ -17,12 +17,12 @@ <RankedSymbol><SymbolRef id="3"/><Unsigned>1</Unsigned></RankedSymbol> <symbol> <RankedSymbol><SymbolRef id="0"/><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </symbol> </iteration> diff --git a/examples2/rte/rte1.xml b/examples2/rte/rte1.xml index 7881b09459..87b8435a32 100644 --- a/examples2/rte/rte1.xml +++ b/examples2/rte/rte1.xml @@ -5,10 +5,10 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol> @@ -20,12 +20,12 @@ <RankedSymbol><SymbolRef id="3"/><Unsigned>1</Unsigned></RankedSymbol> <symbol> <RankedSymbol><SymbolRef id="0"/><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><SymbolRef id="4"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><SymbolRef id="5"/><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </symbol> </iteration> diff --git a/examples2/rte/rte2.xml b/examples2/rte/rte2.xml index 98350faaff..25c4b78938 100644 --- a/examples2/rte/rte2.xml +++ b/examples2/rte/rte2.xml @@ -3,21 +3,21 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> <symbol> diff --git a/examples2/rte/rte3.xml b/examples2/rte/rte3.xml index 60f92a1778..5b348b68ea 100644 --- a/examples2/rte/rte3.xml +++ b/examples2/rte/rte3.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -15,12 +15,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> diff --git a/examples2/rte/rte4.xml b/examples2/rte/rte4.xml index f861e27bd5..8132f59432 100644 --- a/examples2/rte/rte4.xml +++ b/examples2/rte/rte4.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -15,12 +15,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> diff --git a/examples2/rte/rte5.xml b/examples2/rte/rte5.xml index 757ca807eb..cf6fb6a3e3 100644 --- a/examples2/rte/rte5.xml +++ b/examples2/rte/rte5.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -13,9 +13,9 @@ <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> diff --git a/examples2/rte/rte6.xml b/examples2/rte/rte6.xml index 8d57bcb767..68abdf7d5e 100644 --- a/examples2/rte/rte6.xml +++ b/examples2/rte/rte6.xml @@ -4,10 +4,10 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -23,12 +23,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>y</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> </iteration> diff --git a/examples2/rte/rte7.xml b/examples2/rte/rte7.xml index e583d85b9e..2b2e49c922 100644 --- a/examples2/rte/rte7.xml +++ b/examples2/rte/rte7.xml @@ -5,9 +5,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -19,9 +19,9 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>1</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> @@ -31,9 +31,9 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>c</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </symbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </substitution> diff --git a/examples2/rte/rte8.xml b/examples2/rte/rte8.xml index 8f96bd3a35..53ae456b58 100644 --- a/examples2/rte/rte8.xml +++ b/examples2/rte/rte8.xml @@ -7,9 +7,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>d</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>e</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -19,12 +19,12 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>4</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </iteration> diff --git a/examples2/rte/rte9.xml b/examples2/rte/rte9.xml index 40febdb023..be199c2e30 100644 --- a/examples2/rte/rte9.xml +++ b/examples2/rte/rte9.xml @@ -3,9 +3,9 @@ <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </alphabet> - <constantAlphabet> + <substSymbolAlphabet> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </constantAlphabet> + </substSymbolAlphabet> <substitution> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> @@ -18,12 +18,12 @@ <alternation> <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>a</Character></PrimitiveLabel></LabeledSymbol><Unsigned>2</Unsigned></RankedSymbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> - <symbol> + </substSymbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> <symbol> @@ -38,9 +38,9 @@ <symbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>b</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> </symbol> - <symbol> + <substSymbol> <RankedSymbol><LabeledSymbol><PrimitiveLabel><Character>z</Character></PrimitiveLabel></LabeledSymbol><Unsigned>0</Unsigned></RankedSymbol> - </symbol> + </substSymbol> </symbol> </substitution> -- GitLab