From 410bd45b6f8eab501224dc92b6e6f19eac85d373 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 28 Oct 2014 19:56:20 +0100
Subject: [PATCH] sample regexps new api
---
examples/regexp/Melichar2-94.i0.xml | 12 -------
examples/regexp/Melichar2-94.i1.xml | 12 -------
examples/regexp/Melichar2-94.xml | 11 ------
examples/regexp/oppa-4-13.d0.xml | 15 --------
examples/regexp/oppa-4-13.d00.xml | 8 -----
examples/regexp/oppa-4-13.xml | 26 --------------
examples/regexp/oppa-4-14.d1.xml | 24 -------------
examples/regexp/oppa-4-14.d10.xml | 32 -----------------
examples/regexp/oppa-4-14.xml | 19 ----------
examples/regexp/oppa-4-15.d100.xml | 14 --------
examples/regexp/oppa-4-15.xml | 12 -------
examples/regexp/oppa-4-16.i1.xml | 16 ---------
examples/regexp/oppa-4-16.xml | 14 --------
examples/regexp/regexp.xml | 12 -------
examples/regexp/regexp2.xml | 21 -----------
examples/regexp/regexp4.xml | 24 -------------
examples2/regexp/Melichar2-94.i0.xml | 16 +++++++++
examples2/regexp/Melichar2-94.i1.xml | 16 +++++++++
examples2/regexp/Melichar2-94.xml | 15 ++++++++
examples2/regexp/regexp.xml | 16 +++++++++
examples2/regexp/regexp2.xml | 24 +++++++++++++
{examples => examples2}/regexp/regexp3.xml | 7 ++++
examples2/regexp/regexp4.xml | 27 ++++++++++++++
examples2/regexp/unbounded-aag.oppa.4.13.xml | 30 ----------------
examples2/regexp/unbounded-aag.oppa.4.14.xml | 23 ------------
examples2/regexp/unbounded-aag.oppa.4.15.xml | 16 ---------
examples2/regexp/unbounded.oppa.4.13.d0.xml | 19 ++++++++++
examples2/regexp/unbounded.oppa.4.13.d00.xml | 14 ++++++++
examples2/regexp/unbounded.oppa.4.13.xml | 30 ++++++++++++++++
examples2/regexp/unbounded.oppa.4.14.d1.xml | 28 +++++++++++++++
examples2/regexp/unbounded.oppa.4.14.d10.xml | 36 +++++++++++++++++++
examples2/regexp/unbounded.oppa.4.14.xml | 23 ++++++++++++
examples2/regexp/unbounded.oppa.4.15.d100.xml | 18 ++++++++++
examples2/regexp/unbounded.oppa.4.15.xml | 16 +++++++++
examples2/regexp/unbounded.oppa.4.16.i1.xml | 20 +++++++++++
examples2/regexp/unbounded.oppa.4.16.xml | 18 ++++++++++
36 files changed, 343 insertions(+), 341 deletions(-)
delete mode 100644 examples/regexp/Melichar2-94.i0.xml
delete mode 100644 examples/regexp/Melichar2-94.i1.xml
delete mode 100644 examples/regexp/Melichar2-94.xml
delete mode 100644 examples/regexp/oppa-4-13.d0.xml
delete mode 100644 examples/regexp/oppa-4-13.d00.xml
delete mode 100644 examples/regexp/oppa-4-13.xml
delete mode 100644 examples/regexp/oppa-4-14.d1.xml
delete mode 100644 examples/regexp/oppa-4-14.d10.xml
delete mode 100644 examples/regexp/oppa-4-14.xml
delete mode 100644 examples/regexp/oppa-4-15.d100.xml
delete mode 100644 examples/regexp/oppa-4-15.xml
delete mode 100644 examples/regexp/oppa-4-16.i1.xml
delete mode 100644 examples/regexp/oppa-4-16.xml
delete mode 100644 examples/regexp/regexp.xml
delete mode 100644 examples/regexp/regexp2.xml
delete mode 100644 examples/regexp/regexp4.xml
create mode 100644 examples2/regexp/Melichar2-94.i0.xml
create mode 100644 examples2/regexp/Melichar2-94.i1.xml
create mode 100644 examples2/regexp/Melichar2-94.xml
create mode 100644 examples2/regexp/regexp.xml
create mode 100644 examples2/regexp/regexp2.xml
rename {examples => examples2}/regexp/regexp3.xml (56%)
create mode 100644 examples2/regexp/regexp4.xml
delete mode 100644 examples2/regexp/unbounded-aag.oppa.4.13.xml
delete mode 100644 examples2/regexp/unbounded-aag.oppa.4.14.xml
delete mode 100644 examples2/regexp/unbounded-aag.oppa.4.15.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.13.d0.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.13.d00.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.13.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.14.d1.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.14.d10.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.14.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.15.d100.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.15.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.16.i1.xml
create mode 100644 examples2/regexp/unbounded.oppa.4.16.xml
diff --git a/examples/regexp/Melichar2-94.i0.xml b/examples/regexp/Melichar2-94.i0.xml
deleted file mode 100644
index 9b49842f5a..0000000000
--- a/examples/regexp/Melichar2-94.i0.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<regexp>
- <concatenation>
- <symbol>0</symbol>
- <iteration>
- <alternation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </alternation>
- </iteration>
- <symbol>1</symbol>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/Melichar2-94.i1.xml b/examples/regexp/Melichar2-94.i1.xml
deleted file mode 100644
index 5157b30dbb..0000000000
--- a/examples/regexp/Melichar2-94.i1.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<regexp>
- <concatenation>
- <symbol>1</symbol>
- <iteration>
- <alternation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </alternation>
- </iteration>
- <symbol>1</symbol>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/Melichar2-94.xml b/examples/regexp/Melichar2-94.xml
deleted file mode 100644
index 040b76e66d..0000000000
--- a/examples/regexp/Melichar2-94.xml
+++ /dev/null
@@ -1,11 +0,0 @@
-<regexp>
- <concatenation>
- <iteration>
- <alternation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </alternation>
- </iteration>
- <symbol>1</symbol>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/oppa-4-13.d0.xml b/examples/regexp/oppa-4-13.d0.xml
deleted file mode 100644
index 3b620f5628..0000000000
--- a/examples/regexp/oppa-4-13.d0.xml
+++ /dev/null
@@ -1,15 +0,0 @@
-<regexp>
- <alternation>
- <concatenation>
- <symbol>1</symbol>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <symbol>1</symbol>
- </concatenation>
- <epsilon></epsilon>
- </alternation>
-</regexp>
diff --git a/examples/regexp/oppa-4-13.d00.xml b/examples/regexp/oppa-4-13.d00.xml
deleted file mode 100644
index 18e9b91b6e..0000000000
--- a/examples/regexp/oppa-4-13.d00.xml
+++ /dev/null
@@ -1,8 +0,0 @@
-<regexp>
- <concatenation>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <symbol>1</symbol>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/oppa-4-13.xml b/examples/regexp/oppa-4-13.xml
deleted file mode 100644
index 43c4bd61ba..0000000000
--- a/examples/regexp/oppa-4-13.xml
+++ /dev/null
@@ -1,26 +0,0 @@
-<regexp>
-<alternation>
- <concatenation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <symbol>1</symbol>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </concatenation>
- <concatenation>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <symbol>1</symbol>
- </concatenation>
- <concatenation>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
- </concatenation>
-</alternation>
-</regexp>
diff --git a/examples/regexp/oppa-4-14.d1.xml b/examples/regexp/oppa-4-14.d1.xml
deleted file mode 100644
index ae5c5c2d34..0000000000
--- a/examples/regexp/oppa-4-14.d1.xml
+++ /dev/null
@@ -1,24 +0,0 @@
-<regexp>
- <concatenation>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <iteration>
- <alternation>
- <concatenation>
- <symbol>0</symbol>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <symbol>1</symbol>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- </concatenation>
- </alternation>
- </iteration>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/oppa-4-14.d10.xml b/examples/regexp/oppa-4-14.d10.xml
deleted file mode 100644
index 5632a3f9f7..0000000000
--- a/examples/regexp/oppa-4-14.d10.xml
+++ /dev/null
@@ -1,32 +0,0 @@
-<regexp>
- <concatenation>
- <alternation>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <concatenation>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
- </concatenation>
- </alternation>
- <iteration>
- <alternation>
- <concatenation>
- <symbol>0</symbol>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <symbol>1</symbol>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- </concatenation>
- </alternation>
- </iteration>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/oppa-4-14.xml b/examples/regexp/oppa-4-14.xml
deleted file mode 100644
index e1abbba00a..0000000000
--- a/examples/regexp/oppa-4-14.xml
+++ /dev/null
@@ -1,19 +0,0 @@
-<regexp>
-<iteration>
- <alternation>
- <concatenation>
- <symbol>0</symbol>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <symbol>1</symbol>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- </concatenation>
- </alternation>
-</iteration>
-</regexp>
diff --git a/examples/regexp/oppa-4-15.d100.xml b/examples/regexp/oppa-4-15.d100.xml
deleted file mode 100644
index 943d2fae46..0000000000
--- a/examples/regexp/oppa-4-15.d100.xml
+++ /dev/null
@@ -1,14 +0,0 @@
-<regexp>
- <alternation>
- <concatenation>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
- </concatenation>
- <epsilon></epsilon>
- </alternation>
-</regexp>
diff --git a/examples/regexp/oppa-4-15.xml b/examples/regexp/oppa-4-15.xml
deleted file mode 100644
index 4d73025677..0000000000
--- a/examples/regexp/oppa-4-15.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<regexp>
-<concatenation>
- <symbol>1</symbol>
- <iteration>
- <symbol>0</symbol>
- </iteration>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <symbol>0</symbol>
-</concatenation>
-</regexp>
diff --git a/examples/regexp/oppa-4-16.i1.xml b/examples/regexp/oppa-4-16.i1.xml
deleted file mode 100644
index 2b841de385..0000000000
--- a/examples/regexp/oppa-4-16.i1.xml
+++ /dev/null
@@ -1,16 +0,0 @@
-<regexp>
- <alternation>
- <concatenation>
- <symbol>1</symbol>
- <symbol>0</symbol>
- <symbol>1</symbol>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <symbol>1</symbol>
- <symbol>1</symbol>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </concatenation>
- </alternation>
-</regexp>
diff --git a/examples/regexp/oppa-4-16.xml b/examples/regexp/oppa-4-16.xml
deleted file mode 100644
index 968da499b3..0000000000
--- a/examples/regexp/oppa-4-16.xml
+++ /dev/null
@@ -1,14 +0,0 @@
-<regexp>
- <alternation>
- <concatenation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- <symbol>0</symbol>
- </concatenation>
- <concatenation>
- <symbol>1</symbol>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </concatenation>
- </alternation>
-</regexp>
diff --git a/examples/regexp/regexp.xml b/examples/regexp/regexp.xml
deleted file mode 100644
index c33f89cb53..0000000000
--- a/examples/regexp/regexp.xml
+++ /dev/null
@@ -1,12 +0,0 @@
-<regexp>
- <concatenation>
- <symbol>0</symbol>
- <iteration>
- <symbol>1</symbol>
- </iteration>
- <alternation>
- <symbol>11</symbol>
- <symbol>10</symbol>
- </alternation>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/regexp2.xml b/examples/regexp/regexp2.xml
deleted file mode 100644
index 5f1a2f7896..0000000000
--- a/examples/regexp/regexp2.xml
+++ /dev/null
@@ -1,21 +0,0 @@
-<regexp>
- <concatenation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- <iteration>
- <alternation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </alternation>
- </iteration>
-
- <alternation>
- <iteration>
- <symbol>11</symbol>
- </iteration>
- <iteration>
- <symbol>10</symbol>
- </iteration>
- </alternation>
- </concatenation>
-</regexp>
diff --git a/examples/regexp/regexp4.xml b/examples/regexp/regexp4.xml
deleted file mode 100644
index 573947d535..0000000000
--- a/examples/regexp/regexp4.xml
+++ /dev/null
@@ -1,24 +0,0 @@
-<regexp>
- <concatenation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- <iteration>
- <alternation>
- <symbol>0</symbol>
- <symbol>1</symbol>
- </alternation>
- </iteration>
-
- <alternation>
- <iteration>
- <empty></empty>
- </iteration>
- <iteration>
- <concatenation>
- <epsilon></epsilon>
- <symbol>0</symbol>
- </concatenation>
- </iteration>
- </alternation>
- </concatenation>
-</regexp>
diff --git a/examples2/regexp/Melichar2-94.i0.xml b/examples2/regexp/Melichar2-94.i0.xml
new file mode 100644
index 0000000000..f2c4ec198f
--- /dev/null
+++ b/examples2/regexp/Melichar2-94.i0.xml
@@ -0,0 +1,16 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <alternation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alternation>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+</unboundedRegexp>
diff --git a/examples2/regexp/Melichar2-94.i1.xml b/examples2/regexp/Melichar2-94.i1.xml
new file mode 100644
index 0000000000..1fa54da200
--- /dev/null
+++ b/examples2/regexp/Melichar2-94.i1.xml
@@ -0,0 +1,16 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <alternation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alternation>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+</unboundedRegexp>
diff --git a/examples2/regexp/Melichar2-94.xml b/examples2/regexp/Melichar2-94.xml
new file mode 100644
index 0000000000..731f2a4709
--- /dev/null
+++ b/examples2/regexp/Melichar2-94.xml
@@ -0,0 +1,15 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <iteration>
+ <alternation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alternation>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+</unboundedRegexp>
diff --git a/examples2/regexp/regexp.xml b/examples2/regexp/regexp.xml
new file mode 100644
index 0000000000..b7e34b3c51
--- /dev/null
+++ b/examples2/regexp/regexp.xml
@@ -0,0 +1,16 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <alternation>
+ <LabeledSymbol><PrimitiveLabel><Integer>11</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>10</Integer></PrimitiveLabel></LabeledSymbol>
+ </alternation>
+ </concatenation>
+</regexp>
diff --git a/examples2/regexp/regexp2.xml b/examples2/regexp/regexp2.xml
new file mode 100644
index 0000000000..1593a027d2
--- /dev/null
+++ b/examples2/regexp/regexp2.xml
@@ -0,0 +1,24 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <alternation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alternation>
+ </iteration>
+ <alternation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>11</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>10</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ </alternation>
+ </concatenation>
+</regexp>
diff --git a/examples/regexp/regexp3.xml b/examples2/regexp/regexp3.xml
similarity index 56%
rename from examples/regexp/regexp3.xml
rename to examples2/regexp/regexp3.xml
index 9bc9b5335b..ec2de6c97a 100644
--- a/examples/regexp/regexp3.xml
+++ b/examples2/regexp/regexp3.xml
@@ -1,4 +1,11 @@
<regexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><String>We</String></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><String>have</String></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><String>to</String></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><String>go</String></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><String>deeper</String></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
<iteration>
<iteration>
<iteration>
diff --git a/examples2/regexp/regexp4.xml b/examples2/regexp/regexp4.xml
new file mode 100644
index 0000000000..3cb65a3158
--- /dev/null
+++ b/examples2/regexp/regexp4.xml
@@ -0,0 +1,27 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <alternation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alternation>
+ </iteration>
+ <alternation>
+ <iteration>
+ <empty></empty>
+ </iteration>
+ <iteration>
+ <concatenation>
+ <epsilon></epsilon>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ </iteration>
+ </alternation>
+ </concatenation>
+</regexp>
diff --git a/examples2/regexp/unbounded-aag.oppa.4.13.xml b/examples2/regexp/unbounded-aag.oppa.4.13.xml
deleted file mode 100644
index 31cf67fecc..0000000000
--- a/examples2/regexp/unbounded-aag.oppa.4.13.xml
+++ /dev/null
@@ -1,30 +0,0 @@
-<unboundedRegexp>
- <alphabet>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </alphabet>
- <alternation>
- <concatenation>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </concatenation>
- <concatenation>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </concatenation>
- <concatenation>
- <iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </concatenation>
- <concatenation>
- <iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </concatenation>
- </alternation>
-</unboundedRegexp>
diff --git a/examples2/regexp/unbounded-aag.oppa.4.14.xml b/examples2/regexp/unbounded-aag.oppa.4.14.xml
deleted file mode 100644
index cc5b84bd17..0000000000
--- a/examples2/regexp/unbounded-aag.oppa.4.14.xml
+++ /dev/null
@@ -1,23 +0,0 @@
-<unboundedRegexp>
- <alphabet>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </alphabet>
- <iteration>
- <alternation>
- <concatenation>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- <iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </concatenation>
- <concatenation>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- <iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </iteration>
- </concatenation>
- </alternation>
- </iteration>
-</unboundedRegexp>
diff --git a/examples2/regexp/unbounded-aag.oppa.4.15.xml b/examples2/regexp/unbounded-aag.oppa.4.15.xml
deleted file mode 100644
index 5d0a217eca..0000000000
--- a/examples2/regexp/unbounded-aag.oppa.4.15.xml
+++ /dev/null
@@ -1,16 +0,0 @@
-<unboundedRegexp>
- <alphabet>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </alphabet>
- <concatenation>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- <iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </iteration>
- <iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
- </iteration>
- <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
- </concatenation>
-</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.13.d0.xml b/examples2/regexp/unbounded.oppa.4.13.d0.xml
new file mode 100644
index 0000000000..da12090716
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.13.d0.xml
@@ -0,0 +1,19 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <epsilon></epsilon>
+ </alternation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.13.d00.xml b/examples2/regexp/unbounded.oppa.4.13.d00.xml
new file mode 100644
index 0000000000..3d9e887068
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.13.d00.xml
@@ -0,0 +1,14 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <alternation>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ </alternation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.13.xml b/examples2/regexp/unbounded.oppa.4.13.xml
new file mode 100644
index 0000000000..e23336c11d
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.13.xml
@@ -0,0 +1,30 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ </alternation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.14.d1.xml b/examples2/regexp/unbounded.oppa.4.14.d1.xml
new file mode 100644
index 0000000000..ce3e635c23
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.14.d1.xml
@@ -0,0 +1,28 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <iteration>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ </concatenation>
+ </alternation>
+ </iteration>
+ </concatenation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.14.d10.xml b/examples2/regexp/unbounded.oppa.4.14.d10.xml
new file mode 100644
index 0000000000..16f580c1e6
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.14.d10.xml
@@ -0,0 +1,36 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <alternation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ </alternation>
+ <iteration>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ </concatenation>
+ </alternation>
+ </iteration>
+ </concatenation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.14.xml b/examples2/regexp/unbounded.oppa.4.14.xml
new file mode 100644
index 0000000000..dfa486ca6f
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.14.xml
@@ -0,0 +1,23 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <iteration>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ </concatenation>
+ </alternation>
+ </iteration>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.15.d100.xml b/examples2/regexp/unbounded.oppa.4.15.d100.xml
new file mode 100644
index 0000000000..8fdd212000
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.15.d100.xml
@@ -0,0 +1,18 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <alternation>
+ <concatenation>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <epsilon></epsilon>
+ </alternation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.15.xml b/examples2/regexp/unbounded.oppa.4.15.xml
new file mode 100644
index 0000000000..9bfc08f319
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.15.xml
@@ -0,0 +1,16 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </iteration>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.16.i1.xml b/examples2/regexp/unbounded.oppa.4.16.i1.xml
new file mode 100644
index 0000000000..7140d14893
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.16.i1.xml
@@ -0,0 +1,20 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ </alternation>
+</unboundedRegexp>
diff --git a/examples2/regexp/unbounded.oppa.4.16.xml b/examples2/regexp/unbounded.oppa.4.16.xml
new file mode 100644
index 0000000000..c7fe8d6a6b
--- /dev/null
+++ b/examples2/regexp/unbounded.oppa.4.16.xml
@@ -0,0 +1,18 @@
+<unboundedRegexp>
+ <alphabet>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </alphabet>
+ <alternation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ <concatenation>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>0</Integer></PrimitiveLabel></LabeledSymbol>
+ <LabeledSymbol><PrimitiveLabel><Integer>1</Integer></PrimitiveLabel></LabeledSymbol>
+ </concatenation>
+ </alternation>
+</unboundedRegexp>
--
GitLab