diff options
author | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 10:34:59 -0500 |
---|---|---|
committer | Aren Babikian <aren.babikian@mail.mcgill.ca> | 2021-01-14 10:34:59 -0500 |
commit | dc931c24870432efcd3c3fca4fb6fbd401c70420 (patch) | |
tree | 60e417e047ac712be38058a5b358d5ea2f24c3fe /Domains/crossingScenario/inputs | |
parent | deactivate the constraints used for debugging (diff) | |
download | VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.tar.gz VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.tar.zst VIATRA-Generator-dc931c24870432efcd3c3fca4fb6fbd401c70420.zip |
refactor simpleScenario->crossingScenario
Diffstat (limited to 'Domains/crossingScenario/inputs')
5 files changed, 2269 insertions, 0 deletions
diff --git a/Domains/crossingScenario/inputs/Debug/partial-int.xmi b/Domains/crossingScenario/inputs/Debug/partial-int.xmi new file mode 100644 index 00000000..eaddaafc --- /dev/null +++ b/Domains/crossingScenario/inputs/Debug/partial-int.xmi | |||
@@ -0,0 +1,1115 @@ | |||
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" maxNewElements="20"> | ||
3 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1"/> | ||
4 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1"> | ||
5 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.3"/> | ||
6 | </partialrelationinterpretation> | ||
7 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"/> | ||
8 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1"/> | ||
9 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1"/> | ||
10 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1"/> | ||
11 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1"/> | ||
12 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1"/> | ||
13 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.8" param1="//@problemConainer/@relations.8/@parameters.0" param2="//@problemConainer/@relations.8/@parameters.1"> | ||
14 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/> | ||
15 | </partialrelationinterpretation> | ||
16 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.9" param1="//@problemConainer/@relations.9/@parameters.0" param2="//@problemConainer/@relations.9/@parameters.1"> | ||
17 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/> | ||
18 | </partialrelationinterpretation> | ||
19 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.10" param1="//@problemConainer/@relations.10/@parameters.0" param2="//@problemConainer/@relations.10/@parameters.1"/> | ||
20 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.11" param1="//@problemConainer/@relations.11/@parameters.0" param2="//@problemConainer/@relations.11/@parameters.1"/> | ||
21 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.12" param1="//@problemConainer/@relations.12/@parameters.0" param2="//@problemConainer/@relations.12/@parameters.1"> | ||
22 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.4"/> | ||
23 | </partialrelationinterpretation> | ||
24 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.13" param1="//@problemConainer/@relations.13/@parameters.0" param2="//@problemConainer/@relations.13/@parameters.1"> | ||
25 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.5"/> | ||
26 | </partialrelationinterpretation> | ||
27 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.14" param1="//@problemConainer/@relations.14/@parameters.0" param2="//@problemConainer/@relations.14/@parameters.1"/> | ||
28 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.15" param1="//@problemConainer/@relations.15/@parameters.0" param2="//@problemConainer/@relations.15/@parameters.1"/> | ||
29 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.16" param1="//@problemConainer/@relations.16/@parameters.0" param2="//@problemConainer/@relations.16/@parameters.1"/> | ||
30 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.17" param1="//@problemConainer/@relations.17/@parameters.0" param2="//@problemConainer/@relations.17/@parameters.1"/> | ||
31 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.18" param1="//@problemConainer/@relations.18/@parameters.0" param2="//@problemConainer/@relations.18/@parameters.1"/> | ||
32 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.19" param1="//@problemConainer/@relations.19/@parameters.0" param2="//@problemConainer/@relations.19/@parameters.1"/> | ||
33 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.20" param1="//@problemConainer/@relations.20/@parameters.0" param2="//@problemConainer/@relations.20/@parameters.1"/> | ||
34 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.21" param1="//@problemConainer/@relations.21/@parameters.0" param2="//@problemConainer/@relations.21/@parameters.1"/> | ||
35 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> | ||
36 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> | ||
37 | <newElements xsi:type="partialinterpretation:RealElement" name="0.0" valueSet="true" value="0.0"/> | ||
38 | <newElements/> | ||
39 | <newElements xsi:type="partialinterpretation:IntegerElement"/> | ||
40 | <newElements xsi:type="partialinterpretation:RealElement"/> | ||
41 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> | ||
42 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@newElements.4"/> | ||
43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@newElements.2 //@openWorldElements.0 //@newElements.5"/> | ||
44 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/> | ||
45 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.8" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/> | ||
46 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/> | ||
47 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" interpretationOf="//@problemConainer/@types.2"/> | ||
48 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/> | ||
49 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.4"/> | ||
50 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.5"/> | ||
51 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.6"/> | ||
52 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.7"/> | ||
53 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.8"/> | ||
54 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.9"/> | ||
55 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.10"/> | ||
56 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.11"/> | ||
57 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.16"/> | ||
58 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | ||
59 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> | ||
60 | <openWorldElements name="New Objects"/> | ||
61 | <problemConainer> | ||
62 | <types xsi:type="language:TypeDeclaration" name="SimpleScenario class" subtypes="//@problemConainer/@types.15 //@problemConainer/@types.16" isAbstract="true"/> | ||
63 | <types xsi:type="language:TypeDeclaration" name="Lane class"/> | ||
64 | <types xsi:type="language:TypeDeclaration" name="Actor class" subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11" isAbstract="true"/> | ||
65 | <types xsi:type="language:TypeDeclaration" name="Relation class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/> | ||
66 | <types xsi:type="language:TypeDeclaration" name="SpatialRelation class" subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7" supertypes="//@problemConainer/@types.3" isAbstract="true"/> | ||
67 | <types xsi:type="language:TypeDeclaration" name="TemporalRelation class" subtypes="//@problemConainer/@types.8 //@problemConainer/@types.9" supertypes="//@problemConainer/@types.3" isAbstract="true"/> | ||
68 | <types xsi:type="language:TypeDeclaration" name="VisionBlocked class" supertypes="//@problemConainer/@types.4"/> | ||
69 | <types xsi:type="language:TypeDeclaration" name="SeperationDistance class" supertypes="//@problemConainer/@types.4"/> | ||
70 | <types xsi:type="language:TypeDeclaration" name="CollisionExists class" supertypes="//@problemConainer/@types.5"/> | ||
71 | <types xsi:type="language:TypeDeclaration" name="CollisionDoesNotExist class" supertypes="//@problemConainer/@types.5"/> | ||
72 | <types xsi:type="language:TypeDeclaration" name="Pedestrian class" supertypes="//@problemConainer/@types.2"/> | ||
73 | <types xsi:type="language:TypeDeclaration" name="Vehicle class" supertypes="//@problemConainer/@types.2"/> | ||
74 | <types xsi:type="language:TypeDefinition" name="Orientation enum" elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1"/> | ||
75 | <types xsi:type="language:TypeDefinition" name="Size enum" elements="//@problemConainer/@elements.2 //@problemConainer/@elements.3 //@problemConainer/@elements.4"/> | ||
76 | <types xsi:type="language:TypeDefinition" name="Distance enum" elements="//@problemConainer/@elements.5 //@problemConainer/@elements.6 //@problemConainer/@elements.7"/> | ||
77 | <types xsi:type="language:TypeDefinition" name="SimpleScenario class DefinedPart" supertypes="//@problemConainer/@types.0" elements="//@problemConainer/@elements.8"/> | ||
78 | <types xsi:type="language:TypeDeclaration" name="SimpleScenario class UndefinedPart" supertypes="//@problemConainer/@types.0"/> | ||
79 | <assertions name="upperMultiplicity adjacent Lane" annotations="//@problemConainer/@annotations.0"> | ||
80 | <value xsi:type="language:Forall"> | ||
81 | <quantifiedVariables name="src"> | ||
82 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
83 | </quantifiedVariables> | ||
84 | <quantifiedVariables name="trg 1"> | ||
85 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
86 | </quantifiedVariables> | ||
87 | <quantifiedVariables name="trg 2"> | ||
88 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
89 | </quantifiedVariables> | ||
90 | <quantifiedVariables name="trg 3"> | ||
91 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
92 | </quantifiedVariables> | ||
93 | <expression xsi:type="language:Impl"> | ||
94 | <leftOperand xsi:type="language:And"> | ||
95 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2"> | ||
96 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
97 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/> | ||
98 | </operands> | ||
99 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2"> | ||
100 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
101 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/> | ||
102 | </operands> | ||
103 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2"> | ||
104 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
105 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/> | ||
106 | </operands> | ||
107 | </leftOperand> | ||
108 | <rightOperand xsi:type="language:Not"> | ||
109 | <operand xsi:type="language:Distinct"> | ||
110 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/> | ||
111 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/> | ||
112 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/> | ||
113 | </operand> | ||
114 | </rightOperand> | ||
115 | </expression> | ||
116 | </value> | ||
117 | </assertions> | ||
118 | <assertions name="lowerMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.1"> | ||
119 | <value xsi:type="language:Forall"> | ||
120 | <quantifiedVariables name="src"> | ||
121 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
122 | </quantifiedVariables> | ||
123 | <expression xsi:type="language:Exists"> | ||
124 | <quantifiedVariables name="trg 1"> | ||
125 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
126 | </quantifiedVariables> | ||
127 | <expression xsi:type="language:And"> | ||
128 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
129 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/> | ||
130 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@expression/@quantifiedVariables.0"/> | ||
131 | </operands> | ||
132 | </expression> | ||
133 | </expression> | ||
134 | </value> | ||
135 | </assertions> | ||
136 | <assertions name="upperMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.2"> | ||
137 | <value xsi:type="language:Forall"> | ||
138 | <quantifiedVariables name="src"> | ||
139 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
140 | </quantifiedVariables> | ||
141 | <quantifiedVariables name="trg 1"> | ||
142 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
143 | </quantifiedVariables> | ||
144 | <quantifiedVariables name="trg 2"> | ||
145 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
146 | </quantifiedVariables> | ||
147 | <expression xsi:type="language:Impl"> | ||
148 | <leftOperand xsi:type="language:And"> | ||
149 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
150 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/> | ||
151 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/> | ||
152 | </operands> | ||
153 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
154 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/> | ||
155 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/> | ||
156 | </operands> | ||
157 | </leftOperand> | ||
158 | <rightOperand xsi:type="language:Not"> | ||
159 | <operand xsi:type="language:Distinct"> | ||
160 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/> | ||
161 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/> | ||
162 | </operand> | ||
163 | </rightOperand> | ||
164 | </expression> | ||
165 | </value> | ||
166 | </assertions> | ||
167 | <assertions name="lowerMultiplicity target Relation" annotations="//@problemConainer/@annotations.3"> | ||
168 | <value xsi:type="language:Forall"> | ||
169 | <quantifiedVariables name="src"> | ||
170 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
171 | </quantifiedVariables> | ||
172 | <expression xsi:type="language:Exists"> | ||
173 | <quantifiedVariables name="trg 1"> | ||
174 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
175 | </quantifiedVariables> | ||
176 | <expression xsi:type="language:And"> | ||
177 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
178 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/> | ||
179 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@expression/@quantifiedVariables.0"/> | ||
180 | </operands> | ||
181 | </expression> | ||
182 | </expression> | ||
183 | </value> | ||
184 | </assertions> | ||
185 | <assertions name="upperMultiplicity target Relation" annotations="//@problemConainer/@annotations.4"> | ||
186 | <value xsi:type="language:Forall"> | ||
187 | <quantifiedVariables name="src"> | ||
188 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
189 | </quantifiedVariables> | ||
190 | <quantifiedVariables name="trg 1"> | ||
191 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
192 | </quantifiedVariables> | ||
193 | <quantifiedVariables name="trg 2"> | ||
194 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
195 | </quantifiedVariables> | ||
196 | <expression xsi:type="language:Impl"> | ||
197 | <leftOperand xsi:type="language:And"> | ||
198 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
199 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/> | ||
200 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/> | ||
201 | </operands> | ||
202 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
203 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/> | ||
204 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/> | ||
205 | </operands> | ||
206 | </leftOperand> | ||
207 | <rightOperand xsi:type="language:Not"> | ||
208 | <operand xsi:type="language:Distinct"> | ||
209 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/> | ||
210 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/> | ||
211 | </operand> | ||
212 | </rightOperand> | ||
213 | </expression> | ||
214 | </value> | ||
215 | </assertions> | ||
216 | <assertions name="upperMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.5"> | ||
217 | <value xsi:type="language:Forall"> | ||
218 | <quantifiedVariables name="src"> | ||
219 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/> | ||
220 | </quantifiedVariables> | ||
221 | <quantifiedVariables name="trg 1"> | ||
222 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
223 | </quantifiedVariables> | ||
224 | <quantifiedVariables name="trg 2"> | ||
225 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
226 | </quantifiedVariables> | ||
227 | <expression xsi:type="language:Impl"> | ||
228 | <leftOperand xsi:type="language:And"> | ||
229 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
230 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/> | ||
231 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/> | ||
232 | </operands> | ||
233 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
234 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/> | ||
235 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/> | ||
236 | </operands> | ||
237 | </leftOperand> | ||
238 | <rightOperand xsi:type="language:Not"> | ||
239 | <operand xsi:type="language:Distinct"> | ||
240 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/> | ||
241 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/> | ||
242 | </operand> | ||
243 | </rightOperand> | ||
244 | </expression> | ||
245 | </value> | ||
246 | </assertions> | ||
247 | <assertions name="oppositeReference actors Lane" annotations="//@problemConainer/@annotations.6"> | ||
248 | <value xsi:type="language:Forall"> | ||
249 | <quantifiedVariables name="src"> | ||
250 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
251 | </quantifiedVariables> | ||
252 | <quantifiedVariables name="trg"> | ||
253 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
254 | </quantifiedVariables> | ||
255 | <expression xsi:type="language:Iff"> | ||
256 | <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3"> | ||
257 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/> | ||
258 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/> | ||
259 | </leftOperand> | ||
260 | <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
261 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/> | ||
262 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/> | ||
263 | </rightOperand> | ||
264 | </expression> | ||
265 | </value> | ||
266 | </assertions> | ||
267 | <assertions name="upperMultiplicity xSize SimpleScenario" annotations="//@problemConainer/@annotations.7"> | ||
268 | <value xsi:type="language:Forall"> | ||
269 | <quantifiedVariables name="src"> | ||
270 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
271 | </quantifiedVariables> | ||
272 | <quantifiedVariables name="trg 1"> | ||
273 | <range xsi:type="language:RealTypeReference"/> | ||
274 | </quantifiedVariables> | ||
275 | <quantifiedVariables name="trg 2"> | ||
276 | <range xsi:type="language:RealTypeReference"/> | ||
277 | </quantifiedVariables> | ||
278 | <expression xsi:type="language:Impl"> | ||
279 | <leftOperand xsi:type="language:And"> | ||
280 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
281 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/> | ||
282 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/> | ||
283 | </operands> | ||
284 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
285 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/> | ||
286 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/> | ||
287 | </operands> | ||
288 | </leftOperand> | ||
289 | <rightOperand xsi:type="language:Not"> | ||
290 | <operand xsi:type="language:Distinct"> | ||
291 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/> | ||
292 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/> | ||
293 | </operand> | ||
294 | </rightOperand> | ||
295 | </expression> | ||
296 | </value> | ||
297 | </assertions> | ||
298 | <assertions name="upperMultiplicity ySize SimpleScenario" annotations="//@problemConainer/@annotations.8"> | ||
299 | <value xsi:type="language:Forall"> | ||
300 | <quantifiedVariables name="src"> | ||
301 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
302 | </quantifiedVariables> | ||
303 | <quantifiedVariables name="trg 1"> | ||
304 | <range xsi:type="language:RealTypeReference"/> | ||
305 | </quantifiedVariables> | ||
306 | <quantifiedVariables name="trg 2"> | ||
307 | <range xsi:type="language:RealTypeReference"/> | ||
308 | </quantifiedVariables> | ||
309 | <expression xsi:type="language:Impl"> | ||
310 | <leftOperand xsi:type="language:And"> | ||
311 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
312 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/> | ||
313 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/> | ||
314 | </operands> | ||
315 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
316 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/> | ||
317 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/> | ||
318 | </operands> | ||
319 | </leftOperand> | ||
320 | <rightOperand xsi:type="language:Not"> | ||
321 | <operand xsi:type="language:Distinct"> | ||
322 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/> | ||
323 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/> | ||
324 | </operand> | ||
325 | </rightOperand> | ||
326 | </expression> | ||
327 | </value> | ||
328 | </assertions> | ||
329 | <assertions name="lowerMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.9"> | ||
330 | <value xsi:type="language:Forall"> | ||
331 | <quantifiedVariables name="src"> | ||
332 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
333 | </quantifiedVariables> | ||
334 | <expression xsi:type="language:Exists"> | ||
335 | <quantifiedVariables name="trg 1"> | ||
336 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
337 | </quantifiedVariables> | ||
338 | <expression xsi:type="language:And"> | ||
339 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
340 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/> | ||
341 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@expression/@quantifiedVariables.0"/> | ||
342 | </operands> | ||
343 | </expression> | ||
344 | </expression> | ||
345 | </value> | ||
346 | </assertions> | ||
347 | <assertions name="upperMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.10"> | ||
348 | <value xsi:type="language:Forall"> | ||
349 | <quantifiedVariables name="src"> | ||
350 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
351 | </quantifiedVariables> | ||
352 | <quantifiedVariables name="trg 1"> | ||
353 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
354 | </quantifiedVariables> | ||
355 | <quantifiedVariables name="trg 2"> | ||
356 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
357 | </quantifiedVariables> | ||
358 | <expression xsi:type="language:Impl"> | ||
359 | <leftOperand xsi:type="language:And"> | ||
360 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
361 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/> | ||
362 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/> | ||
363 | </operands> | ||
364 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
365 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/> | ||
366 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/> | ||
367 | </operands> | ||
368 | </leftOperand> | ||
369 | <rightOperand xsi:type="language:Not"> | ||
370 | <operand xsi:type="language:Distinct"> | ||
371 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/> | ||
372 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/> | ||
373 | </operand> | ||
374 | </rightOperand> | ||
375 | </expression> | ||
376 | </value> | ||
377 | </assertions> | ||
378 | <assertions name="lowerMultiplicity width Lane" annotations="//@problemConainer/@annotations.11"> | ||
379 | <value xsi:type="language:Forall"> | ||
380 | <quantifiedVariables name="src"> | ||
381 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
382 | </quantifiedVariables> | ||
383 | <expression xsi:type="language:Exists"> | ||
384 | <quantifiedVariables name="trg 1"> | ||
385 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
386 | </quantifiedVariables> | ||
387 | <expression xsi:type="language:And"> | ||
388 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
389 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/> | ||
390 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@expression/@quantifiedVariables.0"/> | ||
391 | </operands> | ||
392 | </expression> | ||
393 | </expression> | ||
394 | </value> | ||
395 | </assertions> | ||
396 | <assertions name="upperMultiplicity width Lane" annotations="//@problemConainer/@annotations.12"> | ||
397 | <value xsi:type="language:Forall"> | ||
398 | <quantifiedVariables name="src"> | ||
399 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
400 | </quantifiedVariables> | ||
401 | <quantifiedVariables name="trg 1"> | ||
402 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
403 | </quantifiedVariables> | ||
404 | <quantifiedVariables name="trg 2"> | ||
405 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
406 | </quantifiedVariables> | ||
407 | <expression xsi:type="language:Impl"> | ||
408 | <leftOperand xsi:type="language:And"> | ||
409 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
410 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/> | ||
411 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/> | ||
412 | </operands> | ||
413 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
414 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/> | ||
415 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/> | ||
416 | </operands> | ||
417 | </leftOperand> | ||
418 | <rightOperand xsi:type="language:Not"> | ||
419 | <operand xsi:type="language:Distinct"> | ||
420 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/> | ||
421 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/> | ||
422 | </operand> | ||
423 | </rightOperand> | ||
424 | </expression> | ||
425 | </value> | ||
426 | </assertions> | ||
427 | <assertions name="lowerMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.13"> | ||
428 | <value xsi:type="language:Forall"> | ||
429 | <quantifiedVariables name="src"> | ||
430 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
431 | </quantifiedVariables> | ||
432 | <expression xsi:type="language:Exists"> | ||
433 | <quantifiedVariables name="trg 1"> | ||
434 | <range xsi:type="language:IntTypeReference"/> | ||
435 | </quantifiedVariables> | ||
436 | <expression xsi:type="language:And"> | ||
437 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
438 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/> | ||
439 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@expression/@quantifiedVariables.0"/> | ||
440 | </operands> | ||
441 | </expression> | ||
442 | </expression> | ||
443 | </value> | ||
444 | </assertions> | ||
445 | <assertions name="upperMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.14"> | ||
446 | <value xsi:type="language:Forall"> | ||
447 | <quantifiedVariables name="src"> | ||
448 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
449 | </quantifiedVariables> | ||
450 | <quantifiedVariables name="trg 1"> | ||
451 | <range xsi:type="language:IntTypeReference"/> | ||
452 | </quantifiedVariables> | ||
453 | <quantifiedVariables name="trg 2"> | ||
454 | <range xsi:type="language:IntTypeReference"/> | ||
455 | </quantifiedVariables> | ||
456 | <expression xsi:type="language:Impl"> | ||
457 | <leftOperand xsi:type="language:And"> | ||
458 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
459 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/> | ||
460 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/> | ||
461 | </operands> | ||
462 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
463 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/> | ||
464 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/> | ||
465 | </operands> | ||
466 | </leftOperand> | ||
467 | <rightOperand xsi:type="language:Not"> | ||
468 | <operand xsi:type="language:Distinct"> | ||
469 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/> | ||
470 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/> | ||
471 | </operand> | ||
472 | </rightOperand> | ||
473 | </expression> | ||
474 | </value> | ||
475 | </assertions> | ||
476 | <assertions name="lowerMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.15"> | ||
477 | <value xsi:type="language:Forall"> | ||
478 | <quantifiedVariables name="src"> | ||
479 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
480 | </quantifiedVariables> | ||
481 | <expression xsi:type="language:Exists"> | ||
482 | <quantifiedVariables name="trg 1"> | ||
483 | <range xsi:type="language:RealTypeReference"/> | ||
484 | </quantifiedVariables> | ||
485 | <expression xsi:type="language:And"> | ||
486 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
487 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/> | ||
488 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@expression/@quantifiedVariables.0"/> | ||
489 | </operands> | ||
490 | </expression> | ||
491 | </expression> | ||
492 | </value> | ||
493 | </assertions> | ||
494 | <assertions name="upperMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.16"> | ||
495 | <value xsi:type="language:Forall"> | ||
496 | <quantifiedVariables name="src"> | ||
497 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
498 | </quantifiedVariables> | ||
499 | <quantifiedVariables name="trg 1"> | ||
500 | <range xsi:type="language:RealTypeReference"/> | ||
501 | </quantifiedVariables> | ||
502 | <quantifiedVariables name="trg 2"> | ||
503 | <range xsi:type="language:RealTypeReference"/> | ||
504 | </quantifiedVariables> | ||
505 | <expression xsi:type="language:Impl"> | ||
506 | <leftOperand xsi:type="language:And"> | ||
507 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
508 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/> | ||
509 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/> | ||
510 | </operands> | ||
511 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
512 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/> | ||
513 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/> | ||
514 | </operands> | ||
515 | </leftOperand> | ||
516 | <rightOperand xsi:type="language:Not"> | ||
517 | <operand xsi:type="language:Distinct"> | ||
518 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/> | ||
519 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/> | ||
520 | </operand> | ||
521 | </rightOperand> | ||
522 | </expression> | ||
523 | </value> | ||
524 | </assertions> | ||
525 | <assertions name="lowerMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.17"> | ||
526 | <value xsi:type="language:Forall"> | ||
527 | <quantifiedVariables name="src"> | ||
528 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
529 | </quantifiedVariables> | ||
530 | <expression xsi:type="language:Exists"> | ||
531 | <quantifiedVariables name="trg 1"> | ||
532 | <range xsi:type="language:RealTypeReference"/> | ||
533 | </quantifiedVariables> | ||
534 | <expression xsi:type="language:And"> | ||
535 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
536 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/> | ||
537 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@expression/@quantifiedVariables.0"/> | ||
538 | </operands> | ||
539 | </expression> | ||
540 | </expression> | ||
541 | </value> | ||
542 | </assertions> | ||
543 | <assertions name="upperMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.18"> | ||
544 | <value xsi:type="language:Forall"> | ||
545 | <quantifiedVariables name="src"> | ||
546 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
547 | </quantifiedVariables> | ||
548 | <quantifiedVariables name="trg 1"> | ||
549 | <range xsi:type="language:RealTypeReference"/> | ||
550 | </quantifiedVariables> | ||
551 | <quantifiedVariables name="trg 2"> | ||
552 | <range xsi:type="language:RealTypeReference"/> | ||
553 | </quantifiedVariables> | ||
554 | <expression xsi:type="language:Impl"> | ||
555 | <leftOperand xsi:type="language:And"> | ||
556 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
557 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/> | ||
558 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/> | ||
559 | </operands> | ||
560 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
561 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/> | ||
562 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/> | ||
563 | </operands> | ||
564 | </leftOperand> | ||
565 | <rightOperand xsi:type="language:Not"> | ||
566 | <operand xsi:type="language:Distinct"> | ||
567 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/> | ||
568 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/> | ||
569 | </operand> | ||
570 | </rightOperand> | ||
571 | </expression> | ||
572 | </value> | ||
573 | </assertions> | ||
574 | <assertions name="lowerMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.19"> | ||
575 | <value xsi:type="language:Forall"> | ||
576 | <quantifiedVariables name="src"> | ||
577 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
578 | </quantifiedVariables> | ||
579 | <expression xsi:type="language:Exists"> | ||
580 | <quantifiedVariables name="trg 1"> | ||
581 | <range xsi:type="language:RealTypeReference"/> | ||
582 | </quantifiedVariables> | ||
583 | <expression xsi:type="language:And"> | ||
584 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
585 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/> | ||
586 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@expression/@quantifiedVariables.0"/> | ||
587 | </operands> | ||
588 | </expression> | ||
589 | </expression> | ||
590 | </value> | ||
591 | </assertions> | ||
592 | <assertions name="upperMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.20"> | ||
593 | <value xsi:type="language:Forall"> | ||
594 | <quantifiedVariables name="src"> | ||
595 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
596 | </quantifiedVariables> | ||
597 | <quantifiedVariables name="trg 1"> | ||
598 | <range xsi:type="language:RealTypeReference"/> | ||
599 | </quantifiedVariables> | ||
600 | <quantifiedVariables name="trg 2"> | ||
601 | <range xsi:type="language:RealTypeReference"/> | ||
602 | </quantifiedVariables> | ||
603 | <expression xsi:type="language:Impl"> | ||
604 | <leftOperand xsi:type="language:And"> | ||
605 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
606 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/> | ||
607 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/> | ||
608 | </operands> | ||
609 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
610 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/> | ||
611 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/> | ||
612 | </operands> | ||
613 | </leftOperand> | ||
614 | <rightOperand xsi:type="language:Not"> | ||
615 | <operand xsi:type="language:Distinct"> | ||
616 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/> | ||
617 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/> | ||
618 | </operand> | ||
619 | </rightOperand> | ||
620 | </expression> | ||
621 | </value> | ||
622 | </assertions> | ||
623 | <assertions name="lowerMultiplicity length Actor" annotations="//@problemConainer/@annotations.21"> | ||
624 | <value xsi:type="language:Forall"> | ||
625 | <quantifiedVariables name="src"> | ||
626 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
627 | </quantifiedVariables> | ||
628 | <expression xsi:type="language:Exists"> | ||
629 | <quantifiedVariables name="trg 1"> | ||
630 | <range xsi:type="language:RealTypeReference"/> | ||
631 | </quantifiedVariables> | ||
632 | <expression xsi:type="language:And"> | ||
633 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
634 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@quantifiedVariables.0"/> | ||
635 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@expression/@quantifiedVariables.0"/> | ||
636 | </operands> | ||
637 | </expression> | ||
638 | </expression> | ||
639 | </value> | ||
640 | </assertions> | ||
641 | <assertions name="upperMultiplicity length Actor" annotations="//@problemConainer/@annotations.22"> | ||
642 | <value xsi:type="language:Forall"> | ||
643 | <quantifiedVariables name="src"> | ||
644 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
645 | </quantifiedVariables> | ||
646 | <quantifiedVariables name="trg 1"> | ||
647 | <range xsi:type="language:RealTypeReference"/> | ||
648 | </quantifiedVariables> | ||
649 | <quantifiedVariables name="trg 2"> | ||
650 | <range xsi:type="language:RealTypeReference"/> | ||
651 | </quantifiedVariables> | ||
652 | <expression xsi:type="language:Impl"> | ||
653 | <leftOperand xsi:type="language:And"> | ||
654 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
655 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/> | ||
656 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/> | ||
657 | </operands> | ||
658 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
659 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/> | ||
660 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/> | ||
661 | </operands> | ||
662 | </leftOperand> | ||
663 | <rightOperand xsi:type="language:Not"> | ||
664 | <operand xsi:type="language:Distinct"> | ||
665 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/> | ||
666 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/> | ||
667 | </operand> | ||
668 | </rightOperand> | ||
669 | </expression> | ||
670 | </value> | ||
671 | </assertions> | ||
672 | <assertions name="lowerMultiplicity width Actor" annotations="//@problemConainer/@annotations.23"> | ||
673 | <value xsi:type="language:Forall"> | ||
674 | <quantifiedVariables name="src"> | ||
675 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
676 | </quantifiedVariables> | ||
677 | <expression xsi:type="language:Exists"> | ||
678 | <quantifiedVariables name="trg 1"> | ||
679 | <range xsi:type="language:RealTypeReference"/> | ||
680 | </quantifiedVariables> | ||
681 | <expression xsi:type="language:And"> | ||
682 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
683 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@quantifiedVariables.0"/> | ||
684 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@expression/@quantifiedVariables.0"/> | ||
685 | </operands> | ||
686 | </expression> | ||
687 | </expression> | ||
688 | </value> | ||
689 | </assertions> | ||
690 | <assertions name="upperMultiplicity width Actor" annotations="//@problemConainer/@annotations.24"> | ||
691 | <value xsi:type="language:Forall"> | ||
692 | <quantifiedVariables name="src"> | ||
693 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
694 | </quantifiedVariables> | ||
695 | <quantifiedVariables name="trg 1"> | ||
696 | <range xsi:type="language:RealTypeReference"/> | ||
697 | </quantifiedVariables> | ||
698 | <quantifiedVariables name="trg 2"> | ||
699 | <range xsi:type="language:RealTypeReference"/> | ||
700 | </quantifiedVariables> | ||
701 | <expression xsi:type="language:Impl"> | ||
702 | <leftOperand xsi:type="language:And"> | ||
703 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
704 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/> | ||
705 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/> | ||
706 | </operands> | ||
707 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
708 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/> | ||
709 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/> | ||
710 | </operands> | ||
711 | </leftOperand> | ||
712 | <rightOperand xsi:type="language:Not"> | ||
713 | <operand xsi:type="language:Distinct"> | ||
714 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/> | ||
715 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/> | ||
716 | </operand> | ||
717 | </rightOperand> | ||
718 | </expression> | ||
719 | </value> | ||
720 | </assertions> | ||
721 | <assertions name="lowerMultiplicity speed Actor" annotations="//@problemConainer/@annotations.25"> | ||
722 | <value xsi:type="language:Forall"> | ||
723 | <quantifiedVariables name="src"> | ||
724 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
725 | </quantifiedVariables> | ||
726 | <expression xsi:type="language:Exists"> | ||
727 | <quantifiedVariables name="trg 1"> | ||
728 | <range xsi:type="language:RealTypeReference"/> | ||
729 | </quantifiedVariables> | ||
730 | <expression xsi:type="language:And"> | ||
731 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
732 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@quantifiedVariables.0"/> | ||
733 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@expression/@quantifiedVariables.0"/> | ||
734 | </operands> | ||
735 | </expression> | ||
736 | </expression> | ||
737 | </value> | ||
738 | </assertions> | ||
739 | <assertions name="upperMultiplicity speed Actor" annotations="//@problemConainer/@annotations.26"> | ||
740 | <value xsi:type="language:Forall"> | ||
741 | <quantifiedVariables name="src"> | ||
742 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
743 | </quantifiedVariables> | ||
744 | <quantifiedVariables name="trg 1"> | ||
745 | <range xsi:type="language:RealTypeReference"/> | ||
746 | </quantifiedVariables> | ||
747 | <quantifiedVariables name="trg 2"> | ||
748 | <range xsi:type="language:RealTypeReference"/> | ||
749 | </quantifiedVariables> | ||
750 | <expression xsi:type="language:Impl"> | ||
751 | <leftOperand xsi:type="language:And"> | ||
752 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
753 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/> | ||
754 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/> | ||
755 | </operands> | ||
756 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
757 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/> | ||
758 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/> | ||
759 | </operands> | ||
760 | </leftOperand> | ||
761 | <rightOperand xsi:type="language:Not"> | ||
762 | <operand xsi:type="language:Distinct"> | ||
763 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/> | ||
764 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/> | ||
765 | </operand> | ||
766 | </rightOperand> | ||
767 | </expression> | ||
768 | </value> | ||
769 | </assertions> | ||
770 | <assertions name="lowerMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.27"> | ||
771 | <value xsi:type="language:Forall"> | ||
772 | <quantifiedVariables name="src"> | ||
773 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
774 | </quantifiedVariables> | ||
775 | <expression xsi:type="language:Exists"> | ||
776 | <quantifiedVariables name="trg 1"> | ||
777 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
778 | </quantifiedVariables> | ||
779 | <expression xsi:type="language:And"> | ||
780 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19"> | ||
781 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@quantifiedVariables.0"/> | ||
782 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@expression/@quantifiedVariables.0"/> | ||
783 | </operands> | ||
784 | </expression> | ||
785 | </expression> | ||
786 | </value> | ||
787 | </assertions> | ||
788 | <assertions name="upperMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.28"> | ||
789 | <value xsi:type="language:Forall"> | ||
790 | <quantifiedVariables name="src"> | ||
791 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
792 | </quantifiedVariables> | ||
793 | <quantifiedVariables name="trg 1"> | ||
794 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
795 | </quantifiedVariables> | ||
796 | <quantifiedVariables name="trg 2"> | ||
797 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
798 | </quantifiedVariables> | ||
799 | <expression xsi:type="language:Impl"> | ||
800 | <leftOperand xsi:type="language:And"> | ||
801 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19"> | ||
802 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/> | ||
803 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/> | ||
804 | </operands> | ||
805 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19"> | ||
806 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/> | ||
807 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/> | ||
808 | </operands> | ||
809 | </leftOperand> | ||
810 | <rightOperand xsi:type="language:Not"> | ||
811 | <operand xsi:type="language:Distinct"> | ||
812 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/> | ||
813 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/> | ||
814 | </operand> | ||
815 | </rightOperand> | ||
816 | </expression> | ||
817 | </value> | ||
818 | </assertions> | ||
819 | <assertions name="lowerMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.29"> | ||
820 | <value xsi:type="language:Forall"> | ||
821 | <quantifiedVariables name="src"> | ||
822 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
823 | </quantifiedVariables> | ||
824 | <expression xsi:type="language:Exists"> | ||
825 | <quantifiedVariables name="trg 1"> | ||
826 | <range xsi:type="language:RealTypeReference"/> | ||
827 | </quantifiedVariables> | ||
828 | <expression xsi:type="language:And"> | ||
829 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
830 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@quantifiedVariables.0"/> | ||
831 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@expression/@quantifiedVariables.0"/> | ||
832 | </operands> | ||
833 | </expression> | ||
834 | </expression> | ||
835 | </value> | ||
836 | </assertions> | ||
837 | <assertions name="upperMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.30"> | ||
838 | <value xsi:type="language:Forall"> | ||
839 | <quantifiedVariables name="src"> | ||
840 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
841 | </quantifiedVariables> | ||
842 | <quantifiedVariables name="trg 1"> | ||
843 | <range xsi:type="language:RealTypeReference"/> | ||
844 | </quantifiedVariables> | ||
845 | <quantifiedVariables name="trg 2"> | ||
846 | <range xsi:type="language:RealTypeReference"/> | ||
847 | </quantifiedVariables> | ||
848 | <expression xsi:type="language:Impl"> | ||
849 | <leftOperand xsi:type="language:And"> | ||
850 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
851 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/> | ||
852 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/> | ||
853 | </operands> | ||
854 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
855 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/> | ||
856 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/> | ||
857 | </operands> | ||
858 | </leftOperand> | ||
859 | <rightOperand xsi:type="language:Not"> | ||
860 | <operand xsi:type="language:Distinct"> | ||
861 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/> | ||
862 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/> | ||
863 | </operand> | ||
864 | </rightOperand> | ||
865 | </expression> | ||
866 | </value> | ||
867 | </assertions> | ||
868 | <assertions name="lowerMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.31"> | ||
869 | <value xsi:type="language:Forall"> | ||
870 | <quantifiedVariables name="src"> | ||
871 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/> | ||
872 | </quantifiedVariables> | ||
873 | <expression xsi:type="language:Exists"> | ||
874 | <quantifiedVariables name="trg 1"> | ||
875 | <range xsi:type="language:RealTypeReference"/> | ||
876 | </quantifiedVariables> | ||
877 | <expression xsi:type="language:And"> | ||
878 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
879 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@quantifiedVariables.0"/> | ||
880 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@expression/@quantifiedVariables.0"/> | ||
881 | </operands> | ||
882 | </expression> | ||
883 | </expression> | ||
884 | </value> | ||
885 | </assertions> | ||
886 | <assertions name="upperMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.32"> | ||
887 | <value xsi:type="language:Forall"> | ||
888 | <quantifiedVariables name="src"> | ||
889 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/> | ||
890 | </quantifiedVariables> | ||
891 | <quantifiedVariables name="trg 1"> | ||
892 | <range xsi:type="language:RealTypeReference"/> | ||
893 | </quantifiedVariables> | ||
894 | <quantifiedVariables name="trg 2"> | ||
895 | <range xsi:type="language:RealTypeReference"/> | ||
896 | </quantifiedVariables> | ||
897 | <expression xsi:type="language:Impl"> | ||
898 | <leftOperand xsi:type="language:And"> | ||
899 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
900 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/> | ||
901 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/> | ||
902 | </operands> | ||
903 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
904 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/> | ||
905 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/> | ||
906 | </operands> | ||
907 | </leftOperand> | ||
908 | <rightOperand xsi:type="language:Not"> | ||
909 | <operand xsi:type="language:Distinct"> | ||
910 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/> | ||
911 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/> | ||
912 | </operand> | ||
913 | </rightOperand> | ||
914 | </expression> | ||
915 | </value> | ||
916 | </assertions> | ||
917 | <assertions name="PartialInterpretation xSize attribute SimpleScenario" annotations="//@problemConainer/@annotations.33"> | ||
918 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
919 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/> | ||
920 | <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/> | ||
921 | </value> | ||
922 | </assertions> | ||
923 | <assertions name="PartialInterpretation ySize attribute SimpleScenario" annotations="//@problemConainer/@annotations.34"> | ||
924 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
925 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/> | ||
926 | <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/> | ||
927 | </value> | ||
928 | </assertions> | ||
929 | <assertions name="errorpattern queries refSpec" annotations="//@problemConainer/@annotations.36"> | ||
930 | <value xsi:type="language:Forall"> | ||
931 | <quantifiedVariables name="p0"> | ||
932 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
933 | </quantifiedVariables> | ||
934 | <expression xsi:type="language:Not"> | ||
935 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22"> | ||
936 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.35/@value/@quantifiedVariables.0"/> | ||
937 | </operand> | ||
938 | </expression> | ||
939 | </value> | ||
940 | </assertions> | ||
941 | <relations xsi:type="language:RelationDeclaration" name="actors reference SimpleScenario"> | ||
942 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
943 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
944 | </relations> | ||
945 | <relations xsi:type="language:RelationDeclaration" name="lanes reference SimpleScenario"> | ||
946 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
947 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
948 | </relations> | ||
949 | <relations xsi:type="language:RelationDeclaration" name="adjacent reference Lane"> | ||
950 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
951 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
952 | </relations> | ||
953 | <relations xsi:type="language:RelationDeclaration" name="actors reference Lane"> | ||
954 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
955 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
956 | </relations> | ||
957 | <relations xsi:type="language:RelationDeclaration" name="relations reference Actor"> | ||
958 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
959 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
960 | </relations> | ||
961 | <relations xsi:type="language:RelationDeclaration" name="placedOn reference Actor"> | ||
962 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
963 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
964 | </relations> | ||
965 | <relations xsi:type="language:RelationDeclaration" name="target reference Relation"> | ||
966 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
967 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
968 | </relations> | ||
969 | <relations xsi:type="language:RelationDeclaration" name="blockedBy reference VisionBlocked"> | ||
970 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/> | ||
971 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
972 | </relations> | ||
973 | <relations xsi:type="language:RelationDeclaration" name="xSize attribute SimpleScenario"> | ||
974 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
975 | <parameters xsi:type="language:RealTypeReference"/> | ||
976 | </relations> | ||
977 | <relations xsi:type="language:RelationDeclaration" name="ySize attribute SimpleScenario"> | ||
978 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
979 | <parameters xsi:type="language:RealTypeReference"/> | ||
980 | </relations> | ||
981 | <relations xsi:type="language:RelationDeclaration" name="orientation attribute Lane"> | ||
982 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
983 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
984 | </relations> | ||
985 | <relations xsi:type="language:RelationDeclaration" name="width attribute Lane"> | ||
986 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
987 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
988 | </relations> | ||
989 | <relations xsi:type="language:RelationDeclaration" name="referenceCoord attribute Lane"> | ||
990 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
991 | <parameters xsi:type="language:IntTypeReference"/> | ||
992 | </relations> | ||
993 | <relations xsi:type="language:RelationDeclaration" name="numWidth attribute Lane"> | ||
994 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
995 | <parameters xsi:type="language:RealTypeReference"/> | ||
996 | </relations> | ||
997 | <relations xsi:type="language:RelationDeclaration" name="xPos attribute Actor"> | ||
998 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
999 | <parameters xsi:type="language:RealTypeReference"/> | ||
1000 | </relations> | ||
1001 | <relations xsi:type="language:RelationDeclaration" name="yPos attribute Actor"> | ||
1002 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1003 | <parameters xsi:type="language:RealTypeReference"/> | ||
1004 | </relations> | ||
1005 | <relations xsi:type="language:RelationDeclaration" name="length attribute Actor"> | ||
1006 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1007 | <parameters xsi:type="language:RealTypeReference"/> | ||
1008 | </relations> | ||
1009 | <relations xsi:type="language:RelationDeclaration" name="width attribute Actor"> | ||
1010 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1011 | <parameters xsi:type="language:RealTypeReference"/> | ||
1012 | </relations> | ||
1013 | <relations xsi:type="language:RelationDeclaration" name="speed attribute Actor"> | ||
1014 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1015 | <parameters xsi:type="language:RealTypeReference"/> | ||
1016 | </relations> | ||
1017 | <relations xsi:type="language:RelationDeclaration" name="distance attribute SeperationDistance"> | ||
1018 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
1019 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
1020 | </relations> | ||
1021 | <relations xsi:type="language:RelationDeclaration" name="numDistance attribute SeperationDistance"> | ||
1022 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
1023 | <parameters xsi:type="language:RealTypeReference"/> | ||
1024 | </relations> | ||
1025 | <relations xsi:type="language:RelationDeclaration" name="collisionTime attribute CollisionExists"> | ||
1026 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/> | ||
1027 | <parameters xsi:type="language:RealTypeReference"/> | ||
1028 | </relations> | ||
1029 | <relations xsi:type="language:RelationDefinition" name="pattern queries refSpec" annotations="//@problemConainer/@annotations.35"> | ||
1030 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
1031 | <variables name="parameter l"> | ||
1032 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
1033 | </variables> | ||
1034 | <value xsi:type="language:Or"> | ||
1035 | <operands xsi:type="language:Exists"> | ||
1036 | <quantifiedVariables name="variable w"> | ||
1037 | <range xsi:type="language:IntTypeReference"/> | ||
1038 | </quantifiedVariables> | ||
1039 | <expression xsi:type="language:And"> | ||
1040 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
1041 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/> | ||
1042 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1043 | </operands> | ||
1044 | <operands xsi:type="language:Distinct"> | ||
1045 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1046 | <operands xsi:type="language:IntLiteral" value="2"/> | ||
1047 | </operands> | ||
1048 | </expression> | ||
1049 | </operands> | ||
1050 | </value> | ||
1051 | </relations> | ||
1052 | <elements name="Vertical literal Orientation" definedInType="//@problemConainer/@types.12"/> | ||
1053 | <elements name="Horizontal literal Orientation" definedInType="//@problemConainer/@types.12"/> | ||
1054 | <elements name="Small literal Size" definedInType="//@problemConainer/@types.13"/> | ||
1055 | <elements name="Medium literal Size" definedInType="//@problemConainer/@types.13"/> | ||
1056 | <elements name="Large literal Size" definedInType="//@problemConainer/@types.13"/> | ||
1057 | <elements name="Near literal Distance" definedInType="//@problemConainer/@types.14"/> | ||
1058 | <elements name="Medium literal Distance" definedInType="//@problemConainer/@types.14"/> | ||
1059 | <elements name="Far literal Distance" definedInType="//@problemConainer/@types.14"/> | ||
1060 | <elements name="o 1" definedInType="//@problemConainer/@types.15"/> | ||
1061 | <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.1 //@problemConainer/@types.3 //@problemConainer/@types.6 //@problemConainer/@types.9 //@problemConainer/@types.2 //@problemConainer/@types.0 //@problemConainer/@types.4 //@problemConainer/@types.11 //@problemConainer/@types.5 //@problemConainer/@types.8 //@problemConainer/@types.10 //@problemConainer/@types.7 //@problemConainer/@types.15 //@problemConainer/@types.16" containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.1 //@problemConainer/@relations.4"/> | ||
1062 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.2" upper="2"/> | ||
1063 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.5" lower="1"/> | ||
1064 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" upper="1"/> | ||
1065 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.6" lower="1"/> | ||
1066 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" upper="1"/> | ||
1067 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.7" upper="1"/> | ||
1068 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.6" inverseA="//@problemConainer/@relations.3" inverseB="//@problemConainer/@relations.5"/> | ||
1069 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.7" relation="//@problemConainer/@relations.8" upper="1"/> | ||
1070 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.8" relation="//@problemConainer/@relations.9" upper="1"/> | ||
1071 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.9" relation="//@problemConainer/@relations.10" lower="1"/> | ||
1072 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.10" relation="//@problemConainer/@relations.10" upper="1"/> | ||
1073 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.11" relation="//@problemConainer/@relations.11" lower="1"/> | ||
1074 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.12" relation="//@problemConainer/@relations.11" upper="1"/> | ||
1075 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.13" relation="//@problemConainer/@relations.12" lower="1"/> | ||
1076 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.14" relation="//@problemConainer/@relations.12" upper="1"/> | ||
1077 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.15" relation="//@problemConainer/@relations.13" lower="1"/> | ||
1078 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.16" relation="//@problemConainer/@relations.13" upper="1"/> | ||
1079 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.17" relation="//@problemConainer/@relations.14" lower="1"/> | ||
1080 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.18" relation="//@problemConainer/@relations.14" upper="1"/> | ||
1081 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.19" relation="//@problemConainer/@relations.15" lower="1"/> | ||
1082 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.20" relation="//@problemConainer/@relations.15" upper="1"/> | ||
1083 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.21" relation="//@problemConainer/@relations.16" lower="1"/> | ||
1084 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.22" relation="//@problemConainer/@relations.16" upper="1"/> | ||
1085 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.23" relation="//@problemConainer/@relations.17" lower="1"/> | ||
1086 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.24" relation="//@problemConainer/@relations.17" upper="1"/> | ||
1087 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.25" relation="//@problemConainer/@relations.18" lower="1"/> | ||
1088 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.26" relation="//@problemConainer/@relations.18" upper="1"/> | ||
1089 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.27" relation="//@problemConainer/@relations.19" lower="1"/> | ||
1090 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.28" relation="//@problemConainer/@relations.19" upper="1"/> | ||
1091 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.29" relation="//@problemConainer/@relations.20" lower="1"/> | ||
1092 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.30" relation="//@problemConainer/@relations.20" upper="1"/> | ||
1093 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.31" relation="//@problemConainer/@relations.21" lower="1"/> | ||
1094 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.32" relation="//@problemConainer/@relations.21" upper="1"/> | ||
1095 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.33" targetRelation="//@problemConainer/@relations.8"/> | ||
1096 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.34" targetRelation="//@problemConainer/@relations.9"/> | ||
1097 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.22" patternFullyQualifiedName="queries.refSpec"> | ||
1098 | <variableTrace targetLogicVariable="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1099 | </annotations> | ||
1100 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.35" query="//@problemConainer/@annotations.35"/> | ||
1101 | </problemConainer> | ||
1102 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.4"/> | ||
1103 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.5"/> | ||
1104 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.6"/> | ||
1105 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.7"/> | ||
1106 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.8"/> | ||
1107 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.9"/> | ||
1108 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.10"/> | ||
1109 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.11"/> | ||
1110 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.12"/> | ||
1111 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.13"/> | ||
1112 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.14"/> | ||
1113 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.15"/> | ||
1114 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.16"/> | ||
1115 | </partialinterpretation:PartialInterpretation> | ||
diff --git a/Domains/crossingScenario/inputs/Debug/partial.xmi b/Domains/crossingScenario/inputs/Debug/partial.xmi new file mode 100644 index 00000000..2b25e65e --- /dev/null +++ b/Domains/crossingScenario/inputs/Debug/partial.xmi | |||
@@ -0,0 +1,1115 @@ | |||
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" maxNewElements="20"> | ||
3 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.0" param1="//@problemConainer/@relations.0/@parameters.0" param2="//@problemConainer/@relations.0/@parameters.1"/> | ||
4 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.1" param1="//@problemConainer/@relations.1/@parameters.0" param2="//@problemConainer/@relations.1/@parameters.1"> | ||
5 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.3"/> | ||
6 | </partialrelationinterpretation> | ||
7 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.2" param1="//@problemConainer/@relations.2/@parameters.0" param2="//@problemConainer/@relations.2/@parameters.1"/> | ||
8 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.3" param1="//@problemConainer/@relations.3/@parameters.0" param2="//@problemConainer/@relations.3/@parameters.1"/> | ||
9 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.4" param1="//@problemConainer/@relations.4/@parameters.0" param2="//@problemConainer/@relations.4/@parameters.1"/> | ||
10 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.5" param1="//@problemConainer/@relations.5/@parameters.0" param2="//@problemConainer/@relations.5/@parameters.1"/> | ||
11 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.6" param1="//@problemConainer/@relations.6/@parameters.0" param2="//@problemConainer/@relations.6/@parameters.1"/> | ||
12 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.7" param1="//@problemConainer/@relations.7/@parameters.0" param2="//@problemConainer/@relations.7/@parameters.1"/> | ||
13 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.8" param1="//@problemConainer/@relations.8/@parameters.0" param2="//@problemConainer/@relations.8/@parameters.1"> | ||
14 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/> | ||
15 | </partialrelationinterpretation> | ||
16 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.9" param1="//@problemConainer/@relations.9/@parameters.0" param2="//@problemConainer/@relations.9/@parameters.1"> | ||
17 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@problemConainer/@elements.8" param2="//@newElements.2"/> | ||
18 | </partialrelationinterpretation> | ||
19 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.10" param1="//@problemConainer/@relations.10/@parameters.0" param2="//@problemConainer/@relations.10/@parameters.1"/> | ||
20 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.11" param1="//@problemConainer/@relations.11/@parameters.0" param2="//@problemConainer/@relations.11/@parameters.1"/> | ||
21 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.12" param1="//@problemConainer/@relations.12/@parameters.0" param2="//@problemConainer/@relations.12/@parameters.1"> | ||
22 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.4"/> | ||
23 | </partialrelationinterpretation> | ||
24 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.13" param1="//@problemConainer/@relations.13/@parameters.0" param2="//@problemConainer/@relations.13/@parameters.1"> | ||
25 | <relationlinks xsi:type="partialinterpretation:BinaryElementRelationLink" param1="//@newElements.3" param2="//@newElements.5"/> | ||
26 | </partialrelationinterpretation> | ||
27 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.14" param1="//@problemConainer/@relations.14/@parameters.0" param2="//@problemConainer/@relations.14/@parameters.1"/> | ||
28 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.15" param1="//@problemConainer/@relations.15/@parameters.0" param2="//@problemConainer/@relations.15/@parameters.1"/> | ||
29 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.16" param1="//@problemConainer/@relations.16/@parameters.0" param2="//@problemConainer/@relations.16/@parameters.1"/> | ||
30 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.17" param1="//@problemConainer/@relations.17/@parameters.0" param2="//@problemConainer/@relations.17/@parameters.1"/> | ||
31 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.18" param1="//@problemConainer/@relations.18/@parameters.0" param2="//@problemConainer/@relations.18/@parameters.1"/> | ||
32 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.19" param1="//@problemConainer/@relations.19/@parameters.0" param2="//@problemConainer/@relations.19/@parameters.1"/> | ||
33 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.20" param1="//@problemConainer/@relations.20/@parameters.0" param2="//@problemConainer/@relations.20/@parameters.1"/> | ||
34 | <partialrelationinterpretation interpretationOf="//@problemConainer/@relations.21" param1="//@problemConainer/@relations.21/@parameters.0" param2="//@problemConainer/@relations.21/@parameters.1"/> | ||
35 | <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/> | ||
36 | <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/> | ||
37 | <newElements xsi:type="partialinterpretation:RealElement" name="0.0" valueSet="true" value="0.0"/> | ||
38 | <newElements/> | ||
39 | <newElements xsi:type="partialinterpretation:RealElement"/> | ||
40 | <newElements xsi:type="partialinterpretation:RealElement"/> | ||
41 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/> | ||
42 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation"/> | ||
43 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@newElements.2 //@openWorldElements.0 //@newElements.4 //@newElements.5"/> | ||
44 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/> | ||
45 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@problemConainer/@elements.8" scopes="//@scopes.0" interpretationOf="//@problemConainer/@types.0"/> | ||
46 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" elements="//@newElements.3" scopes="//@scopes.1" interpretationOf="//@problemConainer/@types.1"/> | ||
47 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" interpretationOf="//@problemConainer/@types.2"/> | ||
48 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" interpretationOf="//@problemConainer/@types.3"/> | ||
49 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.4"/> | ||
50 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.5"/> | ||
51 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.6"/> | ||
52 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.7"/> | ||
53 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.8"/> | ||
54 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9" supertypeInterpretation="//@partialtypeinterpratation.9 //@partialtypeinterpratation.7" interpretationOf="//@problemConainer/@types.9"/> | ||
55 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.10"/> | ||
56 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.6" interpretationOf="//@problemConainer/@types.11"/> | ||
57 | <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.4" interpretationOf="//@problemConainer/@types.16"/> | ||
58 | <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/> | ||
59 | <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/> | ||
60 | <openWorldElements name="New Objects"/> | ||
61 | <problemConainer> | ||
62 | <types xsi:type="language:TypeDeclaration" name="SimpleScenario class" subtypes="//@problemConainer/@types.15 //@problemConainer/@types.16" isAbstract="true"/> | ||
63 | <types xsi:type="language:TypeDeclaration" name="Lane class"/> | ||
64 | <types xsi:type="language:TypeDeclaration" name="Actor class" subtypes="//@problemConainer/@types.10 //@problemConainer/@types.11" isAbstract="true"/> | ||
65 | <types xsi:type="language:TypeDeclaration" name="Relation class" subtypes="//@problemConainer/@types.4 //@problemConainer/@types.5" isAbstract="true"/> | ||
66 | <types xsi:type="language:TypeDeclaration" name="SpatialRelation class" subtypes="//@problemConainer/@types.6 //@problemConainer/@types.7" supertypes="//@problemConainer/@types.3" isAbstract="true"/> | ||
67 | <types xsi:type="language:TypeDeclaration" name="TemporalRelation class" subtypes="//@problemConainer/@types.8 //@problemConainer/@types.9" supertypes="//@problemConainer/@types.3" isAbstract="true"/> | ||
68 | <types xsi:type="language:TypeDeclaration" name="VisionBlocked class" supertypes="//@problemConainer/@types.4"/> | ||
69 | <types xsi:type="language:TypeDeclaration" name="SeperationDistance class" supertypes="//@problemConainer/@types.4"/> | ||
70 | <types xsi:type="language:TypeDeclaration" name="CollisionExists class" supertypes="//@problemConainer/@types.5"/> | ||
71 | <types xsi:type="language:TypeDeclaration" name="CollisionDoesNotExist class" supertypes="//@problemConainer/@types.5"/> | ||
72 | <types xsi:type="language:TypeDeclaration" name="Pedestrian class" supertypes="//@problemConainer/@types.2"/> | ||
73 | <types xsi:type="language:TypeDeclaration" name="Vehicle class" supertypes="//@problemConainer/@types.2"/> | ||
74 | <types xsi:type="language:TypeDefinition" name="Orientation enum" elements="//@problemConainer/@elements.0 //@problemConainer/@elements.1"/> | ||
75 | <types xsi:type="language:TypeDefinition" name="Size enum" elements="//@problemConainer/@elements.2 //@problemConainer/@elements.3 //@problemConainer/@elements.4"/> | ||
76 | <types xsi:type="language:TypeDefinition" name="Distance enum" elements="//@problemConainer/@elements.5 //@problemConainer/@elements.6 //@problemConainer/@elements.7"/> | ||
77 | <types xsi:type="language:TypeDefinition" name="SimpleScenario class DefinedPart" supertypes="//@problemConainer/@types.0" elements="//@problemConainer/@elements.8"/> | ||
78 | <types xsi:type="language:TypeDeclaration" name="SimpleScenario class UndefinedPart" supertypes="//@problemConainer/@types.0"/> | ||
79 | <assertions name="upperMultiplicity adjacent Lane" annotations="//@problemConainer/@annotations.0"> | ||
80 | <value xsi:type="language:Forall"> | ||
81 | <quantifiedVariables name="src"> | ||
82 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
83 | </quantifiedVariables> | ||
84 | <quantifiedVariables name="trg 1"> | ||
85 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
86 | </quantifiedVariables> | ||
87 | <quantifiedVariables name="trg 2"> | ||
88 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
89 | </quantifiedVariables> | ||
90 | <quantifiedVariables name="trg 3"> | ||
91 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
92 | </quantifiedVariables> | ||
93 | <expression xsi:type="language:Impl"> | ||
94 | <leftOperand xsi:type="language:And"> | ||
95 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2"> | ||
96 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
97 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/> | ||
98 | </operands> | ||
99 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2"> | ||
100 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
101 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/> | ||
102 | </operands> | ||
103 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.2"> | ||
104 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.0"/> | ||
105 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/> | ||
106 | </operands> | ||
107 | </leftOperand> | ||
108 | <rightOperand xsi:type="language:Not"> | ||
109 | <operand xsi:type="language:Distinct"> | ||
110 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.1"/> | ||
111 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.2"/> | ||
112 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.0/@value/@quantifiedVariables.3"/> | ||
113 | </operand> | ||
114 | </rightOperand> | ||
115 | </expression> | ||
116 | </value> | ||
117 | </assertions> | ||
118 | <assertions name="lowerMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.1"> | ||
119 | <value xsi:type="language:Forall"> | ||
120 | <quantifiedVariables name="src"> | ||
121 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
122 | </quantifiedVariables> | ||
123 | <expression xsi:type="language:Exists"> | ||
124 | <quantifiedVariables name="trg 1"> | ||
125 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
126 | </quantifiedVariables> | ||
127 | <expression xsi:type="language:And"> | ||
128 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
129 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@quantifiedVariables.0"/> | ||
130 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.1/@value/@expression/@quantifiedVariables.0"/> | ||
131 | </operands> | ||
132 | </expression> | ||
133 | </expression> | ||
134 | </value> | ||
135 | </assertions> | ||
136 | <assertions name="upperMultiplicity placedOn Actor" annotations="//@problemConainer/@annotations.2"> | ||
137 | <value xsi:type="language:Forall"> | ||
138 | <quantifiedVariables name="src"> | ||
139 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
140 | </quantifiedVariables> | ||
141 | <quantifiedVariables name="trg 1"> | ||
142 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
143 | </quantifiedVariables> | ||
144 | <quantifiedVariables name="trg 2"> | ||
145 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
146 | </quantifiedVariables> | ||
147 | <expression xsi:type="language:Impl"> | ||
148 | <leftOperand xsi:type="language:And"> | ||
149 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
150 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/> | ||
151 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/> | ||
152 | </operands> | ||
153 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
154 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.0"/> | ||
155 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/> | ||
156 | </operands> | ||
157 | </leftOperand> | ||
158 | <rightOperand xsi:type="language:Not"> | ||
159 | <operand xsi:type="language:Distinct"> | ||
160 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.1"/> | ||
161 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.2/@value/@quantifiedVariables.2"/> | ||
162 | </operand> | ||
163 | </rightOperand> | ||
164 | </expression> | ||
165 | </value> | ||
166 | </assertions> | ||
167 | <assertions name="lowerMultiplicity target Relation" annotations="//@problemConainer/@annotations.3"> | ||
168 | <value xsi:type="language:Forall"> | ||
169 | <quantifiedVariables name="src"> | ||
170 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
171 | </quantifiedVariables> | ||
172 | <expression xsi:type="language:Exists"> | ||
173 | <quantifiedVariables name="trg 1"> | ||
174 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
175 | </quantifiedVariables> | ||
176 | <expression xsi:type="language:And"> | ||
177 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
178 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@quantifiedVariables.0"/> | ||
179 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.3/@value/@expression/@quantifiedVariables.0"/> | ||
180 | </operands> | ||
181 | </expression> | ||
182 | </expression> | ||
183 | </value> | ||
184 | </assertions> | ||
185 | <assertions name="upperMultiplicity target Relation" annotations="//@problemConainer/@annotations.4"> | ||
186 | <value xsi:type="language:Forall"> | ||
187 | <quantifiedVariables name="src"> | ||
188 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
189 | </quantifiedVariables> | ||
190 | <quantifiedVariables name="trg 1"> | ||
191 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
192 | </quantifiedVariables> | ||
193 | <quantifiedVariables name="trg 2"> | ||
194 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
195 | </quantifiedVariables> | ||
196 | <expression xsi:type="language:Impl"> | ||
197 | <leftOperand xsi:type="language:And"> | ||
198 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
199 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/> | ||
200 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/> | ||
201 | </operands> | ||
202 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.6"> | ||
203 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.0"/> | ||
204 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/> | ||
205 | </operands> | ||
206 | </leftOperand> | ||
207 | <rightOperand xsi:type="language:Not"> | ||
208 | <operand xsi:type="language:Distinct"> | ||
209 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.1"/> | ||
210 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.4/@value/@quantifiedVariables.2"/> | ||
211 | </operand> | ||
212 | </rightOperand> | ||
213 | </expression> | ||
214 | </value> | ||
215 | </assertions> | ||
216 | <assertions name="upperMultiplicity blockedBy VisionBlocked" annotations="//@problemConainer/@annotations.5"> | ||
217 | <value xsi:type="language:Forall"> | ||
218 | <quantifiedVariables name="src"> | ||
219 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/> | ||
220 | </quantifiedVariables> | ||
221 | <quantifiedVariables name="trg 1"> | ||
222 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
223 | </quantifiedVariables> | ||
224 | <quantifiedVariables name="trg 2"> | ||
225 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
226 | </quantifiedVariables> | ||
227 | <expression xsi:type="language:Impl"> | ||
228 | <leftOperand xsi:type="language:And"> | ||
229 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
230 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/> | ||
231 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/> | ||
232 | </operands> | ||
233 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.7"> | ||
234 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.0"/> | ||
235 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/> | ||
236 | </operands> | ||
237 | </leftOperand> | ||
238 | <rightOperand xsi:type="language:Not"> | ||
239 | <operand xsi:type="language:Distinct"> | ||
240 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.1"/> | ||
241 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.5/@value/@quantifiedVariables.2"/> | ||
242 | </operand> | ||
243 | </rightOperand> | ||
244 | </expression> | ||
245 | </value> | ||
246 | </assertions> | ||
247 | <assertions name="oppositeReference actors Lane" annotations="//@problemConainer/@annotations.6"> | ||
248 | <value xsi:type="language:Forall"> | ||
249 | <quantifiedVariables name="src"> | ||
250 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
251 | </quantifiedVariables> | ||
252 | <quantifiedVariables name="trg"> | ||
253 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
254 | </quantifiedVariables> | ||
255 | <expression xsi:type="language:Iff"> | ||
256 | <leftOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.3"> | ||
257 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/> | ||
258 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/> | ||
259 | </leftOperand> | ||
260 | <rightOperand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.5"> | ||
261 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.1"/> | ||
262 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.6/@value/@quantifiedVariables.0"/> | ||
263 | </rightOperand> | ||
264 | </expression> | ||
265 | </value> | ||
266 | </assertions> | ||
267 | <assertions name="upperMultiplicity xSize SimpleScenario" annotations="//@problemConainer/@annotations.7"> | ||
268 | <value xsi:type="language:Forall"> | ||
269 | <quantifiedVariables name="src"> | ||
270 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
271 | </quantifiedVariables> | ||
272 | <quantifiedVariables name="trg 1"> | ||
273 | <range xsi:type="language:RealTypeReference"/> | ||
274 | </quantifiedVariables> | ||
275 | <quantifiedVariables name="trg 2"> | ||
276 | <range xsi:type="language:RealTypeReference"/> | ||
277 | </quantifiedVariables> | ||
278 | <expression xsi:type="language:Impl"> | ||
279 | <leftOperand xsi:type="language:And"> | ||
280 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
281 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/> | ||
282 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/> | ||
283 | </operands> | ||
284 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
285 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.0"/> | ||
286 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/> | ||
287 | </operands> | ||
288 | </leftOperand> | ||
289 | <rightOperand xsi:type="language:Not"> | ||
290 | <operand xsi:type="language:Distinct"> | ||
291 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.1"/> | ||
292 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.7/@value/@quantifiedVariables.2"/> | ||
293 | </operand> | ||
294 | </rightOperand> | ||
295 | </expression> | ||
296 | </value> | ||
297 | </assertions> | ||
298 | <assertions name="upperMultiplicity ySize SimpleScenario" annotations="//@problemConainer/@annotations.8"> | ||
299 | <value xsi:type="language:Forall"> | ||
300 | <quantifiedVariables name="src"> | ||
301 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
302 | </quantifiedVariables> | ||
303 | <quantifiedVariables name="trg 1"> | ||
304 | <range xsi:type="language:RealTypeReference"/> | ||
305 | </quantifiedVariables> | ||
306 | <quantifiedVariables name="trg 2"> | ||
307 | <range xsi:type="language:RealTypeReference"/> | ||
308 | </quantifiedVariables> | ||
309 | <expression xsi:type="language:Impl"> | ||
310 | <leftOperand xsi:type="language:And"> | ||
311 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
312 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/> | ||
313 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/> | ||
314 | </operands> | ||
315 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
316 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.0"/> | ||
317 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/> | ||
318 | </operands> | ||
319 | </leftOperand> | ||
320 | <rightOperand xsi:type="language:Not"> | ||
321 | <operand xsi:type="language:Distinct"> | ||
322 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.1"/> | ||
323 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.8/@value/@quantifiedVariables.2"/> | ||
324 | </operand> | ||
325 | </rightOperand> | ||
326 | </expression> | ||
327 | </value> | ||
328 | </assertions> | ||
329 | <assertions name="lowerMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.9"> | ||
330 | <value xsi:type="language:Forall"> | ||
331 | <quantifiedVariables name="src"> | ||
332 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
333 | </quantifiedVariables> | ||
334 | <expression xsi:type="language:Exists"> | ||
335 | <quantifiedVariables name="trg 1"> | ||
336 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
337 | </quantifiedVariables> | ||
338 | <expression xsi:type="language:And"> | ||
339 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
340 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@quantifiedVariables.0"/> | ||
341 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.9/@value/@expression/@quantifiedVariables.0"/> | ||
342 | </operands> | ||
343 | </expression> | ||
344 | </expression> | ||
345 | </value> | ||
346 | </assertions> | ||
347 | <assertions name="upperMultiplicity orientation Lane" annotations="//@problemConainer/@annotations.10"> | ||
348 | <value xsi:type="language:Forall"> | ||
349 | <quantifiedVariables name="src"> | ||
350 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
351 | </quantifiedVariables> | ||
352 | <quantifiedVariables name="trg 1"> | ||
353 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
354 | </quantifiedVariables> | ||
355 | <quantifiedVariables name="trg 2"> | ||
356 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
357 | </quantifiedVariables> | ||
358 | <expression xsi:type="language:Impl"> | ||
359 | <leftOperand xsi:type="language:And"> | ||
360 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
361 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/> | ||
362 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/> | ||
363 | </operands> | ||
364 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.10"> | ||
365 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.0"/> | ||
366 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/> | ||
367 | </operands> | ||
368 | </leftOperand> | ||
369 | <rightOperand xsi:type="language:Not"> | ||
370 | <operand xsi:type="language:Distinct"> | ||
371 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.1"/> | ||
372 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.10/@value/@quantifiedVariables.2"/> | ||
373 | </operand> | ||
374 | </rightOperand> | ||
375 | </expression> | ||
376 | </value> | ||
377 | </assertions> | ||
378 | <assertions name="lowerMultiplicity width Lane" annotations="//@problemConainer/@annotations.11"> | ||
379 | <value xsi:type="language:Forall"> | ||
380 | <quantifiedVariables name="src"> | ||
381 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
382 | </quantifiedVariables> | ||
383 | <expression xsi:type="language:Exists"> | ||
384 | <quantifiedVariables name="trg 1"> | ||
385 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
386 | </quantifiedVariables> | ||
387 | <expression xsi:type="language:And"> | ||
388 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
389 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@quantifiedVariables.0"/> | ||
390 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.11/@value/@expression/@quantifiedVariables.0"/> | ||
391 | </operands> | ||
392 | </expression> | ||
393 | </expression> | ||
394 | </value> | ||
395 | </assertions> | ||
396 | <assertions name="upperMultiplicity width Lane" annotations="//@problemConainer/@annotations.12"> | ||
397 | <value xsi:type="language:Forall"> | ||
398 | <quantifiedVariables name="src"> | ||
399 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
400 | </quantifiedVariables> | ||
401 | <quantifiedVariables name="trg 1"> | ||
402 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
403 | </quantifiedVariables> | ||
404 | <quantifiedVariables name="trg 2"> | ||
405 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
406 | </quantifiedVariables> | ||
407 | <expression xsi:type="language:Impl"> | ||
408 | <leftOperand xsi:type="language:And"> | ||
409 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
410 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/> | ||
411 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/> | ||
412 | </operands> | ||
413 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.11"> | ||
414 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.0"/> | ||
415 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/> | ||
416 | </operands> | ||
417 | </leftOperand> | ||
418 | <rightOperand xsi:type="language:Not"> | ||
419 | <operand xsi:type="language:Distinct"> | ||
420 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.1"/> | ||
421 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.12/@value/@quantifiedVariables.2"/> | ||
422 | </operand> | ||
423 | </rightOperand> | ||
424 | </expression> | ||
425 | </value> | ||
426 | </assertions> | ||
427 | <assertions name="lowerMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.13"> | ||
428 | <value xsi:type="language:Forall"> | ||
429 | <quantifiedVariables name="src"> | ||
430 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
431 | </quantifiedVariables> | ||
432 | <expression xsi:type="language:Exists"> | ||
433 | <quantifiedVariables name="trg 1"> | ||
434 | <range xsi:type="language:RealTypeReference"/> | ||
435 | </quantifiedVariables> | ||
436 | <expression xsi:type="language:And"> | ||
437 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
438 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@quantifiedVariables.0"/> | ||
439 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.13/@value/@expression/@quantifiedVariables.0"/> | ||
440 | </operands> | ||
441 | </expression> | ||
442 | </expression> | ||
443 | </value> | ||
444 | </assertions> | ||
445 | <assertions name="upperMultiplicity referenceCoord Lane" annotations="//@problemConainer/@annotations.14"> | ||
446 | <value xsi:type="language:Forall"> | ||
447 | <quantifiedVariables name="src"> | ||
448 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
449 | </quantifiedVariables> | ||
450 | <quantifiedVariables name="trg 1"> | ||
451 | <range xsi:type="language:RealTypeReference"/> | ||
452 | </quantifiedVariables> | ||
453 | <quantifiedVariables name="trg 2"> | ||
454 | <range xsi:type="language:RealTypeReference"/> | ||
455 | </quantifiedVariables> | ||
456 | <expression xsi:type="language:Impl"> | ||
457 | <leftOperand xsi:type="language:And"> | ||
458 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
459 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/> | ||
460 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/> | ||
461 | </operands> | ||
462 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
463 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.0"/> | ||
464 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/> | ||
465 | </operands> | ||
466 | </leftOperand> | ||
467 | <rightOperand xsi:type="language:Not"> | ||
468 | <operand xsi:type="language:Distinct"> | ||
469 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.1"/> | ||
470 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.14/@value/@quantifiedVariables.2"/> | ||
471 | </operand> | ||
472 | </rightOperand> | ||
473 | </expression> | ||
474 | </value> | ||
475 | </assertions> | ||
476 | <assertions name="lowerMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.15"> | ||
477 | <value xsi:type="language:Forall"> | ||
478 | <quantifiedVariables name="src"> | ||
479 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
480 | </quantifiedVariables> | ||
481 | <expression xsi:type="language:Exists"> | ||
482 | <quantifiedVariables name="trg 1"> | ||
483 | <range xsi:type="language:RealTypeReference"/> | ||
484 | </quantifiedVariables> | ||
485 | <expression xsi:type="language:And"> | ||
486 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
487 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@quantifiedVariables.0"/> | ||
488 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.15/@value/@expression/@quantifiedVariables.0"/> | ||
489 | </operands> | ||
490 | </expression> | ||
491 | </expression> | ||
492 | </value> | ||
493 | </assertions> | ||
494 | <assertions name="upperMultiplicity numWidth Lane" annotations="//@problemConainer/@annotations.16"> | ||
495 | <value xsi:type="language:Forall"> | ||
496 | <quantifiedVariables name="src"> | ||
497 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
498 | </quantifiedVariables> | ||
499 | <quantifiedVariables name="trg 1"> | ||
500 | <range xsi:type="language:RealTypeReference"/> | ||
501 | </quantifiedVariables> | ||
502 | <quantifiedVariables name="trg 2"> | ||
503 | <range xsi:type="language:RealTypeReference"/> | ||
504 | </quantifiedVariables> | ||
505 | <expression xsi:type="language:Impl"> | ||
506 | <leftOperand xsi:type="language:And"> | ||
507 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
508 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/> | ||
509 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/> | ||
510 | </operands> | ||
511 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.13"> | ||
512 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.0"/> | ||
513 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/> | ||
514 | </operands> | ||
515 | </leftOperand> | ||
516 | <rightOperand xsi:type="language:Not"> | ||
517 | <operand xsi:type="language:Distinct"> | ||
518 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.1"/> | ||
519 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.16/@value/@quantifiedVariables.2"/> | ||
520 | </operand> | ||
521 | </rightOperand> | ||
522 | </expression> | ||
523 | </value> | ||
524 | </assertions> | ||
525 | <assertions name="lowerMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.17"> | ||
526 | <value xsi:type="language:Forall"> | ||
527 | <quantifiedVariables name="src"> | ||
528 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
529 | </quantifiedVariables> | ||
530 | <expression xsi:type="language:Exists"> | ||
531 | <quantifiedVariables name="trg 1"> | ||
532 | <range xsi:type="language:RealTypeReference"/> | ||
533 | </quantifiedVariables> | ||
534 | <expression xsi:type="language:And"> | ||
535 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
536 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@quantifiedVariables.0"/> | ||
537 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.17/@value/@expression/@quantifiedVariables.0"/> | ||
538 | </operands> | ||
539 | </expression> | ||
540 | </expression> | ||
541 | </value> | ||
542 | </assertions> | ||
543 | <assertions name="upperMultiplicity xPos Actor" annotations="//@problemConainer/@annotations.18"> | ||
544 | <value xsi:type="language:Forall"> | ||
545 | <quantifiedVariables name="src"> | ||
546 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
547 | </quantifiedVariables> | ||
548 | <quantifiedVariables name="trg 1"> | ||
549 | <range xsi:type="language:RealTypeReference"/> | ||
550 | </quantifiedVariables> | ||
551 | <quantifiedVariables name="trg 2"> | ||
552 | <range xsi:type="language:RealTypeReference"/> | ||
553 | </quantifiedVariables> | ||
554 | <expression xsi:type="language:Impl"> | ||
555 | <leftOperand xsi:type="language:And"> | ||
556 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
557 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/> | ||
558 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/> | ||
559 | </operands> | ||
560 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.14"> | ||
561 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.0"/> | ||
562 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/> | ||
563 | </operands> | ||
564 | </leftOperand> | ||
565 | <rightOperand xsi:type="language:Not"> | ||
566 | <operand xsi:type="language:Distinct"> | ||
567 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.1"/> | ||
568 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.18/@value/@quantifiedVariables.2"/> | ||
569 | </operand> | ||
570 | </rightOperand> | ||
571 | </expression> | ||
572 | </value> | ||
573 | </assertions> | ||
574 | <assertions name="lowerMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.19"> | ||
575 | <value xsi:type="language:Forall"> | ||
576 | <quantifiedVariables name="src"> | ||
577 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
578 | </quantifiedVariables> | ||
579 | <expression xsi:type="language:Exists"> | ||
580 | <quantifiedVariables name="trg 1"> | ||
581 | <range xsi:type="language:RealTypeReference"/> | ||
582 | </quantifiedVariables> | ||
583 | <expression xsi:type="language:And"> | ||
584 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
585 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@quantifiedVariables.0"/> | ||
586 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.19/@value/@expression/@quantifiedVariables.0"/> | ||
587 | </operands> | ||
588 | </expression> | ||
589 | </expression> | ||
590 | </value> | ||
591 | </assertions> | ||
592 | <assertions name="upperMultiplicity yPos Actor" annotations="//@problemConainer/@annotations.20"> | ||
593 | <value xsi:type="language:Forall"> | ||
594 | <quantifiedVariables name="src"> | ||
595 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
596 | </quantifiedVariables> | ||
597 | <quantifiedVariables name="trg 1"> | ||
598 | <range xsi:type="language:RealTypeReference"/> | ||
599 | </quantifiedVariables> | ||
600 | <quantifiedVariables name="trg 2"> | ||
601 | <range xsi:type="language:RealTypeReference"/> | ||
602 | </quantifiedVariables> | ||
603 | <expression xsi:type="language:Impl"> | ||
604 | <leftOperand xsi:type="language:And"> | ||
605 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
606 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/> | ||
607 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/> | ||
608 | </operands> | ||
609 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.15"> | ||
610 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.0"/> | ||
611 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/> | ||
612 | </operands> | ||
613 | </leftOperand> | ||
614 | <rightOperand xsi:type="language:Not"> | ||
615 | <operand xsi:type="language:Distinct"> | ||
616 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.1"/> | ||
617 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.20/@value/@quantifiedVariables.2"/> | ||
618 | </operand> | ||
619 | </rightOperand> | ||
620 | </expression> | ||
621 | </value> | ||
622 | </assertions> | ||
623 | <assertions name="lowerMultiplicity length Actor" annotations="//@problemConainer/@annotations.21"> | ||
624 | <value xsi:type="language:Forall"> | ||
625 | <quantifiedVariables name="src"> | ||
626 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
627 | </quantifiedVariables> | ||
628 | <expression xsi:type="language:Exists"> | ||
629 | <quantifiedVariables name="trg 1"> | ||
630 | <range xsi:type="language:RealTypeReference"/> | ||
631 | </quantifiedVariables> | ||
632 | <expression xsi:type="language:And"> | ||
633 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
634 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@quantifiedVariables.0"/> | ||
635 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.21/@value/@expression/@quantifiedVariables.0"/> | ||
636 | </operands> | ||
637 | </expression> | ||
638 | </expression> | ||
639 | </value> | ||
640 | </assertions> | ||
641 | <assertions name="upperMultiplicity length Actor" annotations="//@problemConainer/@annotations.22"> | ||
642 | <value xsi:type="language:Forall"> | ||
643 | <quantifiedVariables name="src"> | ||
644 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
645 | </quantifiedVariables> | ||
646 | <quantifiedVariables name="trg 1"> | ||
647 | <range xsi:type="language:RealTypeReference"/> | ||
648 | </quantifiedVariables> | ||
649 | <quantifiedVariables name="trg 2"> | ||
650 | <range xsi:type="language:RealTypeReference"/> | ||
651 | </quantifiedVariables> | ||
652 | <expression xsi:type="language:Impl"> | ||
653 | <leftOperand xsi:type="language:And"> | ||
654 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
655 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/> | ||
656 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/> | ||
657 | </operands> | ||
658 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.16"> | ||
659 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.0"/> | ||
660 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/> | ||
661 | </operands> | ||
662 | </leftOperand> | ||
663 | <rightOperand xsi:type="language:Not"> | ||
664 | <operand xsi:type="language:Distinct"> | ||
665 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.1"/> | ||
666 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.22/@value/@quantifiedVariables.2"/> | ||
667 | </operand> | ||
668 | </rightOperand> | ||
669 | </expression> | ||
670 | </value> | ||
671 | </assertions> | ||
672 | <assertions name="lowerMultiplicity width Actor" annotations="//@problemConainer/@annotations.23"> | ||
673 | <value xsi:type="language:Forall"> | ||
674 | <quantifiedVariables name="src"> | ||
675 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
676 | </quantifiedVariables> | ||
677 | <expression xsi:type="language:Exists"> | ||
678 | <quantifiedVariables name="trg 1"> | ||
679 | <range xsi:type="language:RealTypeReference"/> | ||
680 | </quantifiedVariables> | ||
681 | <expression xsi:type="language:And"> | ||
682 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
683 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@quantifiedVariables.0"/> | ||
684 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.23/@value/@expression/@quantifiedVariables.0"/> | ||
685 | </operands> | ||
686 | </expression> | ||
687 | </expression> | ||
688 | </value> | ||
689 | </assertions> | ||
690 | <assertions name="upperMultiplicity width Actor" annotations="//@problemConainer/@annotations.24"> | ||
691 | <value xsi:type="language:Forall"> | ||
692 | <quantifiedVariables name="src"> | ||
693 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
694 | </quantifiedVariables> | ||
695 | <quantifiedVariables name="trg 1"> | ||
696 | <range xsi:type="language:RealTypeReference"/> | ||
697 | </quantifiedVariables> | ||
698 | <quantifiedVariables name="trg 2"> | ||
699 | <range xsi:type="language:RealTypeReference"/> | ||
700 | </quantifiedVariables> | ||
701 | <expression xsi:type="language:Impl"> | ||
702 | <leftOperand xsi:type="language:And"> | ||
703 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
704 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/> | ||
705 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/> | ||
706 | </operands> | ||
707 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.17"> | ||
708 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.0"/> | ||
709 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/> | ||
710 | </operands> | ||
711 | </leftOperand> | ||
712 | <rightOperand xsi:type="language:Not"> | ||
713 | <operand xsi:type="language:Distinct"> | ||
714 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.1"/> | ||
715 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.24/@value/@quantifiedVariables.2"/> | ||
716 | </operand> | ||
717 | </rightOperand> | ||
718 | </expression> | ||
719 | </value> | ||
720 | </assertions> | ||
721 | <assertions name="lowerMultiplicity speed Actor" annotations="//@problemConainer/@annotations.25"> | ||
722 | <value xsi:type="language:Forall"> | ||
723 | <quantifiedVariables name="src"> | ||
724 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
725 | </quantifiedVariables> | ||
726 | <expression xsi:type="language:Exists"> | ||
727 | <quantifiedVariables name="trg 1"> | ||
728 | <range xsi:type="language:RealTypeReference"/> | ||
729 | </quantifiedVariables> | ||
730 | <expression xsi:type="language:And"> | ||
731 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
732 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@quantifiedVariables.0"/> | ||
733 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.25/@value/@expression/@quantifiedVariables.0"/> | ||
734 | </operands> | ||
735 | </expression> | ||
736 | </expression> | ||
737 | </value> | ||
738 | </assertions> | ||
739 | <assertions name="upperMultiplicity speed Actor" annotations="//@problemConainer/@annotations.26"> | ||
740 | <value xsi:type="language:Forall"> | ||
741 | <quantifiedVariables name="src"> | ||
742 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
743 | </quantifiedVariables> | ||
744 | <quantifiedVariables name="trg 1"> | ||
745 | <range xsi:type="language:RealTypeReference"/> | ||
746 | </quantifiedVariables> | ||
747 | <quantifiedVariables name="trg 2"> | ||
748 | <range xsi:type="language:RealTypeReference"/> | ||
749 | </quantifiedVariables> | ||
750 | <expression xsi:type="language:Impl"> | ||
751 | <leftOperand xsi:type="language:And"> | ||
752 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
753 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/> | ||
754 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/> | ||
755 | </operands> | ||
756 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.18"> | ||
757 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.0"/> | ||
758 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/> | ||
759 | </operands> | ||
760 | </leftOperand> | ||
761 | <rightOperand xsi:type="language:Not"> | ||
762 | <operand xsi:type="language:Distinct"> | ||
763 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.1"/> | ||
764 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.26/@value/@quantifiedVariables.2"/> | ||
765 | </operand> | ||
766 | </rightOperand> | ||
767 | </expression> | ||
768 | </value> | ||
769 | </assertions> | ||
770 | <assertions name="lowerMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.27"> | ||
771 | <value xsi:type="language:Forall"> | ||
772 | <quantifiedVariables name="src"> | ||
773 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
774 | </quantifiedVariables> | ||
775 | <expression xsi:type="language:Exists"> | ||
776 | <quantifiedVariables name="trg 1"> | ||
777 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
778 | </quantifiedVariables> | ||
779 | <expression xsi:type="language:And"> | ||
780 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19"> | ||
781 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@quantifiedVariables.0"/> | ||
782 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.27/@value/@expression/@quantifiedVariables.0"/> | ||
783 | </operands> | ||
784 | </expression> | ||
785 | </expression> | ||
786 | </value> | ||
787 | </assertions> | ||
788 | <assertions name="upperMultiplicity distance SeperationDistance" annotations="//@problemConainer/@annotations.28"> | ||
789 | <value xsi:type="language:Forall"> | ||
790 | <quantifiedVariables name="src"> | ||
791 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
792 | </quantifiedVariables> | ||
793 | <quantifiedVariables name="trg 1"> | ||
794 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
795 | </quantifiedVariables> | ||
796 | <quantifiedVariables name="trg 2"> | ||
797 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
798 | </quantifiedVariables> | ||
799 | <expression xsi:type="language:Impl"> | ||
800 | <leftOperand xsi:type="language:And"> | ||
801 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19"> | ||
802 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/> | ||
803 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/> | ||
804 | </operands> | ||
805 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.19"> | ||
806 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.0"/> | ||
807 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/> | ||
808 | </operands> | ||
809 | </leftOperand> | ||
810 | <rightOperand xsi:type="language:Not"> | ||
811 | <operand xsi:type="language:Distinct"> | ||
812 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.1"/> | ||
813 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.28/@value/@quantifiedVariables.2"/> | ||
814 | </operand> | ||
815 | </rightOperand> | ||
816 | </expression> | ||
817 | </value> | ||
818 | </assertions> | ||
819 | <assertions name="lowerMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.29"> | ||
820 | <value xsi:type="language:Forall"> | ||
821 | <quantifiedVariables name="src"> | ||
822 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
823 | </quantifiedVariables> | ||
824 | <expression xsi:type="language:Exists"> | ||
825 | <quantifiedVariables name="trg 1"> | ||
826 | <range xsi:type="language:RealTypeReference"/> | ||
827 | </quantifiedVariables> | ||
828 | <expression xsi:type="language:And"> | ||
829 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
830 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@quantifiedVariables.0"/> | ||
831 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.29/@value/@expression/@quantifiedVariables.0"/> | ||
832 | </operands> | ||
833 | </expression> | ||
834 | </expression> | ||
835 | </value> | ||
836 | </assertions> | ||
837 | <assertions name="upperMultiplicity numDistance SeperationDistance" annotations="//@problemConainer/@annotations.30"> | ||
838 | <value xsi:type="language:Forall"> | ||
839 | <quantifiedVariables name="src"> | ||
840 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
841 | </quantifiedVariables> | ||
842 | <quantifiedVariables name="trg 1"> | ||
843 | <range xsi:type="language:RealTypeReference"/> | ||
844 | </quantifiedVariables> | ||
845 | <quantifiedVariables name="trg 2"> | ||
846 | <range xsi:type="language:RealTypeReference"/> | ||
847 | </quantifiedVariables> | ||
848 | <expression xsi:type="language:Impl"> | ||
849 | <leftOperand xsi:type="language:And"> | ||
850 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
851 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/> | ||
852 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/> | ||
853 | </operands> | ||
854 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.20"> | ||
855 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.0"/> | ||
856 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/> | ||
857 | </operands> | ||
858 | </leftOperand> | ||
859 | <rightOperand xsi:type="language:Not"> | ||
860 | <operand xsi:type="language:Distinct"> | ||
861 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.1"/> | ||
862 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.30/@value/@quantifiedVariables.2"/> | ||
863 | </operand> | ||
864 | </rightOperand> | ||
865 | </expression> | ||
866 | </value> | ||
867 | </assertions> | ||
868 | <assertions name="lowerMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.31"> | ||
869 | <value xsi:type="language:Forall"> | ||
870 | <quantifiedVariables name="src"> | ||
871 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/> | ||
872 | </quantifiedVariables> | ||
873 | <expression xsi:type="language:Exists"> | ||
874 | <quantifiedVariables name="trg 1"> | ||
875 | <range xsi:type="language:RealTypeReference"/> | ||
876 | </quantifiedVariables> | ||
877 | <expression xsi:type="language:And"> | ||
878 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
879 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@quantifiedVariables.0"/> | ||
880 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.31/@value/@expression/@quantifiedVariables.0"/> | ||
881 | </operands> | ||
882 | </expression> | ||
883 | </expression> | ||
884 | </value> | ||
885 | </assertions> | ||
886 | <assertions name="upperMultiplicity collisionTime CollisionExists" annotations="//@problemConainer/@annotations.32"> | ||
887 | <value xsi:type="language:Forall"> | ||
888 | <quantifiedVariables name="src"> | ||
889 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/> | ||
890 | </quantifiedVariables> | ||
891 | <quantifiedVariables name="trg 1"> | ||
892 | <range xsi:type="language:RealTypeReference"/> | ||
893 | </quantifiedVariables> | ||
894 | <quantifiedVariables name="trg 2"> | ||
895 | <range xsi:type="language:RealTypeReference"/> | ||
896 | </quantifiedVariables> | ||
897 | <expression xsi:type="language:Impl"> | ||
898 | <leftOperand xsi:type="language:And"> | ||
899 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
900 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/> | ||
901 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/> | ||
902 | </operands> | ||
903 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.21"> | ||
904 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.0"/> | ||
905 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/> | ||
906 | </operands> | ||
907 | </leftOperand> | ||
908 | <rightOperand xsi:type="language:Not"> | ||
909 | <operand xsi:type="language:Distinct"> | ||
910 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.1"/> | ||
911 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.32/@value/@quantifiedVariables.2"/> | ||
912 | </operand> | ||
913 | </rightOperand> | ||
914 | </expression> | ||
915 | </value> | ||
916 | </assertions> | ||
917 | <assertions name="PartialInterpretation xSize attribute SimpleScenario" annotations="//@problemConainer/@annotations.33"> | ||
918 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.8"> | ||
919 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/> | ||
920 | <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/> | ||
921 | </value> | ||
922 | </assertions> | ||
923 | <assertions name="PartialInterpretation ySize attribute SimpleScenario" annotations="//@problemConainer/@annotations.34"> | ||
924 | <value xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.9"> | ||
925 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@elements.8"/> | ||
926 | <parameterSubstitutions xsi:type="language:RealLiteral" value="0.0"/> | ||
927 | </value> | ||
928 | </assertions> | ||
929 | <assertions name="errorpattern queries refSpec" annotations="//@problemConainer/@annotations.36"> | ||
930 | <value xsi:type="language:Forall"> | ||
931 | <quantifiedVariables name="p0"> | ||
932 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
933 | </quantifiedVariables> | ||
934 | <expression xsi:type="language:Not"> | ||
935 | <operand xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22"> | ||
936 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@assertions.35/@value/@quantifiedVariables.0"/> | ||
937 | </operand> | ||
938 | </expression> | ||
939 | </value> | ||
940 | </assertions> | ||
941 | <relations xsi:type="language:RelationDeclaration" name="actors reference SimpleScenario"> | ||
942 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
943 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
944 | </relations> | ||
945 | <relations xsi:type="language:RelationDeclaration" name="lanes reference SimpleScenario"> | ||
946 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
947 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
948 | </relations> | ||
949 | <relations xsi:type="language:RelationDeclaration" name="adjacent reference Lane"> | ||
950 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
951 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
952 | </relations> | ||
953 | <relations xsi:type="language:RelationDeclaration" name="actors reference Lane"> | ||
954 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
955 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
956 | </relations> | ||
957 | <relations xsi:type="language:RelationDeclaration" name="relations reference Actor"> | ||
958 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
959 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
960 | </relations> | ||
961 | <relations xsi:type="language:RelationDeclaration" name="placedOn reference Actor"> | ||
962 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
963 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
964 | </relations> | ||
965 | <relations xsi:type="language:RelationDeclaration" name="target reference Relation"> | ||
966 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.3"/> | ||
967 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
968 | </relations> | ||
969 | <relations xsi:type="language:RelationDeclaration" name="blockedBy reference VisionBlocked"> | ||
970 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.6"/> | ||
971 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
972 | </relations> | ||
973 | <relations xsi:type="language:RelationDeclaration" name="xSize attribute SimpleScenario"> | ||
974 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
975 | <parameters xsi:type="language:RealTypeReference"/> | ||
976 | </relations> | ||
977 | <relations xsi:type="language:RelationDeclaration" name="ySize attribute SimpleScenario"> | ||
978 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.0"/> | ||
979 | <parameters xsi:type="language:RealTypeReference"/> | ||
980 | </relations> | ||
981 | <relations xsi:type="language:RelationDeclaration" name="orientation attribute Lane"> | ||
982 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
983 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.12"/> | ||
984 | </relations> | ||
985 | <relations xsi:type="language:RelationDeclaration" name="width attribute Lane"> | ||
986 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
987 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.13"/> | ||
988 | </relations> | ||
989 | <relations xsi:type="language:RelationDeclaration" name="referenceCoord attribute Lane"> | ||
990 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
991 | <parameters xsi:type="language:RealTypeReference"/> | ||
992 | </relations> | ||
993 | <relations xsi:type="language:RelationDeclaration" name="numWidth attribute Lane"> | ||
994 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
995 | <parameters xsi:type="language:RealTypeReference"/> | ||
996 | </relations> | ||
997 | <relations xsi:type="language:RelationDeclaration" name="xPos attribute Actor"> | ||
998 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
999 | <parameters xsi:type="language:RealTypeReference"/> | ||
1000 | </relations> | ||
1001 | <relations xsi:type="language:RelationDeclaration" name="yPos attribute Actor"> | ||
1002 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1003 | <parameters xsi:type="language:RealTypeReference"/> | ||
1004 | </relations> | ||
1005 | <relations xsi:type="language:RelationDeclaration" name="length attribute Actor"> | ||
1006 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1007 | <parameters xsi:type="language:RealTypeReference"/> | ||
1008 | </relations> | ||
1009 | <relations xsi:type="language:RelationDeclaration" name="width attribute Actor"> | ||
1010 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1011 | <parameters xsi:type="language:RealTypeReference"/> | ||
1012 | </relations> | ||
1013 | <relations xsi:type="language:RelationDeclaration" name="speed attribute Actor"> | ||
1014 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.2"/> | ||
1015 | <parameters xsi:type="language:RealTypeReference"/> | ||
1016 | </relations> | ||
1017 | <relations xsi:type="language:RelationDeclaration" name="distance attribute SeperationDistance"> | ||
1018 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
1019 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.14"/> | ||
1020 | </relations> | ||
1021 | <relations xsi:type="language:RelationDeclaration" name="numDistance attribute SeperationDistance"> | ||
1022 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.7"/> | ||
1023 | <parameters xsi:type="language:RealTypeReference"/> | ||
1024 | </relations> | ||
1025 | <relations xsi:type="language:RelationDeclaration" name="collisionTime attribute CollisionExists"> | ||
1026 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.8"/> | ||
1027 | <parameters xsi:type="language:RealTypeReference"/> | ||
1028 | </relations> | ||
1029 | <relations xsi:type="language:RelationDefinition" name="pattern queries refSpec" annotations="//@problemConainer/@annotations.35"> | ||
1030 | <parameters xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
1031 | <variables name="parameter l"> | ||
1032 | <range xsi:type="language:ComplexTypeReference" referred="//@problemConainer/@types.1"/> | ||
1033 | </variables> | ||
1034 | <value xsi:type="language:Or"> | ||
1035 | <operands xsi:type="language:Exists"> | ||
1036 | <quantifiedVariables name="variable w"> | ||
1037 | <range xsi:type="language:RealTypeReference"/> | ||
1038 | </quantifiedVariables> | ||
1039 | <expression xsi:type="language:And"> | ||
1040 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.12"> | ||
1041 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@variables.0"/> | ||
1042 | <parameterSubstitutions xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1043 | </operands> | ||
1044 | <operands xsi:type="language:Distinct"> | ||
1045 | <operands xsi:type="language:SymbolicValue" symbolicReference="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1046 | <operands xsi:type="language:IntLiteral" value="2"/> | ||
1047 | </operands> | ||
1048 | </expression> | ||
1049 | </operands> | ||
1050 | </value> | ||
1051 | </relations> | ||
1052 | <elements name="Vertical literal Orientation" definedInType="//@problemConainer/@types.12"/> | ||
1053 | <elements name="Horizontal literal Orientation" definedInType="//@problemConainer/@types.12"/> | ||
1054 | <elements name="Small literal Size" definedInType="//@problemConainer/@types.13"/> | ||
1055 | <elements name="Medium literal Size" definedInType="//@problemConainer/@types.13"/> | ||
1056 | <elements name="Large literal Size" definedInType="//@problemConainer/@types.13"/> | ||
1057 | <elements name="Near literal Distance" definedInType="//@problemConainer/@types.14"/> | ||
1058 | <elements name="Medium literal Distance" definedInType="//@problemConainer/@types.14"/> | ||
1059 | <elements name="Far literal Distance" definedInType="//@problemConainer/@types.14"/> | ||
1060 | <elements name="o 1" definedInType="//@problemConainer/@types.15"/> | ||
1061 | <containmentHierarchies typesOrderedInHierarchy="//@problemConainer/@types.1 //@problemConainer/@types.4 //@problemConainer/@types.7 //@problemConainer/@types.10 //@problemConainer/@types.3 //@problemConainer/@types.0 //@problemConainer/@types.2 //@problemConainer/@types.5 //@problemConainer/@types.6 //@problemConainer/@types.9 //@problemConainer/@types.11 //@problemConainer/@types.8 //@problemConainer/@types.15 //@problemConainer/@types.16" containmentRelations="//@problemConainer/@relations.0 //@problemConainer/@relations.1 //@problemConainer/@relations.4"/> | ||
1062 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.0" relation="//@problemConainer/@relations.2" upper="2"/> | ||
1063 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.1" relation="//@problemConainer/@relations.5" lower="1"/> | ||
1064 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.2" relation="//@problemConainer/@relations.5" upper="1"/> | ||
1065 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.3" relation="//@problemConainer/@relations.6" lower="1"/> | ||
1066 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.4" relation="//@problemConainer/@relations.6" upper="1"/> | ||
1067 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.5" relation="//@problemConainer/@relations.7" upper="1"/> | ||
1068 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@problemConainer/@assertions.6" inverseA="//@problemConainer/@relations.3" inverseB="//@problemConainer/@relations.5"/> | ||
1069 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.7" relation="//@problemConainer/@relations.8" upper="1"/> | ||
1070 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.8" relation="//@problemConainer/@relations.9" upper="1"/> | ||
1071 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.9" relation="//@problemConainer/@relations.10" lower="1"/> | ||
1072 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.10" relation="//@problemConainer/@relations.10" upper="1"/> | ||
1073 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.11" relation="//@problemConainer/@relations.11" lower="1"/> | ||
1074 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.12" relation="//@problemConainer/@relations.11" upper="1"/> | ||
1075 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.13" relation="//@problemConainer/@relations.12" lower="1"/> | ||
1076 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.14" relation="//@problemConainer/@relations.12" upper="1"/> | ||
1077 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.15" relation="//@problemConainer/@relations.13" lower="1"/> | ||
1078 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.16" relation="//@problemConainer/@relations.13" upper="1"/> | ||
1079 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.17" relation="//@problemConainer/@relations.14" lower="1"/> | ||
1080 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.18" relation="//@problemConainer/@relations.14" upper="1"/> | ||
1081 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.19" relation="//@problemConainer/@relations.15" lower="1"/> | ||
1082 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.20" relation="//@problemConainer/@relations.15" upper="1"/> | ||
1083 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.21" relation="//@problemConainer/@relations.16" lower="1"/> | ||
1084 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.22" relation="//@problemConainer/@relations.16" upper="1"/> | ||
1085 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.23" relation="//@problemConainer/@relations.17" lower="1"/> | ||
1086 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.24" relation="//@problemConainer/@relations.17" upper="1"/> | ||
1087 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.25" relation="//@problemConainer/@relations.18" lower="1"/> | ||
1088 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.26" relation="//@problemConainer/@relations.18" upper="1"/> | ||
1089 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.27" relation="//@problemConainer/@relations.19" lower="1"/> | ||
1090 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.28" relation="//@problemConainer/@relations.19" upper="1"/> | ||
1091 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.29" relation="//@problemConainer/@relations.20" lower="1"/> | ||
1092 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.30" relation="//@problemConainer/@relations.20" upper="1"/> | ||
1093 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@problemConainer/@assertions.31" relation="//@problemConainer/@relations.21" lower="1"/> | ||
1094 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@problemConainer/@assertions.32" relation="//@problemConainer/@relations.21" upper="1"/> | ||
1095 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.33" targetRelation="//@problemConainer/@relations.8"/> | ||
1096 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@problemConainer/@assertions.34" targetRelation="//@problemConainer/@relations.9"/> | ||
1097 | <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@problemConainer/@relations.22" patternFullyQualifiedName="queries.refSpec"> | ||
1098 | <variableTrace targetLogicVariable="//@problemConainer/@relations.22/@value/@operands.0/@quantifiedVariables.0"/> | ||
1099 | </annotations> | ||
1100 | <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@problemConainer/@assertions.35" query="//@problemConainer/@annotations.35"/> | ||
1101 | </problemConainer> | ||
1102 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.4"/> | ||
1103 | <scopes maxNewElements="0" targetTypeInterpretation="//@partialtypeinterpratation.5"/> | ||
1104 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.6"/> | ||
1105 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.7"/> | ||
1106 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.8"/> | ||
1107 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.9"/> | ||
1108 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.10"/> | ||
1109 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.11"/> | ||
1110 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.12"/> | ||
1111 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.13"/> | ||
1112 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.14"/> | ||
1113 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.15"/> | ||
1114 | <scopes maxNewElements="20" targetTypeInterpretation="//@partialtypeinterpratation.16"/> | ||
1115 | </partialinterpretation:PartialInterpretation> | ||
diff --git a/Domains/crossingScenario/inputs/Debug/sample.xmi b/Domains/crossingScenario/inputs/Debug/sample.xmi new file mode 100644 index 00000000..cb4057fb --- /dev/null +++ b/Domains/crossingScenario/inputs/Debug/sample.xmi | |||
@@ -0,0 +1,7 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <simpleScenario:SimpleScenario | ||
3 | xmi:version="2.0" | ||
4 | xmlns:xmi="http://www.omg.org/XMI" | ||
5 | xmlns:simpleScenario="http://www.example.com/simpleScenario"> | ||
6 | <lanes/> | ||
7 | </simpleScenario:SimpleScenario> | ||
diff --git a/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig new file mode 100644 index 00000000..8ac31bb2 --- /dev/null +++ b/Domains/crossingScenario/inputs/crossingScenarioGen.vsconfig | |||
@@ -0,0 +1,28 @@ | |||
1 | import epackage "model/crossingScenario.ecore" | ||
2 | import viatra "queries/crossingScenarioQueries.vql" | ||
3 | |||
4 | generate { | ||
5 | metamodel = { package crossingScenario } | ||
6 | constraints = { package queries} | ||
7 | partial-model = { "inputs/CrossingScenarioInit.xmi"} | ||
8 | solver = ViatraSolver | ||
9 | scope = { | ||
10 | #node = 10..30, | ||
11 | #int = {}, | ||
12 | #<Lane> = 1 | ||
13 | } | ||
14 | |||
15 | config = { | ||
16 | runtime = 10000, | ||
17 | log-level = normal, | ||
18 | "numeric-solver" = "dreal", | ||
19 | "scopePropagator" = "typeHierarchy" | ||
20 | } | ||
21 | |||
22 | runs = 1 | ||
23 | |||
24 | debug = "outputs/debug" | ||
25 | log = "outputs/debug/log.txt" | ||
26 | output = "outputs/models" | ||
27 | statistics = "outputs/statistics.csv" | ||
28 | } \ No newline at end of file | ||
diff --git a/Domains/crossingScenario/inputs/crossingScenarioInit.xmi b/Domains/crossingScenario/inputs/crossingScenarioInit.xmi new file mode 100644 index 00000000..91dfb7b2 --- /dev/null +++ b/Domains/crossingScenario/inputs/crossingScenarioInit.xmi | |||
@@ -0,0 +1,4 @@ | |||
1 | <?xml version="1.0" encoding="UTF-8"?> | ||
2 | <crossingScenario:CrossingScenario xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" | ||
3 | xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:crossingScenario="http://www.example.com/crossingScenario" | ||
4 | xsi:schemaLocation="http://www.example.com/crossingScenario crossingScenario.ecore"/> | ||