aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-15 04:40:17 -0500
committerLibravatar Aren Babikian <aren.babikian@mail.mcgill.ca>2021-01-15 04:40:17 -0500
commit2492b5f012b045917e7261bd5c78b432ec4d3dc6 (patch)
treea75d37badab96eb6c417955bc4e5488055335fcf
parentsome cleanup (diff)
downloadVIATRA-Generator-2492b5f012b045917e7261bd5c78b432ec4d3dc6.tar.gz
VIATRA-Generator-2492b5f012b045917e7261bd5c78b432ec4d3dc6.tar.zst
VIATRA-Generator-2492b5f012b045917e7261bd5c78b432ec4d3dc6.zip
Begin vql implementation + fix enums bug
Diffstat
-rw-r--r--Domains/crossingScenario/.classpath1
-rw-r--r--Domains/crossingScenario/META-INF/MANIFEST.MF6
-rw-r--r--Domains/crossingScenario/ecore-gen/crossingScenario/Distance.java58
-rw-r--r--Domains/crossingScenario/ecore-gen/crossingScenario/Size.java58
-rw-r--r--Domains/crossingScenario/ecore-gen/crossingScenario/impl/CrossingScenarioPackageImpl.java12
-rw-r--r--Domains/crossingScenario/ecore-gen/crossingScenario/impl/LaneImpl.java2
-rw-r--r--Domains/crossingScenario/ecore-gen/crossingScenario/impl/SeparationDistanceImpl.java2
-rw-r--r--Domains/crossingScenario/inputs/Debug/state000000019.xmi1353
-rw-r--r--Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig13
-rw-r--r--Domains/crossingScenario/model/crossingScenario.aird128
-rw-r--r--Domains/crossingScenario/model/crossingScenario.ecore12
-rw-r--r--Domains/crossingScenario/model/crossingScenario.genmodel12
-rw-r--r--Domains/crossingScenario/queries/crossingScenarioQueries.vql83
-rw-r--r--Domains/crossingScenario/queries/logProb2._vql55
-rw-r--r--Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java28
-rw-r--r--Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java210
-rw-r--r--Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend2
17 files changed, 1735 insertions, 300 deletions
diff --git a/Domains/crossingScenario/.classpath b/Domains/crossingScenario/.classpath
index 1643899c..0712d3e2 100644
--- a/Domains/crossingScenario/.classpath
+++ b/Domains/crossingScenario/.classpath
@@ -4,5 +4,6 @@
4 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/> 4 <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
5 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/> 5 <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
6 <classpathentry kind="src" path="src"/> 6 <classpathentry kind="src" path="src"/>
7 <classpathentry kind="src" path="src-gen"/>
7 <classpathentry kind="output" path="bin"/> 8 <classpathentry kind="output" path="bin"/>
8</classpath> 9</classpath>
diff --git a/Domains/crossingScenario/META-INF/MANIFEST.MF b/Domains/crossingScenario/META-INF/MANIFEST.MF
index b2b98c75..62cd6eef 100644
--- a/Domains/crossingScenario/META-INF/MANIFEST.MF
+++ b/Domains/crossingScenario/META-INF/MANIFEST.MF
@@ -6,10 +6,10 @@ Bundle-Version: 1.0.0.qualifier
6Bundle-ClassPath: . 6Bundle-ClassPath: .
7Bundle-Vendor: %providerName 7Bundle-Vendor: %providerName
8Bundle-Localization: plugin 8Bundle-Localization: plugin
9Export-Package: queries, 9Export-Package: crossingScenario,
10 crossingScenario,
11 crossingScenario.impl, 10 crossingScenario.impl,
12 crossingScenario.util 11 crossingScenario.util,
12 queries
13Require-Bundle: org.eclipse.viatra.query.runtime, 13Require-Bundle: org.eclipse.viatra.query.runtime,
14 org.eclipse.viatra.query.runtime.rete, 14 org.eclipse.viatra.query.runtime.rete,
15 org.eclipse.viatra.query.runtime.localsearch, 15 org.eclipse.viatra.query.runtime.localsearch,
diff --git a/Domains/crossingScenario/ecore-gen/crossingScenario/Distance.java b/Domains/crossingScenario/ecore-gen/crossingScenario/Distance.java
index 68a0deb6..80731e1f 100644
--- a/Domains/crossingScenario/ecore-gen/crossingScenario/Distance.java
+++ b/Domains/crossingScenario/ecore-gen/crossingScenario/Distance.java
@@ -19,67 +19,63 @@ import org.eclipse.emf.common.util.Enumerator;
19 */ 19 */
20public enum Distance implements Enumerator { 20public enum Distance implements Enumerator {
21 /** 21 /**
22 * The '<em><b>Near</b></em>' literal object. 22 * The '<em><b>DNear</b></em>' literal object.
23 * <!-- begin-user-doc --> 23 * <!-- begin-user-doc -->
24 * <!-- end-user-doc --> 24 * <!-- end-user-doc -->
25 * @see #NEAR_VALUE 25 * @see #DNEAR_VALUE
26 * @generated 26 * @generated
27 * @ordered 27 * @ordered
28 */ 28 */
29 NEAR(0, "Near", "Near"), 29 DNEAR(0, "D_Near", "D_Near"), /**
30 30 * The '<em><b>DMed</b></em>' literal object.
31 /**
32 * The '<em><b>Medium</b></em>' literal object.
33 * <!-- begin-user-doc --> 31 * <!-- begin-user-doc -->
34 * <!-- end-user-doc --> 32 * <!-- end-user-doc -->
35 * @see #MEDIUM_VALUE 33 * @see #DMED_VALUE
36 * @generated 34 * @generated
37 * @ordered 35 * @ordered
38 */ 36 */
39 MEDIUM(1, "Medium", "Medium"), 37 DMED(1, "D_Med", "D_Med"), /**
40 38 * The '<em><b>DFar</b></em>' literal object.
41 /**
42 * The '<em><b>Far</b></em>' literal object.
43 * <!-- begin-user-doc --> 39 * <!-- begin-user-doc -->
44 * <!-- end-user-doc --> 40 * <!-- end-user-doc -->
45 * @see #FAR_VALUE 41 * @see #DFAR_VALUE
46 * @generated 42 * @generated
47 * @ordered 43 * @ordered
48 */ 44 */
49 FAR(2, "Far", "Far"); 45 DFAR(2, "D_Far", "D_Far");
50 46
51 /** 47 /**
52 * The '<em><b>Near</b></em>' literal value. 48 * The '<em><b>DNear</b></em>' literal value.
53 * <!-- begin-user-doc --> 49 * <!-- begin-user-doc -->
54 * <!-- end-user-doc --> 50 * <!-- end-user-doc -->
55 * @see #NEAR 51 * @see #DNEAR
56 * @model name="Near" 52 * @model name="D_Near"
57 * @generated 53 * @generated
58 * @ordered 54 * @ordered
59 */ 55 */
60 public static final int NEAR_VALUE = 0; 56 public static final int DNEAR_VALUE = 0;
61 57
62 /** 58 /**
63 * The '<em><b>Medium</b></em>' literal value. 59 * The '<em><b>DMed</b></em>' literal value.
64 * <!-- begin-user-doc --> 60 * <!-- begin-user-doc -->
65 * <!-- end-user-doc --> 61 * <!-- end-user-doc -->
66 * @see #MEDIUM 62 * @see #DMED
67 * @model name="Medium" 63 * @model name="D_Med"
68 * @generated 64 * @generated
69 * @ordered 65 * @ordered
70 */ 66 */
71 public static final int MEDIUM_VALUE = 1; 67 public static final int DMED_VALUE = 1;
72 68
73 /** 69 /**
74 * The '<em><b>Far</b></em>' literal value. 70 * The '<em><b>DFar</b></em>' literal value.
75 * <!-- begin-user-doc --> 71 * <!-- begin-user-doc -->
76 * <!-- end-user-doc --> 72 * <!-- end-user-doc -->
77 * @see #FAR 73 * @see #DFAR
78 * @model name="Far" 74 * @model name="D_Far"
79 * @generated 75 * @generated
80 * @ordered 76 * @ordered
81 */ 77 */
82 public static final int FAR_VALUE = 2; 78 public static final int DFAR_VALUE = 2;
83 79
84 /** 80 /**
85 * An array of all the '<em><b>Distance</b></em>' enumerators. 81 * An array of all the '<em><b>Distance</b></em>' enumerators.
@@ -89,9 +85,9 @@ public enum Distance implements Enumerator {
89 */ 85 */
90 private static final Distance[] VALUES_ARRAY = 86 private static final Distance[] VALUES_ARRAY =
91 new Distance[] { 87 new Distance[] {
92 NEAR, 88 DNEAR,
93 MEDIUM, 89 DMED,
94 FAR, 90 DFAR,
95 }; 91 };
96 92
97 /** 93 /**
@@ -148,9 +144,9 @@ public enum Distance implements Enumerator {
148 */ 144 */
149 public static Distance get(int value) { 145 public static Distance get(int value) {
150 switch (value) { 146 switch (value) {
151 case NEAR_VALUE: return NEAR; 147 case DNEAR_VALUE: return DNEAR;
152 case MEDIUM_VALUE: return MEDIUM; 148 case DMED_VALUE: return DMED;
153 case FAR_VALUE: return FAR; 149 case DFAR_VALUE: return DFAR;
154 } 150 }
155 return null; 151 return null;
156 } 152 }
diff --git a/Domains/crossingScenario/ecore-gen/crossingScenario/Size.java b/Domains/crossingScenario/ecore-gen/crossingScenario/Size.java
index f4915b2e..1465201c 100644
--- a/Domains/crossingScenario/ecore-gen/crossingScenario/Size.java
+++ b/Domains/crossingScenario/ecore-gen/crossingScenario/Size.java
@@ -19,67 +19,63 @@ import org.eclipse.emf.common.util.Enumerator;
19 */ 19 */
20public enum Size implements Enumerator { 20public enum Size implements Enumerator {
21 /** 21 /**
22 * The '<em><b>Small</b></em>' literal object. 22 * The '<em><b>SSmall</b></em>' literal object.
23 * <!-- begin-user-doc --> 23 * <!-- begin-user-doc -->
24 * <!-- end-user-doc --> 24 * <!-- end-user-doc -->
25 * @see #SMALL_VALUE 25 * @see #SSMALL_VALUE
26 * @generated 26 * @generated
27 * @ordered 27 * @ordered
28 */ 28 */
29 SMALL(0, "Small", "Small"), 29 SSMALL(0, "S_Small", "S_Small"), /**
30 30 * The '<em><b>SMed</b></em>' literal object.
31 /**
32 * The '<em><b>Medium</b></em>' literal object.
33 * <!-- begin-user-doc --> 31 * <!-- begin-user-doc -->
34 * <!-- end-user-doc --> 32 * <!-- end-user-doc -->
35 * @see #MEDIUM_VALUE 33 * @see #SMED_VALUE
36 * @generated 34 * @generated
37 * @ordered 35 * @ordered
38 */ 36 */
39 MEDIUM(1, "Medium", "Medium"), 37 SMED(1, "S_Med", "S_Med"), /**
40 38 * The '<em><b>SLarge</b></em>' literal object.
41 /**
42 * The '<em><b>Large</b></em>' literal object.
43 * <!-- begin-user-doc --> 39 * <!-- begin-user-doc -->
44 * <!-- end-user-doc --> 40 * <!-- end-user-doc -->
45 * @see #LARGE_VALUE 41 * @see #SLARGE_VALUE
46 * @generated 42 * @generated
47 * @ordered 43 * @ordered
48 */ 44 */
49 LARGE(2, "Large", "Large"); 45 SLARGE(2, "S_Large", "S_Large");
50 46
51 /** 47 /**
52 * The '<em><b>Small</b></em>' literal value. 48 * The '<em><b>SSmall</b></em>' literal value.
53 * <!-- begin-user-doc --> 49 * <!-- begin-user-doc -->
54 * <!-- end-user-doc --> 50 * <!-- end-user-doc -->
55 * @see #SMALL 51 * @see #SSMALL
56 * @model name="Small" 52 * @model name="S_Small"
57 * @generated 53 * @generated
58 * @ordered 54 * @ordered
59 */ 55 */
60 public static final int SMALL_VALUE = 0; 56 public static final int SSMALL_VALUE = 0;
61 57
62 /** 58 /**
63 * The '<em><b>Medium</b></em>' literal value. 59 * The '<em><b>SMed</b></em>' literal value.
64 * <!-- begin-user-doc --> 60 * <!-- begin-user-doc -->
65 * <!-- end-user-doc --> 61 * <!-- end-user-doc -->
66 * @see #MEDIUM 62 * @see #SMED
67 * @model name="Medium" 63 * @model name="S_Med"
68 * @generated 64 * @generated
69 * @ordered 65 * @ordered
70 */ 66 */
71 public static final int MEDIUM_VALUE = 1; 67 public static final int SMED_VALUE = 1;
72 68
73 /** 69 /**
74 * The '<em><b>Large</b></em>' literal value. 70 * The '<em><b>SLarge</b></em>' literal value.
75 * <!-- begin-user-doc --> 71 * <!-- begin-user-doc -->
76 * <!-- end-user-doc --> 72 * <!-- end-user-doc -->
77 * @see #LARGE 73 * @see #SLARGE
78 * @model name="Large" 74 * @model name="S_Large"
79 * @generated 75 * @generated
80 * @ordered 76 * @ordered
81 */ 77 */
82 public static final int LARGE_VALUE = 2; 78 public static final int SLARGE_VALUE = 2;
83 79
84 /** 80 /**
85 * An array of all the '<em><b>Size</b></em>' enumerators. 81 * An array of all the '<em><b>Size</b></em>' enumerators.
@@ -89,9 +85,9 @@ public enum Size implements Enumerator {
89 */ 85 */
90 private static final Size[] VALUES_ARRAY = 86 private static final Size[] VALUES_ARRAY =
91 new Size[] { 87 new Size[] {
92 SMALL, 88 SSMALL,
93 MEDIUM, 89 SMED,
94 LARGE, 90 SLARGE,
95 }; 91 };
96 92
97 /** 93 /**
@@ -148,9 +144,9 @@ public enum Size implements Enumerator {
148 */ 144 */
149 public static Size get(int value) { 145 public static Size get(int value) {
150 switch (value) { 146 switch (value) {
151 case SMALL_VALUE: return SMALL; 147 case SSMALL_VALUE: return SSMALL;
152 case MEDIUM_VALUE: return MEDIUM; 148 case SMED_VALUE: return SMED;
153 case LARGE_VALUE: return LARGE; 149 case SLARGE_VALUE: return SLARGE;
154 } 150 }
155 return null; 151 return null;
156 } 152 }
diff --git a/Domains/crossingScenario/ecore-gen/crossingScenario/impl/CrossingScenarioPackageImpl.java b/Domains/crossingScenario/ecore-gen/crossingScenario/impl/CrossingScenarioPackageImpl.java
index 6819135b..3d2ccc0d 100644
--- a/Domains/crossingScenario/ecore-gen/crossingScenario/impl/CrossingScenarioPackageImpl.java
+++ b/Domains/crossingScenario/ecore-gen/crossingScenario/impl/CrossingScenarioPackageImpl.java
@@ -754,14 +754,14 @@ public class CrossingScenarioPackageImpl extends EPackageImpl implements Crossin
754 addEEnumLiteral(orientationEEnum, Orientation.HORIZONTAL); 754 addEEnumLiteral(orientationEEnum, Orientation.HORIZONTAL);
755 755
756 initEEnum(sizeEEnum, Size.class, "Size"); 756 initEEnum(sizeEEnum, Size.class, "Size");
757 addEEnumLiteral(sizeEEnum, Size.SMALL); 757 addEEnumLiteral(sizeEEnum, Size.SSMALL);
758 addEEnumLiteral(sizeEEnum, Size.MEDIUM); 758 addEEnumLiteral(sizeEEnum, Size.SMED);
759 addEEnumLiteral(sizeEEnum, Size.LARGE); 759 addEEnumLiteral(sizeEEnum, Size.SLARGE);
760 760
761 initEEnum(distanceEEnum, Distance.class, "Distance"); 761 initEEnum(distanceEEnum, Distance.class, "Distance");
762 addEEnumLiteral(distanceEEnum, Distance.NEAR); 762 addEEnumLiteral(distanceEEnum, Distance.DNEAR);
763 addEEnumLiteral(distanceEEnum, Distance.MEDIUM); 763 addEEnumLiteral(distanceEEnum, Distance.DMED);
764 addEEnumLiteral(distanceEEnum, Distance.FAR); 764 addEEnumLiteral(distanceEEnum, Distance.DFAR);
765 765
766 // Create resource 766 // Create resource
767 createResource(eNS_URI); 767 createResource(eNS_URI);
diff --git a/Domains/crossingScenario/ecore-gen/crossingScenario/impl/LaneImpl.java b/Domains/crossingScenario/ecore-gen/crossingScenario/impl/LaneImpl.java
index a97c02fc..110f26c8 100644
--- a/Domains/crossingScenario/ecore-gen/crossingScenario/impl/LaneImpl.java
+++ b/Domains/crossingScenario/ecore-gen/crossingScenario/impl/LaneImpl.java
@@ -71,7 +71,7 @@ public class LaneImpl extends MinimalEObjectImpl.Container implements Lane {
71 * @generated 71 * @generated
72 * @ordered 72 * @ordered
73 */ 73 */
74 protected static final Size WIDTH_EDEFAULT = Size.SMALL; 74 protected static final Size WIDTH_EDEFAULT = Size.SSMALL;
75 75
76 /** 76 /**
77 * The cached value of the '{@link #getWidth() <em>Width</em>}' attribute. 77 * The cached value of the '{@link #getWidth() <em>Width</em>}' attribute.
diff --git a/Domains/crossingScenario/ecore-gen/crossingScenario/impl/SeparationDistanceImpl.java b/Domains/crossingScenario/ecore-gen/crossingScenario/impl/SeparationDistanceImpl.java
index bad91f1c..298a2121 100644
--- a/Domains/crossingScenario/ecore-gen/crossingScenario/impl/SeparationDistanceImpl.java
+++ b/Domains/crossingScenario/ecore-gen/crossingScenario/impl/SeparationDistanceImpl.java
@@ -34,7 +34,7 @@ public class SeparationDistanceImpl extends SpatialRelationImpl implements Separ
34 * @generated 34 * @generated
35 * @ordered 35 * @ordered
36 */ 36 */
37 protected static final Distance DISTANCE_EDEFAULT = Distance.NEAR; 37 protected static final Distance DISTANCE_EDEFAULT = Distance.DNEAR;
38 38
39 /** 39 /**
40 * The cached value of the '{@link #getDistance() <em>Distance</em>}' attribute. 40 * The cached value of the '{@link #getDistance() <em>Distance</em>}' attribute.
diff --git a/Domains/crossingScenario/inputs/Debug/state000000019.xmi b/Domains/crossingScenario/inputs/Debug/state000000019.xmi
new file mode 100644
index 00000000..e94d2b0d
--- /dev/null
+++ b/Domains/crossingScenario/inputs/Debug/state000000019.xmi
@@ -0,0 +1,1353 @@
1<?xml version="1.0" encoding="ASCII"?>
2<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation" problem="//@problemConainer" minNewElements="1" maxNewElements="11" minNewElementsHeuristic="1">
3 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1">
4 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.3"/>
5 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.15"/>
6 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.22"/>
7 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.30"/>
8 </partialrelationinterpretation>
9 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1">
10 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.12"/>
11 </partialrelationinterpretation>
12 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"/>
13 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1">
14 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@newElements.22"/>
15 </partialrelationinterpretation>
16 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1">
17 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.10"/>
18 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.11"/>
19 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.29"/>
20 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.37"/>
21 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.38"/>
22 </partialrelationinterpretation>
23 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1">
24 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.12"/>
25 </partialrelationinterpretation>
26 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1">
27 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.11" param2="//@newElements.3"/>
28 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.29" param2="//@newElements.3"/>
29 </partialrelationinterpretation>
30 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1">
31 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.10" param2="//@newElements.3"/>
32 </partialrelationinterpretation>
33 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.8" param1="//@problemConainer/@relations.8/@parameters.0" param2="//@problemConainer/@relations.8/@parameters.1">
34 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
35 </partialrelationinterpretation>
36 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.9" param1="//@problemConainer/@relations.9/@parameters.0" param2="//@problemConainer/@relations.9/@parameters.1">
37 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
38 </partialrelationinterpretation>
39 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.10" param1="//@problemConainer/@relations.10/@parameters.0" param2="//@problemConainer/@relations.10/@parameters.1">
40 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/>
41 </partialrelationinterpretation>
42 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.11" param1="//@problemConainer/@relations.11/@parameters.0" param2="//@problemConainer/@relations.11/@parameters.1"/>
43 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.12" param1="//@problemConainer/@relations.12/@parameters.0" param2="//@problemConainer/@relations.12/@parameters.1">
44 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@problemConainer/@elements.2"/>
45 </partialrelationinterpretation>
46 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.13" param1="//@problemConainer/@relations.13/@parameters.0" param2="//@problemConainer/@relations.13/@parameters.1">
47 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@newElements.13"/>
48 </partialrelationinterpretation>
49 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.14" param1="//@problemConainer/@relations.14/@parameters.0" param2="//@problemConainer/@relations.14/@parameters.1">
50 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.12" param2="//@newElements.14"/>
51 </partialrelationinterpretation>
52 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.15" param1="//@problemConainer/@relations.15/@parameters.0" param2="//@problemConainer/@relations.15/@parameters.1">
53 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.4"/>
54 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.16"/>
55 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.23"/>
56 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.31"/>
57 </partialrelationinterpretation>
58 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.16" param1="//@problemConainer/@relations.16/@parameters.0" param2="//@problemConainer/@relations.16/@parameters.1">
59 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.5"/>
60 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.17"/>
61 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.24"/>
62 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.32"/>
63 </partialrelationinterpretation>
64 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.17" param1="//@problemConainer/@relations.17/@parameters.0" param2="//@problemConainer/@relations.17/@parameters.1">
65 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.6"/>
66 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.18"/>
67 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.25"/>
68 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.33"/>
69 </partialrelationinterpretation>
70 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.18" param1="//@problemConainer/@relations.18/@parameters.0" param2="//@problemConainer/@relations.18/@parameters.1">
71 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.7"/>
72 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.19"/>
73 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.26"/>
74 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.34"/>
75 </partialrelationinterpretation>
76 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.19" param1="//@problemConainer/@relations.19/@parameters.0" param2="//@problemConainer/@relations.19/@parameters.1">
77 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.8"/>
78 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.20"/>
79 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.27"/>
80 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.35"/>
81 </partialrelationinterpretation>
82 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.20" param1="//@problemConainer/@relations.20/@parameters.0" param2="//@problemConainer/@relations.20/@parameters.1">
83 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.9"/>
84 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.15" param2="//@newElements.21"/>
85 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.22" param2="//@newElements.28"/>
86 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.30" param2="//@newElements.36"/>
87 </partialrelationinterpretation>
88 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.21" param1="//@problemConainer/@relations.21/@parameters.0" param2="//@problemConainer/@relations.21/@parameters.1"/>
89 <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.22" param1="//@problemConainer/@relations.22/@parameters.0" param2="//@problemConainer/@relations.22/@parameters.1">
90 <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.38" param2="//@newElements.39"/>
91 </partialrelationinterpretation>
92 <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
93 <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
94 <newElements xsi:type="partialinterpretation:RealElement" name="0.0" valueSet="true"/>
95 <newElements/>
96 <newElements xsi:type="partialinterpretation:RealElement"/>
97 <newElements xsi:type="partialinterpretation:RealElement"/>
98 <newElements xsi:type="partialinterpretation:RealElement"/>
99 <newElements xsi:type="partialinterpretation:RealElement"/>
100 <newElements xsi:type="partialinterpretation:RealElement"/>
101 <newElements xsi:type="partialinterpretation:RealElement"/>
102 <newElements/>
103 <newElements/>
104 <newElements/>
105 <newElements xsi:type="partialinterpretation:RealElement"/>
106 <newElements xsi:type="partialinterpretation:RealElement"/>
107 <newElements/>
108 <newElements xsi:type="partialinterpretation:RealElement"/>
109 <newElements xsi:type="partialinterpretation:RealElement"/>
110 <newElements xsi:type="partialinterpretation:RealElement"/>
111 <newElements xsi:type="partialinterpretation:RealElement"/>
112 <newElements xsi:type="partialinterpretation:RealElement"/>
113 <newElements xsi:type="partialinterpretation:RealElement"/>
114 <newElements/>
115 <newElements xsi:type="partialinterpretation:RealElement"/>
116 <newElements xsi:type="partialinterpretation:RealElement"/>
117 <newElements xsi:type="partialinterpretation:RealElement"/>
118 <newElements xsi:type="partialinterpretation:RealElement"/>
119 <newElements xsi:type="partialinterpretation:RealElement"/>
120 <newElements xsi:type="partialinterpretation:RealElement"/>
121 <newElements/>
122 <newElements/>
123 <newElements xsi:type="partialinterpretation:RealElement"/>
124 <newElements xsi:type="partialinterpretation:RealElement"/>
125 <newElements xsi:type="partialinterpretation:RealElement"/>
126 <newElements xsi:type="partialinterpretation:RealElement"/>
127 <newElements xsi:type="partialinterpretation:RealElement"/>
128 <newElements xsi:type="partialinterpretation:RealElement"/>
129 <newElements/>
130 <newElements/>
131 <newElements xsi:type="partialinterpretation:RealElement"/>
132 <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
133 <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation"/>
134 <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@newElements.2 //@openWorldElements.0 //@newElements.4 //@newElements.5 //@newElements.6 //@newElements.7 //@newElements.8 //@newElements.9 //@newElements.13 //@newElements.14 //@newElements.16 //@newElements.17 //@newElements.18 //@newElements.19 //@newElements.20 //@newElements.21 //@newElements.23 //@newElements.24 //@newElements.25 //@newElements.26 //@newElements.27 //@newElements.28 //@newElements.31 //@newElements.32 //@newElements.33 //@newElements.34 //@newElements.35 //@newElements.36 //@newElements.39"/>
135 <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/>
136 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.8" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/>
137 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.12" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/>
138 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3 //@newElements.15 //@newElements.22 //@newElements.30" scopes="//@scopes.2" interpretationOf="//@problemConainer/@types.2"/>
139 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.10 //@newElements.11 //@newElements.29 //@newElements.37 //@newElements.38" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/>
140 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.10" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.4"/>
141 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.11 //@newElements.29 //@newElements.37 //@newElements.38" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.5"/>
142 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.10" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.6"/>
143 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.7"/>
144 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.38" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.8"/>
145 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.11 //@newElements.29 //@newElements.37" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.9"/>
146 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.15" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.10"/>
147 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3 //@newElements.22 //@newElements.30" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.11"/>
148 <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.16"/>
149 <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
150 <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
151 <openWorldElements name="New Objects"/>
152 <problemConainer>
153 <types xsi:type="language:TypeDeclaration" name="CrossingScenario class" subtypes="//@problemConainer/@types.15 //@problemConainer/@types.16" isAbstract="true"/>
154 <types xsi:type="language:TypeDeclaration" name="Lane class"/>
155 <types xsi:type="language:TypeDeclaration" name="Actor class" subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11" isAbstract="true"/>
156 <types xsi:type="language:TypeDeclaration" name="Relation class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/>
157 <types xsi:type="language:TypeDeclaration" name="SpatialRelation class" subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
158 <types xsi:type="language:TypeDeclaration" name="TemporalRelation class" subtypes="//@problemConainer/@types.8 //@problemConainer/@types.9" supertypes="//@problemConainer/@types.3" isAbstract="true"/>
159 <types xsi:type="language:TypeDeclaration" name="VisionBlocked class" supertypes="//@problemConainer/@types.4"/>
160 <types xsi:type="language:TypeDeclaration" name="SeparationDistance class" supertypes="//@problemConainer/@types.4"/>
161 <types xsi:type="language:TypeDeclaration" name="CollisionExists class" supertypes="//@problemConainer/@types.5"/>
162 <types xsi:type="language:TypeDeclaration" name="CollisionDoesNotExist class" supertypes="//@problemConainer/@types.5"/>
163 <types xsi:type="language:TypeDeclaration" name="Pedestrian class" supertypes="//@problemConainer/@types.2"/>
164 <types xsi:type="language:TypeDeclaration" name="Vehicle class" supertypes="//@problemConainer/@types.2"/>
165 <types xsi:type="language:TypeDefinition" name="Orientation enum" elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1"/>
166 <types xsi:type="language:TypeDefinition" name="Size enum" elements="//@problemConainer/@elements.2 //@problemConainer/@elements.3 //@problemConainer/@elements.4"/>
167 <types xsi:type="language:TypeDefinition" name="Distance enum" elements="//@problemConainer/@elements.5 //@problemConainer/@elements.6 //@problemConainer/@elements.7"/>
168 <types xsi:type="language:TypeDefinition" name="CrossingScenario class DefinedPart" supertypes="//@problemConainer/@types.0" elements="//@problemConainer/@elements.8"/>
169 <types xsi:type="language:TypeDeclaration" name="CrossingScenario class UndefinedPart" supertypes="//@problemConainer/@types.0"/>
170 <assertions name="upperMultiplicity prevLane Lane" annotations="//@problemConainer/@annotations.0">
171 <value xsi:type="language:Forall">
172 <quantifiedVariables name="src">
173 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
174 </quantifiedVariables>
175 <quantifiedVariables name="trg 1">
176 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
177 </quantifiedVariables>
178 <quantifiedVariables name="trg 2">
179 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
180 </quantifiedVariables>
181 <expression xsi:type="language:Impl">
182 <leftOperand xsi:type="language:And">
183 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
184 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
185 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
186 </operands>
187 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2">
188 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/>
189 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
190 </operands>
191 </leftOperand>
192 <rightOperand xsi:type="language:Not">
193 <operand xsi:type="language:Distinct">
194 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/>
195 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/>
196 </operand>
197 </rightOperand>
198 </expression>
199 </value>
200 </assertions>
201 <assertions name="lowerMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.1">
202 <value xsi:type="language:Forall">
203 <quantifiedVariables name="src">
204 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
205 </quantifiedVariables>
206 <expression xsi:type="language:Exists">
207 <quantifiedVariables name="trg 1">
208 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
209 </quantifiedVariables>
210 <expression xsi:type="language:And">
211 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
212 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/>
213 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@expression/@quantifiedVariables.0"/>
214 </operands>
215 </expression>
216 </expression>
217 </value>
218 </assertions>
219 <assertions name="upperMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.2">
220 <value xsi:type="language:Forall">
221 <quantifiedVariables name="src">
222 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
223 </quantifiedVariables>
224 <quantifiedVariables name="trg 1">
225 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
226 </quantifiedVariables>
227 <quantifiedVariables name="trg 2">
228 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
229 </quantifiedVariables>
230 <expression xsi:type="language:Impl">
231 <leftOperand xsi:type="language:And">
232 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
233 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
234 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
235 </operands>
236 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
237 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/>
238 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
239 </operands>
240 </leftOperand>
241 <rightOperand xsi:type="language:Not">
242 <operand xsi:type="language:Distinct">
243 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/>
244 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/>
245 </operand>
246 </rightOperand>
247 </expression>
248 </value>
249 </assertions>
250 <assertions name="lowerMultiplicity target Relation" annotations="//@problemConainer/@annotations.3">
251 <value xsi:type="language:Forall">
252 <quantifiedVariables name="src">
253 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
254 </quantifiedVariables>
255 <expression xsi:type="language:Exists">
256 <quantifiedVariables name="trg 1">
257 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
258 </quantifiedVariables>
259 <expression xsi:type="language:And">
260 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
261 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/>
262 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@expression/@quantifiedVariables.0"/>
263 </operands>
264 </expression>
265 </expression>
266 </value>
267 </assertions>
268 <assertions name="upperMultiplicity target Relation" annotations="//@problemConainer/@annotations.4">
269 <value xsi:type="language:Forall">
270 <quantifiedVariables name="src">
271 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
272 </quantifiedVariables>
273 <quantifiedVariables name="trg 1">
274 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
275 </quantifiedVariables>
276 <quantifiedVariables name="trg 2">
277 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
278 </quantifiedVariables>
279 <expression xsi:type="language:Impl">
280 <leftOperand xsi:type="language:And">
281 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
282 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
283 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
284 </operands>
285 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6">
286 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/>
287 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
288 </operands>
289 </leftOperand>
290 <rightOperand xsi:type="language:Not">
291 <operand xsi:type="language:Distinct">
292 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/>
293 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/>
294 </operand>
295 </rightOperand>
296 </expression>
297 </value>
298 </assertions>
299 <assertions name="lowerMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.5">
300 <value xsi:type="language:Forall">
301 <quantifiedVariables name="src">
302 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
303 </quantifiedVariables>
304 <expression xsi:type="language:Exists">
305 <quantifiedVariables name="trg 1">
306 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
307 </quantifiedVariables>
308 <expression xsi:type="language:And">
309 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
310 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/>
311 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@expression/@quantifiedVariables.0"/>
312 </operands>
313 </expression>
314 </expression>
315 </value>
316 </assertions>
317 <assertions name="upperMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.6">
318 <value xsi:type="language:Forall">
319 <quantifiedVariables name="src">
320 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
321 </quantifiedVariables>
322 <quantifiedVariables name="trg 1">
323 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
324 </quantifiedVariables>
325 <quantifiedVariables name="trg 2">
326 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
327 </quantifiedVariables>
328 <expression xsi:type="language:Impl">
329 <leftOperand xsi:type="language:And">
330 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
331 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
332 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
333 </operands>
334 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7">
335 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/>
336 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.2"/>
337 </operands>
338 </leftOperand>
339 <rightOperand xsi:type="language:Not">
340 <operand xsi:type="language:Distinct">
341 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/>
342 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.2"/>
343 </operand>
344 </rightOperand>
345 </expression>
346 </value>
347 </assertions>
348 <assertions name="oppositeReference actors Lane" annotations="//@problemConainer/@annotations.7">
349 <value xsi:type="language:Forall">
350 <quantifiedVariables name="src">
351 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
352 </quantifiedVariables>
353 <quantifiedVariables name="trg">
354 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
355 </quantifiedVariables>
356 <expression xsi:type="language:Iff">
357 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3">
358 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
359 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
360 </leftOperand>
361 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5">
362 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/>
363 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/>
364 </rightOperand>
365 </expression>
366 </value>
367 </assertions>
368 <assertions name="upperMultiplicity xSize CrossingScenario" annotations="//@problemConainer/@annotations.8">
369 <value xsi:type="language:Forall">
370 <quantifiedVariables name="src">
371 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
372 </quantifiedVariables>
373 <quantifiedVariables name="trg 1">
374 <range xsi:type="language:RealTypeReference"/>
375 </quantifiedVariables>
376 <quantifiedVariables name="trg 2">
377 <range xsi:type="language:RealTypeReference"/>
378 </quantifiedVariables>
379 <expression xsi:type="language:Impl">
380 <leftOperand xsi:type="language:And">
381 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
382 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
383 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
384 </operands>
385 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
386 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/>
387 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
388 </operands>
389 </leftOperand>
390 <rightOperand xsi:type="language:Not">
391 <operand xsi:type="language:Distinct">
392 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/>
393 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/>
394 </operand>
395 </rightOperand>
396 </expression>
397 </value>
398 </assertions>
399 <assertions name="upperMultiplicity ySize CrossingScenario" annotations="//@problemConainer/@annotations.9">
400 <value xsi:type="language:Forall">
401 <quantifiedVariables name="src">
402 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
403 </quantifiedVariables>
404 <quantifiedVariables name="trg 1">
405 <range xsi:type="language:RealTypeReference"/>
406 </quantifiedVariables>
407 <quantifiedVariables name="trg 2">
408 <range xsi:type="language:RealTypeReference"/>
409 </quantifiedVariables>
410 <expression xsi:type="language:Impl">
411 <leftOperand xsi:type="language:And">
412 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
413 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
414 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/>
415 </operands>
416 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
417 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/>
418 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.2"/>
419 </operands>
420 </leftOperand>
421 <rightOperand xsi:type="language:Not">
422 <operand xsi:type="language:Distinct">
423 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.1"/>
424 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.2"/>
425 </operand>
426 </rightOperand>
427 </expression>
428 </value>
429 </assertions>
430 <assertions name="upperMultiplicity maxTime CrossingScenario" annotations="//@problemConainer/@annotations.10">
431 <value xsi:type="language:Forall">
432 <quantifiedVariables name="src">
433 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
434 </quantifiedVariables>
435 <quantifiedVariables name="trg 1">
436 <range xsi:type="language:RealTypeReference"/>
437 </quantifiedVariables>
438 <quantifiedVariables name="trg 2">
439 <range xsi:type="language:RealTypeReference"/>
440 </quantifiedVariables>
441 <expression xsi:type="language:Impl">
442 <leftOperand xsi:type="language:And">
443 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
444 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
445 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
446 </operands>
447 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
448 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/>
449 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
450 </operands>
451 </leftOperand>
452 <rightOperand xsi:type="language:Not">
453 <operand xsi:type="language:Distinct">
454 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/>
455 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/>
456 </operand>
457 </rightOperand>
458 </expression>
459 </value>
460 </assertions>
461 <assertions name="lowerMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.11">
462 <value xsi:type="language:Forall">
463 <quantifiedVariables name="src">
464 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
465 </quantifiedVariables>
466 <expression xsi:type="language:Exists">
467 <quantifiedVariables name="trg 1">
468 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
469 </quantifiedVariables>
470 <expression xsi:type="language:And">
471 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
472 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/>
473 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@expression/@quantifiedVariables.0"/>
474 </operands>
475 </expression>
476 </expression>
477 </value>
478 </assertions>
479 <assertions name="upperMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.12">
480 <value xsi:type="language:Forall">
481 <quantifiedVariables name="src">
482 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
483 </quantifiedVariables>
484 <quantifiedVariables name="trg 1">
485 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
486 </quantifiedVariables>
487 <quantifiedVariables name="trg 2">
488 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
489 </quantifiedVariables>
490 <expression xsi:type="language:Impl">
491 <leftOperand xsi:type="language:And">
492 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
493 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
494 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
495 </operands>
496 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11">
497 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/>
498 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
499 </operands>
500 </leftOperand>
501 <rightOperand xsi:type="language:Not">
502 <operand xsi:type="language:Distinct">
503 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/>
504 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/>
505 </operand>
506 </rightOperand>
507 </expression>
508 </value>
509 </assertions>
510 <assertions name="lowerMultiplicity width Lane" annotations="//@problemConainer/@annotations.13">
511 <value xsi:type="language:Forall">
512 <quantifiedVariables name="src">
513 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
514 </quantifiedVariables>
515 <expression xsi:type="language:Exists">
516 <quantifiedVariables name="trg 1">
517 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
518 </quantifiedVariables>
519 <expression xsi:type="language:And">
520 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
521 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/>
522 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@expression/@quantifiedVariables.0"/>
523 </operands>
524 </expression>
525 </expression>
526 </value>
527 </assertions>
528 <assertions name="upperMultiplicity width Lane" annotations="//@problemConainer/@annotations.14">
529 <value xsi:type="language:Forall">
530 <quantifiedVariables name="src">
531 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
532 </quantifiedVariables>
533 <quantifiedVariables name="trg 1">
534 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
535 </quantifiedVariables>
536 <quantifiedVariables name="trg 2">
537 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
538 </quantifiedVariables>
539 <expression xsi:type="language:Impl">
540 <leftOperand xsi:type="language:And">
541 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
542 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
543 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
544 </operands>
545 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
546 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/>
547 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
548 </operands>
549 </leftOperand>
550 <rightOperand xsi:type="language:Not">
551 <operand xsi:type="language:Distinct">
552 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/>
553 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/>
554 </operand>
555 </rightOperand>
556 </expression>
557 </value>
558 </assertions>
559 <assertions name="lowerMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.15">
560 <value xsi:type="language:Forall">
561 <quantifiedVariables name="src">
562 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
563 </quantifiedVariables>
564 <expression xsi:type="language:Exists">
565 <quantifiedVariables name="trg 1">
566 <range xsi:type="language:RealTypeReference"/>
567 </quantifiedVariables>
568 <expression xsi:type="language:And">
569 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
570 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/>
571 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@expression/@quantifiedVariables.0"/>
572 </operands>
573 </expression>
574 </expression>
575 </value>
576 </assertions>
577 <assertions name="upperMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.16">
578 <value xsi:type="language:Forall">
579 <quantifiedVariables name="src">
580 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
581 </quantifiedVariables>
582 <quantifiedVariables name="trg 1">
583 <range xsi:type="language:RealTypeReference"/>
584 </quantifiedVariables>
585 <quantifiedVariables name="trg 2">
586 <range xsi:type="language:RealTypeReference"/>
587 </quantifiedVariables>
588 <expression xsi:type="language:Impl">
589 <leftOperand xsi:type="language:And">
590 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
591 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
592 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
593 </operands>
594 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
595 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/>
596 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
597 </operands>
598 </leftOperand>
599 <rightOperand xsi:type="language:Not">
600 <operand xsi:type="language:Distinct">
601 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/>
602 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/>
603 </operand>
604 </rightOperand>
605 </expression>
606 </value>
607 </assertions>
608 <assertions name="lowerMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.17">
609 <value xsi:type="language:Forall">
610 <quantifiedVariables name="src">
611 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
612 </quantifiedVariables>
613 <expression xsi:type="language:Exists">
614 <quantifiedVariables name="trg 1">
615 <range xsi:type="language:RealTypeReference"/>
616 </quantifiedVariables>
617 <expression xsi:type="language:And">
618 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
619 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/>
620 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@expression/@quantifiedVariables.0"/>
621 </operands>
622 </expression>
623 </expression>
624 </value>
625 </assertions>
626 <assertions name="upperMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.18">
627 <value xsi:type="language:Forall">
628 <quantifiedVariables name="src">
629 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
630 </quantifiedVariables>
631 <quantifiedVariables name="trg 1">
632 <range xsi:type="language:RealTypeReference"/>
633 </quantifiedVariables>
634 <quantifiedVariables name="trg 2">
635 <range xsi:type="language:RealTypeReference"/>
636 </quantifiedVariables>
637 <expression xsi:type="language:Impl">
638 <leftOperand xsi:type="language:And">
639 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
640 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
641 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
642 </operands>
643 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
644 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/>
645 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
646 </operands>
647 </leftOperand>
648 <rightOperand xsi:type="language:Not">
649 <operand xsi:type="language:Distinct">
650 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/>
651 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/>
652 </operand>
653 </rightOperand>
654 </expression>
655 </value>
656 </assertions>
657 <assertions name="lowerMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.19">
658 <value xsi:type="language:Forall">
659 <quantifiedVariables name="src">
660 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
661 </quantifiedVariables>
662 <expression xsi:type="language:Exists">
663 <quantifiedVariables name="trg 1">
664 <range xsi:type="language:RealTypeReference"/>
665 </quantifiedVariables>
666 <expression xsi:type="language:And">
667 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
668 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/>
669 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@expression/@quantifiedVariables.0"/>
670 </operands>
671 </expression>
672 </expression>
673 </value>
674 </assertions>
675 <assertions name="upperMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.20">
676 <value xsi:type="language:Forall">
677 <quantifiedVariables name="src">
678 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
679 </quantifiedVariables>
680 <quantifiedVariables name="trg 1">
681 <range xsi:type="language:RealTypeReference"/>
682 </quantifiedVariables>
683 <quantifiedVariables name="trg 2">
684 <range xsi:type="language:RealTypeReference"/>
685 </quantifiedVariables>
686 <expression xsi:type="language:Impl">
687 <leftOperand xsi:type="language:And">
688 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
689 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
690 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
691 </operands>
692 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15">
693 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/>
694 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
695 </operands>
696 </leftOperand>
697 <rightOperand xsi:type="language:Not">
698 <operand xsi:type="language:Distinct">
699 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/>
700 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/>
701 </operand>
702 </rightOperand>
703 </expression>
704 </value>
705 </assertions>
706 <assertions name="lowerMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.21">
707 <value xsi:type="language:Forall">
708 <quantifiedVariables name="src">
709 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
710 </quantifiedVariables>
711 <expression xsi:type="language:Exists">
712 <quantifiedVariables name="trg 1">
713 <range xsi:type="language:RealTypeReference"/>
714 </quantifiedVariables>
715 <expression xsi:type="language:And">
716 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
717 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@quantifiedVariables.0"/>
718 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@expression/@quantifiedVariables.0"/>
719 </operands>
720 </expression>
721 </expression>
722 </value>
723 </assertions>
724 <assertions name="upperMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.22">
725 <value xsi:type="language:Forall">
726 <quantifiedVariables name="src">
727 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
728 </quantifiedVariables>
729 <quantifiedVariables name="trg 1">
730 <range xsi:type="language:RealTypeReference"/>
731 </quantifiedVariables>
732 <quantifiedVariables name="trg 2">
733 <range xsi:type="language:RealTypeReference"/>
734 </quantifiedVariables>
735 <expression xsi:type="language:Impl">
736 <leftOperand xsi:type="language:And">
737 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
738 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
739 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
740 </operands>
741 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16">
742 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/>
743 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
744 </operands>
745 </leftOperand>
746 <rightOperand xsi:type="language:Not">
747 <operand xsi:type="language:Distinct">
748 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/>
749 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/>
750 </operand>
751 </rightOperand>
752 </expression>
753 </value>
754 </assertions>
755 <assertions name="lowerMultiplicity length Actor" annotations="//@problemConainer/@annotations.23">
756 <value xsi:type="language:Forall">
757 <quantifiedVariables name="src">
758 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
759 </quantifiedVariables>
760 <expression xsi:type="language:Exists">
761 <quantifiedVariables name="trg 1">
762 <range xsi:type="language:RealTypeReference"/>
763 </quantifiedVariables>
764 <expression xsi:type="language:And">
765 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
766 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@quantifiedVariables.0"/>
767 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@expression/@quantifiedVariables.0"/>
768 </operands>
769 </expression>
770 </expression>
771 </value>
772 </assertions>
773 <assertions name="upperMultiplicity length Actor" annotations="//@problemConainer/@annotations.24">
774 <value xsi:type="language:Forall">
775 <quantifiedVariables name="src">
776 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
777 </quantifiedVariables>
778 <quantifiedVariables name="trg 1">
779 <range xsi:type="language:RealTypeReference"/>
780 </quantifiedVariables>
781 <quantifiedVariables name="trg 2">
782 <range xsi:type="language:RealTypeReference"/>
783 </quantifiedVariables>
784 <expression xsi:type="language:Impl">
785 <leftOperand xsi:type="language:And">
786 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
787 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
788 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
789 </operands>
790 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17">
791 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/>
792 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
793 </operands>
794 </leftOperand>
795 <rightOperand xsi:type="language:Not">
796 <operand xsi:type="language:Distinct">
797 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/>
798 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/>
799 </operand>
800 </rightOperand>
801 </expression>
802 </value>
803 </assertions>
804 <assertions name="lowerMultiplicity width Actor" annotations="//@problemConainer/@annotations.25">
805 <value xsi:type="language:Forall">
806 <quantifiedVariables name="src">
807 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
808 </quantifiedVariables>
809 <expression xsi:type="language:Exists">
810 <quantifiedVariables name="trg 1">
811 <range xsi:type="language:RealTypeReference"/>
812 </quantifiedVariables>
813 <expression xsi:type="language:And">
814 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
815 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@quantifiedVariables.0"/>
816 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@expression/@quantifiedVariables.0"/>
817 </operands>
818 </expression>
819 </expression>
820 </value>
821 </assertions>
822 <assertions name="upperMultiplicity width Actor" annotations="//@problemConainer/@annotations.26">
823 <value xsi:type="language:Forall">
824 <quantifiedVariables name="src">
825 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
826 </quantifiedVariables>
827 <quantifiedVariables name="trg 1">
828 <range xsi:type="language:RealTypeReference"/>
829 </quantifiedVariables>
830 <quantifiedVariables name="trg 2">
831 <range xsi:type="language:RealTypeReference"/>
832 </quantifiedVariables>
833 <expression xsi:type="language:Impl">
834 <leftOperand xsi:type="language:And">
835 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
836 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
837 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
838 </operands>
839 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18">
840 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/>
841 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
842 </operands>
843 </leftOperand>
844 <rightOperand xsi:type="language:Not">
845 <operand xsi:type="language:Distinct">
846 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/>
847 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/>
848 </operand>
849 </rightOperand>
850 </expression>
851 </value>
852 </assertions>
853 <assertions name="lowerMultiplicity xSpeed Actor" annotations="//@problemConainer/@annotations.27">
854 <value xsi:type="language:Forall">
855 <quantifiedVariables name="src">
856 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
857 </quantifiedVariables>
858 <expression xsi:type="language:Exists">
859 <quantifiedVariables name="trg 1">
860 <range xsi:type="language:RealTypeReference"/>
861 </quantifiedVariables>
862 <expression xsi:type="language:And">
863 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
864 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@quantifiedVariables.0"/>
865 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@expression/@quantifiedVariables.0"/>
866 </operands>
867 </expression>
868 </expression>
869 </value>
870 </assertions>
871 <assertions name="upperMultiplicity xSpeed Actor" annotations="//@problemConainer/@annotations.28">
872 <value xsi:type="language:Forall">
873 <quantifiedVariables name="src">
874 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
875 </quantifiedVariables>
876 <quantifiedVariables name="trg 1">
877 <range xsi:type="language:RealTypeReference"/>
878 </quantifiedVariables>
879 <quantifiedVariables name="trg 2">
880 <range xsi:type="language:RealTypeReference"/>
881 </quantifiedVariables>
882 <expression xsi:type="language:Impl">
883 <leftOperand xsi:type="language:And">
884 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
885 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
886 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
887 </operands>
888 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19">
889 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/>
890 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
891 </operands>
892 </leftOperand>
893 <rightOperand xsi:type="language:Not">
894 <operand xsi:type="language:Distinct">
895 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/>
896 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/>
897 </operand>
898 </rightOperand>
899 </expression>
900 </value>
901 </assertions>
902 <assertions name="lowerMultiplicity ySpeed Actor" annotations="//@problemConainer/@annotations.29">
903 <value xsi:type="language:Forall">
904 <quantifiedVariables name="src">
905 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
906 </quantifiedVariables>
907 <expression xsi:type="language:Exists">
908 <quantifiedVariables name="trg 1">
909 <range xsi:type="language:RealTypeReference"/>
910 </quantifiedVariables>
911 <expression xsi:type="language:And">
912 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
913 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@quantifiedVariables.0"/>
914 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@expression/@quantifiedVariables.0"/>
915 </operands>
916 </expression>
917 </expression>
918 </value>
919 </assertions>
920 <assertions name="upperMultiplicity ySpeed Actor" annotations="//@problemConainer/@annotations.30">
921 <value xsi:type="language:Forall">
922 <quantifiedVariables name="src">
923 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
924 </quantifiedVariables>
925 <quantifiedVariables name="trg 1">
926 <range xsi:type="language:RealTypeReference"/>
927 </quantifiedVariables>
928 <quantifiedVariables name="trg 2">
929 <range xsi:type="language:RealTypeReference"/>
930 </quantifiedVariables>
931 <expression xsi:type="language:Impl">
932 <leftOperand xsi:type="language:And">
933 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
934 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
935 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
936 </operands>
937 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20">
938 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/>
939 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
940 </operands>
941 </leftOperand>
942 <rightOperand xsi:type="language:Not">
943 <operand xsi:type="language:Distinct">
944 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/>
945 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/>
946 </operand>
947 </rightOperand>
948 </expression>
949 </value>
950 </assertions>
951 <assertions name="lowerMultiplicity distance SeparationDistance" annotations="//@problemConainer/@annotations.31">
952 <value xsi:type="language:Forall">
953 <quantifiedVariables name="src">
954 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
955 </quantifiedVariables>
956 <expression xsi:type="language:Exists">
957 <quantifiedVariables name="trg 1">
958 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
959 </quantifiedVariables>
960 <expression xsi:type="language:And">
961 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
962 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@quantifiedVariables.0"/>
963 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@expression/@quantifiedVariables.0"/>
964 </operands>
965 </expression>
966 </expression>
967 </value>
968 </assertions>
969 <assertions name="upperMultiplicity distance SeparationDistance" annotations="//@problemConainer/@annotations.32">
970 <value xsi:type="language:Forall">
971 <quantifiedVariables name="src">
972 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
973 </quantifiedVariables>
974 <quantifiedVariables name="trg 1">
975 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
976 </quantifiedVariables>
977 <quantifiedVariables name="trg 2">
978 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
979 </quantifiedVariables>
980 <expression xsi:type="language:Impl">
981 <leftOperand xsi:type="language:And">
982 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
983 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
984 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
985 </operands>
986 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21">
987 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/>
988 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
989 </operands>
990 </leftOperand>
991 <rightOperand xsi:type="language:Not">
992 <operand xsi:type="language:Distinct">
993 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/>
994 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/>
995 </operand>
996 </rightOperand>
997 </expression>
998 </value>
999 </assertions>
1000 <assertions name="lowerMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.33">
1001 <value xsi:type="language:Forall">
1002 <quantifiedVariables name="src">
1003 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1004 </quantifiedVariables>
1005 <expression xsi:type="language:Exists">
1006 <quantifiedVariables name="trg 1">
1007 <range xsi:type="language:RealTypeReference"/>
1008 </quantifiedVariables>
1009 <expression xsi:type="language:And">
1010 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
1011 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.33/@value/@quantifiedVariables.0"/>
1012 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.33/@value/@expression/@quantifiedVariables.0"/>
1013 </operands>
1014 </expression>
1015 </expression>
1016 </value>
1017 </assertions>
1018 <assertions name="upperMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.34">
1019 <value xsi:type="language:Forall">
1020 <quantifiedVariables name="src">
1021 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1022 </quantifiedVariables>
1023 <quantifiedVariables name="trg 1">
1024 <range xsi:type="language:RealTypeReference"/>
1025 </quantifiedVariables>
1026 <quantifiedVariables name="trg 2">
1027 <range xsi:type="language:RealTypeReference"/>
1028 </quantifiedVariables>
1029 <expression xsi:type="language:Impl">
1030 <leftOperand xsi:type="language:And">
1031 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
1032 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.0"/>
1033 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.1"/>
1034 </operands>
1035 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22">
1036 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.0"/>
1037 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.2"/>
1038 </operands>
1039 </leftOperand>
1040 <rightOperand xsi:type="language:Not">
1041 <operand xsi:type="language:Distinct">
1042 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.1"/>
1043 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.34/@value/@quantifiedVariables.2"/>
1044 </operand>
1045 </rightOperand>
1046 </expression>
1047 </value>
1048 </assertions>
1049 <assertions name="PartialInterpretation xSize attribute CrossingScenario" annotations="//@problemConainer/@annotations.35">
1050 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8">
1051 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
1052 <parameterSubstitutions xsi:type="language:RealLiteral"/>
1053 </value>
1054 </assertions>
1055 <assertions name="PartialInterpretation ySize attribute CrossingScenario" annotations="//@problemConainer/@annotations.36">
1056 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9">
1057 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
1058 <parameterSubstitutions xsi:type="language:RealLiteral"/>
1059 </value>
1060 </assertions>
1061 <assertions name="PartialInterpretation maxTime attribute CrossingScenario" annotations="//@problemConainer/@annotations.37">
1062 <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10">
1063 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/>
1064 <parameterSubstitutions xsi:type="language:RealLiteral"/>
1065 </value>
1066 </assertions>
1067 <assertions name="errorpattern queries patterThatOnlyWorksWithInt" annotations="//@problemConainer/@annotations.41">
1068 <value xsi:type="language:Forall">
1069 <quantifiedVariables name="p0">
1070 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1071 </quantifiedVariables>
1072 <expression xsi:type="language:Not">
1073 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23">
1074 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.38/@value/@quantifiedVariables.0"/>
1075 </operand>
1076 </expression>
1077 </value>
1078 </assertions>
1079 <assertions name="errorpattern queries define_numWidth_small1" annotations="//@problemConainer/@annotations.42">
1080 <value xsi:type="language:Forall">
1081 <quantifiedVariables name="p0">
1082 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1083 </quantifiedVariables>
1084 <expression xsi:type="language:Not">
1085 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24">
1086 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.39/@value/@quantifiedVariables.0"/>
1087 </operand>
1088 </expression>
1089 </value>
1090 </assertions>
1091 <assertions name="errorpattern queries define_numWidth_small2" annotations="//@problemConainer/@annotations.43">
1092 <value xsi:type="language:Forall">
1093 <quantifiedVariables name="p0">
1094 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1095 </quantifiedVariables>
1096 <expression xsi:type="language:Not">
1097 <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25">
1098 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.40/@value/@quantifiedVariables.0"/>
1099 </operand>
1100 </expression>
1101 </value>
1102 </assertions>
1103 <relations xsi:type="language:RelationDeclaration" name="actors reference CrossingScenario">
1104 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1105 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1106 </relations>
1107 <relations xsi:type="language:RelationDeclaration" name="lanes reference CrossingScenario">
1108 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1109 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1110 </relations>
1111 <relations xsi:type="language:RelationDeclaration" name="prevLane reference Lane">
1112 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1113 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1114 </relations>
1115 <relations xsi:type="language:RelationDeclaration" name="actors reference Lane">
1116 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1117 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1118 </relations>
1119 <relations xsi:type="language:RelationDeclaration" name="relations reference Actor">
1120 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1121 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
1122 </relations>
1123 <relations xsi:type="language:RelationDeclaration" name="placedOn reference Actor">
1124 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1125 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1126 </relations>
1127 <relations xsi:type="language:RelationDeclaration" name="target reference Relation">
1128 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/>
1129 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1130 </relations>
1131 <relations xsi:type="language:RelationDeclaration" name="blockedBy reference VisionBlocked">
1132 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/>
1133 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1134 </relations>
1135 <relations xsi:type="language:RelationDeclaration" name="xSize attribute CrossingScenario">
1136 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1137 <parameters xsi:type="language:RealTypeReference"/>
1138 </relations>
1139 <relations xsi:type="language:RelationDeclaration" name="ySize attribute CrossingScenario">
1140 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1141 <parameters xsi:type="language:RealTypeReference"/>
1142 </relations>
1143 <relations xsi:type="language:RelationDeclaration" name="maxTime attribute CrossingScenario">
1144 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/>
1145 <parameters xsi:type="language:RealTypeReference"/>
1146 </relations>
1147 <relations xsi:type="language:RelationDeclaration" name="orientation attribute Lane">
1148 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1149 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/>
1150 </relations>
1151 <relations xsi:type="language:RelationDeclaration" name="width attribute Lane">
1152 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1153 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
1154 </relations>
1155 <relations xsi:type="language:RelationDeclaration" name="referenceCoord attribute Lane">
1156 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1157 <parameters xsi:type="language:RealTypeReference"/>
1158 </relations>
1159 <relations xsi:type="language:RelationDeclaration" name="numWidth attribute Lane">
1160 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1161 <parameters xsi:type="language:RealTypeReference"/>
1162 </relations>
1163 <relations xsi:type="language:RelationDeclaration" name="xPos attribute Actor">
1164 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1165 <parameters xsi:type="language:RealTypeReference"/>
1166 </relations>
1167 <relations xsi:type="language:RelationDeclaration" name="yPos attribute Actor">
1168 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1169 <parameters xsi:type="language:RealTypeReference"/>
1170 </relations>
1171 <relations xsi:type="language:RelationDeclaration" name="length attribute Actor">
1172 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1173 <parameters xsi:type="language:RealTypeReference"/>
1174 </relations>
1175 <relations xsi:type="language:RelationDeclaration" name="width attribute Actor">
1176 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1177 <parameters xsi:type="language:RealTypeReference"/>
1178 </relations>
1179 <relations xsi:type="language:RelationDeclaration" name="xSpeed attribute Actor">
1180 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1181 <parameters xsi:type="language:RealTypeReference"/>
1182 </relations>
1183 <relations xsi:type="language:RelationDeclaration" name="ySpeed attribute Actor">
1184 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/>
1185 <parameters xsi:type="language:RealTypeReference"/>
1186 </relations>
1187 <relations xsi:type="language:RelationDeclaration" name="distance attribute SeparationDistance">
1188 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/>
1189 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/>
1190 </relations>
1191 <relations xsi:type="language:RelationDeclaration" name="collisionTime attribute CollisionExists">
1192 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/>
1193 <parameters xsi:type="language:RealTypeReference"/>
1194 </relations>
1195 <relations xsi:type="language:RelationDefinition" name="pattern queries patterThatOnlyWorksWithInt" annotations="//@problemConainer/@annotations.38">
1196 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1197 <variables name="parameter l">
1198 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1199 </variables>
1200 <value xsi:type="language:Or">
1201 <operands xsi:type="language:Exists">
1202 <quantifiedVariables name="variable w">
1203 <range xsi:type="language:RealTypeReference"/>
1204 </quantifiedVariables>
1205 <expression xsi:type="language:And">
1206 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13">
1207 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@variables.0"/>
1208 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1209 </operands>
1210 <operands xsi:type="language:LessOrEqualThan">
1211 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1212 <rightOperand xsi:type="language:Minus">
1213 <leftOperand xsi:type="language:IntLiteral"/>
1214 <rightOperand xsi:type="language:RealLiteral" value="10.0"/>
1215 </rightOperand>
1216 </operands>
1217 </expression>
1218 </operands>
1219 </value>
1220 </relations>
1221 <relations xsi:type="language:RelationDefinition" name="pattern queries define_numWidth_small1" annotations="//@problemConainer/@annotations.39">
1222 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1223 <variables name="parameter l">
1224 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1225 </variables>
1226 <value xsi:type="language:Or">
1227 <operands xsi:type="language:Exists">
1228 <quantifiedVariables name="variable nw">
1229 <range xsi:type="language:RealTypeReference"/>
1230 </quantifiedVariables>
1231 <quantifiedVariables name="variable virtual1">
1232 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/>
1233 </quantifiedVariables>
1234 <expression xsi:type="language:And">
1235 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
1236 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/>
1237 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1238 </operands>
1239 <operands xsi:type="language:MoreOrEqualThan">
1240 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1241 <rightOperand xsi:type="language:RealLiteral" value="5.0"/>
1242 </operands>
1243 <operands xsi:type="language:Equals">
1244 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
1245 <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.2"/>
1246 </operands>
1247 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12">
1248 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@variables.0"/>
1249 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
1250 </operands>
1251 </expression>
1252 </operands>
1253 </value>
1254 </relations>
1255 <relations xsi:type="language:RelationDefinition" name="pattern queries define_numWidth_small2" annotations="//@problemConainer/@annotations.40">
1256 <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1257 <variables name="parameter l">
1258 <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/>
1259 </variables>
1260 <value xsi:type="language:Or">
1261 <operands xsi:type="language:Exists">
1262 <quantifiedVariables name="variable nw">
1263 <range xsi:type="language:RealTypeReference"/>
1264 </quantifiedVariables>
1265 <expression xsi:type="language:And">
1266 <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14">
1267 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25/@variables.0"/>
1268 <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1269 </operands>
1270 <operands xsi:type="language:LessOrEqualThan">
1271 <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1272 <rightOperand xsi:type="language:RealLiteral" value="5.0"/>
1273 </operands>
1274 </expression>
1275 </operands>
1276 </value>
1277 </relations>
1278 <elements name="Vertical literal Orientation" definedInType="//@problemConainer/@types.12"/>
1279 <elements name="Horizontal literal Orientation" definedInType="//@problemConainer/@types.12"/>
1280 <elements name="S_Small literal Size" definedInType="//@problemConainer/@types.13"/>
1281 <elements name="S_Med literal Size" definedInType="//@problemConainer/@types.13"/>
1282 <elements name="S_Large literal Size" definedInType="//@problemConainer/@types.13"/>
1283 <elements name="D_Near literal Distance" definedInType="//@problemConainer/@types.14"/>
1284 <elements name="D_Med literal Distance" definedInType="//@problemConainer/@types.14"/>
1285 <elements name="D_Far literal Distance" definedInType="//@problemConainer/@types.14"/>
1286 <elements name="o 1" definedInType="//@problemConainer/@types.15"/>
1287 <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.9 //@problemConainer/@types.10 //@problemConainer/@types.0 //@problemConainer/@types.5 //@problemConainer/@types.8 //@problemConainer/@types.1 //@problemConainer/@types.7 //@problemConainer/@types.6 //@problemConainer/@types.3 //@problemConainer/@types.4 //@problemConainer/@types.2 //@problemConainer/@types.11 //@problemConainer/@types.15 //@problemConainer/@types.16" containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.1 //@problemConainer/@relations.4"/>
1288 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.2" upper="1"/>
1289 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.5" lower="1"/>
1290 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" upper="1"/>
1291 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.6" lower="1"/>
1292 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" upper="1"/>
1293 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.7" lower="1"/>
1294 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.6" relation="//@problemConainer/@relations.7" upper="1"/>
1295 <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.7" inverseA="//@problemConainer/@relations.3" inverseB="//@problemConainer/@relations.5"/>
1296 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.8" relation="//@problemConainer/@relations.8" upper="1"/>
1297 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.9" relation="//@problemConainer/@relations.9" upper="1"/>
1298 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.10" relation="//@problemConainer/@relations.10" upper="1"/>
1299 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.11" relation="//@problemConainer/@relations.11" lower="1"/>
1300 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.12" relation="//@problemConainer/@relations.11" upper="1"/>
1301 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.13" relation="//@problemConainer/@relations.12" lower="1"/>
1302 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.14" relation="//@problemConainer/@relations.12" upper="1"/>
1303 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.15" relation="//@problemConainer/@relations.13" lower="1"/>
1304 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.16" relation="//@problemConainer/@relations.13" upper="1"/>
1305 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.17" relation="//@problemConainer/@relations.14" lower="1"/>
1306 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.18" relation="//@problemConainer/@relations.14" upper="1"/>
1307 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.19" relation="//@problemConainer/@relations.15" lower="1"/>
1308 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.20" relation="//@problemConainer/@relations.15" upper="1"/>
1309 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.21" relation="//@problemConainer/@relations.16" lower="1"/>
1310 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.22" relation="//@problemConainer/@relations.16" upper="1"/>
1311 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.23" relation="//@problemConainer/@relations.17" lower="1"/>
1312 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.24" relation="//@problemConainer/@relations.17" upper="1"/>
1313 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.25" relation="//@problemConainer/@relations.18" lower="1"/>
1314 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.26" relation="//@problemConainer/@relations.18" upper="1"/>
1315 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.27" relation="//@problemConainer/@relations.19" lower="1"/>
1316 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.28" relation="//@problemConainer/@relations.19" upper="1"/>
1317 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.29" relation="//@problemConainer/@relations.20" lower="1"/>
1318 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.30" relation="//@problemConainer/@relations.20" upper="1"/>
1319 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.31" relation="//@problemConainer/@relations.21" lower="1"/>
1320 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.32" relation="//@problemConainer/@relations.21" upper="1"/>
1321 <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.33" relation="//@problemConainer/@relations.22" lower="1"/>
1322 <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.34" relation="//@problemConainer/@relations.22" upper="1"/>
1323 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.35" targetRelation="//@problemConainer/@relations.8"/>
1324 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.36" targetRelation="//@problemConainer/@relations.9"/>
1325 <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.37" targetRelation="//@problemConainer/@relations.10"/>
1326 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.23" patternFullyQualifiedName="queries.patterThatOnlyWorksWithInt">
1327 <variableTrace targetLogicVariable="//@problemConainer/@relations.23/@value/@operands.0/@quantifiedVariables.0"/>
1328 </annotations>
1329 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.24" patternFullyQualifiedName="queries.define_numWidth_small1">
1330 <variableTrace targetLogicVariable="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.0"/>
1331 <variableTrace targetLogicVariable="//@problemConainer/@relations.24/@value/@operands.0/@quantifiedVariables.1"/>
1332 </annotations>
1333 <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.25" patternFullyQualifiedName="queries.define_numWidth_small2">
1334 <variableTrace targetLogicVariable="//@problemConainer/@relations.25/@value/@operands.0/@quantifiedVariables.0"/>
1335 </annotations>
1336 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.38" query="//@problemConainer/@annotations.38"/>
1337 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.39" query="//@problemConainer/@annotations.39"/>
1338 <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.40" query="//@problemConainer/@annotations.40"/>
1339 </problemConainer>
1340 <scopes maxNewElements="11" targetTypeInterpretation="//@partialtypeinterpratation.4"/>
1341 <scopes maxNewElements="9" targetTypeInterpretation="//@partialtypeinterpratation.5"/>
1342 <scopes maxNewElements="6" targetTypeInterpretation="//@partialtypeinterpratation.6"/>
1343 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.7"/>
1344 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.8"/>
1345 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.9"/>
1346 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.10"/>
1347 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.11"/>
1348 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.12"/>
1349 <scopes maxNewElements="5" targetTypeInterpretation="//@partialtypeinterpratation.13"/>
1350 <scopes maxNewElements="6" targetTypeInterpretation="//@partialtypeinterpratation.14"/>
1351 <scopes maxNewElements="6" targetTypeInterpretation="//@partialtypeinterpratation.15"/>
1352 <scopes maxNewElements="11" targetTypeInterpretation="//@partialtypeinterpratation.16"/>
1353</partialinterpretation:PartialInterpretation>
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
index 8ac31bb2..4f8267b7 100644
--- a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
+++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig
@@ -7,20 +7,19 @@ generate {
7 partial-model = { "inputs/CrossingScenarioInit.xmi"} 7 partial-model = { "inputs/CrossingScenarioInit.xmi"}
8 solver = ViatraSolver 8 solver = ViatraSolver
9 scope = { 9 scope = {
10 #node = 10..30, 10 #node = 20..30,
11 #int = {}, 11 #int = {},
12 #<Lane> = 1 12 #<Lane> = 1..10,
13 } 13 #<Actor> = 1..10,
14 #<Relation> = 1..10}
14 15
15 config = { 16 config = {
16 runtime = 10000, 17 runtime = 10000,
17 log-level = normal, 18 log-level = normal,
18 "numeric-solver" = "dreal", 19 "numeric-solver" = "dreal",
19 "scopePropagator" = "typeHierarchy" 20 "scopePropagator" = "typeHierarchy"}
20 }
21
22 runs = 1
23 21
22 runs = 1
24 debug = "outputs/debug" 23 debug = "outputs/debug"
25 log = "outputs/debug/log.txt" 24 log = "outputs/debug/log.txt"
26 output = "outputs/models" 25 output = "outputs/models"
diff --git a/Domains/crossingScenario/model/crossingScenario.aird b/Domains/crossingScenario/model/crossingScenario.aird
index d23d4277..53943eaa 100644
--- a/Domains/crossingScenario/model/crossingScenario.aird
+++ b/Domains/crossingScenario/model/crossingScenario.aird
@@ -5,7 +5,7 @@
5 <semanticResources>crossingScenario.genmodel</semanticResources> 5 <semanticResources>crossingScenario.genmodel</semanticResources>
6 <ownedViews xmi:type="viewpoint:DView" uid="_LaDLgFZ_Eeugh9dythfu8g"> 6 <ownedViews xmi:type="viewpoint:DView" uid="_LaDLgFZ_Eeugh9dythfu8g">
7 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/> 7 <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
8 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_MXYWcFZ_Eeugh9dythfu8g" name="crossingScenario class diagram" repPath="#_MV4hoFZ_Eeugh9dythfu8g" changeId="1bba4aa2-edc6-488f-b213-e1511182b449"> 8 <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_MXYWcFZ_Eeugh9dythfu8g" name="crossingScenario class diagram" repPath="#_MV4hoFZ_Eeugh9dythfu8g" changeId="9b933d9e-2a58-4045-89df-7d0b76cac6bf">
9 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> 9 <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
10 <target xmi:type="ecore:EPackage" href="crossingScenario.ecore#/"/> 10 <target xmi:type="ecore:EPackage" href="crossingScenario.ecore#/"/>
11 </ownedRepresentationDescriptors> 11 </ownedRepresentationDescriptors>
@@ -140,7 +140,7 @@
140 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbp24lZ_Eeugh9dythfu8g"/> 140 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbp24lZ_Eeugh9dythfu8g"/>
141 </children> 141 </children>
142 <styles xmi:type="notation:ShapeStyle" xmi:id="_NboowVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 142 <styles xmi:type="notation:ShapeStyle" xmi:id="_NboowVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
143 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NboowlZ_Eeugh9dythfu8g" x="840" y="25" width="74" height="86"/> 143 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NboowlZ_Eeugh9dythfu8g" x="790" y="25" width="74" height="86"/>
144 </children> 144 </children>
145 <children xmi:type="notation:Node" xmi:id="_Nbp241Z_Eeugh9dythfu8g" type="2003" element="_NaHl0FZ_Eeugh9dythfu8g"> 145 <children xmi:type="notation:Node" xmi:id="_Nbp241Z_Eeugh9dythfu8g" type="2003" element="_NaHl0FZ_Eeugh9dythfu8g">
146 <children xmi:type="notation:Node" xmi:id="_NbrFAFZ_Eeugh9dythfu8g" type="5007"/> 146 <children xmi:type="notation:Node" xmi:id="_NbrFAFZ_Eeugh9dythfu8g" type="5007"/>
@@ -173,7 +173,7 @@
173 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbrFA1Z_Eeugh9dythfu8g"/> 173 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbrFA1Z_Eeugh9dythfu8g"/>
174 </children> 174 </children>
175 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbp25FZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/> 175 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbp25FZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/>
176 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbp25VZ_Eeugh9dythfu8g" x="350" y="144"/> 176 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbp25VZ_Eeugh9dythfu8g" x="300" y="144"/>
177 </children> 177 </children>
178 <children xmi:type="notation:Node" xmi:id="_NbrsEFZ_Eeugh9dythfu8g" type="2003" element="_NaKpIVZ_Eeugh9dythfu8g"> 178 <children xmi:type="notation:Node" xmi:id="_NbrsEFZ_Eeugh9dythfu8g" type="2003" element="_NaKpIVZ_Eeugh9dythfu8g">
179 <children xmi:type="notation:Node" xmi:id="_NbsTIFZ_Eeugh9dythfu8g" type="5007"/> 179 <children xmi:type="notation:Node" xmi:id="_NbsTIFZ_Eeugh9dythfu8g" type="5007"/>
@@ -182,7 +182,7 @@
182 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbsTI1Z_Eeugh9dythfu8g"/> 182 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbsTI1Z_Eeugh9dythfu8g"/>
183 </children> 183 </children>
184 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbrsEVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/> 184 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbrsEVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/>
185 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbrsElZ_Eeugh9dythfu8g" x="828" y="223" height="39"/> 185 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbrsElZ_Eeugh9dythfu8g" x="663" y="227" height="39"/>
186 </children> 186 </children>
187 <children xmi:type="notation:Node" xmi:id="_Nbs6MFZ_Eeugh9dythfu8g" type="2003" element="_NaL3QVZ_Eeugh9dythfu8g"> 187 <children xmi:type="notation:Node" xmi:id="_Nbs6MFZ_Eeugh9dythfu8g" type="2003" element="_NaL3QVZ_Eeugh9dythfu8g">
188 <children xmi:type="notation:Node" xmi:id="_NbthQFZ_Eeugh9dythfu8g" type="5007"/> 188 <children xmi:type="notation:Node" xmi:id="_NbthQFZ_Eeugh9dythfu8g" type="5007"/>
@@ -191,7 +191,7 @@
191 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbuIUlZ_Eeugh9dythfu8g"/> 191 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbuIUlZ_Eeugh9dythfu8g"/>
192 </children> 192 </children>
193 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbs6MVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/> 193 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbs6MVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/>
194 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbs6MlZ_Eeugh9dythfu8g" x="684" y="293" height="39"/> 194 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbs6MlZ_Eeugh9dythfu8g" x="612" y="295" height="39"/>
195 </children> 195 </children>
196 <children xmi:type="notation:Node" xmi:id="_NbuvYFZ_Eeugh9dythfu8g" type="2003" element="_NaNscFZ_Eeugh9dythfu8g"> 196 <children xmi:type="notation:Node" xmi:id="_NbuvYFZ_Eeugh9dythfu8g" type="2003" element="_NaNscFZ_Eeugh9dythfu8g">
197 <children xmi:type="notation:Node" xmi:id="_NbvWcFZ_Eeugh9dythfu8g" type="5007"/> 197 <children xmi:type="notation:Node" xmi:id="_NbvWcFZ_Eeugh9dythfu8g" type="5007"/>
@@ -200,7 +200,7 @@
200 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbvWc1Z_Eeugh9dythfu8g"/> 200 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbvWc1Z_Eeugh9dythfu8g"/>
201 </children> 201 </children>
202 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbuvYVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/> 202 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbuvYVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8" italic="true"/>
203 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbuvYlZ_Eeugh9dythfu8g" x="1044" y="295" height="39"/> 203 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbuvYlZ_Eeugh9dythfu8g" x="811" y="295" height="39"/>
204 </children> 204 </children>
205 <children xmi:type="notation:Node" xmi:id="_NbvWdFZ_Eeugh9dythfu8g" type="2003" element="_NaO6kVZ_Eeugh9dythfu8g"> 205 <children xmi:type="notation:Node" xmi:id="_NbvWdFZ_Eeugh9dythfu8g" type="2003" element="_NaO6kVZ_Eeugh9dythfu8g">
206 <children xmi:type="notation:Node" xmi:id="_Nbv9gFZ_Eeugh9dythfu8g" type="5007"/> 206 <children xmi:type="notation:Node" xmi:id="_Nbv9gFZ_Eeugh9dythfu8g" type="5007"/>
@@ -209,7 +209,7 @@
209 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbv9g1Z_Eeugh9dythfu8g"/> 209 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbv9g1Z_Eeugh9dythfu8g"/>
210 </children> 210 </children>
211 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbvWdVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 211 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbvWdVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
212 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbvWdlZ_Eeugh9dythfu8g" x="600" y="367" width="102" height="39"/> 212 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbvWdlZ_Eeugh9dythfu8g" x="550" y="367" width="102" height="39"/>
213 </children> 213 </children>
214 <children xmi:type="notation:Node" xmi:id="_Nbv9hFZ_Eeugh9dythfu8g" type="2003" element="_NaQIsFZ_Eeugh9dythfu8g"> 214 <children xmi:type="notation:Node" xmi:id="_Nbv9hFZ_Eeugh9dythfu8g" type="2003" element="_NaQIsFZ_Eeugh9dythfu8g">
215 <children xmi:type="notation:Node" xmi:id="_NbwkkFZ_Eeugh9dythfu8g" type="5007"/> 215 <children xmi:type="notation:Node" xmi:id="_NbwkkFZ_Eeugh9dythfu8g" type="5007"/>
@@ -222,7 +222,7 @@
222 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbwkk1Z_Eeugh9dythfu8g"/> 222 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbwkk1Z_Eeugh9dythfu8g"/>
223 </children> 223 </children>
224 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbv9hVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 224 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbv9hVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
225 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbv9hlZ_Eeugh9dythfu8g" x="720" y="367" height="51"/> 225 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbv9hlZ_Eeugh9dythfu8g" x="550" y="420" height="51"/>
226 </children> 226 </children>
227 <children xmi:type="notation:Node" xmi:id="_NbxLoFZ_Eeugh9dythfu8g" type="2003" element="_NaRW0FZ_Eeugh9dythfu8g"> 227 <children xmi:type="notation:Node" xmi:id="_NbxLoFZ_Eeugh9dythfu8g" type="2003" element="_NaRW0FZ_Eeugh9dythfu8g">
228 <children xmi:type="notation:Node" xmi:id="_NbxLo1Z_Eeugh9dythfu8g" type="5007"/> 228 <children xmi:type="notation:Node" xmi:id="_NbxLo1Z_Eeugh9dythfu8g" type="5007"/>
@@ -235,7 +235,7 @@
235 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbxLplZ_Eeugh9dythfu8g"/> 235 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbxLplZ_Eeugh9dythfu8g"/>
236 </children> 236 </children>
237 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbxLoVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 237 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbxLoVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
238 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbxLolZ_Eeugh9dythfu8g" x="929" y="372" height="51"/> 238 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbxLolZ_Eeugh9dythfu8g" x="780" y="420" height="51"/>
239 </children> 239 </children>
240 <children xmi:type="notation:Node" xmi:id="_NbxysFZ_Eeugh9dythfu8g" type="2003" element="_NaTMAFZ_Eeugh9dythfu8g"> 240 <children xmi:type="notation:Node" xmi:id="_NbxysFZ_Eeugh9dythfu8g" type="2003" element="_NaTMAFZ_Eeugh9dythfu8g">
241 <children xmi:type="notation:Node" xmi:id="_NbyZwFZ_Eeugh9dythfu8g" type="5007"/> 241 <children xmi:type="notation:Node" xmi:id="_NbyZwFZ_Eeugh9dythfu8g" type="5007"/>
@@ -244,7 +244,7 @@
244 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbyZw1Z_Eeugh9dythfu8g"/> 244 <styles xmi:type="notation:FilteringStyle" xmi:id="_NbyZw1Z_Eeugh9dythfu8g"/>
245 </children> 245 </children>
246 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbxysVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 246 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbxysVZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
247 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbxyslZ_Eeugh9dythfu8g" x="1128" y="372" height="39"/> 247 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbxyslZ_Eeugh9dythfu8g" x="825" y="367" height="39"/>
248 </children> 248 </children>
249 <children xmi:type="notation:Node" xmi:id="_NbzA0FZ_Eeugh9dythfu8g" type="2003" element="_NaUaIFZ_Eeugh9dythfu8g"> 249 <children xmi:type="notation:Node" xmi:id="_NbzA0FZ_Eeugh9dythfu8g" type="2003" element="_NaUaIFZ_Eeugh9dythfu8g">
250 <children xmi:type="notation:Node" xmi:id="_Nbzn4FZ_Eeugh9dythfu8g" type="5007"/> 250 <children xmi:type="notation:Node" xmi:id="_Nbzn4FZ_Eeugh9dythfu8g" type="5007"/>
@@ -265,7 +265,7 @@
265 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbzn41Z_Eeugh9dythfu8g"/> 265 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nbzn41Z_Eeugh9dythfu8g"/>
266 </children> 266 </children>
267 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbzA0VZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 267 <styles xmi:type="notation:ShapeStyle" xmi:id="_NbzA0VZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
268 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbzA0lZ_Eeugh9dythfu8g" x="756" y="25" width="74" height="86"/> 268 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NbzA0lZ_Eeugh9dythfu8g" x="706" y="25" width="74" height="86"/>
269 </children> 269 </children>
270 <children xmi:type="notation:Node" xmi:id="_Nbzn5FZ_Eeugh9dythfu8g" type="2003" element="_NaVoQFZ_Eeugh9dythfu8g"> 270 <children xmi:type="notation:Node" xmi:id="_Nbzn5FZ_Eeugh9dythfu8g" type="2003" element="_NaVoQFZ_Eeugh9dythfu8g">
271 <children xmi:type="notation:Node" xmi:id="_Nb0O8FZ_Eeugh9dythfu8g" type="5007"/> 271 <children xmi:type="notation:Node" xmi:id="_Nb0O8FZ_Eeugh9dythfu8g" type="5007"/>
@@ -274,7 +274,7 @@
274 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nb0O81Z_Eeugh9dythfu8g"/> 274 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nb0O81Z_Eeugh9dythfu8g"/>
275 </children> 275 </children>
276 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbzn5VZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 276 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nbzn5VZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
277 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbzn5lZ_Eeugh9dythfu8g" x="334" y="298" width="88" height="39"/> 277 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nbzn5lZ_Eeugh9dythfu8g" x="284" y="298" width="88" height="39"/>
278 </children> 278 </children>
279 <children xmi:type="notation:Node" xmi:id="_Nb0O9FZ_Eeugh9dythfu8g" type="2003" element="_NaWPUVZ_Eeugh9dythfu8g"> 279 <children xmi:type="notation:Node" xmi:id="_Nb0O9FZ_Eeugh9dythfu8g" type="2003" element="_NaWPUVZ_Eeugh9dythfu8g">
280 <children xmi:type="notation:Node" xmi:id="_Nb02AFZ_Eeugh9dythfu8g" type="5007"/> 280 <children xmi:type="notation:Node" xmi:id="_Nb02AFZ_Eeugh9dythfu8g" type="5007"/>
@@ -283,7 +283,7 @@
283 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nb02A1Z_Eeugh9dythfu8g"/> 283 <styles xmi:type="notation:FilteringStyle" xmi:id="_Nb02A1Z_Eeugh9dythfu8g"/>
284 </children> 284 </children>
285 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nb0O9VZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 285 <styles xmi:type="notation:ShapeStyle" xmi:id="_Nb0O9VZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
286 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nb0O9lZ_Eeugh9dythfu8g" x="436" y="300" width="66" height="39"/> 286 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Nb0O9lZ_Eeugh9dythfu8g" x="386" y="300" width="66" height="39"/>
287 </children> 287 </children>
288 <children xmi:type="notation:Shape" xmi:id="_vqpaUFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="No junctions, only straight lanes. Action limited to forward motion." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> 288 <children xmi:type="notation:Shape" xmi:id="_vqpaUFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="No junctions, only straight lanes. Action limited to forward motion." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
289 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_vqpaUVaAEeugh9dythfu8g" source="specificStyles"> 289 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_vqpaUVaAEeugh9dythfu8g" source="specificStyles">
@@ -298,7 +298,7 @@
298 <styles xmi:type="notation:TextStyle" xmi:id="_vqpaU1aAEeugh9dythfu8g" textAlignment="Center"/> 298 <styles xmi:type="notation:TextStyle" xmi:id="_vqpaU1aAEeugh9dythfu8g" textAlignment="Center"/>
299 <styles xmi:type="notation:LineTypeStyle" xmi:id="_vqpaVFaAEeugh9dythfu8g"/> 299 <styles xmi:type="notation:LineTypeStyle" xmi:id="_vqpaVFaAEeugh9dythfu8g"/>
300 <element xsi:nil="true"/> 300 <element xsi:nil="true"/>
301 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_vqpaVVaAEeugh9dythfu8g" x="360" y="24" width="168" height="61"/> 301 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_vqpaVVaAEeugh9dythfu8g" x="369" y="24" width="133" height="73"/>
302 </children> 302 </children>
303 <children xmi:type="notation:Shape" xmi:id="_wKszYFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="referenceCoord is (x of left side for vertical lanes) and (y of bottomfor horizontal lanes). Assumption that lanes are infinite length. Limitations are bound of SimpleScenario." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> 303 <children xmi:type="notation:Shape" xmi:id="_wKszYFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="referenceCoord is (x of left side for vertical lanes) and (y of bottomfor horizontal lanes). Assumption that lanes are infinite length. Limitations are bound of SimpleScenario." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
304 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wKszYVaAEeugh9dythfu8g" source="specificStyles"> 304 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_wKszYVaAEeugh9dythfu8g" source="specificStyles">
@@ -328,7 +328,7 @@
328 <styles xmi:type="notation:TextStyle" xmi:id="_wh8Os1aAEeugh9dythfu8g" textAlignment="Center"/> 328 <styles xmi:type="notation:TextStyle" xmi:id="_wh8Os1aAEeugh9dythfu8g" textAlignment="Center"/>
329 <styles xmi:type="notation:LineTypeStyle" xmi:id="_wh8OtFaAEeugh9dythfu8g"/> 329 <styles xmi:type="notation:LineTypeStyle" xmi:id="_wh8OtFaAEeugh9dythfu8g"/>
330 <element xsi:nil="true"/> 330 <element xsi:nil="true"/>
331 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_wh8OtVaAEeugh9dythfu8g" x="324" y="363" width="229" height="105"/> 331 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_wh8OtVaAEeugh9dythfu8g" x="274" y="363" width="229" height="105"/>
332 </children> 332 </children>
333 <children xmi:type="notation:Shape" xmi:id="_w9GgsFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="might not be relevant" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> 333 <children xmi:type="notation:Shape" xmi:id="_w9GgsFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="might not be relevant" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
334 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_w9GgsVaAEeugh9dythfu8g" source="specificStyles"> 334 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_w9GgsVaAEeugh9dythfu8g" source="specificStyles">
@@ -358,7 +358,7 @@
358 <styles xmi:type="notation:TextStyle" xmi:id="_xVl5M1aAEeugh9dythfu8g" textAlignment="Center"/> 358 <styles xmi:type="notation:TextStyle" xmi:id="_xVl5M1aAEeugh9dythfu8g" textAlignment="Center"/>
359 <styles xmi:type="notation:LineTypeStyle" xmi:id="_xVl5NFaAEeugh9dythfu8g"/> 359 <styles xmi:type="notation:LineTypeStyle" xmi:id="_xVl5NFaAEeugh9dythfu8g"/>
360 <element xsi:nil="true"/> 360 <element xsi:nil="true"/>
361 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xVl5NVaAEeugh9dythfu8g" x="538" y="60" width="170" height="85"/> 361 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xVl5NVaAEeugh9dythfu8g" x="516" y="60" width="170" height="85"/>
362 </children> 362 </children>
363 <children xmi:type="notation:Shape" xmi:id="_xuFRsFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="Actor.CollisionExists(a, b) implies that a nad b collide at time collisionTime. However, this is NOT A DOUBLE-IMPLICATION" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> 363 <children xmi:type="notation:Shape" xmi:id="_xuFRsFaAEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="Actor.CollisionExists(a, b) implies that a nad b collide at time collisionTime. However, this is NOT A DOUBLE-IMPLICATION" fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
364 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xuFRsVaAEeugh9dythfu8g" source="specificStyles"> 364 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_xuFRsVaAEeugh9dythfu8g" source="specificStyles">
@@ -373,7 +373,7 @@
373 <styles xmi:type="notation:TextStyle" xmi:id="_xuFRs1aAEeugh9dythfu8g" textAlignment="Center"/> 373 <styles xmi:type="notation:TextStyle" xmi:id="_xuFRs1aAEeugh9dythfu8g" textAlignment="Center"/>
374 <styles xmi:type="notation:LineTypeStyle" xmi:id="_xuFRtFaAEeugh9dythfu8g"/> 374 <styles xmi:type="notation:LineTypeStyle" xmi:id="_xuFRtFaAEeugh9dythfu8g"/>
375 <element xsi:nil="true"/> 375 <element xsi:nil="true"/>
376 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xuFRtVaAEeugh9dythfu8g" x="924" y="432" width="169" height="96"/> 376 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_xuFRtVaAEeugh9dythfu8g" x="612" y="492" width="346" height="48"/>
377 </children> 377 </children>
378 <children xmi:type="notation:Shape" xmi:id="_EC00YFaBEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="Actor.CollisionDoesNotExist(a, b) implies that a and b NEVER collide. However, this is NOT A DOUBLE-IMPLICATION." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1"> 378 <children xmi:type="notation:Shape" xmi:id="_EC00YFaBEeugh9dythfu8g" type="Note" fontName="Segoe UI" description="Actor.CollisionDoesNotExist(a, b) implies that a and b NEVER collide. However, this is NOT A DOUBLE-IMPLICATION." fillColor="13369343" transparency="0" lineColor="6737151" lineWidth="1">
379 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_EC00YVaBEeugh9dythfu8g" source="specificStyles"> 379 <eAnnotations xmi:type="ecore:EAnnotation" xmi:id="_EC00YVaBEeugh9dythfu8g" source="specificStyles">
@@ -388,22 +388,22 @@
388 <styles xmi:type="notation:TextStyle" xmi:id="_EC00Y1aBEeugh9dythfu8g" textAlignment="Center"/> 388 <styles xmi:type="notation:TextStyle" xmi:id="_EC00Y1aBEeugh9dythfu8g" textAlignment="Center"/>
389 <styles xmi:type="notation:LineTypeStyle" xmi:id="_EC00ZFaBEeugh9dythfu8g"/> 389 <styles xmi:type="notation:LineTypeStyle" xmi:id="_EC00ZFaBEeugh9dythfu8g"/>
390 <element xsi:nil="true"/> 390 <element xsi:nil="true"/>
391 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EC00ZVaBEeugh9dythfu8g" x="1116" y="432" width="170" height="96"/> 391 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_EC00ZVaBEeugh9dythfu8g" x="825" y="132" width="133" height="120"/>
392 </children> 392 </children>
393 <styles xmi:type="notation:DiagramStyle" xmi:id="_MYg-4lZ_Eeugh9dythfu8g"/> 393 <styles xmi:type="notation:DiagramStyle" xmi:id="_MYg-4lZ_Eeugh9dythfu8g"/>
394 <edges xmi:type="notation:Edge" xmi:id="_NcAcMFZ_Eeugh9dythfu8g" type="4001" element="_NbAWoFZ_Eeugh9dythfu8g" source="_Nbk-YFZ_Eeugh9dythfu8g" target="_Nbp241Z_Eeugh9dythfu8g"> 394 <edges xmi:type="notation:Edge" xmi:id="_NcAcMFZ_Eeugh9dythfu8g" type="4001" element="_NbAWoFZ_Eeugh9dythfu8g" source="_Nbk-YFZ_Eeugh9dythfu8g" target="_Nbp241Z_Eeugh9dythfu8g">
395 <children xmi:type="notation:Node" xmi:id="_NcBqUFZ_Eeugh9dythfu8g" type="6001"> 395 <children xmi:type="notation:Node" xmi:id="_NcBqUFZ_Eeugh9dythfu8g" type="6001">
396 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcBqUVZ_Eeugh9dythfu8g" x="-9" y="18"/> 396 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcBqUVZ_Eeugh9dythfu8g" x="16" y="16"/>
397 </children> 397 </children>
398 <children xmi:type="notation:Node" xmi:id="_NcC4cFZ_Eeugh9dythfu8g" type="6002"> 398 <children xmi:type="notation:Node" xmi:id="_NcC4cFZ_Eeugh9dythfu8g" type="6002">
399 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcC4cVZ_Eeugh9dythfu8g" x="46" y="-17"/> 399 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcC4cVZ_Eeugh9dythfu8g" x="17" y="-17"/>
400 </children> 400 </children>
401 <children xmi:type="notation:Node" xmi:id="_NcDfgFZ_Eeugh9dythfu8g" type="6003"> 401 <children xmi:type="notation:Node" xmi:id="_NcDfgFZ_Eeugh9dythfu8g" type="6003">
402 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcDfgVZ_Eeugh9dythfu8g" x="13" y="-6"/> 402 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcDfgVZ_Eeugh9dythfu8g" x="6" y="-6"/>
403 </children> 403 </children>
404 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcAcMVZ_Eeugh9dythfu8g" routing="Rectilinear"/> 404 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcAcMVZ_Eeugh9dythfu8g" routing="Rectilinear"/>
405 <styles xmi:type="notation:FontStyle" xmi:id="_NcAcMlZ_Eeugh9dythfu8g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 405 <styles xmi:type="notation:FontStyle" xmi:id="_NcAcMlZ_Eeugh9dythfu8g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
406 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcAcM1Z_Eeugh9dythfu8g" points="[77, 70, -115, -175]$[174, 70, -18, -175]$[174, 120, -18, -125]"/> 406 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcAcM1Z_Eeugh9dythfu8g" points="[77, 70, -65, -175]$[124, 70, -18, -175]$[124, 120, -18, -125]"/>
407 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcMpcFZ_Eeugh9dythfu8g" id="(0.5032258064516129,0.0)"/> 407 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcMpcFZ_Eeugh9dythfu8g" id="(0.5032258064516129,0.0)"/>
408 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcMpcVZ_Eeugh9dythfu8g" id="(0.5066666666666667,1.0)"/> 408 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcMpcVZ_Eeugh9dythfu8g" id="(0.5066666666666667,1.0)"/>
409 </edges> 409 </edges>
@@ -441,33 +441,33 @@
441 </edges> 441 </edges>
442 <edges xmi:type="notation:Edge" xmi:id="_NcPswVZ_Eeugh9dythfu8g" type="4001" element="_NbFPIFZ_Eeugh9dythfu8g" source="_Nbp241Z_Eeugh9dythfu8g" target="_NbrsEFZ_Eeugh9dythfu8g"> 442 <edges xmi:type="notation:Edge" xmi:id="_NcPswVZ_Eeugh9dythfu8g" type="4001" element="_NbFPIFZ_Eeugh9dythfu8g" source="_Nbp241Z_Eeugh9dythfu8g" target="_NbrsEFZ_Eeugh9dythfu8g">
443 <children xmi:type="notation:Node" xmi:id="_NcQT0FZ_Eeugh9dythfu8g" type="6001"> 443 <children xmi:type="notation:Node" xmi:id="_NcQT0FZ_Eeugh9dythfu8g" type="6001">
444 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcQT0VZ_Eeugh9dythfu8g" x="224" y="40"/> 444 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcQT0VZ_Eeugh9dythfu8g" x="136" y="4"/>
445 </children> 445 </children>
446 <children xmi:type="notation:Node" xmi:id="_NcQT0lZ_Eeugh9dythfu8g" type="6002"> 446 <children xmi:type="notation:Node" xmi:id="_NcQT0lZ_Eeugh9dythfu8g" type="6002">
447 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcQT01Z_Eeugh9dythfu8g" x="17" y="10"/> 447 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcQT01Z_Eeugh9dythfu8g" x="39" y="10"/>
448 </children> 448 </children>
449 <children xmi:type="notation:Node" xmi:id="_NcQT1FZ_Eeugh9dythfu8g" type="6003"> 449 <children xmi:type="notation:Node" xmi:id="_NcQT1FZ_Eeugh9dythfu8g" type="6003">
450 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcQT1VZ_Eeugh9dythfu8g" x="16" y="9"/> 450 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcQT1VZ_Eeugh9dythfu8g" x="-11" y="-10"/>
451 </children> 451 </children>
452 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcPswlZ_Eeugh9dythfu8g" routing="Rectilinear"/> 452 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcPswlZ_Eeugh9dythfu8g" routing="Rectilinear"/>
453 <styles xmi:type="notation:FontStyle" xmi:id="_NcPsw1Z_Eeugh9dythfu8g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 453 <styles xmi:type="notation:FontStyle" xmi:id="_NcPsw1Z_Eeugh9dythfu8g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
454 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcPsxFZ_Eeugh9dythfu8g" points="[75, -48, -387, -116]$[481, -48, 19, -116]$[481, 17, 19, -51]"/> 454 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcPsxFZ_Eeugh9dythfu8g" points="[75, -48, -272, -120]$[330, -48, -17, -120]$[330, 21, -17, -51]"/>
455 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcQ64FZ_Eeugh9dythfu8g" id="(0.5,0.5)"/> 455 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcQ64FZ_Eeugh9dythfu8g" id="(0.5,0.5)"/>
456 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcQ64VZ_Eeugh9dythfu8g" id="(0.5,1.3243243243243243)"/> 456 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcQ64VZ_Eeugh9dythfu8g" id="(0.5,1.3243243243243243)"/>
457 </edges> 457 </edges>
458 <edges xmi:type="notation:Edge" xmi:id="_NcQ64lZ_Eeugh9dythfu8g" type="4001" element="_NbGdQ1Z_Eeugh9dythfu8g" source="_NbrsEFZ_Eeugh9dythfu8g" target="_Nbp241Z_Eeugh9dythfu8g"> 458 <edges xmi:type="notation:Edge" xmi:id="_NcQ64lZ_Eeugh9dythfu8g" type="4001" element="_NbGdQ1Z_Eeugh9dythfu8g" source="_NbrsEFZ_Eeugh9dythfu8g" target="_Nbp241Z_Eeugh9dythfu8g">
459 <children xmi:type="notation:Node" xmi:id="_NcRh8FZ_Eeugh9dythfu8g" type="6001"> 459 <children xmi:type="notation:Node" xmi:id="_NcRh8FZ_Eeugh9dythfu8g" type="6001">
460 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcRh8VZ_Eeugh9dythfu8g" x="137" y="-14"/> 460 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcRh8VZ_Eeugh9dythfu8g" x="74" y="-14"/>
461 </children> 461 </children>
462 <children xmi:type="notation:Node" xmi:id="_NcRh8lZ_Eeugh9dythfu8g" type="6002"> 462 <children xmi:type="notation:Node" xmi:id="_NcRh8lZ_Eeugh9dythfu8g" type="6002">
463 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcRh81Z_Eeugh9dythfu8g" x="100" y="-10"/> 463 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcRh81Z_Eeugh9dythfu8g" x="8" y="-10"/>
464 </children> 464 </children>
465 <children xmi:type="notation:Node" xmi:id="_NcRh9FZ_Eeugh9dythfu8g" type="6003"> 465 <children xmi:type="notation:Node" xmi:id="_NcRh9FZ_Eeugh9dythfu8g" type="6003">
466 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcRh9VZ_Eeugh9dythfu8g" x="-4" y="-10"/> 466 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcRh9VZ_Eeugh9dythfu8g" x="-23" y="-10"/>
467 </children> 467 </children>
468 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcQ641Z_Eeugh9dythfu8g" routing="Rectilinear"/> 468 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcQ641Z_Eeugh9dythfu8g" routing="Rectilinear"/>
469 <styles xmi:type="notation:FontStyle" xmi:id="_NcQ65FZ_Eeugh9dythfu8g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> 469 <styles xmi:type="notation:FontStyle" xmi:id="_NcQ65FZ_Eeugh9dythfu8g" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
470 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcQ65VZ_Eeugh9dythfu8g" points="[-24, -103, 438, 79]$[-24, -134, 438, 48]$[-388, -134, 74, 48]"/> 470 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcQ65VZ_Eeugh9dythfu8g" points="[-39, -103, 308, 83]$[-39, -138, 308, 48]$[-273, -138, 74, 48]"/>
471 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcSJAFZ_Eeugh9dythfu8g" id="(0.5084745762711864,2.6486486486486487)"/> 471 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcSJAFZ_Eeugh9dythfu8g" id="(0.5084745762711864,2.6486486486486487)"/>
472 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcSJAVZ_Eeugh9dythfu8g" id="(0.5066666666666667,0.0)"/> 472 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcSJAVZ_Eeugh9dythfu8g" id="(0.5066666666666667,0.0)"/>
473 </edges> 473 </edges>
@@ -548,7 +548,7 @@
548 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcYPo1Z_Eeugh9dythfu8g" routing="Tree"/> 548 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcYPo1Z_Eeugh9dythfu8g" routing="Tree"/>
549 <styles xmi:type="notation:FontStyle" xmi:id="_NcYPpFZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 549 <styles xmi:type="notation:FontStyle" xmi:id="_NcYPpFZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
550 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcYPpVZ_Eeugh9dythfu8g" points="[-1, 0, 202, 60]$[-204, -60, -1, 0]"/> 550 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcYPpVZ_Eeugh9dythfu8g" points="[-1, 0, 202, 60]$[-204, -60, -1, 0]"/>
551 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcZdwlZ_Eeugh9dythfu8g" id="(0.5060975609756098,0.0)"/> 551 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcZdwlZ_Eeugh9dythfu8g" id="(0.8841463414634146,0.061224489795918366)"/>
552 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcZdw1Z_Eeugh9dythfu8g" id="(0.5084745762711864,2.6486486486486487)"/> 552 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcZdw1Z_Eeugh9dythfu8g" id="(0.5084745762711864,2.6486486486486487)"/>
553 </edges> 553 </edges>
554 <edges xmi:type="notation:Edge" xmi:id="_NcZdxFZ_Eeugh9dythfu8g" type="4001" element="_NbRcYFZ_Eeugh9dythfu8g" source="_NbxLoFZ_Eeugh9dythfu8g" target="_NbuvYFZ_Eeugh9dythfu8g"> 554 <edges xmi:type="notation:Edge" xmi:id="_NcZdxFZ_Eeugh9dythfu8g" type="4001" element="_NbRcYFZ_Eeugh9dythfu8g" source="_NbxLoFZ_Eeugh9dythfu8g" target="_NbuvYFZ_Eeugh9dythfu8g">
@@ -563,8 +563,8 @@
563 </children> 563 </children>
564 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcZdxVZ_Eeugh9dythfu8g" routing="Tree"/> 564 <styles xmi:type="notation:ConnectorStyle" xmi:id="_NcZdxVZ_Eeugh9dythfu8g" routing="Tree"/>
565 <styles xmi:type="notation:FontStyle" xmi:id="_NcZdxlZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 565 <styles xmi:type="notation:FontStyle" xmi:id="_NcZdxlZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
566 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcZdx1Z_Eeugh9dythfu8g" points="[-1, 0, -1, 60]$[-1, -60, -1, 0]"/> 566 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_NcZdx1Z_Eeugh9dythfu8g" points="[-1, 0, -2, 22]$[-1, -68, -2, -46]$[1, -68, 0, -46]$[1, -86, 0, -64]"/>
567 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ncar4FZ_Eeugh9dythfu8g" id="(0.5027932960893855,0.0)"/> 567 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ncar4FZ_Eeugh9dythfu8g" id="(0.12849162011173185,0.0)"/>
568 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ncar4VZ_Eeugh9dythfu8g" id="(0.5084745762711864,2.6486486486486487)"/> 568 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_Ncar4VZ_Eeugh9dythfu8g" id="(0.5084745762711864,2.6486486486486487)"/>
569 </edges> 569 </edges>
570 <edges xmi:type="notation:Edge" xmi:id="_Ncar4lZ_Eeugh9dythfu8g" type="4001" element="_NbSDdlZ_Eeugh9dythfu8g" source="_NbxysFZ_Eeugh9dythfu8g" target="_NbuvYFZ_Eeugh9dythfu8g"> 570 <edges xmi:type="notation:Edge" xmi:id="_Ncar4lZ_Eeugh9dythfu8g" type="4001" element="_NbSDdlZ_Eeugh9dythfu8g" source="_NbxysFZ_Eeugh9dythfu8g" target="_NbuvYFZ_Eeugh9dythfu8g">
@@ -617,17 +617,17 @@
617 </edges> 617 </edges>
618 <edges xmi:type="notation:Edge" xmi:id="_Nce9UlZ_Eeugh9dythfu8g" type="4001" element="_NbVGwFZ_Eeugh9dythfu8g" source="_NbmzkFZ_Eeugh9dythfu8g" target="_Nbp241Z_Eeugh9dythfu8g"> 618 <edges xmi:type="notation:Edge" xmi:id="_Nce9UlZ_Eeugh9dythfu8g" type="4001" element="_NbVGwFZ_Eeugh9dythfu8g" source="_NbmzkFZ_Eeugh9dythfu8g" target="_Nbp241Z_Eeugh9dythfu8g">
619 <children xmi:type="notation:Node" xmi:id="_NcfkYFZ_Eeugh9dythfu8g" type="6001"> 619 <children xmi:type="notation:Node" xmi:id="_NcfkYFZ_Eeugh9dythfu8g" type="6001">
620 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcfkYVZ_Eeugh9dythfu8g" x="45" y="-10"/> 620 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcfkYVZ_Eeugh9dythfu8g" x="14" y="66"/>
621 </children> 621 </children>
622 <children xmi:type="notation:Node" xmi:id="_NcfkYlZ_Eeugh9dythfu8g" type="6002"> 622 <children xmi:type="notation:Node" xmi:id="_NcfkYlZ_Eeugh9dythfu8g" type="6002">
623 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcfkY1Z_Eeugh9dythfu8g" x="62" y="34"/> 623 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcfkY1Z_Eeugh9dythfu8g" x="69" y="34"/>
624 </children> 624 </children>
625 <children xmi:type="notation:Node" xmi:id="_NcfkZFZ_Eeugh9dythfu8g" type="6003"> 625 <children xmi:type="notation:Node" xmi:id="_NcfkZFZ_Eeugh9dythfu8g" type="6003">
626 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcfkZVZ_Eeugh9dythfu8g" x="1" y="10"/> 626 <layoutConstraint xmi:type="notation:Bounds" xmi:id="_NcfkZVZ_Eeugh9dythfu8g" x="5" y="10"/>
627 </children> 627 </children>
628 <styles xmi:type="notation:ConnectorStyle" xmi:id="_Nce9U1Z_Eeugh9dythfu8g" routing="Rectilinear"/> 628 <styles xmi:type="notation:ConnectorStyle" xmi:id="_Nce9U1Z_Eeugh9dythfu8g" routing="Rectilinear"/>
629 <styles xmi:type="notation:FontStyle" xmi:id="_Nce9VFZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/> 629 <styles xmi:type="notation:FontStyle" xmi:id="_Nce9VFZ_Eeugh9dythfu8g" fontName="Segoe UI" fontHeight="8"/>
630 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Nce9VVZ_Eeugh9dythfu8g" points="[50, -8, -198, -3]$[50, -88, -198, -83]$[172, -88, -76, -83]"/> 630 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Nce9VVZ_Eeugh9dythfu8g" points="[50, -8, -148, -3]$[50, -88, -148, -83]$[122, -88, -76, -83]"/>
631 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcgLcFZ_Eeugh9dythfu8g" id="(0.6310679611650486,0.08163265306122448)"/> 631 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcgLcFZ_Eeugh9dythfu8g" id="(0.6310679611650486,0.08163265306122448)"/>
632 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcgLcVZ_Eeugh9dythfu8g" id="(0.5066666666666667,1.0)"/> 632 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_NcgLcVZ_Eeugh9dythfu8g" id="(0.5066666666666667,1.0)"/>
633 </edges> 633 </edges>
@@ -651,7 +651,7 @@
651 <styles xmi:type="notation:ArrowStyle" xmi:id="_mMm9IVaBEeugh9dythfu8g"/> 651 <styles xmi:type="notation:ArrowStyle" xmi:id="_mMm9IVaBEeugh9dythfu8g"/>
652 <styles xmi:type="notation:LineTypeStyle" xmi:id="_mMm9IlaBEeugh9dythfu8g"/> 652 <styles xmi:type="notation:LineTypeStyle" xmi:id="_mMm9IlaBEeugh9dythfu8g"/>
653 <element xsi:nil="true"/> 653 <element xsi:nil="true"/>
654 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_mMm9I1aBEeugh9dythfu8g" points="[-155, 13, 203, -18]$[-204, 17, 154, -14]"/> 654 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_mMm9I1aBEeugh9dythfu8g" points="[-123, 10, 212, -18]$[-181, 15, 154, -13]"/>
655 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_mMqngFaBEeugh9dythfu8g" id="(0.925,0.3116883116883117)"/> 655 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_mMqngFaBEeugh9dythfu8g" id="(0.925,0.3116883116883117)"/>
656 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_mMqngVaBEeugh9dythfu8g" id="(0.0064516129032258064,0.5882352941176471)"/> 656 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_mMqngVaBEeugh9dythfu8g" id="(0.0064516129032258064,0.5882352941176471)"/>
657 </edges> 657 </edges>
@@ -659,7 +659,7 @@
659 <styles xmi:type="notation:ArrowStyle" xmi:id="_79OJwVaBEeugh9dythfu8g"/> 659 <styles xmi:type="notation:ArrowStyle" xmi:id="_79OJwVaBEeugh9dythfu8g"/>
660 <styles xmi:type="notation:LineTypeStyle" xmi:id="_79OJwlaBEeugh9dythfu8g"/> 660 <styles xmi:type="notation:LineTypeStyle" xmi:id="_79OJwlaBEeugh9dythfu8g"/>
661 <element xsi:nil="true"/> 661 <element xsi:nil="true"/>
662 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_79OJw1aBEeugh9dythfu8g" points="[-5, 1, 69, -26]$[-73, 25, 1, -2]"/> 662 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_79OJw1aBEeugh9dythfu8g" points="[-4, 1, 83, -21]$[-80, 20, 7, -2]"/>
663 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_79TpUFaBEeugh9dythfu8g" id="(0.023529411764705882,0.7529411764705882)"/> 663 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_79TpUFaBEeugh9dythfu8g" id="(0.023529411764705882,0.7529411764705882)"/>
664 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_79TpUVaBEeugh9dythfu8g" id="(0.8866666666666667,0.016)"/> 664 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_79TpUVaBEeugh9dythfu8g" id="(0.8866666666666667,0.016)"/>
665 </edges> 665 </edges>
@@ -675,7 +675,7 @@
675 <styles xmi:type="notation:ArrowStyle" xmi:id="_Cp9HgVaCEeugh9dythfu8g"/> 675 <styles xmi:type="notation:ArrowStyle" xmi:id="_Cp9HgVaCEeugh9dythfu8g"/>
676 <styles xmi:type="notation:LineTypeStyle" xmi:id="_Cp9HglaCEeugh9dythfu8g"/> 676 <styles xmi:type="notation:LineTypeStyle" xmi:id="_Cp9HglaCEeugh9dythfu8g"/>
677 <element xsi:nil="true"/> 677 <element xsi:nil="true"/>
678 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Cp9Hg1aCEeugh9dythfu8g" points="[0, 4, 0, -18]$[0, 15, 0, -7]"/> 678 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_Cp9Hg1aCEeugh9dythfu8g" points="[-9, 4, 58, -26]$[-61, 27, 6, -3]"/>
679 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CqAK0FaCEeugh9dythfu8g" id="(0.4860335195530726,0.9183673469387755)"/> 679 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CqAK0FaCEeugh9dythfu8g" id="(0.4860335195530726,0.9183673469387755)"/>
680 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CqAK0VaCEeugh9dythfu8g" id="(0.5443786982248521,0.07291666666666667)"/> 680 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_CqAK0VaCEeugh9dythfu8g" id="(0.5443786982248521,0.07291666666666667)"/>
681 </edges> 681 </edges>
@@ -683,9 +683,9 @@
683 <styles xmi:type="notation:ArrowStyle" xmi:id="_DNDNgVaCEeugh9dythfu8g"/> 683 <styles xmi:type="notation:ArrowStyle" xmi:id="_DNDNgVaCEeugh9dythfu8g"/>
684 <styles xmi:type="notation:LineTypeStyle" xmi:id="_DNDNglaCEeugh9dythfu8g"/> 684 <styles xmi:type="notation:LineTypeStyle" xmi:id="_DNDNglaCEeugh9dythfu8g"/>
685 <element xsi:nil="true"/> 685 <element xsi:nil="true"/>
686 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_DNDNg1aCEeugh9dythfu8g" points="[0, 6, -1, -32]$[0, 27, -1, -11]"/> 686 <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_DNDNg1aCEeugh9dythfu8g" points="[0, -1, -40, 151]$[36, -140, -4, 12]"/>
687 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DNFpwFaCEeugh9dythfu8g" id="(0.44776119402985076,0.8461538461538461)"/> 687 <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DNFpwFaCEeugh9dythfu8g" id="(0.8134328358208955,0.02564102564102564)"/>
688 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DNFpwVaCEeugh9dythfu8g" id="(0.4294117647058823,0.11458333333333333)"/> 688 <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_DNFpwVaCEeugh9dythfu8g" id="(0.8764705882352941,0.875)"/>
689 </edges> 689 </edges>
690 </data> 690 </data>
691 </ownedAnnotationEntries> 691 </ownedAnnotationEntries>
@@ -742,7 +742,7 @@
742 </ownedStyle> 742 </ownedStyle>
743 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> 743 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
744 </ownedElements> 744 </ownedElements>
745 <ownedElements xmi:type="diagram:DNodeListElement" uid="_NauCwFZ_Eeugh9dythfu8g" name="width : Size = Small" tooltipText=""> 745 <ownedElements xmi:type="diagram:DNodeListElement" uid="_NauCwFZ_Eeugh9dythfu8g" name="width : Size = S_Small" tooltipText="">
746 <target xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//Lane/width"/> 746 <target xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//Lane/width"/>
747 <semanticElements xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//Lane/width"/> 747 <semanticElements xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//Lane/width"/>
748 <ownedStyle xmi:type="diagram:BundledImage" uid="_NauCwVZ_Eeugh9dythfu8g" labelAlignment="LEFT" description="_NatbsFZ_Eeugh9dythfu8g"> 748 <ownedStyle xmi:type="diagram:BundledImage" uid="_NauCwVZ_Eeugh9dythfu8g" labelAlignment="LEFT" description="_NatbsFZ_Eeugh9dythfu8g">
@@ -804,25 +804,25 @@
804 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@style"/> 804 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@style"/>
805 </ownedStyle> 805 </ownedStyle>
806 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']"/> 806 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']"/>
807 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na63EFZ_Eeugh9dythfu8g" name="Small" tooltipText=""> 807 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na63EFZ_Eeugh9dythfu8g" name="S_Small" tooltipText="">
808 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/Small"/> 808 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/S_Small"/>
809 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/Small"/> 809 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/S_Small"/>
810 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na63EVZ_Eeugh9dythfu8g" labelAlignment="LEFT"> 810 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na63EVZ_Eeugh9dythfu8g" labelAlignment="LEFT">
811 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> 811 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/>
812 </ownedStyle> 812 </ownedStyle>
813 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> 813 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/>
814 </ownedElements> 814 </ownedElements>
815 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na63ElZ_Eeugh9dythfu8g" name="Medium" tooltipText=""> 815 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na63ElZ_Eeugh9dythfu8g" name="S_Med" tooltipText="">
816 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/Medium"/> 816 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/S_Med"/>
817 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/Medium"/> 817 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/S_Med"/>
818 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na63E1Z_Eeugh9dythfu8g" labelAlignment="LEFT"> 818 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na63E1Z_Eeugh9dythfu8g" labelAlignment="LEFT">
819 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> 819 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/>
820 </ownedStyle> 820 </ownedStyle>
821 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> 821 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/>
822 </ownedElements> 822 </ownedElements>
823 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na7eIFZ_Eeugh9dythfu8g" name="Large" tooltipText=""> 823 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na7eIFZ_Eeugh9dythfu8g" name="S_Large" tooltipText="">
824 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/Large"/> 824 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/S_Large"/>
825 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/Large"/> 825 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Size/S_Large"/>
826 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na7eIVZ_Eeugh9dythfu8g" labelAlignment="LEFT"> 826 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na7eIVZ_Eeugh9dythfu8g" labelAlignment="LEFT">
827 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> 827 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/>
828 </ownedStyle> 828 </ownedStyle>
@@ -946,7 +946,7 @@
946 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> 946 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
947 </ownedStyle> 947 </ownedStyle>
948 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> 948 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
949 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na2loFZ_Eeugh9dythfu8g" name="distance : Distance = Near" tooltipText=""> 949 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na2loFZ_Eeugh9dythfu8g" name="distance : Distance = D_Near" tooltipText="">
950 <target xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//SeparationDistance/distance"/> 950 <target xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//SeparationDistance/distance"/>
951 <semanticElements xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//SeparationDistance/distance"/> 951 <semanticElements xmi:type="ecore:EAttribute" href="crossingScenario.ecore#//SeparationDistance/distance"/>
952 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na2loVZ_Eeugh9dythfu8g" labelAlignment="LEFT" description="_NatbsFZ_Eeugh9dythfu8g"> 952 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na2loVZ_Eeugh9dythfu8g" labelAlignment="LEFT" description="_NatbsFZ_Eeugh9dythfu8g">
@@ -995,25 +995,25 @@
995 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@style"/> 995 <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@style"/>
996 </ownedStyle> 996 </ownedStyle>
997 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']"/> 997 <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']"/>
998 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na7eIlZ_Eeugh9dythfu8g" name="Near" tooltipText=""> 998 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na7eIlZ_Eeugh9dythfu8g" name="D_Near" tooltipText="">
999 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/Near"/> 999 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/D_Near"/>
1000 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/Near"/> 1000 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/D_Near"/>
1001 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na8FMFZ_Eeugh9dythfu8g" labelAlignment="LEFT"> 1001 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na8FMFZ_Eeugh9dythfu8g" labelAlignment="LEFT">
1002 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> 1002 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/>
1003 </ownedStyle> 1003 </ownedStyle>
1004 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> 1004 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/>
1005 </ownedElements> 1005 </ownedElements>
1006 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na8FMVZ_Eeugh9dythfu8g" name="Medium" tooltipText=""> 1006 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na8FMVZ_Eeugh9dythfu8g" name="D_Med" tooltipText="">
1007 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/Medium"/> 1007 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/D_Med"/>
1008 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/Medium"/> 1008 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/D_Med"/>
1009 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na8FMlZ_Eeugh9dythfu8g" labelAlignment="LEFT"> 1009 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na8FMlZ_Eeugh9dythfu8g" labelAlignment="LEFT">
1010 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> 1010 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/>
1011 </ownedStyle> 1011 </ownedStyle>
1012 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/> 1012 <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']"/>
1013 </ownedElements> 1013 </ownedElements>
1014 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na8sQFZ_Eeugh9dythfu8g" name="Far" tooltipText=""> 1014 <ownedElements xmi:type="diagram:DNodeListElement" uid="_Na8sQFZ_Eeugh9dythfu8g" name="D_Far" tooltipText="">
1015 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/Far"/> 1015 <target xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/D_Far"/>
1016 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/Far"/> 1016 <semanticElements xmi:type="ecore:EEnumLiteral" href="crossingScenario.ecore#//Distance/D_Far"/>
1017 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na8sQVZ_Eeugh9dythfu8g" labelAlignment="LEFT"> 1017 <ownedStyle xmi:type="diagram:BundledImage" uid="_Na8sQVZ_Eeugh9dythfu8g" labelAlignment="LEFT">
1018 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/> 1018 <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EEnum']/@subNodeMappings[name='EC%20EEnumLiteral']/@style"/>
1019 </ownedStyle> 1019 </ownedStyle>
@@ -1101,6 +1101,7 @@
1101 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_NbHEU1Z_Eeugh9dythfu8g" description="_NbHEUFZ_Eeugh9dythfu8g" routingStyle="manhattan" strokeColor="0,0,0"> 1101 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_NbHEU1Z_Eeugh9dythfu8g" description="_NbHEUFZ_Eeugh9dythfu8g" routingStyle="manhattan" strokeColor="0,0,0">
1102 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_NbHEVVZ_Eeugh9dythfu8g" showIcon="false"> 1102 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_NbHEVVZ_Eeugh9dythfu8g" showIcon="false">
1103 <customFeatures>labelSize</customFeatures> 1103 <customFeatures>labelSize</customFeatures>
1104 <labelFormat>bold</labelFormat>
1104 </centerLabelStyle> 1105 </centerLabelStyle>
1105 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_NbHEVFZ_Eeugh9dythfu8g" showIcon="false" labelColor="39,76,114"> 1106 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_NbHEVFZ_Eeugh9dythfu8g" showIcon="false" labelColor="39,76,114">
1106 <customFeatures>labelSize</customFeatures> 1107 <customFeatures>labelSize</customFeatures>
@@ -1114,6 +1115,7 @@
1114 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_NbHrYFZ_Eeugh9dythfu8g" description="_NbHEUFZ_Eeugh9dythfu8g" routingStyle="manhattan" strokeColor="0,0,0"> 1115 <ownedStyle xmi:type="diagram:EdgeStyle" uid="_NbHrYFZ_Eeugh9dythfu8g" description="_NbHEUFZ_Eeugh9dythfu8g" routingStyle="manhattan" strokeColor="0,0,0">
1115 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_NbHrYlZ_Eeugh9dythfu8g" showIcon="false"> 1116 <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_NbHrYlZ_Eeugh9dythfu8g" showIcon="false">
1116 <customFeatures>labelSize</customFeatures> 1117 <customFeatures>labelSize</customFeatures>
1118 <labelFormat>bold</labelFormat>
1117 </centerLabelStyle> 1119 </centerLabelStyle>
1118 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_NbHrYVZ_Eeugh9dythfu8g" showIcon="false" labelColor="39,76,114"> 1120 <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_NbHrYVZ_Eeugh9dythfu8g" showIcon="false" labelColor="39,76,114">
1119 <customFeatures>labelSize</customFeatures> 1121 <customFeatures>labelSize</customFeatures>
diff --git a/Domains/crossingScenario/model/crossingScenario.ecore b/Domains/crossingScenario/model/crossingScenario.ecore
index a0797672..d9d97470 100644
--- a/Domains/crossingScenario/model/crossingScenario.ecore
+++ b/Domains/crossingScenario/model/crossingScenario.ecore
@@ -28,9 +28,9 @@
28 <eLiterals name="Horizontal" value="1"/> 28 <eLiterals name="Horizontal" value="1"/>
29 </eClassifiers> 29 </eClassifiers>
30 <eClassifiers xsi:type="ecore:EEnum" name="Size"> 30 <eClassifiers xsi:type="ecore:EEnum" name="Size">
31 <eLiterals name="Small"/> 31 <eLiterals name="S_Small"/>
32 <eLiterals name="Medium" value="1"/> 32 <eLiterals name="S_Med" value="1"/>
33 <eLiterals name="Large" value="2"/> 33 <eLiterals name="S_Large" value="2"/>
34 </eClassifiers> 34 </eClassifiers>
35 <eClassifiers xsi:type="ecore:EClass" name="Actor" abstract="true"> 35 <eClassifiers xsi:type="ecore:EClass" name="Actor" abstract="true">
36 <eStructuralFeatures xsi:type="ecore:EAttribute" name="xPos" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/> 36 <eStructuralFeatures xsi:type="ecore:EAttribute" name="xPos" lowerBound="1" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EDouble"/>
@@ -69,9 +69,9 @@
69 </eClassifiers> 69 </eClassifiers>
70 <eClassifiers xsi:type="ecore:EClass" name="CollisionDoesNotExist" eSuperTypes="#//TemporalRelation"/> 70 <eClassifiers xsi:type="ecore:EClass" name="CollisionDoesNotExist" eSuperTypes="#//TemporalRelation"/>
71 <eClassifiers xsi:type="ecore:EEnum" name="Distance"> 71 <eClassifiers xsi:type="ecore:EEnum" name="Distance">
72 <eLiterals name="Near"/> 72 <eLiterals name="D_Near"/>
73 <eLiterals name="Medium" value="1"/> 73 <eLiterals name="D_Med" value="1"/>
74 <eLiterals name="Far" value="2"/> 74 <eLiterals name="D_Far" value="2"/>
75 </eClassifiers> 75 </eClassifiers>
76 <eClassifiers xsi:type="ecore:EClass" name="Pedestrian" eSuperTypes="#//Actor"/> 76 <eClassifiers xsi:type="ecore:EClass" name="Pedestrian" eSuperTypes="#//Actor"/>
77 <eClassifiers xsi:type="ecore:EClass" name="Vehicle" eSuperTypes="#//Actor"/> 77 <eClassifiers xsi:type="ecore:EClass" name="Vehicle" eSuperTypes="#//Actor"/>
diff --git a/Domains/crossingScenario/model/crossingScenario.genmodel b/Domains/crossingScenario/model/crossingScenario.genmodel
index 53117561..b788485b 100644
--- a/Domains/crossingScenario/model/crossingScenario.genmodel
+++ b/Domains/crossingScenario/model/crossingScenario.genmodel
@@ -11,14 +11,14 @@
11 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Orientation/Horizontal"/> 11 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Orientation/Horizontal"/>
12 </genEnums> 12 </genEnums>
13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Size"> 13 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Size">
14 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/Small"/> 14 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/S_Small"/>
15 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/Medium"/> 15 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/S_Med"/>
16 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/Large"/> 16 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Size/S_Large"/>
17 </genEnums> 17 </genEnums>
18 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Distance"> 18 <genEnums typeSafeEnumCompatible="false" ecoreEnum="crossingScenario.ecore#//Distance">
19 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/Near"/> 19 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/D_Near"/>
20 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/Medium"/> 20 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/D_Med"/>
21 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/Far"/> 21 <genEnumLiterals ecoreEnumLiteral="crossingScenario.ecore#//Distance/D_Far"/>
22 </genEnums> 22 </genEnums>
23 <genClasses ecoreClass="crossingScenario.ecore#//CrossingScenario"> 23 <genClasses ecoreClass="crossingScenario.ecore#//CrossingScenario">
24 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//CrossingScenario/xSize"/> 24 <genFeatures createChild="false" ecoreFeature="ecore:EAttribute crossingScenario.ecore#//CrossingScenario/xSize"/>
diff --git a/Domains/crossingScenario/queries/crossingScenarioQueries.vql b/Domains/crossingScenario/queries/crossingScenarioQueries.vql
index fbd68472..7089d0da 100644
--- a/Domains/crossingScenario/queries/crossingScenarioQueries.vql
+++ b/Domains/crossingScenario/queries/crossingScenarioQueries.vql
@@ -3,51 +3,60 @@ package queries
3import "http://www.example.com/crossingScenario" 3import "http://www.example.com/crossingScenario"
4import "http://www.eclipse.org/emf/2002/Ecore" 4import "http://www.eclipse.org/emf/2002/Ecore"
5 5
6//Minimal Failing Example 6////Minimal Failing Example
7@Constraint(severity = "error", key = {l}, message = "this defines the placedOn relation") 7@Constraint(severity = "error", key = {l}, message = "this defines the placedOn relation")
8pattern patterThatOnlyWorksWithInt(l : Lane) { 8pattern patterThatOnlyWorksWithInt(l : Lane) {
9 Lane.referenceCoord(l, w); 9 Lane.referenceCoord(l, w);
10 check(w <= 2.0); 10 check(w <= 0-10.0);
11} 11}
12 12
13//////////////// 13//////////////
14////Lane 14//Lane
15//////////////// 15//////////////
16// 16
17///////////width, numWidth 17/////////width, numWidth
18//@Constraint(severity="error", key={l}, message="x")
19//pattern define_numWidth_small(l : Lane) {
20// Lane.width(l, Size::Small);
21// Lane.numWidth(l, nw);
22// check(nw <= 5);
23//} or {
24// Lane.width(l, Size::Small);
25// Lane.numWidth(l, nw);
26// check(nw >= 10);
27//}
28//
29//@Constraint(severity="error", key={l}, message="x")
30//pattern define_numWidth_medium(l : Lane) {
31// Lane.width(l, Size::Medium);
32// Lane.numWidth(l, nw);
33// check(nw <= 10);
34//} or {
35// Lane.width(l, Size::Medium);
36// Lane.numWidth(l, nw);
37// check(nw >= 15);
38//}
39//
40//@Constraint(severity="error", key={l}, message="x") 18//@Constraint(severity="error", key={l}, message="x")
41//pattern define_numWidth_large(l : Lane) { 19//pattern define_numWidth_small1(l : Lane) {
42// Lane.width(l, Size::Large); 20// Lane.width(l, Size::S_Small);
43// Lane.numWidth(l, nw);
44// check(nw <= 15);
45//} or {
46// Lane.width(l, Size::Large);
47// Lane.numWidth(l, nw); 21// Lane.numWidth(l, nw);
48// check(nw >= 20); 22// check(nw >= 5.0);
49//} 23//}
50// 24
25@Constraint(severity="error", key={l}, message="x")
26pattern define_numWidth_small(l : Lane) {
27 Lane.width(l, Size::S_Small);
28 Lane.numWidth(l, nw);
29 check(nw <= 5.0);
30} or {
31 Lane.width(l, Size::S_Small);
32 Lane.numWidth(l, nw);
33 check(nw >= 10.0);
34}
35
36@Constraint(severity="error", key={l}, message="x")
37pattern define_numWidth_medium(l : Lane) {
38 Lane.width(l, ::S_Med);
39 Lane.numWidth(l, nw);
40 check(nw <= 10.0);
41}
42or {
43 Lane.width(l, Size::S_Med);
44 Lane.numWidth(l, nw);
45 check(nw >= 15.0);
46}
47
48@Constraint(severity="error", key={l}, message="x")
49pattern define_numWidth_large(l : Lane) {
50 Lane.width(l, Size::S_Large);
51 Lane.numWidth(l, nw);
52 check(nw <= 15.0);
53}
54or {
55 Lane.width(l, Size::S_Large);
56 Lane.numWidth(l, nw);
57 check(nw >= 20.0);
58}
59
51///////////referenceCoord 60///////////referenceCoord
52//@Constraint(severity="error", key={l}, message="x") 61//@Constraint(severity="error", key={l}, message="x")
53//pattern define_referenceCoord_horizontalAtOrigin(l:Lane) { 62//pattern define_referenceCoord_horizontalAtOrigin(l:Lane) {
diff --git a/Domains/crossingScenario/queries/logProb2._vql b/Domains/crossingScenario/queries/logProb2._vql
new file mode 100644
index 00000000..284af8cb
--- /dev/null
+++ b/Domains/crossingScenario/queries/logProb2._vql
@@ -0,0 +1,55 @@
1package queries
2
3import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
4import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"
5import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"
6
7pattern UPMUSTPropagateConstraint1_pattern_queries_define_numWidth_small1(
8 problem:LogicProblem, interpretation:PartialInterpretation,
9 var_l,
10 up_1)
11{
12// Original Constraints
13// var_l exported
14find mustInRelationnumWidth_attribute_Lane(problem,interpretation,var_l,var_nw);
15var_virtual1 == const_S_Small_Size;
16DefinedElement.name(const_S_Small_Size,"S_Small literal Size"); //LogicProblem.elements(problem,const_S_Small_Size);
17find mustInRelationwidth_attribute_Lane(problem,interpretation,var_l,var_virtual1);
18// Propagation for constraint
19PrimitiveElement.valueSet(var_nw,setted_var_nw); RealElement.value(var_nw,value_var_nw);
20// Matching variables
21var_nw==up_1;
22}
23
24/**
25 * Matcher for detecting tuples t where []referenceCoord attribute Lane(source,target)
26 */pattern mustInRelationwidth_attribute_Lane(
27 problem:LogicProblem, interpretation:PartialInterpretation,
28 source: DefinedElement, target:DefinedElement)
29{
30 find interpretation(problem,interpretation);
31 PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
32 PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"width attribute Lane");
33 PartialRelationInterpretation.relationlinks(relationIterpretation,link);
34 BinaryElementRelationLink.param1(link,source);
35 BinaryElementRelationLink.param2(link,target);
36}
37pattern mustInRelationnumWidth_attribute_Lane(
38 problem:LogicProblem, interpretation:PartialInterpretation,
39 source: DefinedElement, target:DefinedElement)
40{
41 find interpretation(problem,interpretation);
42 PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
43 PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"numWidth attribute Lane");
44 PartialRelationInterpretation.relationlinks(relationIterpretation,link);
45 BinaryElementRelationLink.param1(link,source);
46 BinaryElementRelationLink.param2(link,target);
47}
48
49//////////
50// 0. Util
51//////////
52pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) {
53 PartialInterpretation.problem(interpretation,problem);
54}
55
diff --git a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
index bbef5665..4442fc7d 100644
--- a/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
+++ b/Domains/crossingScenario/src/crossingScenario/run/CrossingScenarioMain.java
@@ -1,16 +1,38 @@
1package crossingScenario.run; 1package crossingScenario.run;
2 2
3import java.io.IOException;
4import java.nio.file.Files;
5import java.nio.file.Path;
6import java.nio.file.Paths;
7import java.util.List;
8
3import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor; 9import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor;
4 10
5public class CrossingScenarioMain { 11public class CrossingScenarioMain {
6 private CrossingScenarioMain() { 12 private CrossingScenarioMain() {
7 throw new IllegalStateException("This is a static utility class and should not be instantiated directly."); 13 throw new IllegalStateException("This is a static utility class and should not be instantiated directly.");
8 } 14 }
9 15
10 public static void main(String[] args) { 16 public static void main(String[] args) throws IOException {
11 String errorMessages = StandaloneScriptExecutor.executeScript("inputs/crossingScenarioGen.vsconfig"); 17 String errorMessages = StandaloneScriptExecutor.executeScript("inputs/crossingScenarioGen.vsconfig");
12 if(errorMessages!=null) { 18 if (errorMessages != null) {
13 System.out.println(errorMessages); 19 System.out.println(errorMessages);
14 } 20 }
21 Path path = Paths.get("outputs/statistics.csv");
22 List<String> content = Files.readAllLines(path);
23 String[] times = content.get(1).split(",");
24 System.out.println("STATISTICS");
25 int t1 = Integer.parseInt(times[3]);
26 int t2 = Integer.parseInt(times[4]);
27 int t3 = Integer.parseInt(times[5]);
28 int t4 = Integer.parseInt(times[6]);
29 int tot = t1+t2+t3+t4;
30 System.out.println("domain2logic -> " + t1);
31 System.out.println("logic2solver -> " + t2);
32 System.out.println("solver -> " + t3);
33 System.out.println("postprocessing -> " + t4);
34
35 System.out.println("TOTAL -> " + tot);
36
15 } 37 }
16} 38}
diff --git a/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java b/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
index 7f19d2a8..2d866e85 100644
--- a/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
+++ b/Domains/crossingScenario/src/crossingScenario/run/QueryDebug.java
@@ -1,111 +1,113 @@
1package crossingScenario.run; 1package crossingScenario.run;
2 2
3import java.util.ArrayList;
4import java.util.HashMap;
5import java.util.List;
6import java.util.Map;
7import java.util.regex.Matcher;
8import java.util.regex.Pattern;
9
10public class QueryDebug { 3public class QueryDebug {
11 /* 4
12 public static void main(String[] args) { 5// public static void main(String[] args) {
13 Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap( ).put("*", new XMIResourceFactoryImpl()); 6// Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap( ).put("*", new XMIResourceFactoryImpl());
14 EPackage.Registry.INSTANCE.put(SimpleScenarioPackage.eNS_URI, SimpleScenarioPackage.eINSTANCE); 7// EPackage.Registry.INSTANCE.put(CrossingScenarioPackage.eNS_URI, CrossingScenarioPackage.eINSTANCE);
15 ResourceSet rs = new ResourceSetImpl(); 8// ResourceSet rs = new ResourceSetImpl();
16 rs.getResource(URI.createFileURI("inputs/sample.xmi"), true); 9// rs.getResource(URI.createFileURI("outputs/models/1.xmi"), true);
17 10//
18 ViatraQueryEngine engine = ViatraQueryEngine.on(new EMFScope(rs)); 11// ViatraQueryEngine engine = ViatraQueryEngine.on(new EMFScope(rs));
19 // Access pattern matcher 12// // Access pattern matcher
20 13//
21 14//
22 15//
23 SimpleScenarioQueries.instance().prepare(engine); 16// CrossingScenarioQueries.instance().prepare(engine);
24 RefSpec.Matcher matcher = RefSpec.Matcher.on(engine); 17// Define_numWidth_medium.Matcher matcher = Define_numWidth_medium.Matcher.on(engine);
25 // Get and iterate over all matches 18// // Get and iterate over all matches
26 for (RefSpec.Match match : matcher.getAllMatches()) { 19// System.out.println("MATCHES:");
27 // Print all the matches to the standard output 20// for (Define_numWidth_medium.Match match : matcher.getAllMatches()) {
28 System.out.println(match.getL()); 21// // Print all the matches to the standard output
29 } 22// System.out.println(match.getL());
30 } 23// }
31 */ 24// }
25
32 26
33 /* 27// public static void main(String[] args) {
34 public static void main(String[] args) { 28// //Add xmi resource
35 //Add xmi resource 29// Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap( ).put("*", new XMIResourceFactoryImpl());
36 Resource.Factory.Registry.INSTANCE.getExtensionToFactoryMap( ).put("*", new XMIResourceFactoryImpl()); 30// //Add required EPackages
37 //Add required EPackages 31//// EPackage.Registry.INSTANCE.put(SimpleScenarioPackage.eNS_URI, SimpleScenarioPackage.eINSTANCE);
38// EPackage.Registry.INSTANCE.put(SimpleScenarioPackage.eNS_URI, SimpleScenarioPackage.eINSTANCE); 32// EPackage.Registry.INSTANCE.put(LogiclanguagePackage.eNS_URI, LogiclanguagePackage.eINSTANCE);
39 EPackage.Registry.INSTANCE.put(LogiclanguagePackage.eNS_URI, LogiclanguagePackage.eINSTANCE); 33// EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, LogicproblemPackage.eINSTANCE);
40 EPackage.Registry.INSTANCE.put(LogicproblemPackage.eNS_URI, LogicproblemPackage.eINSTANCE); 34// EPackage.Registry.INSTANCE.put(PartialinterpretationPackage.eNS_URI, PartialinterpretationPackage.eINSTANCE);
41 EPackage.Registry.INSTANCE.put(PartialinterpretationPackage.eNS_URI, PartialinterpretationPackage.eINSTANCE); 35// EPackage.Registry.INSTANCE.put(Ecore2logicannotationsPackage.eNS_URI, Ecore2logicannotationsPackage.eINSTANCE);
42 EPackage.Registry.INSTANCE.put(Ecore2logicannotationsPackage.eNS_URI, Ecore2logicannotationsPackage.eINSTANCE); 36// EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, Partial2logicannotationsPackage.eINSTANCE);
43 EPackage.Registry.INSTANCE.put(Partial2logicannotationsPackage.eNS_URI, Partial2logicannotationsPackage.eINSTANCE); 37// EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, Viatra2LogicAnnotationsPackage.eINSTANCE);
44 EPackage.Registry.INSTANCE.put(Viatra2LogicAnnotationsPackage.eNS_URI, Viatra2LogicAnnotationsPackage.eINSTANCE); 38// EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, LogicresultPackage.eINSTANCE);
45 EPackage.Registry.INSTANCE.put(LogicresultPackage.eNS_URI, LogicresultPackage.eINSTANCE); 39//
46 40// //Get res
47 //Get res 41// ResourceSet rs = new ResourceSetImpl();
48 ResourceSet rs = new ResourceSetImpl(); 42// rs.getResource(URI.createFileURI("inputs/Debug/state000000019.xmi"), true);
49 rs.getResource(URI.createFileURI("inputs/partial-int.xmi"), true); 43//
50 44// ViatraQueryEngine engine = ViatraQueryEngine.on(new EMFScope(rs));
51 ViatraQueryEngine engine = ViatraQueryEngine.on(new EMFScope(rs)); 45// // Access pattern matcher
52 // Access pattern matcher 46//
53 47//
54 48//
55 49// LogProb.instance().prepare(engine);
56 LogProb.instance().prepare(engine); 50// // Get and iterate over all matches
57 // Get and iterate over all matches 51// System.out.println("UPMUST:");
58 System.out.println("UPMUST:"); 52// for (UPMUSTPropagateConstraint1_pattern_queries_define_numWidth_small1.Match match :
59 for (UPMUSTPropagateConstraint0_pattern_queries_refSpec.Match match : 53// UPMUSTPropagateConstraint1_pattern_queries_define_numWidth_small1.Matcher.on(engine).getAllMatches()) {
60 UPMUSTPropagateConstraint0_pattern_queries_refSpec.Matcher.on(engine).getAllMatches()) { 54// // Print all the matches to the standard output
61 // Print all the matches to the standard output 55// System.out.println(match.getVar_l());
62 System.out.println(match.getVar_l()); 56// }
63 } 57//
64 58// System.out.println("mustIn1:");
65 System.out.println("mustIn:"); 59// for (MustInRelationwidth_attribute_Lane.Match match :
66 for (MustInRelationreferenceCoord_attribute_Lane.Match match : 60// MustInRelationwidth_attribute_Lane.Matcher.on(engine).getAllMatches()) {
67 MustInRelationreferenceCoord_attribute_Lane.Matcher.on(engine).getAllMatches()) { 61// // Print all the matches to the standard output
68 // Print all the matches to the standard output 62// DefinedElement de = match.getTarget();
69 DefinedElement de = match.getTarget(); 63// System.out.println(de);
70 System.out.println(de); 64// System.out.println("--name?: " + de.getName());
71 System.out.println("--set?: " + ((PrimitiveElement) de).isValueSet()); 65//// System.out.println("--val?: " + de.getName());
72 System.out.println("--val?: " + ((IntegerElement) de).getValue()); 66// }
73 67//
74 } 68// System.out.println("mustIn2:");
75 69// for (MustInRelationnumWidth_attribute_Lane.Match match :
76 System.out.println("interp:"); 70// MustInRelationnumWidth_attribute_Lane.Matcher.on(engine).getAllMatches()) {
77 for (Interpretation.Match match : 71// // Print all the matches to the standard output
78 Interpretation.Matcher.on(engine).getAllMatches()) { 72// DefinedElement de = match.getTarget();
79 // Print all the matches to the standard output 73// System.out.println(de);
80 System.out.println(match.getProblem()); 74// System.out.println("--set?: " + ((PrimitiveElement) de).isValueSet());
81 } 75// System.out.println("--val?: " + ((RealElement) de).getValue());
82 } 76// }
83 */ 77//
78// System.out.println("interp:");
79// for (Interpretation.Match match :
80// Interpretation.Matcher.on(engine).getAllMatches()) {
81// // Print all the matches to the standard output
82// System.out.println(match.getProblem());
83// }
84// }
84 85
85 public static void main(String[] args) {
86 ArrayList<String> out = new ArrayList<String>();
87 out.add("delta-sat with delta = 0.001");
88 out.add("w1602659765 : [1.797693134862315708e+308, 1.797693134862315708e+308]");
89 String s = "1.797693134862315708e+308";
90
91 System.out.println(parseDrealOutput(out));
92
93 }
94 86
95 private static Map<String, String> parseDrealOutput(List<String> output) { 87// public static void main(String[] args) {
96 Map<String, String> res = new HashMap<String, String>(); 88// ArrayList<String> out = new ArrayList<String>();
97 String re = "(\\w+) : \\[([0-9\\+-.e]+), ([0-9\\+-.e]+)\\]"; 89// out.add("delta-sat with delta = 0.001");
98// String re = "(\\w+) : \\[(.*), (.*)\\]"; 90// out.add("w1602659765 : [1.797693134862315708e+308, 1.797693134862315708e+308]");
99 Pattern p = Pattern.compile(re); 91// String s = "1.797693134862315708e+308";
100 for (String varVal : output) { 92//
101 Matcher m = p.matcher(varVal); 93// System.out.println(parseDrealOutput(out));
102 if (m.matches()) { 94//
103 String name = m.group(1); 95// }
104 String lowerB = m.group(2); 96//
105 String upperB = m.group(2); 97// private static Map<String, String> parseDrealOutput(List<String> output) {
106 res.put(name, lowerB); 98// Map<String, String> res = new HashMap<String, String>();
107 } 99// String re = "(\\w+) : \\[([0-9\\+-.e]+), ([0-9\\+-.e]+)\\]";
108 } 100//// String re = "(\\w+) : \\[(.*), (.*)\\]";
109 return res; 101// Pattern p = Pattern.compile(re);
110 } 102// for (String varVal : output) {
103// Matcher m = p.matcher(varVal);
104// if (m.matches()) {
105// String name = m.group(1);
106// String lowerB = m.group(2);
107// String upperB = m.group(2);
108// res.put(name, lowerB);
109// }
110// }
111// return res;
112// }
111} 113}
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
index dd5cade1..2b616e32 100644
--- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
+++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/patterns/PConstraintTransformer.xtend
@@ -159,7 +159,7 @@ class PConstraintTransformer {
159 var String additionalDefinition; 159 var String additionalDefinition;
160 if(target instanceof EEnumLiteral) { 160 if(target instanceof EEnumLiteral) {
161 targetString = '''const_«target.name»_«target.EEnum.name»''' 161 targetString = '''const_«target.name»_«target.EEnum.name»'''
162 additionalDefinition = '''DefinedElement.name(«targetString»,"«target.name» «target.EEnum.name»"); //LogicProblem.elements(problem,«targetString»);''' 162 additionalDefinition = '''DefinedElement.name(«targetString»,"«target.name» literal «target.EEnum.name»"); //LogicProblem.elements(problem,«targetString»);'''
163 } else if(target instanceof Integer) { 163 } else if(target instanceof Integer) {
164 targetString = '''const_«target»_Integer''' 164 targetString = '''const_«target»_Integer'''
165 additionalDefinition = '''PrimitiveElement.valueSet(«targetString»,true); IntegerElement.value(«targetString»,«target»);''' 165 additionalDefinition = '''PrimitiveElement.valueSet(«targetString»,true); IntegerElement.value(«targetString»,«target»);'''
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-18 00:20:42 +0000