diff options
Diffstat (limited to 'Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem')
-rw-r--r-- | Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem | 1937 |
1 files changed, 229 insertions, 1708 deletions
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem index 169eadb3..f221cce7 100644 --- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem +++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/fam/debug/generation.logicproblem | |||
@@ -1,97 +1,82 @@ | |||
1 | <?xml version="1.0" encoding="ASCII"?> | 1 | <?xml version="1.0" encoding="ASCII"?> |
2 | <language:LogicProblem 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/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partial2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/partial2logicannotation"> | 2 | <language:LogicProblem 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/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"> |
3 | <types xsi:type="language_1:TypeDeclaration" name="EAttribute class" supertypes="//@types.14"/> | 3 | <types xsi:type="language_1:TypeDeclaration" name="FunctionalElement class" subtypes="//@types.2" isAbstract="true"/> |
4 | <types xsi:type="language_1:TypeDeclaration" name="EAnnotation class" supertypes="//@types.7 //@types.20"/> | 4 | <types xsi:type="language_1:TypeDeclaration" name="FunctionalArchitectureModel class"/> |
5 | <types xsi:type="language_1:TypeDeclaration" name="EClass class" supertypes="//@types.3"/> | 5 | <types xsi:type="language_1:TypeDeclaration" name="Function class" supertypes="//@types.0"/> |
6 | <types xsi:type="language_1:TypeDeclaration" name="EClassifier class" subtypes="//@types.2 //@types.4" supertypes="//@types.8 //@types.22" isAbstract="true"/> | 6 | <types xsi:type="language_1:TypeDeclaration" name="FAMTerminator class"/> |
7 | <types xsi:type="language_1:TypeDeclaration" name="EDataType class" subtypes="//@types.5" supertypes="//@types.3"/> | 7 | <types xsi:type="language_1:TypeDeclaration" name="InformationLink class"/> |
8 | <types xsi:type="language_1:TypeDeclaration" name="EEnum class" supertypes="//@types.4"/> | 8 | <types xsi:type="language_1:TypeDeclaration" name="FunctionalInterface class"/> |
9 | <types xsi:type="language_1:TypeDeclaration" name="EEnumLiteral class" supertypes="//@types.8 //@types.22"/> | 9 | <types xsi:type="language_1:TypeDeclaration" name="FunctionalInput class" supertypes="//@types.8"/> |
10 | <types xsi:type="language_1:TypeDeclaration" name="EModelElement class" subtypes="//@types.1 //@types.8 //@types.19 //@types.20" isAbstract="true"/> | 10 | <types xsi:type="language_1:TypeDeclaration" name="FunctionalOutput class" supertypes="//@types.8"/> |
11 | <types xsi:type="language_1:TypeDeclaration" name="ENamedElement class" subtypes="//@types.3 //@types.6 //@types.11 //@types.15 //@types.18 //@types.21 //@types.22" supertypes="//@types.7" isAbstract="true"/> | 11 | <types xsi:type="language_1:TypeDeclaration" name="FunctionalData class" subtypes="//@types.6 //@types.7" isAbstract="true"/> |
12 | <types xsi:type="language_1:TypeDeclaration" name="EObject class"/> | 12 | <types xsi:type="language_1:TypeDefinition" name="FunctionType enum" elements="//@elements.0 //@elements.1 //@elements.2"/> |
13 | <types xsi:type="language_1:TypeDeclaration" name="EOperation class" supertypes="//@types.15"/> | 13 | <assertions name="upperMultiplicity interface FunctionalElement" annotations="//@annotations.0"> |
14 | <types xsi:type="language_1:TypeDeclaration" name="EPackage class" subtypes="//@types.23 //@types.24" supertypes="//@types.8" isAbstract="true"/> | ||
15 | <types xsi:type="language_1:TypeDeclaration" name="EParameter class" supertypes="//@types.15"/> | ||
16 | <types xsi:type="language_1:TypeDeclaration" name="EReference class" supertypes="//@types.14"/> | ||
17 | <types xsi:type="language_1:TypeDeclaration" name="EStructuralFeature class" subtypes="//@types.0 //@types.13" supertypes="//@types.15" isAbstract="true"/> | ||
18 | <types xsi:type="language_1:TypeDeclaration" name="ETypedElement class" subtypes="//@types.10 //@types.12 //@types.14" supertypes="//@types.8 //@types.22" isAbstract="true"/> | ||
19 | <types xsi:type="language_1:TypeDeclaration" name="EStringToStringMapEntry class"/> | ||
20 | <types xsi:type="language_1:TypeDeclaration" name="EGenericType class"/> | ||
21 | <types xsi:type="language_1:TypeDeclaration" name="ETypeParameter class" supertypes="//@types.8 //@types.22"/> | ||
22 | <types xsi:type="language_1:TypeDefinition" name="EModelElement class DefinedPart" subtypes="//@types.21" supertypes="//@types.7" isAbstract="true" elements="//@elements.0"/> | ||
23 | <types xsi:type="language_1:TypeDeclaration" name="EModelElement class UndefinedPart" subtypes="//@types.1 //@types.22" supertypes="//@types.7" isAbstract="true"/> | ||
24 | <types xsi:type="language_1:TypeDefinition" name="ENamedElement class DefinedPart" subtypes="//@types.23" supertypes="//@types.8 //@types.19" isAbstract="true" elements="//@elements.0"/> | ||
25 | <types xsi:type="language_1:TypeDeclaration" name="ENamedElement class UndefinedPart" subtypes="//@types.3 //@types.6 //@types.24 //@types.15 //@types.18" supertypes="//@types.8 //@types.20" isAbstract="true"/> | ||
26 | <types xsi:type="language_1:TypeDefinition" name="EPackage class DefinedPart" supertypes="//@types.11 //@types.21" elements="//@elements.0"/> | ||
27 | <types xsi:type="language_1:TypeDeclaration" name="EPackage class UndefinedPart" supertypes="//@types.11 //@types.22"/> | ||
28 | <assertions name="lowerMultiplicity eAttributeType EAttribute" annotations="//@annotations.0"> | ||
29 | <value xsi:type="language_1:Forall"> | ||
30 | <quantifiedVariables name="src"> | ||
31 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
32 | </quantifiedVariables> | ||
33 | <expression xsi:type="language_1:Exists"> | ||
34 | <quantifiedVariables name="trg 1"> | ||
35 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
36 | </quantifiedVariables> | ||
37 | <expression xsi:type="language_1:And"> | ||
38 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | ||
39 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> | ||
40 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@expression/@quantifiedVariables.0"/> | ||
41 | </operands> | ||
42 | </expression> | ||
43 | </expression> | ||
44 | </value> | ||
45 | </assertions> | ||
46 | <assertions name="upperMultiplicity eAttributeType EAttribute" annotations="//@annotations.1"> | ||
47 | <value xsi:type="language_1:Forall"> | 14 | <value xsi:type="language_1:Forall"> |
48 | <quantifiedVariables name="src"> | 15 | <quantifiedVariables name="src"> |
49 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 16 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
50 | </quantifiedVariables> | 17 | </quantifiedVariables> |
51 | <quantifiedVariables name="trg 1"> | 18 | <quantifiedVariables name="trg 1"> |
52 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | 19 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
53 | </quantifiedVariables> | 20 | </quantifiedVariables> |
54 | <quantifiedVariables name="trg 2"> | 21 | <quantifiedVariables name="trg 2"> |
55 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | 22 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
56 | </quantifiedVariables> | 23 | </quantifiedVariables> |
57 | <expression xsi:type="language_1:Impl"> | 24 | <expression xsi:type="language_1:Impl"> |
58 | <leftOperand xsi:type="language_1:And"> | 25 | <leftOperand xsi:type="language_1:And"> |
59 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | 26 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
60 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | 27 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
61 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | 28 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> |
62 | </operands> | 29 | </operands> |
63 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> | 30 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
64 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | 31 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/> |
65 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | 32 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> |
66 | </operands> | 33 | </operands> |
67 | </leftOperand> | 34 | </leftOperand> |
68 | <rightOperand xsi:type="language_1:Not"> | 35 | <rightOperand xsi:type="language_1:Not"> |
69 | <operand xsi:type="language_1:Distinct"> | 36 | <operand xsi:type="language_1:Distinct"> |
70 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/> | 37 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/> |
71 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.2"/> | 38 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/> |
72 | </operand> | 39 | </operand> |
73 | </rightOperand> | 40 | </rightOperand> |
74 | </expression> | 41 | </expression> |
75 | </value> | 42 | </value> |
76 | </assertions> | 43 | </assertions> |
77 | <assertions name="upperMultiplicity eModelElement EAnnotation" annotations="//@annotations.2"> | 44 | <assertions name="lowerMultiplicity model FunctionalElement" annotations="//@annotations.1"> |
78 | <value xsi:type="language_1:Forall"> | 45 | <value xsi:type="language_1:Forall"> |
79 | <quantifiedVariables name="src"> | 46 | <quantifiedVariables name="src"> |
80 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 47 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
48 | </quantifiedVariables> | ||
49 | <expression xsi:type="language_1:Exists"> | ||
50 | <quantifiedVariables name="trg 1"> | ||
51 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
52 | </quantifiedVariables> | ||
53 | <expression xsi:type="language_1:And"> | ||
54 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> | ||
55 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/> | ||
56 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@expression/@quantifiedVariables.0"/> | ||
57 | </operands> | ||
58 | </expression> | ||
59 | </expression> | ||
60 | </value> | ||
61 | </assertions> | ||
62 | <assertions name="upperMultiplicity model FunctionalElement" annotations="//@annotations.2"> | ||
63 | <value xsi:type="language_1:Forall"> | ||
64 | <quantifiedVariables name="src"> | ||
65 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
81 | </quantifiedVariables> | 66 | </quantifiedVariables> |
82 | <quantifiedVariables name="trg 1"> | 67 | <quantifiedVariables name="trg 1"> |
83 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | 68 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
84 | </quantifiedVariables> | 69 | </quantifiedVariables> |
85 | <quantifiedVariables name="trg 2"> | 70 | <quantifiedVariables name="trg 2"> |
86 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | 71 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
87 | </quantifiedVariables> | 72 | </quantifiedVariables> |
88 | <expression xsi:type="language_1:Impl"> | 73 | <expression xsi:type="language_1:Impl"> |
89 | <leftOperand xsi:type="language_1:And"> | 74 | <leftOperand xsi:type="language_1:And"> |
90 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 75 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> |
91 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | 76 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> |
92 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> | 77 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/> |
93 | </operands> | 78 | </operands> |
94 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 79 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1"> |
95 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> | 80 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/> |
96 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> | 81 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/> |
97 | </operands> | 82 | </operands> |
@@ -105,24 +90,24 @@ | |||
105 | </expression> | 90 | </expression> |
106 | </value> | 91 | </value> |
107 | </assertions> | 92 | </assertions> |
108 | <assertions name="upperMultiplicity eIDAttribute EClass" annotations="//@annotations.3"> | 93 | <assertions name="upperMultiplicity parent FunctionalElement" annotations="//@annotations.3"> |
109 | <value xsi:type="language_1:Forall"> | 94 | <value xsi:type="language_1:Forall"> |
110 | <quantifiedVariables name="src"> | 95 | <quantifiedVariables name="src"> |
111 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 96 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
112 | </quantifiedVariables> | 97 | </quantifiedVariables> |
113 | <quantifiedVariables name="trg 1"> | 98 | <quantifiedVariables name="trg 1"> |
114 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 99 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
115 | </quantifiedVariables> | 100 | </quantifiedVariables> |
116 | <quantifiedVariables name="trg 2"> | 101 | <quantifiedVariables name="trg 2"> |
117 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 102 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
118 | </quantifiedVariables> | 103 | </quantifiedVariables> |
119 | <expression xsi:type="language_1:Impl"> | 104 | <expression xsi:type="language_1:Impl"> |
120 | <leftOperand xsi:type="language_1:And"> | 105 | <leftOperand xsi:type="language_1:And"> |
121 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | 106 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
122 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | 107 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> |
123 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> | 108 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/> |
124 | </operands> | 109 | </operands> |
125 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15"> | 110 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
126 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> | 111 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/> |
127 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> | 112 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/> |
128 | </operands> | 113 | </operands> |
@@ -136,24 +121,24 @@ | |||
136 | </expression> | 121 | </expression> |
137 | </value> | 122 | </value> |
138 | </assertions> | 123 | </assertions> |
139 | <assertions name="upperMultiplicity ePackage EClassifier" annotations="//@annotations.4"> | 124 | <assertions name="upperMultiplicity data FAMTerminator" annotations="//@annotations.4"> |
140 | <value xsi:type="language_1:Forall"> | 125 | <value xsi:type="language_1:Forall"> |
141 | <quantifiedVariables name="src"> | 126 | <quantifiedVariables name="src"> |
142 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 127 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> |
143 | </quantifiedVariables> | 128 | </quantifiedVariables> |
144 | <quantifiedVariables name="trg 1"> | 129 | <quantifiedVariables name="trg 1"> |
145 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 130 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
146 | </quantifiedVariables> | 131 | </quantifiedVariables> |
147 | <quantifiedVariables name="trg 2"> | 132 | <quantifiedVariables name="trg 2"> |
148 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 133 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
149 | </quantifiedVariables> | 134 | </quantifiedVariables> |
150 | <expression xsi:type="language_1:Impl"> | 135 | <expression xsi:type="language_1:Impl"> |
151 | <leftOperand xsi:type="language_1:And"> | 136 | <leftOperand xsi:type="language_1:And"> |
152 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | 137 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> |
153 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | 138 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> |
154 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> | 139 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.1"/> |
155 | </operands> | 140 | </operands> |
156 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | 141 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> |
157 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> | 142 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/> |
158 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> | 143 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.2"/> |
159 | </operands> | 144 | </operands> |
@@ -167,24 +152,24 @@ | |||
167 | </expression> | 152 | </expression> |
168 | </value> | 153 | </value> |
169 | </assertions> | 154 | </assertions> |
170 | <assertions name="upperMultiplicity eEnum EEnumLiteral" annotations="//@annotations.5"> | 155 | <assertions name="upperMultiplicity from InformationLink" annotations="//@annotations.5"> |
171 | <value xsi:type="language_1:Forall"> | 156 | <value xsi:type="language_1:Forall"> |
172 | <quantifiedVariables name="src"> | 157 | <quantifiedVariables name="src"> |
173 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | 158 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
174 | </quantifiedVariables> | 159 | </quantifiedVariables> |
175 | <quantifiedVariables name="trg 1"> | 160 | <quantifiedVariables name="trg 1"> |
176 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | 161 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> |
177 | </quantifiedVariables> | 162 | </quantifiedVariables> |
178 | <quantifiedVariables name="trg 2"> | 163 | <quantifiedVariables name="trg 2"> |
179 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | 164 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> |
180 | </quantifiedVariables> | 165 | </quantifiedVariables> |
181 | <expression xsi:type="language_1:Impl"> | 166 | <expression xsi:type="language_1:Impl"> |
182 | <leftOperand xsi:type="language_1:And"> | 167 | <leftOperand xsi:type="language_1:And"> |
183 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> | 168 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> |
184 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | 169 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> |
185 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> | 170 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.1"/> |
186 | </operands> | 171 | </operands> |
187 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> | 172 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> |
188 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> | 173 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.0"/> |
189 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/> | 174 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.5/@value/@quantifiedVariables.2"/> |
190 | </operands> | 175 | </operands> |
@@ -198,55 +183,42 @@ | |||
198 | </expression> | 183 | </expression> |
199 | </value> | 184 | </value> |
200 | </assertions> | 185 | </assertions> |
201 | <assertions name="upperMultiplicity eContainingClass EOperation" annotations="//@annotations.6"> | 186 | <assertions name="lowerMultiplicity to InformationLink" annotations="//@annotations.6"> |
202 | <value xsi:type="language_1:Forall"> | 187 | <value xsi:type="language_1:Forall"> |
203 | <quantifiedVariables name="src"> | 188 | <quantifiedVariables name="src"> |
204 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | 189 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
205 | </quantifiedVariables> | ||
206 | <quantifiedVariables name="trg 1"> | ||
207 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
208 | </quantifiedVariables> | ||
209 | <quantifiedVariables name="trg 2"> | ||
210 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
211 | </quantifiedVariables> | 190 | </quantifiedVariables> |
212 | <expression xsi:type="language_1:Impl"> | 191 | <expression xsi:type="language_1:Exists"> |
213 | <leftOperand xsi:type="language_1:And"> | 192 | <quantifiedVariables name="trg 1"> |
214 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> | 193 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> |
215 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | 194 | </quantifiedVariables> |
216 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | 195 | <expression xsi:type="language_1:And"> |
217 | </operands> | 196 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> |
218 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> | ||
219 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> | 197 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.0"/> |
220 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/> | 198 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@expression/@quantifiedVariables.0"/> |
221 | </operands> | 199 | </operands> |
222 | </leftOperand> | 200 | </expression> |
223 | <rightOperand xsi:type="language_1:Not"> | ||
224 | <operand xsi:type="language_1:Distinct"> | ||
225 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.1"/> | ||
226 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.6/@value/@quantifiedVariables.2"/> | ||
227 | </operand> | ||
228 | </rightOperand> | ||
229 | </expression> | 201 | </expression> |
230 | </value> | 202 | </value> |
231 | </assertions> | 203 | </assertions> |
232 | <assertions name="upperMultiplicity eSuperPackage EPackage" annotations="//@annotations.7"> | 204 | <assertions name="upperMultiplicity to InformationLink" annotations="//@annotations.7"> |
233 | <value xsi:type="language_1:Forall"> | 205 | <value xsi:type="language_1:Forall"> |
234 | <quantifiedVariables name="src"> | 206 | <quantifiedVariables name="src"> |
235 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 207 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
236 | </quantifiedVariables> | 208 | </quantifiedVariables> |
237 | <quantifiedVariables name="trg 1"> | 209 | <quantifiedVariables name="trg 1"> |
238 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 210 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> |
239 | </quantifiedVariables> | 211 | </quantifiedVariables> |
240 | <quantifiedVariables name="trg 2"> | 212 | <quantifiedVariables name="trg 2"> |
241 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 213 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> |
242 | </quantifiedVariables> | 214 | </quantifiedVariables> |
243 | <expression xsi:type="language_1:Impl"> | 215 | <expression xsi:type="language_1:Impl"> |
244 | <leftOperand xsi:type="language_1:And"> | 216 | <leftOperand xsi:type="language_1:And"> |
245 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31"> | 217 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> |
246 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | 218 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> |
247 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/> | 219 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.1"/> |
248 | </operands> | 220 | </operands> |
249 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31"> | 221 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> |
250 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> | 222 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.0"/> |
251 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/> | 223 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.7/@value/@quantifiedVariables.2"/> |
252 | </operands> | 224 | </operands> |
@@ -260,24 +232,24 @@ | |||
260 | </expression> | 232 | </expression> |
261 | </value> | 233 | </value> |
262 | </assertions> | 234 | </assertions> |
263 | <assertions name="upperMultiplicity eOperation EParameter" annotations="//@annotations.8"> | 235 | <assertions name="upperMultiplicity element FunctionalInterface" annotations="//@annotations.8"> |
264 | <value xsi:type="language_1:Forall"> | 236 | <value xsi:type="language_1:Forall"> |
265 | <quantifiedVariables name="src"> | 237 | <quantifiedVariables name="src"> |
266 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> | 238 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
267 | </quantifiedVariables> | 239 | </quantifiedVariables> |
268 | <quantifiedVariables name="trg 1"> | 240 | <quantifiedVariables name="trg 1"> |
269 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | 241 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
270 | </quantifiedVariables> | 242 | </quantifiedVariables> |
271 | <quantifiedVariables name="trg 2"> | 243 | <quantifiedVariables name="trg 2"> |
272 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | 244 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
273 | </quantifiedVariables> | 245 | </quantifiedVariables> |
274 | <expression xsi:type="language_1:Impl"> | 246 | <expression xsi:type="language_1:Impl"> |
275 | <leftOperand xsi:type="language_1:And"> | 247 | <leftOperand xsi:type="language_1:And"> |
276 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32"> | 248 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> |
277 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | 249 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> |
278 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> | 250 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.1"/> |
279 | </operands> | 251 | </operands> |
280 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32"> | 252 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> |
281 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> | 253 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.0"/> |
282 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/> | 254 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.8/@value/@quantifiedVariables.2"/> |
283 | </operands> | 255 | </operands> |
@@ -291,24 +263,24 @@ | |||
291 | </expression> | 263 | </expression> |
292 | </value> | 264 | </value> |
293 | </assertions> | 265 | </assertions> |
294 | <assertions name="upperMultiplicity eOpposite EReference" annotations="//@annotations.9"> | 266 | <assertions name="upperMultiplicity terminator FunctionalData" annotations="//@annotations.9"> |
295 | <value xsi:type="language_1:Forall"> | 267 | <value xsi:type="language_1:Forall"> |
296 | <quantifiedVariables name="src"> | 268 | <quantifiedVariables name="src"> |
297 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | 269 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
298 | </quantifiedVariables> | 270 | </quantifiedVariables> |
299 | <quantifiedVariables name="trg 1"> | 271 | <quantifiedVariables name="trg 1"> |
300 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | 272 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> |
301 | </quantifiedVariables> | 273 | </quantifiedVariables> |
302 | <quantifiedVariables name="trg 2"> | 274 | <quantifiedVariables name="trg 2"> |
303 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | 275 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> |
304 | </quantifiedVariables> | 276 | </quantifiedVariables> |
305 | <expression xsi:type="language_1:Impl"> | 277 | <expression xsi:type="language_1:Impl"> |
306 | <leftOperand xsi:type="language_1:And"> | 278 | <leftOperand xsi:type="language_1:And"> |
307 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33"> | 279 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> |
308 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> | 280 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> |
309 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/> | 281 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.1"/> |
310 | </operands> | 282 | </operands> |
311 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.33"> | 283 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> |
312 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> | 284 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.0"/> |
313 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/> | 285 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.9/@value/@quantifiedVariables.2"/> |
314 | </operands> | 286 | </operands> |
@@ -322,1738 +294,287 @@ | |||
322 | </expression> | 294 | </expression> |
323 | </value> | 295 | </value> |
324 | </assertions> | 296 | </assertions> |
325 | <assertions name="lowerMultiplicity eReferenceType EReference" annotations="//@annotations.10"> | 297 | <assertions name="upperMultiplicity interface FunctionalData" annotations="//@annotations.10"> |
326 | <value xsi:type="language_1:Forall"> | ||
327 | <quantifiedVariables name="src"> | ||
328 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
329 | </quantifiedVariables> | ||
330 | <expression xsi:type="language_1:Exists"> | ||
331 | <quantifiedVariables name="trg 1"> | ||
332 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
333 | </quantifiedVariables> | ||
334 | <expression xsi:type="language_1:And"> | ||
335 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34"> | ||
336 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> | ||
337 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@expression/@quantifiedVariables.0"/> | ||
338 | </operands> | ||
339 | </expression> | ||
340 | </expression> | ||
341 | </value> | ||
342 | </assertions> | ||
343 | <assertions name="upperMultiplicity eReferenceType EReference" annotations="//@annotations.11"> | ||
344 | <value xsi:type="language_1:Forall"> | ||
345 | <quantifiedVariables name="src"> | ||
346 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
347 | </quantifiedVariables> | ||
348 | <quantifiedVariables name="trg 1"> | ||
349 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
350 | </quantifiedVariables> | ||
351 | <quantifiedVariables name="trg 2"> | ||
352 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
353 | </quantifiedVariables> | ||
354 | <expression xsi:type="language_1:Impl"> | ||
355 | <leftOperand xsi:type="language_1:And"> | ||
356 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34"> | ||
357 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> | ||
358 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/> | ||
359 | </operands> | ||
360 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.34"> | ||
361 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> | ||
362 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/> | ||
363 | </operands> | ||
364 | </leftOperand> | ||
365 | <rightOperand xsi:type="language_1:Not"> | ||
366 | <operand xsi:type="language_1:Distinct"> | ||
367 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/> | ||
368 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.2"/> | ||
369 | </operand> | ||
370 | </rightOperand> | ||
371 | </expression> | ||
372 | </value> | ||
373 | </assertions> | ||
374 | <assertions name="upperMultiplicity eContainingClass EStructuralFeature" annotations="//@annotations.12"> | ||
375 | <value xsi:type="language_1:Forall"> | ||
376 | <quantifiedVariables name="src"> | ||
377 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
378 | </quantifiedVariables> | ||
379 | <quantifiedVariables name="trg 1"> | ||
380 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
381 | </quantifiedVariables> | ||
382 | <quantifiedVariables name="trg 2"> | ||
383 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
384 | </quantifiedVariables> | ||
385 | <expression xsi:type="language_1:Impl"> | ||
386 | <leftOperand xsi:type="language_1:And"> | ||
387 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36"> | ||
388 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> | ||
389 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/> | ||
390 | </operands> | ||
391 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36"> | ||
392 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> | ||
393 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/> | ||
394 | </operands> | ||
395 | </leftOperand> | ||
396 | <rightOperand xsi:type="language_1:Not"> | ||
397 | <operand xsi:type="language_1:Distinct"> | ||
398 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/> | ||
399 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.2"/> | ||
400 | </operand> | ||
401 | </rightOperand> | ||
402 | </expression> | ||
403 | </value> | ||
404 | </assertions> | ||
405 | <assertions name="upperMultiplicity eType ETypedElement" annotations="//@annotations.13"> | ||
406 | <value xsi:type="language_1:Forall"> | ||
407 | <quantifiedVariables name="src"> | ||
408 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
409 | </quantifiedVariables> | ||
410 | <quantifiedVariables name="trg 1"> | ||
411 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
412 | </quantifiedVariables> | ||
413 | <quantifiedVariables name="trg 2"> | ||
414 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
415 | </quantifiedVariables> | ||
416 | <expression xsi:type="language_1:Impl"> | ||
417 | <leftOperand xsi:type="language_1:And"> | ||
418 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37"> | ||
419 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> | ||
420 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/> | ||
421 | </operands> | ||
422 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.37"> | ||
423 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> | ||
424 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/> | ||
425 | </operands> | ||
426 | </leftOperand> | ||
427 | <rightOperand xsi:type="language_1:Not"> | ||
428 | <operand xsi:type="language_1:Distinct"> | ||
429 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/> | ||
430 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.2"/> | ||
431 | </operand> | ||
432 | </rightOperand> | ||
433 | </expression> | ||
434 | </value> | ||
435 | </assertions> | ||
436 | <assertions name="upperMultiplicity eGenericType ETypedElement" annotations="//@annotations.14"> | ||
437 | <value xsi:type="language_1:Forall"> | ||
438 | <quantifiedVariables name="src"> | ||
439 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
440 | </quantifiedVariables> | ||
441 | <quantifiedVariables name="trg 1"> | ||
442 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
443 | </quantifiedVariables> | ||
444 | <quantifiedVariables name="trg 2"> | ||
445 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
446 | </quantifiedVariables> | ||
447 | <expression xsi:type="language_1:Impl"> | ||
448 | <leftOperand xsi:type="language_1:And"> | ||
449 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.38"> | ||
450 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> | ||
451 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> | ||
452 | </operands> | ||
453 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.38"> | ||
454 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> | ||
455 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/> | ||
456 | </operands> | ||
457 | </leftOperand> | ||
458 | <rightOperand xsi:type="language_1:Not"> | ||
459 | <operand xsi:type="language_1:Distinct"> | ||
460 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> | ||
461 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.2"/> | ||
462 | </operand> | ||
463 | </rightOperand> | ||
464 | </expression> | ||
465 | </value> | ||
466 | </assertions> | ||
467 | <assertions name="upperMultiplicity eUpperBound EGenericType" annotations="//@annotations.15"> | ||
468 | <value xsi:type="language_1:Forall"> | ||
469 | <quantifiedVariables name="src"> | ||
470 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
471 | </quantifiedVariables> | ||
472 | <quantifiedVariables name="trg 1"> | ||
473 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
474 | </quantifiedVariables> | ||
475 | <quantifiedVariables name="trg 2"> | ||
476 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
477 | </quantifiedVariables> | ||
478 | <expression xsi:type="language_1:Impl"> | ||
479 | <leftOperand xsi:type="language_1:And"> | ||
480 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39"> | ||
481 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> | ||
482 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> | ||
483 | </operands> | ||
484 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.39"> | ||
485 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> | ||
486 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/> | ||
487 | </operands> | ||
488 | </leftOperand> | ||
489 | <rightOperand xsi:type="language_1:Not"> | ||
490 | <operand xsi:type="language_1:Distinct"> | ||
491 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> | ||
492 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.2"/> | ||
493 | </operand> | ||
494 | </rightOperand> | ||
495 | </expression> | ||
496 | </value> | ||
497 | </assertions> | ||
498 | <assertions name="lowerMultiplicity eRawType EGenericType" annotations="//@annotations.16"> | ||
499 | <value xsi:type="language_1:Forall"> | ||
500 | <quantifiedVariables name="src"> | ||
501 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
502 | </quantifiedVariables> | ||
503 | <expression xsi:type="language_1:Exists"> | ||
504 | <quantifiedVariables name="trg 1"> | ||
505 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
506 | </quantifiedVariables> | ||
507 | <expression xsi:type="language_1:And"> | ||
508 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.41"> | ||
509 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> | ||
510 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@expression/@quantifiedVariables.0"/> | ||
511 | </operands> | ||
512 | </expression> | ||
513 | </expression> | ||
514 | </value> | ||
515 | </assertions> | ||
516 | <assertions name="upperMultiplicity eRawType EGenericType" annotations="//@annotations.17"> | ||
517 | <value xsi:type="language_1:Forall"> | ||
518 | <quantifiedVariables name="src"> | ||
519 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
520 | </quantifiedVariables> | ||
521 | <quantifiedVariables name="trg 1"> | ||
522 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
523 | </quantifiedVariables> | ||
524 | <quantifiedVariables name="trg 2"> | ||
525 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
526 | </quantifiedVariables> | ||
527 | <expression xsi:type="language_1:Impl"> | ||
528 | <leftOperand xsi:type="language_1:And"> | ||
529 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.41"> | ||
530 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> | ||
531 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/> | ||
532 | </operands> | ||
533 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.41"> | ||
534 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> | ||
535 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/> | ||
536 | </operands> | ||
537 | </leftOperand> | ||
538 | <rightOperand xsi:type="language_1:Not"> | ||
539 | <operand xsi:type="language_1:Distinct"> | ||
540 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.1"/> | ||
541 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.2"/> | ||
542 | </operand> | ||
543 | </rightOperand> | ||
544 | </expression> | ||
545 | </value> | ||
546 | </assertions> | ||
547 | <assertions name="upperMultiplicity eLowerBound EGenericType" annotations="//@annotations.18"> | ||
548 | <value xsi:type="language_1:Forall"> | ||
549 | <quantifiedVariables name="src"> | ||
550 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
551 | </quantifiedVariables> | ||
552 | <quantifiedVariables name="trg 1"> | ||
553 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
554 | </quantifiedVariables> | ||
555 | <quantifiedVariables name="trg 2"> | ||
556 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
557 | </quantifiedVariables> | ||
558 | <expression xsi:type="language_1:Impl"> | ||
559 | <leftOperand xsi:type="language_1:And"> | ||
560 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.42"> | ||
561 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> | ||
562 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/> | ||
563 | </operands> | ||
564 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.42"> | ||
565 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> | ||
566 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/> | ||
567 | </operands> | ||
568 | </leftOperand> | ||
569 | <rightOperand xsi:type="language_1:Not"> | ||
570 | <operand xsi:type="language_1:Distinct"> | ||
571 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/> | ||
572 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/> | ||
573 | </operand> | ||
574 | </rightOperand> | ||
575 | </expression> | ||
576 | </value> | ||
577 | </assertions> | ||
578 | <assertions name="upperMultiplicity eTypeParameter EGenericType" annotations="//@annotations.19"> | ||
579 | <value xsi:type="language_1:Forall"> | ||
580 | <quantifiedVariables name="src"> | ||
581 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
582 | </quantifiedVariables> | ||
583 | <quantifiedVariables name="trg 1"> | ||
584 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/> | ||
585 | </quantifiedVariables> | ||
586 | <quantifiedVariables name="trg 2"> | ||
587 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/> | ||
588 | </quantifiedVariables> | ||
589 | <expression xsi:type="language_1:Impl"> | ||
590 | <leftOperand xsi:type="language_1:And"> | ||
591 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.43"> | ||
592 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> | ||
593 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/> | ||
594 | </operands> | ||
595 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.43"> | ||
596 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/> | ||
597 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.2"/> | ||
598 | </operands> | ||
599 | </leftOperand> | ||
600 | <rightOperand xsi:type="language_1:Not"> | ||
601 | <operand xsi:type="language_1:Distinct"> | ||
602 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/> | ||
603 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.2"/> | ||
604 | </operand> | ||
605 | </rightOperand> | ||
606 | </expression> | ||
607 | </value> | ||
608 | </assertions> | ||
609 | <assertions name="upperMultiplicity eClassifier EGenericType" annotations="//@annotations.20"> | ||
610 | <value xsi:type="language_1:Forall"> | 298 | <value xsi:type="language_1:Forall"> |
611 | <quantifiedVariables name="src"> | 299 | <quantifiedVariables name="src"> |
612 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | 300 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
613 | </quantifiedVariables> | 301 | </quantifiedVariables> |
614 | <quantifiedVariables name="trg 1"> | 302 | <quantifiedVariables name="trg 1"> |
615 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 303 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
616 | </quantifiedVariables> | 304 | </quantifiedVariables> |
617 | <quantifiedVariables name="trg 2"> | 305 | <quantifiedVariables name="trg 2"> |
618 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 306 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
619 | </quantifiedVariables> | 307 | </quantifiedVariables> |
620 | <expression xsi:type="language_1:Impl"> | 308 | <expression xsi:type="language_1:Impl"> |
621 | <leftOperand xsi:type="language_1:And"> | 309 | <leftOperand xsi:type="language_1:And"> |
622 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.44"> | 310 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> |
623 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> | 311 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> |
624 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/> | 312 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/> |
625 | </operands> | 313 | </operands> |
626 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.44"> | 314 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> |
627 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.0"/> | 315 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.0"/> |
628 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.2"/> | 316 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/> |
629 | </operands> | 317 | </operands> |
630 | </leftOperand> | 318 | </leftOperand> |
631 | <rightOperand xsi:type="language_1:Not"> | 319 | <rightOperand xsi:type="language_1:Not"> |
632 | <operand xsi:type="language_1:Distinct"> | 320 | <operand xsi:type="language_1:Distinct"> |
633 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.1"/> | 321 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.1"/> |
634 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.20/@value/@quantifiedVariables.2"/> | 322 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.10/@value/@quantifiedVariables.2"/> |
635 | </operand> | 323 | </operand> |
636 | </rightOperand> | 324 | </rightOperand> |
637 | </expression> | 325 | </expression> |
638 | </value> | 326 | </value> |
639 | </assertions> | 327 | </assertions> |
640 | <assertions name="oppositeReference eModelElement EAnnotation" annotations="//@annotations.21"> | 328 | <assertions name="oppositeReference interface FunctionalElement" annotations="//@annotations.11"> |
641 | <value xsi:type="language_1:Forall"> | 329 | <value xsi:type="language_1:Forall"> |
642 | <quantifiedVariables name="src"> | 330 | <quantifiedVariables name="src"> |
643 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 331 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
644 | </quantifiedVariables> | 332 | </quantifiedVariables> |
645 | <quantifiedVariables name="trg"> | 333 | <quantifiedVariables name="trg"> |
646 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | 334 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
647 | </quantifiedVariables> | 335 | </quantifiedVariables> |
648 | <expression xsi:type="language_1:Iff"> | 336 | <expression xsi:type="language_1:Iff"> |
649 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> | 337 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0"> |
650 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> | 338 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> |
651 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.1"/> | 339 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/> |
652 | </leftOperand> | 340 | </leftOperand> |
653 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.23"> | 341 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.9"> |
654 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.1"/> | 342 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.1"/> |
655 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.21/@value/@quantifiedVariables.0"/> | 343 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.11/@value/@quantifiedVariables.0"/> |
656 | </rightOperand> | 344 | </rightOperand> |
657 | </expression> | 345 | </expression> |
658 | </value> | 346 | </value> |
659 | </assertions> | 347 | </assertions> |
660 | <assertions name="oppositeReference eOperations EClass" annotations="//@annotations.22"> | 348 | <assertions name="oppositeReference parent FunctionalElement" annotations="//@annotations.12"> |
661 | <value xsi:type="language_1:Forall"> | 349 | <value xsi:type="language_1:Forall"> |
662 | <quantifiedVariables name="src"> | 350 | <quantifiedVariables name="src"> |
663 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 351 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
664 | </quantifiedVariables> | 352 | </quantifiedVariables> |
665 | <quantifiedVariables name="trg"> | 353 | <quantifiedVariables name="trg"> |
666 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
667 | </quantifiedVariables> | ||
668 | <expression xsi:type="language_1:Iff"> | ||
669 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> | ||
670 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/> | ||
671 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.1"/> | ||
672 | </leftOperand> | ||
673 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.24"> | ||
674 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.1"/> | ||
675 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.22/@value/@quantifiedVariables.0"/> | ||
676 | </rightOperand> | ||
677 | </expression> | ||
678 | </value> | ||
679 | </assertions> | ||
680 | <assertions name="oppositeReference eStructuralFeatures EClass" annotations="//@annotations.23"> | ||
681 | <value xsi:type="language_1:Forall"> | ||
682 | <quantifiedVariables name="src"> | ||
683 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 354 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
684 | </quantifiedVariables> | 355 | </quantifiedVariables> |
685 | <quantifiedVariables name="trg"> | ||
686 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
687 | </quantifiedVariables> | ||
688 | <expression xsi:type="language_1:Iff"> | 356 | <expression xsi:type="language_1:Iff"> |
689 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16"> | 357 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2"> |
690 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/> | 358 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> |
691 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.1"/> | 359 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/> |
692 | </leftOperand> | 360 | </leftOperand> |
693 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.36"> | 361 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4"> |
694 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.1"/> | 362 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.1"/> |
695 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.23/@value/@quantifiedVariables.0"/> | 363 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.12/@value/@quantifiedVariables.0"/> |
696 | </rightOperand> | 364 | </rightOperand> |
697 | </expression> | 365 | </expression> |
698 | </value> | 366 | </value> |
699 | </assertions> | 367 | </assertions> |
700 | <assertions name="oppositeReference ePackage EClassifier" annotations="//@annotations.24"> | 368 | <assertions name="oppositeReference data FAMTerminator" annotations="//@annotations.13"> |
701 | <value xsi:type="language_1:Forall"> | 369 | <value xsi:type="language_1:Forall"> |
702 | <quantifiedVariables name="src"> | 370 | <quantifiedVariables name="src"> |
703 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 371 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> |
704 | </quantifiedVariables> | 372 | </quantifiedVariables> |
705 | <quantifiedVariables name="trg"> | 373 | <quantifiedVariables name="trg"> |
706 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 374 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
707 | </quantifiedVariables> | 375 | </quantifiedVariables> |
708 | <expression xsi:type="language_1:Iff"> | 376 | <expression xsi:type="language_1:Iff"> |
709 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19"> | 377 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5"> |
710 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/> | 378 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> |
711 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.1"/> | 379 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/> |
712 | </leftOperand> | 380 | </leftOperand> |
713 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.29"> | 381 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12"> |
714 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.1"/> | 382 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.1"/> |
715 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.24/@value/@quantifiedVariables.0"/> | 383 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.13/@value/@quantifiedVariables.0"/> |
716 | </rightOperand> | 384 | </rightOperand> |
717 | </expression> | 385 | </expression> |
718 | </value> | 386 | </value> |
719 | </assertions> | 387 | </assertions> |
720 | <assertions name="oppositeReference eLiterals EEnum" annotations="//@annotations.25"> | 388 | <assertions name="oppositeReference from InformationLink" annotations="//@annotations.14"> |
721 | <value xsi:type="language_1:Forall"> | 389 | <value xsi:type="language_1:Forall"> |
722 | <quantifiedVariables name="src"> | 390 | <quantifiedVariables name="src"> |
723 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | 391 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
724 | </quantifiedVariables> | 392 | </quantifiedVariables> |
725 | <quantifiedVariables name="trg"> | 393 | <quantifiedVariables name="trg"> |
726 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | 394 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> |
727 | </quantifiedVariables> | 395 | </quantifiedVariables> |
728 | <expression xsi:type="language_1:Iff"> | 396 | <expression xsi:type="language_1:Iff"> |
729 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.21"> | 397 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.6"> |
730 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/> | 398 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> |
731 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.1"/> | 399 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> |
732 | </leftOperand> | 400 | </leftOperand> |
733 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.22"> | 401 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11"> |
734 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.1"/> | 402 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.1"/> |
735 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.25/@value/@quantifiedVariables.0"/> | 403 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.14/@value/@quantifiedVariables.0"/> |
736 | </rightOperand> | 404 | </rightOperand> |
737 | </expression> | 405 | </expression> |
738 | </value> | 406 | </value> |
739 | </assertions> | 407 | </assertions> |
740 | <assertions name="oppositeReference eParameters EOperation" annotations="//@annotations.26"> | 408 | <assertions name="oppositeReference to InformationLink" annotations="//@annotations.15"> |
741 | <value xsi:type="language_1:Forall"> | 409 | <value xsi:type="language_1:Forall"> |
742 | <quantifiedVariables name="src"> | 410 | <quantifiedVariables name="src"> |
743 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | 411 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
744 | </quantifiedVariables> | 412 | </quantifiedVariables> |
745 | <quantifiedVariables name="trg"> | 413 | <quantifiedVariables name="trg"> |
746 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> | 414 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> |
747 | </quantifiedVariables> | 415 | </quantifiedVariables> |
748 | <expression xsi:type="language_1:Iff"> | 416 | <expression xsi:type="language_1:Iff"> |
749 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.26"> | 417 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7"> |
750 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/> | 418 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> |
751 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.1"/> | 419 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> |
752 | </leftOperand> | 420 | </leftOperand> |
753 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.32"> | 421 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.10"> |
754 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.1"/> | 422 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.1"/> |
755 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.26/@value/@quantifiedVariables.0"/> | 423 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.15/@value/@quantifiedVariables.0"/> |
756 | </rightOperand> | 424 | </rightOperand> |
757 | </expression> | 425 | </expression> |
758 | </value> | 426 | </value> |
759 | </assertions> | 427 | </assertions> |
760 | <assertions name="oppositeReference eSubpackages EPackage" annotations="//@annotations.27"> | 428 | <assertions name="oppositeReference data FunctionalInterface" annotations="//@annotations.16"> |
761 | <value xsi:type="language_1:Forall"> | 429 | <value xsi:type="language_1:Forall"> |
762 | <quantifiedVariables name="src"> | 430 | <quantifiedVariables name="src"> |
763 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 431 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
764 | </quantifiedVariables> | 432 | </quantifiedVariables> |
765 | <quantifiedVariables name="trg"> | 433 | <quantifiedVariables name="trg"> |
766 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 434 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
767 | </quantifiedVariables> | 435 | </quantifiedVariables> |
768 | <expression xsi:type="language_1:Iff"> | 436 | <expression xsi:type="language_1:Iff"> |
769 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.30"> | 437 | <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.8"> |
770 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/> | 438 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> |
771 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.1"/> | 439 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/> |
772 | </leftOperand> | ||
773 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.31"> | ||
774 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.1"/> | ||
775 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.27/@value/@quantifiedVariables.0"/> | ||
776 | </rightOperand> | ||
777 | </expression> | ||
778 | </value> | ||
779 | </assertions> | ||
780 | <assertions name="upperMultiplicity iD EAttribute" annotations="//@annotations.28"> | ||
781 | <value xsi:type="language_1:Forall"> | ||
782 | <quantifiedVariables name="src"> | ||
783 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
784 | </quantifiedVariables> | ||
785 | <quantifiedVariables name="trg 1"> | ||
786 | <range xsi:type="language_1:BoolTypeReference"/> | ||
787 | </quantifiedVariables> | ||
788 | <quantifiedVariables name="trg 2"> | ||
789 | <range xsi:type="language_1:BoolTypeReference"/> | ||
790 | </quantifiedVariables> | ||
791 | <expression xsi:type="language_1:Impl"> | ||
792 | <leftOperand xsi:type="language_1:And"> | ||
793 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.46"> | ||
794 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/> | ||
795 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.1"/> | ||
796 | </operands> | ||
797 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.46"> | ||
798 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.0"/> | ||
799 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.2"/> | ||
800 | </operands> | ||
801 | </leftOperand> | ||
802 | <rightOperand xsi:type="language_1:Not"> | ||
803 | <operand xsi:type="language_1:Distinct"> | ||
804 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.1"/> | ||
805 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.28/@value/@quantifiedVariables.2"/> | ||
806 | </operand> | ||
807 | </rightOperand> | ||
808 | </expression> | ||
809 | </value> | ||
810 | </assertions> | ||
811 | <assertions name="upperMultiplicity source EAnnotation" annotations="//@annotations.29"> | ||
812 | <value xsi:type="language_1:Forall"> | ||
813 | <quantifiedVariables name="src"> | ||
814 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
815 | </quantifiedVariables> | ||
816 | <quantifiedVariables name="trg 1"> | ||
817 | <range xsi:type="language_1:StringTypeReference"/> | ||
818 | </quantifiedVariables> | ||
819 | <quantifiedVariables name="trg 2"> | ||
820 | <range xsi:type="language_1:StringTypeReference"/> | ||
821 | </quantifiedVariables> | ||
822 | <expression xsi:type="language_1:Impl"> | ||
823 | <leftOperand xsi:type="language_1:And"> | ||
824 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.47"> | ||
825 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/> | ||
826 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.1"/> | ||
827 | </operands> | ||
828 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.47"> | ||
829 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.0"/> | ||
830 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.2"/> | ||
831 | </operands> | ||
832 | </leftOperand> | 440 | </leftOperand> |
833 | <rightOperand xsi:type="language_1:Not"> | 441 | <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.13"> |
834 | <operand xsi:type="language_1:Distinct"> | 442 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.1"/> |
835 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.1"/> | 443 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.16/@value/@quantifiedVariables.0"/> |
836 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.29/@value/@quantifiedVariables.2"/> | ||
837 | </operand> | ||
838 | </rightOperand> | 444 | </rightOperand> |
839 | </expression> | 445 | </expression> |
840 | </value> | 446 | </value> |
841 | </assertions> | 447 | </assertions> |
842 | <assertions name="upperMultiplicity abstract EClass" annotations="//@annotations.30"> | 448 | <assertions name="lowerMultiplicity type Function" annotations="//@annotations.17"> |
843 | <value xsi:type="language_1:Forall"> | 449 | <value xsi:type="language_1:Forall"> |
844 | <quantifiedVariables name="src"> | 450 | <quantifiedVariables name="src"> |
845 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 451 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
846 | </quantifiedVariables> | 452 | </quantifiedVariables> |
847 | <quantifiedVariables name="trg 1"> | 453 | <expression xsi:type="language_1:Exists"> |
848 | <range xsi:type="language_1:BoolTypeReference"/> | 454 | <quantifiedVariables name="trg 1"> |
849 | </quantifiedVariables> | 455 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> |
850 | <quantifiedVariables name="trg 2"> | 456 | </quantifiedVariables> |
851 | <range xsi:type="language_1:BoolTypeReference"/> | 457 | <expression xsi:type="language_1:And"> |
852 | </quantifiedVariables> | 458 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> |
853 | <expression xsi:type="language_1:Impl"> | 459 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@quantifiedVariables.0"/> |
854 | <leftOperand xsi:type="language_1:And"> | 460 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.17/@value/@expression/@quantifiedVariables.0"/> |
855 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.48"> | ||
856 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.0"/> | ||
857 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.1"/> | ||
858 | </operands> | ||
859 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.48"> | ||
860 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.0"/> | ||
861 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.2"/> | ||
862 | </operands> | 461 | </operands> |
863 | </leftOperand> | 462 | </expression> |
864 | <rightOperand xsi:type="language_1:Not"> | ||
865 | <operand xsi:type="language_1:Distinct"> | ||
866 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.1"/> | ||
867 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.30/@value/@quantifiedVariables.2"/> | ||
868 | </operand> | ||
869 | </rightOperand> | ||
870 | </expression> | 463 | </expression> |
871 | </value> | 464 | </value> |
872 | </assertions> | 465 | </assertions> |
873 | <assertions name="upperMultiplicity interface EClass" annotations="//@annotations.31"> | 466 | <assertions name="upperMultiplicity type Function" annotations="//@annotations.18"> |
874 | <value xsi:type="language_1:Forall"> | 467 | <value xsi:type="language_1:Forall"> |
875 | <quantifiedVariables name="src"> | 468 | <quantifiedVariables name="src"> |
876 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 469 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
877 | </quantifiedVariables> | 470 | </quantifiedVariables> |
878 | <quantifiedVariables name="trg 1"> | 471 | <quantifiedVariables name="trg 1"> |
879 | <range xsi:type="language_1:BoolTypeReference"/> | 472 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> |
880 | </quantifiedVariables> | ||
881 | <quantifiedVariables name="trg 2"> | ||
882 | <range xsi:type="language_1:BoolTypeReference"/> | ||
883 | </quantifiedVariables> | ||
884 | <expression xsi:type="language_1:Impl"> | ||
885 | <leftOperand xsi:type="language_1:And"> | ||
886 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.49"> | ||
887 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.0"/> | ||
888 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.1"/> | ||
889 | </operands> | ||
890 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.49"> | ||
891 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.0"/> | ||
892 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.2"/> | ||
893 | </operands> | ||
894 | </leftOperand> | ||
895 | <rightOperand xsi:type="language_1:Not"> | ||
896 | <operand xsi:type="language_1:Distinct"> | ||
897 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.1"/> | ||
898 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.31/@value/@quantifiedVariables.2"/> | ||
899 | </operand> | ||
900 | </rightOperand> | ||
901 | </expression> | ||
902 | </value> | ||
903 | </assertions> | ||
904 | <assertions name="upperMultiplicity instanceClassName EClassifier" annotations="//@annotations.32"> | ||
905 | <value xsi:type="language_1:Forall"> | ||
906 | <quantifiedVariables name="src"> | ||
907 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
908 | </quantifiedVariables> | ||
909 | <quantifiedVariables name="trg 1"> | ||
910 | <range xsi:type="language_1:StringTypeReference"/> | ||
911 | </quantifiedVariables> | ||
912 | <quantifiedVariables name="trg 2"> | ||
913 | <range xsi:type="language_1:StringTypeReference"/> | ||
914 | </quantifiedVariables> | ||
915 | <expression xsi:type="language_1:Impl"> | ||
916 | <leftOperand xsi:type="language_1:And"> | ||
917 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.50"> | ||
918 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/> | ||
919 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.1"/> | ||
920 | </operands> | ||
921 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.50"> | ||
922 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.0"/> | ||
923 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.2"/> | ||
924 | </operands> | ||
925 | </leftOperand> | ||
926 | <rightOperand xsi:type="language_1:Not"> | ||
927 | <operand xsi:type="language_1:Distinct"> | ||
928 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.1"/> | ||
929 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.32/@value/@quantifiedVariables.2"/> | ||
930 | </operand> | ||
931 | </rightOperand> | ||
932 | </expression> | ||
933 | </value> | ||
934 | </assertions> | ||
935 | <assertions name="upperMultiplicity instanceTypeName EClassifier" annotations="//@annotations.33"> | ||
936 | <value xsi:type="language_1:Forall"> | ||
937 | <quantifiedVariables name="src"> | ||
938 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
939 | </quantifiedVariables> | ||
940 | <quantifiedVariables name="trg 1"> | ||
941 | <range xsi:type="language_1:StringTypeReference"/> | ||
942 | </quantifiedVariables> | ||
943 | <quantifiedVariables name="trg 2"> | ||
944 | <range xsi:type="language_1:StringTypeReference"/> | ||
945 | </quantifiedVariables> | ||
946 | <expression xsi:type="language_1:Impl"> | ||
947 | <leftOperand xsi:type="language_1:And"> | ||
948 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.51"> | ||
949 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/> | ||
950 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.1"/> | ||
951 | </operands> | ||
952 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.51"> | ||
953 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.0"/> | ||
954 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.2"/> | ||
955 | </operands> | ||
956 | </leftOperand> | ||
957 | <rightOperand xsi:type="language_1:Not"> | ||
958 | <operand xsi:type="language_1:Distinct"> | ||
959 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.1"/> | ||
960 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.33/@value/@quantifiedVariables.2"/> | ||
961 | </operand> | ||
962 | </rightOperand> | ||
963 | </expression> | ||
964 | </value> | ||
965 | </assertions> | ||
966 | <assertions name="upperMultiplicity serializable EDataType" annotations="//@annotations.34"> | ||
967 | <value xsi:type="language_1:Forall"> | ||
968 | <quantifiedVariables name="src"> | ||
969 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
970 | </quantifiedVariables> | ||
971 | <quantifiedVariables name="trg 1"> | ||
972 | <range xsi:type="language_1:BoolTypeReference"/> | ||
973 | </quantifiedVariables> | ||
974 | <quantifiedVariables name="trg 2"> | ||
975 | <range xsi:type="language_1:BoolTypeReference"/> | ||
976 | </quantifiedVariables> | ||
977 | <expression xsi:type="language_1:Impl"> | ||
978 | <leftOperand xsi:type="language_1:And"> | ||
979 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.52"> | ||
980 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.0"/> | ||
981 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.1"/> | ||
982 | </operands> | ||
983 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.52"> | ||
984 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.0"/> | ||
985 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.2"/> | ||
986 | </operands> | ||
987 | </leftOperand> | ||
988 | <rightOperand xsi:type="language_1:Not"> | ||
989 | <operand xsi:type="language_1:Distinct"> | ||
990 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.1"/> | ||
991 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.34/@value/@quantifiedVariables.2"/> | ||
992 | </operand> | ||
993 | </rightOperand> | ||
994 | </expression> | ||
995 | </value> | ||
996 | </assertions> | ||
997 | <assertions name="upperMultiplicity value EEnumLiteral" annotations="//@annotations.35"> | ||
998 | <value xsi:type="language_1:Forall"> | ||
999 | <quantifiedVariables name="src"> | ||
1000 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
1001 | </quantifiedVariables> | ||
1002 | <quantifiedVariables name="trg 1"> | ||
1003 | <range xsi:type="language_1:IntTypeReference"/> | ||
1004 | </quantifiedVariables> | ||
1005 | <quantifiedVariables name="trg 2"> | ||
1006 | <range xsi:type="language_1:IntTypeReference"/> | ||
1007 | </quantifiedVariables> | ||
1008 | <expression xsi:type="language_1:Impl"> | ||
1009 | <leftOperand xsi:type="language_1:And"> | ||
1010 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.53"> | ||
1011 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.0"/> | ||
1012 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.1"/> | ||
1013 | </operands> | ||
1014 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.53"> | ||
1015 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.0"/> | ||
1016 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.2"/> | ||
1017 | </operands> | ||
1018 | </leftOperand> | ||
1019 | <rightOperand xsi:type="language_1:Not"> | ||
1020 | <operand xsi:type="language_1:Distinct"> | ||
1021 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.1"/> | ||
1022 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.35/@value/@quantifiedVariables.2"/> | ||
1023 | </operand> | ||
1024 | </rightOperand> | ||
1025 | </expression> | ||
1026 | </value> | ||
1027 | </assertions> | ||
1028 | <assertions name="upperMultiplicity literal EEnumLiteral" annotations="//@annotations.36"> | ||
1029 | <value xsi:type="language_1:Forall"> | ||
1030 | <quantifiedVariables name="src"> | ||
1031 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
1032 | </quantifiedVariables> | ||
1033 | <quantifiedVariables name="trg 1"> | ||
1034 | <range xsi:type="language_1:StringTypeReference"/> | ||
1035 | </quantifiedVariables> | 473 | </quantifiedVariables> |
1036 | <quantifiedVariables name="trg 2"> | 474 | <quantifiedVariables name="trg 2"> |
1037 | <range xsi:type="language_1:StringTypeReference"/> | 475 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> |
1038 | </quantifiedVariables> | 476 | </quantifiedVariables> |
1039 | <expression xsi:type="language_1:Impl"> | 477 | <expression xsi:type="language_1:Impl"> |
1040 | <leftOperand xsi:type="language_1:And"> | 478 | <leftOperand xsi:type="language_1:And"> |
1041 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.54"> | 479 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> |
1042 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.0"/> | 480 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> |
1043 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.1"/> | 481 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/> |
1044 | </operands> | ||
1045 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.54"> | ||
1046 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.0"/> | ||
1047 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.2"/> | ||
1048 | </operands> | ||
1049 | </leftOperand> | ||
1050 | <rightOperand xsi:type="language_1:Not"> | ||
1051 | <operand xsi:type="language_1:Distinct"> | ||
1052 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.1"/> | ||
1053 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.36/@value/@quantifiedVariables.2"/> | ||
1054 | </operand> | ||
1055 | </rightOperand> | ||
1056 | </expression> | ||
1057 | </value> | ||
1058 | </assertions> | ||
1059 | <assertions name="upperMultiplicity name ENamedElement" annotations="//@annotations.37"> | ||
1060 | <value xsi:type="language_1:Forall"> | ||
1061 | <quantifiedVariables name="src"> | ||
1062 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
1063 | </quantifiedVariables> | ||
1064 | <quantifiedVariables name="trg 1"> | ||
1065 | <range xsi:type="language_1:StringTypeReference"/> | ||
1066 | </quantifiedVariables> | ||
1067 | <quantifiedVariables name="trg 2"> | ||
1068 | <range xsi:type="language_1:StringTypeReference"/> | ||
1069 | </quantifiedVariables> | ||
1070 | <expression xsi:type="language_1:Impl"> | ||
1071 | <leftOperand xsi:type="language_1:And"> | ||
1072 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.55"> | ||
1073 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.0"/> | ||
1074 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.1"/> | ||
1075 | </operands> | ||
1076 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.55"> | ||
1077 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.0"/> | ||
1078 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.2"/> | ||
1079 | </operands> | ||
1080 | </leftOperand> | ||
1081 | <rightOperand xsi:type="language_1:Not"> | ||
1082 | <operand xsi:type="language_1:Distinct"> | ||
1083 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.1"/> | ||
1084 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.37/@value/@quantifiedVariables.2"/> | ||
1085 | </operand> | ||
1086 | </rightOperand> | ||
1087 | </expression> | ||
1088 | </value> | ||
1089 | </assertions> | ||
1090 | <assertions name="upperMultiplicity nsURI EPackage" annotations="//@annotations.38"> | ||
1091 | <value xsi:type="language_1:Forall"> | ||
1092 | <quantifiedVariables name="src"> | ||
1093 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1094 | </quantifiedVariables> | ||
1095 | <quantifiedVariables name="trg 1"> | ||
1096 | <range xsi:type="language_1:StringTypeReference"/> | ||
1097 | </quantifiedVariables> | ||
1098 | <quantifiedVariables name="trg 2"> | ||
1099 | <range xsi:type="language_1:StringTypeReference"/> | ||
1100 | </quantifiedVariables> | ||
1101 | <expression xsi:type="language_1:Impl"> | ||
1102 | <leftOperand xsi:type="language_1:And"> | ||
1103 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.56"> | ||
1104 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.0"/> | ||
1105 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.1"/> | ||
1106 | </operands> | ||
1107 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.56"> | ||
1108 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.0"/> | ||
1109 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.2"/> | ||
1110 | </operands> | ||
1111 | </leftOperand> | ||
1112 | <rightOperand xsi:type="language_1:Not"> | ||
1113 | <operand xsi:type="language_1:Distinct"> | ||
1114 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.1"/> | ||
1115 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.38/@value/@quantifiedVariables.2"/> | ||
1116 | </operand> | ||
1117 | </rightOperand> | ||
1118 | </expression> | ||
1119 | </value> | ||
1120 | </assertions> | ||
1121 | <assertions name="upperMultiplicity nsPrefix EPackage" annotations="//@annotations.39"> | ||
1122 | <value xsi:type="language_1:Forall"> | ||
1123 | <quantifiedVariables name="src"> | ||
1124 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1125 | </quantifiedVariables> | ||
1126 | <quantifiedVariables name="trg 1"> | ||
1127 | <range xsi:type="language_1:StringTypeReference"/> | ||
1128 | </quantifiedVariables> | ||
1129 | <quantifiedVariables name="trg 2"> | ||
1130 | <range xsi:type="language_1:StringTypeReference"/> | ||
1131 | </quantifiedVariables> | ||
1132 | <expression xsi:type="language_1:Impl"> | ||
1133 | <leftOperand xsi:type="language_1:And"> | ||
1134 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.57"> | ||
1135 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.0"/> | ||
1136 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.1"/> | ||
1137 | </operands> | ||
1138 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.57"> | ||
1139 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.0"/> | ||
1140 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.2"/> | ||
1141 | </operands> | ||
1142 | </leftOperand> | ||
1143 | <rightOperand xsi:type="language_1:Not"> | ||
1144 | <operand xsi:type="language_1:Distinct"> | ||
1145 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.1"/> | ||
1146 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.39/@value/@quantifiedVariables.2"/> | ||
1147 | </operand> | ||
1148 | </rightOperand> | ||
1149 | </expression> | ||
1150 | </value> | ||
1151 | </assertions> | ||
1152 | <assertions name="upperMultiplicity containment EReference" annotations="//@annotations.40"> | ||
1153 | <value xsi:type="language_1:Forall"> | ||
1154 | <quantifiedVariables name="src"> | ||
1155 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1156 | </quantifiedVariables> | ||
1157 | <quantifiedVariables name="trg 1"> | ||
1158 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1159 | </quantifiedVariables> | ||
1160 | <quantifiedVariables name="trg 2"> | ||
1161 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1162 | </quantifiedVariables> | ||
1163 | <expression xsi:type="language_1:Impl"> | ||
1164 | <leftOperand xsi:type="language_1:And"> | ||
1165 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.58"> | ||
1166 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.0"/> | ||
1167 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.1"/> | ||
1168 | </operands> | ||
1169 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.58"> | ||
1170 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.0"/> | ||
1171 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.2"/> | ||
1172 | </operands> | ||
1173 | </leftOperand> | ||
1174 | <rightOperand xsi:type="language_1:Not"> | ||
1175 | <operand xsi:type="language_1:Distinct"> | ||
1176 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.1"/> | ||
1177 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.40/@value/@quantifiedVariables.2"/> | ||
1178 | </operand> | ||
1179 | </rightOperand> | ||
1180 | </expression> | ||
1181 | </value> | ||
1182 | </assertions> | ||
1183 | <assertions name="upperMultiplicity container EReference" annotations="//@annotations.41"> | ||
1184 | <value xsi:type="language_1:Forall"> | ||
1185 | <quantifiedVariables name="src"> | ||
1186 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1187 | </quantifiedVariables> | ||
1188 | <quantifiedVariables name="trg 1"> | ||
1189 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1190 | </quantifiedVariables> | ||
1191 | <quantifiedVariables name="trg 2"> | ||
1192 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1193 | </quantifiedVariables> | ||
1194 | <expression xsi:type="language_1:Impl"> | ||
1195 | <leftOperand xsi:type="language_1:And"> | ||
1196 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.59"> | ||
1197 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.0"/> | ||
1198 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.1"/> | ||
1199 | </operands> | ||
1200 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.59"> | ||
1201 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.0"/> | ||
1202 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.2"/> | ||
1203 | </operands> | ||
1204 | </leftOperand> | ||
1205 | <rightOperand xsi:type="language_1:Not"> | ||
1206 | <operand xsi:type="language_1:Distinct"> | ||
1207 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.1"/> | ||
1208 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.41/@value/@quantifiedVariables.2"/> | ||
1209 | </operand> | ||
1210 | </rightOperand> | ||
1211 | </expression> | ||
1212 | </value> | ||
1213 | </assertions> | ||
1214 | <assertions name="upperMultiplicity resolveProxies EReference" annotations="//@annotations.42"> | ||
1215 | <value xsi:type="language_1:Forall"> | ||
1216 | <quantifiedVariables name="src"> | ||
1217 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1218 | </quantifiedVariables> | ||
1219 | <quantifiedVariables name="trg 1"> | ||
1220 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1221 | </quantifiedVariables> | ||
1222 | <quantifiedVariables name="trg 2"> | ||
1223 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1224 | </quantifiedVariables> | ||
1225 | <expression xsi:type="language_1:Impl"> | ||
1226 | <leftOperand xsi:type="language_1:And"> | ||
1227 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.60"> | ||
1228 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.0"/> | ||
1229 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.1"/> | ||
1230 | </operands> | ||
1231 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.60"> | ||
1232 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.0"/> | ||
1233 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.2"/> | ||
1234 | </operands> | ||
1235 | </leftOperand> | ||
1236 | <rightOperand xsi:type="language_1:Not"> | ||
1237 | <operand xsi:type="language_1:Distinct"> | ||
1238 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.1"/> | ||
1239 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.42/@value/@quantifiedVariables.2"/> | ||
1240 | </operand> | ||
1241 | </rightOperand> | ||
1242 | </expression> | ||
1243 | </value> | ||
1244 | </assertions> | ||
1245 | <assertions name="upperMultiplicity changeable EStructuralFeature" annotations="//@annotations.43"> | ||
1246 | <value xsi:type="language_1:Forall"> | ||
1247 | <quantifiedVariables name="src"> | ||
1248 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1249 | </quantifiedVariables> | ||
1250 | <quantifiedVariables name="trg 1"> | ||
1251 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1252 | </quantifiedVariables> | ||
1253 | <quantifiedVariables name="trg 2"> | ||
1254 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1255 | </quantifiedVariables> | ||
1256 | <expression xsi:type="language_1:Impl"> | ||
1257 | <leftOperand xsi:type="language_1:And"> | ||
1258 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.61"> | ||
1259 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.0"/> | ||
1260 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.1"/> | ||
1261 | </operands> | ||
1262 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.61"> | ||
1263 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.0"/> | ||
1264 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.2"/> | ||
1265 | </operands> | ||
1266 | </leftOperand> | ||
1267 | <rightOperand xsi:type="language_1:Not"> | ||
1268 | <operand xsi:type="language_1:Distinct"> | ||
1269 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.1"/> | ||
1270 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.43/@value/@quantifiedVariables.2"/> | ||
1271 | </operand> | ||
1272 | </rightOperand> | ||
1273 | </expression> | ||
1274 | </value> | ||
1275 | </assertions> | ||
1276 | <assertions name="upperMultiplicity volatile EStructuralFeature" annotations="//@annotations.44"> | ||
1277 | <value xsi:type="language_1:Forall"> | ||
1278 | <quantifiedVariables name="src"> | ||
1279 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1280 | </quantifiedVariables> | ||
1281 | <quantifiedVariables name="trg 1"> | ||
1282 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1283 | </quantifiedVariables> | ||
1284 | <quantifiedVariables name="trg 2"> | ||
1285 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1286 | </quantifiedVariables> | ||
1287 | <expression xsi:type="language_1:Impl"> | ||
1288 | <leftOperand xsi:type="language_1:And"> | ||
1289 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.62"> | ||
1290 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.0"/> | ||
1291 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.1"/> | ||
1292 | </operands> | ||
1293 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.62"> | ||
1294 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.0"/> | ||
1295 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.2"/> | ||
1296 | </operands> | ||
1297 | </leftOperand> | ||
1298 | <rightOperand xsi:type="language_1:Not"> | ||
1299 | <operand xsi:type="language_1:Distinct"> | ||
1300 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.1"/> | ||
1301 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.44/@value/@quantifiedVariables.2"/> | ||
1302 | </operand> | ||
1303 | </rightOperand> | ||
1304 | </expression> | ||
1305 | </value> | ||
1306 | </assertions> | ||
1307 | <assertions name="upperMultiplicity transient EStructuralFeature" annotations="//@annotations.45"> | ||
1308 | <value xsi:type="language_1:Forall"> | ||
1309 | <quantifiedVariables name="src"> | ||
1310 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1311 | </quantifiedVariables> | ||
1312 | <quantifiedVariables name="trg 1"> | ||
1313 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1314 | </quantifiedVariables> | ||
1315 | <quantifiedVariables name="trg 2"> | ||
1316 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1317 | </quantifiedVariables> | ||
1318 | <expression xsi:type="language_1:Impl"> | ||
1319 | <leftOperand xsi:type="language_1:And"> | ||
1320 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.63"> | ||
1321 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.0"/> | ||
1322 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.1"/> | ||
1323 | </operands> | ||
1324 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.63"> | ||
1325 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.0"/> | ||
1326 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.2"/> | ||
1327 | </operands> | ||
1328 | </leftOperand> | ||
1329 | <rightOperand xsi:type="language_1:Not"> | ||
1330 | <operand xsi:type="language_1:Distinct"> | ||
1331 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.1"/> | ||
1332 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.45/@value/@quantifiedVariables.2"/> | ||
1333 | </operand> | ||
1334 | </rightOperand> | ||
1335 | </expression> | ||
1336 | </value> | ||
1337 | </assertions> | ||
1338 | <assertions name="upperMultiplicity defaultValueLiteral EStructuralFeature" annotations="//@annotations.46"> | ||
1339 | <value xsi:type="language_1:Forall"> | ||
1340 | <quantifiedVariables name="src"> | ||
1341 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1342 | </quantifiedVariables> | ||
1343 | <quantifiedVariables name="trg 1"> | ||
1344 | <range xsi:type="language_1:StringTypeReference"/> | ||
1345 | </quantifiedVariables> | ||
1346 | <quantifiedVariables name="trg 2"> | ||
1347 | <range xsi:type="language_1:StringTypeReference"/> | ||
1348 | </quantifiedVariables> | ||
1349 | <expression xsi:type="language_1:Impl"> | ||
1350 | <leftOperand xsi:type="language_1:And"> | ||
1351 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.64"> | ||
1352 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.0"/> | ||
1353 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.1"/> | ||
1354 | </operands> | ||
1355 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.64"> | ||
1356 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.0"/> | ||
1357 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.2"/> | ||
1358 | </operands> | ||
1359 | </leftOperand> | ||
1360 | <rightOperand xsi:type="language_1:Not"> | ||
1361 | <operand xsi:type="language_1:Distinct"> | ||
1362 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.1"/> | ||
1363 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.46/@value/@quantifiedVariables.2"/> | ||
1364 | </operand> | ||
1365 | </rightOperand> | ||
1366 | </expression> | ||
1367 | </value> | ||
1368 | </assertions> | ||
1369 | <assertions name="upperMultiplicity unsettable EStructuralFeature" annotations="//@annotations.47"> | ||
1370 | <value xsi:type="language_1:Forall"> | ||
1371 | <quantifiedVariables name="src"> | ||
1372 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1373 | </quantifiedVariables> | ||
1374 | <quantifiedVariables name="trg 1"> | ||
1375 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1376 | </quantifiedVariables> | ||
1377 | <quantifiedVariables name="trg 2"> | ||
1378 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1379 | </quantifiedVariables> | ||
1380 | <expression xsi:type="language_1:Impl"> | ||
1381 | <leftOperand xsi:type="language_1:And"> | ||
1382 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.65"> | ||
1383 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.0"/> | ||
1384 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.1"/> | ||
1385 | </operands> | ||
1386 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.65"> | ||
1387 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.0"/> | ||
1388 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.2"/> | ||
1389 | </operands> | ||
1390 | </leftOperand> | ||
1391 | <rightOperand xsi:type="language_1:Not"> | ||
1392 | <operand xsi:type="language_1:Distinct"> | ||
1393 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.1"/> | ||
1394 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.47/@value/@quantifiedVariables.2"/> | ||
1395 | </operand> | ||
1396 | </rightOperand> | ||
1397 | </expression> | ||
1398 | </value> | ||
1399 | </assertions> | ||
1400 | <assertions name="upperMultiplicity derived EStructuralFeature" annotations="//@annotations.48"> | ||
1401 | <value xsi:type="language_1:Forall"> | ||
1402 | <quantifiedVariables name="src"> | ||
1403 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1404 | </quantifiedVariables> | ||
1405 | <quantifiedVariables name="trg 1"> | ||
1406 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1407 | </quantifiedVariables> | ||
1408 | <quantifiedVariables name="trg 2"> | ||
1409 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1410 | </quantifiedVariables> | ||
1411 | <expression xsi:type="language_1:Impl"> | ||
1412 | <leftOperand xsi:type="language_1:And"> | ||
1413 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.66"> | ||
1414 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.0"/> | ||
1415 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.1"/> | ||
1416 | </operands> | ||
1417 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.66"> | ||
1418 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.0"/> | ||
1419 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.2"/> | ||
1420 | </operands> | ||
1421 | </leftOperand> | ||
1422 | <rightOperand xsi:type="language_1:Not"> | ||
1423 | <operand xsi:type="language_1:Distinct"> | ||
1424 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.1"/> | ||
1425 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.48/@value/@quantifiedVariables.2"/> | ||
1426 | </operand> | ||
1427 | </rightOperand> | ||
1428 | </expression> | ||
1429 | </value> | ||
1430 | </assertions> | ||
1431 | <assertions name="upperMultiplicity ordered ETypedElement" annotations="//@annotations.49"> | ||
1432 | <value xsi:type="language_1:Forall"> | ||
1433 | <quantifiedVariables name="src"> | ||
1434 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1435 | </quantifiedVariables> | ||
1436 | <quantifiedVariables name="trg 1"> | ||
1437 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1438 | </quantifiedVariables> | ||
1439 | <quantifiedVariables name="trg 2"> | ||
1440 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1441 | </quantifiedVariables> | ||
1442 | <expression xsi:type="language_1:Impl"> | ||
1443 | <leftOperand xsi:type="language_1:And"> | ||
1444 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.67"> | ||
1445 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.0"/> | ||
1446 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.1"/> | ||
1447 | </operands> | ||
1448 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.67"> | ||
1449 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.0"/> | ||
1450 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.2"/> | ||
1451 | </operands> | ||
1452 | </leftOperand> | ||
1453 | <rightOperand xsi:type="language_1:Not"> | ||
1454 | <operand xsi:type="language_1:Distinct"> | ||
1455 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.1"/> | ||
1456 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.49/@value/@quantifiedVariables.2"/> | ||
1457 | </operand> | ||
1458 | </rightOperand> | ||
1459 | </expression> | ||
1460 | </value> | ||
1461 | </assertions> | ||
1462 | <assertions name="upperMultiplicity unique ETypedElement" annotations="//@annotations.50"> | ||
1463 | <value xsi:type="language_1:Forall"> | ||
1464 | <quantifiedVariables name="src"> | ||
1465 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1466 | </quantifiedVariables> | ||
1467 | <quantifiedVariables name="trg 1"> | ||
1468 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1469 | </quantifiedVariables> | ||
1470 | <quantifiedVariables name="trg 2"> | ||
1471 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1472 | </quantifiedVariables> | ||
1473 | <expression xsi:type="language_1:Impl"> | ||
1474 | <leftOperand xsi:type="language_1:And"> | ||
1475 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.68"> | ||
1476 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.0"/> | ||
1477 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.1"/> | ||
1478 | </operands> | ||
1479 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.68"> | ||
1480 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.0"/> | ||
1481 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.2"/> | ||
1482 | </operands> | ||
1483 | </leftOperand> | ||
1484 | <rightOperand xsi:type="language_1:Not"> | ||
1485 | <operand xsi:type="language_1:Distinct"> | ||
1486 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.1"/> | ||
1487 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.50/@value/@quantifiedVariables.2"/> | ||
1488 | </operand> | ||
1489 | </rightOperand> | ||
1490 | </expression> | ||
1491 | </value> | ||
1492 | </assertions> | ||
1493 | <assertions name="upperMultiplicity lowerBound ETypedElement" annotations="//@annotations.51"> | ||
1494 | <value xsi:type="language_1:Forall"> | ||
1495 | <quantifiedVariables name="src"> | ||
1496 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1497 | </quantifiedVariables> | ||
1498 | <quantifiedVariables name="trg 1"> | ||
1499 | <range xsi:type="language_1:IntTypeReference"/> | ||
1500 | </quantifiedVariables> | ||
1501 | <quantifiedVariables name="trg 2"> | ||
1502 | <range xsi:type="language_1:IntTypeReference"/> | ||
1503 | </quantifiedVariables> | ||
1504 | <expression xsi:type="language_1:Impl"> | ||
1505 | <leftOperand xsi:type="language_1:And"> | ||
1506 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.69"> | ||
1507 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.0"/> | ||
1508 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.1"/> | ||
1509 | </operands> | ||
1510 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.69"> | ||
1511 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.0"/> | ||
1512 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.2"/> | ||
1513 | </operands> | ||
1514 | </leftOperand> | ||
1515 | <rightOperand xsi:type="language_1:Not"> | ||
1516 | <operand xsi:type="language_1:Distinct"> | ||
1517 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.1"/> | ||
1518 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.51/@value/@quantifiedVariables.2"/> | ||
1519 | </operand> | ||
1520 | </rightOperand> | ||
1521 | </expression> | ||
1522 | </value> | ||
1523 | </assertions> | ||
1524 | <assertions name="upperMultiplicity upperBound ETypedElement" annotations="//@annotations.52"> | ||
1525 | <value xsi:type="language_1:Forall"> | ||
1526 | <quantifiedVariables name="src"> | ||
1527 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1528 | </quantifiedVariables> | ||
1529 | <quantifiedVariables name="trg 1"> | ||
1530 | <range xsi:type="language_1:IntTypeReference"/> | ||
1531 | </quantifiedVariables> | ||
1532 | <quantifiedVariables name="trg 2"> | ||
1533 | <range xsi:type="language_1:IntTypeReference"/> | ||
1534 | </quantifiedVariables> | ||
1535 | <expression xsi:type="language_1:Impl"> | ||
1536 | <leftOperand xsi:type="language_1:And"> | ||
1537 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.70"> | ||
1538 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.0"/> | ||
1539 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.1"/> | ||
1540 | </operands> | ||
1541 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.70"> | ||
1542 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.0"/> | ||
1543 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.2"/> | ||
1544 | </operands> | ||
1545 | </leftOperand> | ||
1546 | <rightOperand xsi:type="language_1:Not"> | ||
1547 | <operand xsi:type="language_1:Distinct"> | ||
1548 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.1"/> | ||
1549 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.52/@value/@quantifiedVariables.2"/> | ||
1550 | </operand> | ||
1551 | </rightOperand> | ||
1552 | </expression> | ||
1553 | </value> | ||
1554 | </assertions> | ||
1555 | <assertions name="upperMultiplicity many ETypedElement" annotations="//@annotations.53"> | ||
1556 | <value xsi:type="language_1:Forall"> | ||
1557 | <quantifiedVariables name="src"> | ||
1558 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1559 | </quantifiedVariables> | ||
1560 | <quantifiedVariables name="trg 1"> | ||
1561 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1562 | </quantifiedVariables> | ||
1563 | <quantifiedVariables name="trg 2"> | ||
1564 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1565 | </quantifiedVariables> | ||
1566 | <expression xsi:type="language_1:Impl"> | ||
1567 | <leftOperand xsi:type="language_1:And"> | ||
1568 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.71"> | ||
1569 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.0"/> | ||
1570 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.1"/> | ||
1571 | </operands> | ||
1572 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.71"> | ||
1573 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.0"/> | ||
1574 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.2"/> | ||
1575 | </operands> | ||
1576 | </leftOperand> | ||
1577 | <rightOperand xsi:type="language_1:Not"> | ||
1578 | <operand xsi:type="language_1:Distinct"> | ||
1579 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.1"/> | ||
1580 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.53/@value/@quantifiedVariables.2"/> | ||
1581 | </operand> | ||
1582 | </rightOperand> | ||
1583 | </expression> | ||
1584 | </value> | ||
1585 | </assertions> | ||
1586 | <assertions name="upperMultiplicity required ETypedElement" annotations="//@annotations.54"> | ||
1587 | <value xsi:type="language_1:Forall"> | ||
1588 | <quantifiedVariables name="src"> | ||
1589 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1590 | </quantifiedVariables> | ||
1591 | <quantifiedVariables name="trg 1"> | ||
1592 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1593 | </quantifiedVariables> | ||
1594 | <quantifiedVariables name="trg 2"> | ||
1595 | <range xsi:type="language_1:BoolTypeReference"/> | ||
1596 | </quantifiedVariables> | ||
1597 | <expression xsi:type="language_1:Impl"> | ||
1598 | <leftOperand xsi:type="language_1:And"> | ||
1599 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.72"> | ||
1600 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.0"/> | ||
1601 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.1"/> | ||
1602 | </operands> | ||
1603 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.72"> | ||
1604 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.0"/> | ||
1605 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.2"/> | ||
1606 | </operands> | ||
1607 | </leftOperand> | ||
1608 | <rightOperand xsi:type="language_1:Not"> | ||
1609 | <operand xsi:type="language_1:Distinct"> | ||
1610 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.1"/> | ||
1611 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.54/@value/@quantifiedVariables.2"/> | ||
1612 | </operand> | ||
1613 | </rightOperand> | ||
1614 | </expression> | ||
1615 | </value> | ||
1616 | </assertions> | ||
1617 | <assertions name="upperMultiplicity key EStringToStringMapEntry" annotations="//@annotations.55"> | ||
1618 | <value xsi:type="language_1:Forall"> | ||
1619 | <quantifiedVariables name="src"> | ||
1620 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/> | ||
1621 | </quantifiedVariables> | ||
1622 | <quantifiedVariables name="trg 1"> | ||
1623 | <range xsi:type="language_1:StringTypeReference"/> | ||
1624 | </quantifiedVariables> | ||
1625 | <quantifiedVariables name="trg 2"> | ||
1626 | <range xsi:type="language_1:StringTypeReference"/> | ||
1627 | </quantifiedVariables> | ||
1628 | <expression xsi:type="language_1:Impl"> | ||
1629 | <leftOperand xsi:type="language_1:And"> | ||
1630 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.73"> | ||
1631 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.0"/> | ||
1632 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.1"/> | ||
1633 | </operands> | ||
1634 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.73"> | ||
1635 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.0"/> | ||
1636 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.2"/> | ||
1637 | </operands> | ||
1638 | </leftOperand> | ||
1639 | <rightOperand xsi:type="language_1:Not"> | ||
1640 | <operand xsi:type="language_1:Distinct"> | ||
1641 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.1"/> | ||
1642 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.55/@value/@quantifiedVariables.2"/> | ||
1643 | </operand> | ||
1644 | </rightOperand> | ||
1645 | </expression> | ||
1646 | </value> | ||
1647 | </assertions> | ||
1648 | <assertions name="upperMultiplicity value EStringToStringMapEntry" annotations="//@annotations.56"> | ||
1649 | <value xsi:type="language_1:Forall"> | ||
1650 | <quantifiedVariables name="src"> | ||
1651 | <range xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/> | ||
1652 | </quantifiedVariables> | ||
1653 | <quantifiedVariables name="trg 1"> | ||
1654 | <range xsi:type="language_1:StringTypeReference"/> | ||
1655 | </quantifiedVariables> | ||
1656 | <quantifiedVariables name="trg 2"> | ||
1657 | <range xsi:type="language_1:StringTypeReference"/> | ||
1658 | </quantifiedVariables> | ||
1659 | <expression xsi:type="language_1:Impl"> | ||
1660 | <leftOperand xsi:type="language_1:And"> | ||
1661 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.74"> | ||
1662 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.0"/> | ||
1663 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.1"/> | ||
1664 | </operands> | 482 | </operands> |
1665 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.74"> | 483 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.14"> |
1666 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.0"/> | 484 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.0"/> |
1667 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.2"/> | 485 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/> |
1668 | </operands> | 486 | </operands> |
1669 | </leftOperand> | 487 | </leftOperand> |
1670 | <rightOperand xsi:type="language_1:Not"> | 488 | <rightOperand xsi:type="language_1:Not"> |
1671 | <operand xsi:type="language_1:Distinct"> | 489 | <operand xsi:type="language_1:Distinct"> |
1672 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.1"/> | 490 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.1"/> |
1673 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.56/@value/@quantifiedVariables.2"/> | 491 | <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.18/@value/@quantifiedVariables.2"/> |
1674 | </operand> | 492 | </operand> |
1675 | </rightOperand> | 493 | </rightOperand> |
1676 | </expression> | 494 | </expression> |
1677 | </value> | 495 | </value> |
1678 | </assertions> | 496 | </assertions> |
1679 | <assertions name="PartialInterpretation name attribute ENamedElement" annotations="//@annotations.57"> | 497 | <relations xsi:type="language_1:RelationDeclaration" name="interface reference FunctionalElement"> |
1680 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.55"> | ||
1681 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
1682 | <parameterSubstitutions xsi:type="language_1:StringLiteral" value="packageName"/> | ||
1683 | </value> | ||
1684 | </assertions> | ||
1685 | <assertions name="PartialInterpretation nsURI attribute EPackage" annotations="//@annotations.58"> | ||
1686 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.56"> | ||
1687 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
1688 | <parameterSubstitutions xsi:type="language_1:StringLiteral" value="nsUri"/> | ||
1689 | </value> | ||
1690 | </assertions> | ||
1691 | <assertions name="PartialInterpretation nsPrefix attribute EPackage" annotations="//@annotations.59"> | ||
1692 | <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.57"> | ||
1693 | <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/> | ||
1694 | <parameterSubstitutions xsi:type="language_1:StringLiteral" value="nsPrefix"/> | ||
1695 | </value> | ||
1696 | </assertions> | ||
1697 | <relations xsi:type="language_1:RelationDeclaration" name="eAttributeType reference EAttribute"> | ||
1698 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 498 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
1699 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | 499 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
1700 | </relations> | ||
1701 | <relations xsi:type="language_1:RelationDeclaration" name="details reference EAnnotation"> | ||
1702 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
1703 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/> | ||
1704 | </relations> | ||
1705 | <relations xsi:type="language_1:RelationDeclaration" name="eModelElement reference EAnnotation"> | ||
1706 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
1707 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | ||
1708 | </relations> | ||
1709 | <relations xsi:type="language_1:RelationDeclaration" name="contents reference EAnnotation"> | ||
1710 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
1711 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | ||
1712 | </relations> | 500 | </relations> |
1713 | <relations xsi:type="language_1:RelationDeclaration" name="references reference EAnnotation"> | 501 | <relations xsi:type="language_1:RelationDeclaration" name="model reference FunctionalElement"> |
502 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
1714 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | 503 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
1715 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> | ||
1716 | </relations> | 504 | </relations> |
1717 | <relations xsi:type="language_1:RelationDeclaration" name="eSuperTypes reference EClass"> | 505 | <relations xsi:type="language_1:RelationDeclaration" name="parent reference FunctionalElement"> |
1718 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1719 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1720 | </relations> | ||
1721 | <relations xsi:type="language_1:RelationDeclaration" name="eOperations reference EClass"> | ||
1722 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1723 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1724 | </relations> | ||
1725 | <relations xsi:type="language_1:RelationDeclaration" name="eAllAttributes reference EClass"> | ||
1726 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1727 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 506 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
1728 | </relations> | ||
1729 | <relations xsi:type="language_1:RelationDeclaration" name="eAllReferences reference EClass"> | ||
1730 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 507 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
1731 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1732 | </relations> | 508 | </relations> |
1733 | <relations xsi:type="language_1:RelationDeclaration" name="eReferences reference EClass"> | 509 | <relations xsi:type="language_1:RelationDeclaration" name="rootElements reference FunctionalArchitectureModel"> |
1734 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 510 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> |
1735 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1736 | </relations> | ||
1737 | <relations xsi:type="language_1:RelationDeclaration" name="eAttributes reference EClass"> | ||
1738 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1739 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 511 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
1740 | </relations> | 512 | </relations> |
1741 | <relations xsi:type="language_1:RelationDeclaration" name="eAllContainments reference EClass"> | 513 | <relations xsi:type="language_1:RelationDeclaration" name="subElements reference Function"> |
1742 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1743 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1744 | </relations> | ||
1745 | <relations xsi:type="language_1:RelationDeclaration" name="eAllOperations reference EClass"> | ||
1746 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1747 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1748 | </relations> | ||
1749 | <relations xsi:type="language_1:RelationDeclaration" name="eAllStructuralFeatures reference EClass"> | ||
1750 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1751 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1752 | </relations> | ||
1753 | <relations xsi:type="language_1:RelationDeclaration" name="eAllSuperTypes reference EClass"> | ||
1754 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1755 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1756 | </relations> | ||
1757 | <relations xsi:type="language_1:RelationDeclaration" name="eIDAttribute reference EClass"> | ||
1758 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | 514 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
1759 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 515 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
1760 | </relations> | 516 | </relations> |
1761 | <relations xsi:type="language_1:RelationDeclaration" name="eStructuralFeatures reference EClass"> | 517 | <relations xsi:type="language_1:RelationDeclaration" name="data reference FAMTerminator"> |
1762 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1763 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1764 | </relations> | ||
1765 | <relations xsi:type="language_1:RelationDeclaration" name="eGenericSuperTypes reference EClass"> | ||
1766 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1767 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1768 | </relations> | ||
1769 | <relations xsi:type="language_1:RelationDeclaration" name="eAllGenericSuperTypes reference EClass"> | ||
1770 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1771 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1772 | </relations> | ||
1773 | <relations xsi:type="language_1:RelationDeclaration" name="ePackage reference EClassifier"> | ||
1774 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 518 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> |
1775 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | 519 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
1776 | </relations> | 520 | </relations> |
1777 | <relations xsi:type="language_1:RelationDeclaration" name="eTypeParameters reference EClassifier"> | 521 | <relations xsi:type="language_1:RelationDeclaration" name="from reference InformationLink"> |
1778 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | 522 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
1779 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/> | 523 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> |
1780 | </relations> | 524 | </relations> |
1781 | <relations xsi:type="language_1:RelationDeclaration" name="eLiterals reference EEnum"> | 525 | <relations xsi:type="language_1:RelationDeclaration" name="to reference InformationLink"> |
1782 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | 526 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
1783 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | 527 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> |
1784 | </relations> | 528 | </relations> |
1785 | <relations xsi:type="language_1:RelationDeclaration" name="eEnum reference EEnumLiteral"> | 529 | <relations xsi:type="language_1:RelationDeclaration" name="data reference FunctionalInterface"> |
1786 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | ||
1787 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> | 530 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
531 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | ||
1788 | </relations> | 532 | </relations> |
1789 | <relations xsi:type="language_1:RelationDeclaration" name="eAnnotations reference EModelElement"> | 533 | <relations xsi:type="language_1:RelationDeclaration" name="element reference FunctionalInterface"> |
1790 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> | 534 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
1791 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
1792 | </relations> | ||
1793 | <relations xsi:type="language_1:RelationDeclaration" name="eContainingClass reference EOperation"> | ||
1794 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1795 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1796 | </relations> | ||
1797 | <relations xsi:type="language_1:RelationDeclaration" name="eTypeParameters reference EOperation"> | ||
1798 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1799 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/> | ||
1800 | </relations> | ||
1801 | <relations xsi:type="language_1:RelationDeclaration" name="eParameters reference EOperation"> | ||
1802 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1803 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> | ||
1804 | </relations> | ||
1805 | <relations xsi:type="language_1:RelationDeclaration" name="eExceptions reference EOperation"> | ||
1806 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1807 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1808 | </relations> | ||
1809 | <relations xsi:type="language_1:RelationDeclaration" name="eGenericExceptions reference EOperation"> | ||
1810 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1811 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1812 | </relations> | ||
1813 | <relations xsi:type="language_1:RelationDeclaration" name="eClassifiers reference EPackage"> | ||
1814 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1815 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1816 | </relations> | ||
1817 | <relations xsi:type="language_1:RelationDeclaration" name="eSubpackages reference EPackage"> | ||
1818 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1819 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1820 | </relations> | ||
1821 | <relations xsi:type="language_1:RelationDeclaration" name="eSuperPackage reference EPackage"> | ||
1822 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1823 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1824 | </relations> | ||
1825 | <relations xsi:type="language_1:RelationDeclaration" name="eOperation reference EParameter"> | ||
1826 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.12"/> | ||
1827 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.10"/> | ||
1828 | </relations> | ||
1829 | <relations xsi:type="language_1:RelationDeclaration" name="eOpposite reference EReference"> | ||
1830 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1831 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1832 | </relations> | ||
1833 | <relations xsi:type="language_1:RelationDeclaration" name="eReferenceType reference EReference"> | ||
1834 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1835 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1836 | </relations> | ||
1837 | <relations xsi:type="language_1:RelationDeclaration" name="eKeys reference EReference"> | ||
1838 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1839 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | ||
1840 | </relations> | ||
1841 | <relations xsi:type="language_1:RelationDeclaration" name="eContainingClass reference EStructuralFeature"> | ||
1842 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1843 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1844 | </relations> | ||
1845 | <relations xsi:type="language_1:RelationDeclaration" name="eType reference ETypedElement"> | ||
1846 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1847 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1848 | </relations> | ||
1849 | <relations xsi:type="language_1:RelationDeclaration" name="eGenericType reference ETypedElement"> | ||
1850 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1851 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1852 | </relations> | ||
1853 | <relations xsi:type="language_1:RelationDeclaration" name="eUpperBound reference EGenericType"> | ||
1854 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1855 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1856 | </relations> | ||
1857 | <relations xsi:type="language_1:RelationDeclaration" name="eTypeArguments reference EGenericType"> | ||
1858 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1859 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1860 | </relations> | ||
1861 | <relations xsi:type="language_1:RelationDeclaration" name="eRawType reference EGenericType"> | ||
1862 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1863 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1864 | </relations> | ||
1865 | <relations xsi:type="language_1:RelationDeclaration" name="eLowerBound reference EGenericType"> | ||
1866 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1867 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1868 | </relations> | ||
1869 | <relations xsi:type="language_1:RelationDeclaration" name="eTypeParameter reference EGenericType"> | ||
1870 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1871 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/> | ||
1872 | </relations> | ||
1873 | <relations xsi:type="language_1:RelationDeclaration" name="eClassifier reference EGenericType"> | ||
1874 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1875 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1876 | </relations> | ||
1877 | <relations xsi:type="language_1:RelationDeclaration" name="eBounds reference ETypeParameter"> | ||
1878 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.18"/> | ||
1879 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.17"/> | ||
1880 | </relations> | ||
1881 | <relations xsi:type="language_1:RelationDeclaration" name="iD attribute EAttribute"> | ||
1882 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> | 535 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/> |
1883 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1884 | </relations> | ||
1885 | <relations xsi:type="language_1:RelationDeclaration" name="source attribute EAnnotation"> | ||
1886 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/> | ||
1887 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
1888 | </relations> | ||
1889 | <relations xsi:type="language_1:RelationDeclaration" name="abstract attribute EClass"> | ||
1890 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1891 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1892 | </relations> | ||
1893 | <relations xsi:type="language_1:RelationDeclaration" name="interface attribute EClass"> | ||
1894 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> | ||
1895 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1896 | </relations> | ||
1897 | <relations xsi:type="language_1:RelationDeclaration" name="instanceClassName attribute EClassifier"> | ||
1898 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1899 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
1900 | </relations> | 536 | </relations> |
1901 | <relations xsi:type="language_1:RelationDeclaration" name="instanceTypeName attribute EClassifier"> | 537 | <relations xsi:type="language_1:RelationDeclaration" name="IncomingLinks reference FunctionalInput"> |
1902 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> | ||
1903 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
1904 | </relations> | ||
1905 | <relations xsi:type="language_1:RelationDeclaration" name="serializable attribute EDataType"> | ||
1906 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> | ||
1907 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1908 | </relations> | ||
1909 | <relations xsi:type="language_1:RelationDeclaration" name="value attribute EEnumLiteral"> | ||
1910 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | 538 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> |
1911 | <parameters xsi:type="language_1:IntTypeReference"/> | 539 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
1912 | </relations> | 540 | </relations> |
1913 | <relations xsi:type="language_1:RelationDeclaration" name="literal attribute EEnumLiteral"> | 541 | <relations xsi:type="language_1:RelationDeclaration" name="outgoingLinks reference FunctionalOutput"> |
1914 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/> | 542 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.7"/> |
1915 | <parameters xsi:type="language_1:StringTypeReference"/> | 543 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/> |
1916 | </relations> | 544 | </relations> |
1917 | <relations xsi:type="language_1:RelationDeclaration" name="name attribute ENamedElement"> | 545 | <relations xsi:type="language_1:RelationDeclaration" name="terminator reference FunctionalData"> |
1918 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> | 546 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
1919 | <parameters xsi:type="language_1:StringTypeReference"/> | 547 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/> |
1920 | </relations> | ||
1921 | <relations xsi:type="language_1:RelationDeclaration" name="nsURI attribute EPackage"> | ||
1922 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1923 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
1924 | </relations> | ||
1925 | <relations xsi:type="language_1:RelationDeclaration" name="nsPrefix attribute EPackage"> | ||
1926 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.11"/> | ||
1927 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
1928 | </relations> | ||
1929 | <relations xsi:type="language_1:RelationDeclaration" name="containment attribute EReference"> | ||
1930 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1931 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1932 | </relations> | ||
1933 | <relations xsi:type="language_1:RelationDeclaration" name="container attribute EReference"> | ||
1934 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1935 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1936 | </relations> | ||
1937 | <relations xsi:type="language_1:RelationDeclaration" name="resolveProxies attribute EReference"> | ||
1938 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.13"/> | ||
1939 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1940 | </relations> | ||
1941 | <relations xsi:type="language_1:RelationDeclaration" name="changeable attribute EStructuralFeature"> | ||
1942 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1943 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1944 | </relations> | ||
1945 | <relations xsi:type="language_1:RelationDeclaration" name="volatile attribute EStructuralFeature"> | ||
1946 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1947 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1948 | </relations> | ||
1949 | <relations xsi:type="language_1:RelationDeclaration" name="transient attribute EStructuralFeature"> | ||
1950 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1951 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1952 | </relations> | ||
1953 | <relations xsi:type="language_1:RelationDeclaration" name="defaultValueLiteral attribute EStructuralFeature"> | ||
1954 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1955 | <parameters xsi:type="language_1:StringTypeReference"/> | ||
1956 | </relations> | ||
1957 | <relations xsi:type="language_1:RelationDeclaration" name="unsettable attribute EStructuralFeature"> | ||
1958 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1959 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1960 | </relations> | ||
1961 | <relations xsi:type="language_1:RelationDeclaration" name="derived attribute EStructuralFeature"> | ||
1962 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.14"/> | ||
1963 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1964 | </relations> | ||
1965 | <relations xsi:type="language_1:RelationDeclaration" name="ordered attribute ETypedElement"> | ||
1966 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1967 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1968 | </relations> | ||
1969 | <relations xsi:type="language_1:RelationDeclaration" name="unique attribute ETypedElement"> | ||
1970 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1971 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1972 | </relations> | ||
1973 | <relations xsi:type="language_1:RelationDeclaration" name="lowerBound attribute ETypedElement"> | ||
1974 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1975 | <parameters xsi:type="language_1:IntTypeReference"/> | ||
1976 | </relations> | ||
1977 | <relations xsi:type="language_1:RelationDeclaration" name="upperBound attribute ETypedElement"> | ||
1978 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1979 | <parameters xsi:type="language_1:IntTypeReference"/> | ||
1980 | </relations> | ||
1981 | <relations xsi:type="language_1:RelationDeclaration" name="many attribute ETypedElement"> | ||
1982 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1983 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1984 | </relations> | ||
1985 | <relations xsi:type="language_1:RelationDeclaration" name="required attribute ETypedElement"> | ||
1986 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.15"/> | ||
1987 | <parameters xsi:type="language_1:BoolTypeReference"/> | ||
1988 | </relations> | 548 | </relations> |
1989 | <relations xsi:type="language_1:RelationDeclaration" name="key attribute EStringToStringMapEntry"> | 549 | <relations xsi:type="language_1:RelationDeclaration" name="interface reference FunctionalData"> |
1990 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/> | 550 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.8"/> |
1991 | <parameters xsi:type="language_1:StringTypeReference"/> | 551 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.5"/> |
1992 | </relations> | 552 | </relations> |
1993 | <relations xsi:type="language_1:RelationDeclaration" name="value attribute EStringToStringMapEntry"> | 553 | <relations xsi:type="language_1:RelationDeclaration" name="type attribute Function"> |
1994 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.16"/> | 554 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/> |
1995 | <parameters xsi:type="language_1:StringTypeReference"/> | 555 | <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/> |
1996 | </relations> | 556 | </relations> |
1997 | <elements name="o 1" definedInType="//@types.19 //@types.21 //@types.23"/> | 557 | <elements name="Root literal FunctionType" definedInType="//@types.9"/> |
1998 | <containmentHierarchies typesOrderedInHierarchy="//@types.10 //@types.8 //@types.16 //@types.6 //@types.17 //@types.9 //@types.0 //@types.11 //@types.12 //@types.4 //@types.3 //@types.14 //@types.7 //@types.1 //@types.18 //@types.13 //@types.5 //@types.15 //@types.2 //@types.19 //@types.20 //@types.21 //@types.22 //@types.23 //@types.24" containmentRelations="//@relations.1 //@relations.3 //@relations.6 //@relations.16 //@relations.17 //@relations.20 //@relations.21 //@relations.23 //@relations.25 //@relations.26 //@relations.28 //@relations.29 //@relations.30 //@relations.38 //@relations.39 //@relations.40 //@relations.42 //@relations.45"/> | 558 | <elements name="Intermediate literal FunctionType" definedInType="//@types.9"/> |
1999 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" lower="1"/> | 559 | <elements name="Leaf literal FunctionType" definedInType="//@types.9"/> |
2000 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.1" relation="//@relations.0" upper="1"/> | 560 | <containmentHierarchies typesOrderedInHierarchy="//@types.5 //@types.4 //@types.0 //@types.3 //@types.1 //@types.6 //@types.2 //@types.7 //@types.8" containmentRelations="//@relations.0 //@relations.3 //@relations.4 //@relations.8 //@relations.11 //@relations.12"/> |
2001 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.2" upper="1"/> | 561 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.0" upper="1"/> |
2002 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.15" upper="1"/> | 562 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.1" relation="//@relations.1" lower="1"/> |
2003 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.19" upper="1"/> | 563 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.1" upper="1"/> |
2004 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.22" upper="1"/> | 564 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.2" upper="1"/> |
2005 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.6" relation="//@relations.24" upper="1"/> | 565 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.4" relation="//@relations.5" upper="1"/> |
2006 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.31" upper="1"/> | 566 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.5" relation="//@relations.6" upper="1"/> |
2007 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.32" upper="1"/> | 567 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.6" relation="//@relations.7" lower="1"/> |
2008 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.33" upper="1"/> | 568 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.7" relation="//@relations.7" upper="1"/> |
2009 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.10" relation="//@relations.34" lower="1"/> | 569 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.8" relation="//@relations.9" upper="1"/> |
2010 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.11" relation="//@relations.34" upper="1"/> | 570 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.9" relation="//@relations.12" upper="1"/> |
2011 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.12" relation="//@relations.36" upper="1"/> | 571 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.10" relation="//@relations.13" upper="1"/> |
2012 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.13" relation="//@relations.37" upper="1"/> | 572 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.11" inverseA="//@relations.0" inverseB="//@relations.9"/> |
2013 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.14" relation="//@relations.38" upper="1"/> | 573 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.12" inverseA="//@relations.2" inverseB="//@relations.4"/> |
2014 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.15" relation="//@relations.39" upper="1"/> | 574 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.13" inverseA="//@relations.5" inverseB="//@relations.12"/> |
2015 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.16" relation="//@relations.41" lower="1"/> | 575 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.14" inverseA="//@relations.6" inverseB="//@relations.11"/> |
2016 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.17" relation="//@relations.41" upper="1"/> | 576 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.15" inverseA="//@relations.7" inverseB="//@relations.10"/> |
2017 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.42" upper="1"/> | 577 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/> |
2018 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.19" relation="//@relations.43" upper="1"/> | 578 | <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/> |
2019 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.20" relation="//@relations.44" upper="1"/> | 579 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/> |
2020 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.21" inverseA="//@relations.2" inverseB="//@relations.23"/> | ||
2021 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.22" inverseA="//@relations.6" inverseB="//@relations.24"/> | ||
2022 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.23" inverseA="//@relations.16" inverseB="//@relations.36"/> | ||
2023 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.24" inverseA="//@relations.19" inverseB="//@relations.29"/> | ||
2024 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.25" inverseA="//@relations.21" inverseB="//@relations.22"/> | ||
2025 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.26" inverseA="//@relations.26" inverseB="//@relations.32"/> | ||
2026 | <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.27" inverseA="//@relations.30" inverseB="//@relations.31"/> | ||
2027 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.28" relation="//@relations.46" upper="1"/> | ||
2028 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.29" relation="//@relations.47" upper="1"/> | ||
2029 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.30" relation="//@relations.48" upper="1"/> | ||
2030 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.31" relation="//@relations.49" upper="1"/> | ||
2031 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.32" relation="//@relations.50" upper="1"/> | ||
2032 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.33" relation="//@relations.51" upper="1"/> | ||
2033 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.34" relation="//@relations.52" upper="1"/> | ||
2034 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.35" relation="//@relations.53" upper="1"/> | ||
2035 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.36" relation="//@relations.54" upper="1"/> | ||
2036 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.37" relation="//@relations.55" upper="1"/> | ||
2037 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.38" relation="//@relations.56" upper="1"/> | ||
2038 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.39" relation="//@relations.57" upper="1"/> | ||
2039 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.40" relation="//@relations.58" upper="1"/> | ||
2040 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.41" relation="//@relations.59" upper="1"/> | ||
2041 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.42" relation="//@relations.60" upper="1"/> | ||
2042 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.43" relation="//@relations.61" upper="1"/> | ||
2043 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.44" relation="//@relations.62" upper="1"/> | ||
2044 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.45" relation="//@relations.63" upper="1"/> | ||
2045 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.46" relation="//@relations.64" upper="1"/> | ||
2046 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.47" relation="//@relations.65" upper="1"/> | ||
2047 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.48" relation="//@relations.66" upper="1"/> | ||
2048 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.49" relation="//@relations.67" upper="1"/> | ||
2049 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.50" relation="//@relations.68" upper="1"/> | ||
2050 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.51" relation="//@relations.69" upper="1"/> | ||
2051 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.52" relation="//@relations.70" upper="1"/> | ||
2052 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.53" relation="//@relations.71" upper="1"/> | ||
2053 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.54" relation="//@relations.72" upper="1"/> | ||
2054 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.55" relation="//@relations.73" upper="1"/> | ||
2055 | <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.56" relation="//@relations.74" upper="1"/> | ||
2056 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.57" targetRelation="//@relations.55"/> | ||
2057 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.58" targetRelation="//@relations.56"/> | ||
2058 | <annotations xsi:type="partial2logicannotations:PartialModelRelation2Assertion" target="//@assertions.59" targetRelation="//@relations.57"/> | ||
2059 | </language:LogicProblem> | 580 | </language:LogicProblem> |