diff options
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 | |||
6 | Bundle-ClassPath: . | 6 | Bundle-ClassPath: . |
7 | Bundle-Vendor: %providerName | 7 | Bundle-Vendor: %providerName |
8 | Bundle-Localization: plugin | 8 | Bundle-Localization: plugin |
9 | Export-Package: queries, | 9 | Export-Package: crossingScenario, |
10 | crossingScenario, | ||
11 | crossingScenario.impl, | 10 | crossingScenario.impl, |
12 | crossingScenario.util | 11 | crossingScenario.util, |
12 | queries | ||
13 | Require-Bundle: org.eclipse.viatra.query.runtime, | 13 | Require-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 | */ |
20 | public enum Distance implements Enumerator { | 20 | public 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 | */ |
20 | public enum Size implements Enumerator { | 20 | public 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 | |||
3 | import "http://www.example.com/crossingScenario" | 3 | import "http://www.example.com/crossingScenario" |
4 | import "http://www.eclipse.org/emf/2002/Ecore" | 4 | import "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") |
8 | pattern patterThatOnlyWorksWithInt(l : Lane) { | 8 | pattern 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") | ||
26 | pattern 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") | ||
37 | pattern define_numWidth_medium(l : Lane) { | ||
38 | Lane.width(l, ::S_Med); | ||
39 | Lane.numWidth(l, nw); | ||
40 | check(nw <= 10.0); | ||
41 | } | ||
42 | or { | ||
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") | ||
49 | pattern define_numWidth_large(l : Lane) { | ||
50 | Lane.width(l, Size::S_Large); | ||
51 | Lane.numWidth(l, nw); | ||
52 | check(nw <= 15.0); | ||
53 | } | ||
54 | or { | ||
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 @@ | |||
1 | package queries | ||
2 | |||
3 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" | ||
4 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" | ||
5 | import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" | ||
6 | |||
7 | pattern 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 | ||
14 | find mustInRelationnumWidth_attribute_Lane(problem,interpretation,var_l,var_nw); | ||
15 | var_virtual1 == const_S_Small_Size; | ||
16 | DefinedElement.name(const_S_Small_Size,"S_Small literal Size"); //LogicProblem.elements(problem,const_S_Small_Size); | ||
17 | find mustInRelationwidth_attribute_Lane(problem,interpretation,var_l,var_virtual1); | ||
18 | // Propagation for constraint | ||
19 | PrimitiveElement.valueSet(var_nw,setted_var_nw); RealElement.value(var_nw,value_var_nw); | ||
20 | // Matching variables | ||
21 | var_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 | } | ||
37 | pattern 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 | ////////// | ||
52 | pattern 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 @@ | |||
1 | package crossingScenario.run; | 1 | package crossingScenario.run; |
2 | 2 | ||
3 | import java.io.IOException; | ||
4 | import java.nio.file.Files; | ||
5 | import java.nio.file.Path; | ||
6 | import java.nio.file.Paths; | ||
7 | import java.util.List; | ||
8 | |||
3 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor; | 9 | import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor; |
4 | 10 | ||
5 | public class CrossingScenarioMain { | 11 | public 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 @@ | |||
1 | package crossingScenario.run; | 1 | package crossingScenario.run; |
2 | 2 | ||
3 | import java.util.ArrayList; | ||
4 | import java.util.HashMap; | ||
5 | import java.util.List; | ||
6 | import java.util.Map; | ||
7 | import java.util.regex.Matcher; | ||
8 | import java.util.regex.Pattern; | ||
9 | |||
10 | public class QueryDebug { | 3 | public 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»);''' |