aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java1487
1 files changed, 953 insertions, 534 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
index f617be3f..39f811b9 100644
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
@@ -1,67 +1,71 @@
1/** 1/**
2 * generated by Xtext 2.18.0.M3 2 * generated by Xtext 2.21.0
3 */ 3 */
4package org.eclipse.viatra.solver.language.solverLanguage.impl; 4package org.eclipse.viatra.solver.language.solverLanguage.impl;
5 5
6import org.eclipse.emf.ecore.EAttribute; 6import org.eclipse.emf.ecore.EAttribute;
7import org.eclipse.emf.ecore.EClass; 7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EEnum;
8import org.eclipse.emf.ecore.EPackage; 9import org.eclipse.emf.ecore.EPackage;
9import org.eclipse.emf.ecore.EReference; 10import org.eclipse.emf.ecore.EReference;
10 11
11import org.eclipse.emf.ecore.impl.EPackageImpl; 12import org.eclipse.emf.ecore.impl.EPackageImpl;
12 13
13import org.eclipse.viatra.solver.language.solverLanguage.AllInstances; 14import org.eclipse.viatra.solver.language.solverLanguage.Aggregation;
14import org.eclipse.viatra.solver.language.solverLanguage.AllObjects; 15import org.eclipse.viatra.solver.language.solverLanguage.AggregationOp;
15import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation; 16import org.eclipse.viatra.solver.language.solverLanguage.Argument;
16import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse; 17import org.eclipse.viatra.solver.language.solverLanguage.ArgumentList;
17import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject; 18import org.eclipse.viatra.solver.language.solverLanguage.Assertion;
18import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol; 19import org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression;
19import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue; 20import org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator;
20import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue; 21import org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity;
21import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation; 22import org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition;
22import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation; 23import org.eclipse.viatra.solver.language.solverLanguage.Call;
23import org.eclipse.viatra.solver.language.solverLanguage.ClosureType; 24import org.eclipse.viatra.solver.language.solverLanguage.Case;
24import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject; 25import org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition;
25import org.eclipse.viatra.solver.language.solverLanguage.Constraint; 26import org.eclipse.viatra.solver.language.solverLanguage.Comparison;
26import org.eclipse.viatra.solver.language.solverLanguage.DataObject; 27import org.eclipse.viatra.solver.language.solverLanguage.Conjunction;
27import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol; 28import org.eclipse.viatra.solver.language.solverLanguage.Count;
28import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation; 29import org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition;
29import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation; 30import org.eclipse.viatra.solver.language.solverLanguage.Disjunction;
30import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol; 31import org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral;
31import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol; 32import org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity;
32import org.eclipse.viatra.solver.language.solverLanguage.False; 33import org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition;
33import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation; 34import org.eclipse.viatra.solver.language.solverLanguage.Expression;
34import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation; 35import org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument;
35import org.eclipse.viatra.solver.language.solverLanguage.IntObject; 36import org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition;
36import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol; 37import org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition;
37import org.eclipse.viatra.solver.language.solverLanguage.Interpretation; 38import org.eclipse.viatra.solver.language.solverLanguage.IfElse;
38import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure; 39import org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral;
40import org.eclipse.viatra.solver.language.solverLanguage.Interval;
39import org.eclipse.viatra.solver.language.solverLanguage.Literal; 41import org.eclipse.viatra.solver.language.solverLanguage.Literal;
40import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol; 42import org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral;
41import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition; 43import org.eclipse.viatra.solver.language.solverLanguage.LogicValue;
42import org.eclipse.viatra.solver.language.solverLanguage.NamedObject; 44import org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition;
43import org.eclipse.viatra.solver.language.solverLanguage.Negative; 45import org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity;
44import org.eclipse.viatra.solver.language.solverLanguage.Parameter; 46import org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition;
45import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol; 47import org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition;
46import org.eclipse.viatra.solver.language.solverLanguage.PatternBody; 48import org.eclipse.viatra.solver.language.solverLanguage.MetricType;
47import org.eclipse.viatra.solver.language.solverLanguage.Polarity; 49import org.eclipse.viatra.solver.language.solverLanguage.Multiplicity;
48import org.eclipse.viatra.solver.language.solverLanguage.Positive; 50import org.eclipse.viatra.solver.language.solverLanguage.NamedElement;
49import org.eclipse.viatra.solver.language.solverLanguage.Predicate; 51import org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral;
52import org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition;
53import org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind;
54import org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition;
50import org.eclipse.viatra.solver.language.solverLanguage.Problem; 55import org.eclipse.viatra.solver.language.solverLanguage.Problem;
51import org.eclipse.viatra.solver.language.solverLanguage.RealObject; 56import org.eclipse.viatra.solver.language.solverLanguage.Reference;
52import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol; 57import org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition;
53import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
54import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory; 58import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory;
55import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage; 59import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
60import org.eclipse.viatra.solver.language.solverLanguage.StarArgument;
56import org.eclipse.viatra.solver.language.solverLanguage.Statement; 61import org.eclipse.viatra.solver.language.solverLanguage.Statement;
57import org.eclipse.viatra.solver.language.solverLanguage.StringObject; 62import org.eclipse.viatra.solver.language.solverLanguage.StringLiteral;
58import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol; 63import org.eclipse.viatra.solver.language.solverLanguage.Switch;
59import org.eclipse.viatra.solver.language.solverLanguage.Symbol; 64import org.eclipse.viatra.solver.language.solverLanguage.TypedArgument;
60import org.eclipse.viatra.solver.language.solverLanguage.True; 65import org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument;
61import org.eclipse.viatra.solver.language.solverLanguage.TruthValue; 66import org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression;
62import org.eclipse.viatra.solver.language.solverLanguage.Unknown; 67import org.eclipse.viatra.solver.language.solverLanguage.UnaryOp;
63import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject; 68import org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition;
64import org.eclipse.viatra.solver.language.solverLanguage.Variable;
65 69
66/** 70/**
67 * <!-- begin-user-doc --> 71 * <!-- begin-user-doc -->
@@ -90,350 +94,357 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
90 * <!-- end-user-doc --> 94 * <!-- end-user-doc -->
91 * @generated 95 * @generated
92 */ 96 */
93 private EClass booleanValueEClass = null; 97 private EClass predicateDefinitionEClass = null;
94 98
95 /** 99 /**
96 * <!-- begin-user-doc --> 100 * <!-- begin-user-doc -->
97 * <!-- end-user-doc --> 101 * <!-- end-user-doc -->
98 * @generated 102 * @generated
99 */ 103 */
100 private EClass truthValueEClass = null; 104 private EClass unnamedErrorPrediateDefinitionEClass = null;
101 105
102 /** 106 /**
103 * <!-- begin-user-doc --> 107 * <!-- begin-user-doc -->
104 * <!-- end-user-doc --> 108 * <!-- end-user-doc -->
105 * @generated 109 * @generated
106 */ 110 */
107 private EClass interpretationEClass = null; 111 private EClass defaultDefinitionEClass = null;
108 112
109 /** 113 /**
110 * <!-- begin-user-doc --> 114 * <!-- begin-user-doc -->
111 * <!-- end-user-doc --> 115 * <!-- end-user-doc -->
112 * @generated 116 * @generated
113 */ 117 */
114 private EClass basicInterpretationEClass = null; 118 private EClass externPredicateDefinitionEClass = null;
115 119
116 /** 120 /**
117 * <!-- begin-user-doc --> 121 * <!-- begin-user-doc -->
118 * <!-- end-user-doc --> 122 * <!-- end-user-doc -->
119 * @generated 123 * @generated
120 */ 124 */
121 private EClass symbolEClass = null; 125 private EClass metricDefinitionEClass = null;
122 126
123 /** 127 /**
124 * <!-- begin-user-doc --> 128 * <!-- begin-user-doc -->
125 * <!-- end-user-doc --> 129 * <!-- end-user-doc -->
126 * @generated 130 * @generated
127 */ 131 */
128 private EClass modelSymbolEClass = null; 132 private EClass externMetricDefinitionEClass = null;
129 133
130 /** 134 /**
131 * <!-- begin-user-doc --> 135 * <!-- begin-user-doc -->
132 * <!-- end-user-doc --> 136 * <!-- end-user-doc -->
133 * @generated 137 * @generated
134 */ 138 */
135 private EClass partialitySymbolEClass = null; 139 private EClass expressionEClass = null;
136 140
137 /** 141 /**
138 * <!-- begin-user-doc --> 142 * <!-- begin-user-doc -->
139 * <!-- end-user-doc --> 143 * <!-- end-user-doc -->
140 * @generated 144 * @generated
141 */ 145 */
142 private EClass existSymbolEClass = null; 146 private EClass ifElseEClass = null;
143 147
144 /** 148 /**
145 * <!-- begin-user-doc --> 149 * <!-- begin-user-doc -->
146 * <!-- end-user-doc --> 150 * <!-- end-user-doc -->
147 * @generated 151 * @generated
148 */ 152 */
149 private EClass equalsSymbolEClass = null; 153 private EClass caseEClass = null;
150 154
151 /** 155 /**
152 * <!-- begin-user-doc --> 156 * <!-- begin-user-doc -->
153 * <!-- end-user-doc --> 157 * <!-- end-user-doc -->
154 * @generated 158 * @generated
155 */ 159 */
156 private EClass dataSymbolEClass = null; 160 private EClass countEClass = null;
157 161
158 /** 162 /**
159 * <!-- begin-user-doc --> 163 * <!-- begin-user-doc -->
160 * <!-- end-user-doc --> 164 * <!-- end-user-doc -->
161 * @generated 165 * @generated
162 */ 166 */
163 private EClass booleanSymbolEClass = null; 167 private EClass aggregationEClass = null;
164 168
165 /** 169 /**
166 * <!-- begin-user-doc --> 170 * <!-- begin-user-doc -->
167 * <!-- end-user-doc --> 171 * <!-- end-user-doc -->
168 * @generated 172 * @generated
169 */ 173 */
170 private EClass integerSymbolEClass = null; 174 private EClass callEClass = null;
171 175
172 /** 176 /**
173 * <!-- begin-user-doc --> 177 * <!-- begin-user-doc -->
174 * <!-- end-user-doc --> 178 * <!-- end-user-doc -->
175 * @generated 179 * @generated
176 */ 180 */
177 private EClass realSymbolEClass = null; 181 private EClass argumentListEClass = null;
178 182
179 /** 183 /**
180 * <!-- begin-user-doc --> 184 * <!-- begin-user-doc -->
181 * <!-- end-user-doc --> 185 * <!-- end-user-doc -->
182 * @generated 186 * @generated
183 */ 187 */
184 private EClass stringSymbolEClass = null; 188 private EClass argumentEClass = null;
185 189
186 /** 190 /**
187 * <!-- begin-user-doc --> 191 * <!-- begin-user-doc -->
188 * <!-- end-user-doc --> 192 * <!-- end-user-doc -->
189 * @generated 193 * @generated
190 */ 194 */
191 private EClass complexObjectEClass = null; 195 private EClass expressionArgumentEClass = null;
192 196
193 /** 197 /**
194 * <!-- begin-user-doc --> 198 * <!-- begin-user-doc -->
195 * <!-- end-user-doc --> 199 * <!-- end-user-doc -->
196 * @generated 200 * @generated
197 */ 201 */
198 private EClass objectEClass = null; 202 private EClass starArgumentEClass = null;
199 203
200 /** 204 /**
201 * <!-- begin-user-doc --> 205 * <!-- begin-user-doc -->
202 * <!-- end-user-doc --> 206 * <!-- end-user-doc -->
203 * @generated 207 * @generated
204 */ 208 */
205 private EClass namedObjectEClass = null; 209 private EClass typedArgumentEClass = null;
206 210
207 /** 211 /**
208 * <!-- begin-user-doc --> 212 * <!-- begin-user-doc -->
209 * <!-- end-user-doc --> 213 * <!-- end-user-doc -->
210 * @generated 214 * @generated
211 */ 215 */
212 private EClass unnamedObjectEClass = null; 216 private EClass typedStarArgumentEClass = null;
213 217
214 /** 218 /**
215 * <!-- begin-user-doc --> 219 * <!-- begin-user-doc -->
216 * <!-- end-user-doc --> 220 * <!-- end-user-doc -->
217 * @generated 221 * @generated
218 */ 222 */
219 private EClass dataObjectEClass = null; 223 private EClass referenceEClass = null;
220 224
221 /** 225 /**
222 * <!-- begin-user-doc --> 226 * <!-- begin-user-doc -->
223 * <!-- end-user-doc --> 227 * <!-- end-user-doc -->
224 * @generated 228 * @generated
225 */ 229 */
226 private EClass booleanObjectEClass = null; 230 private EClass intervalEClass = null;
227 231
228 /** 232 /**
229 * <!-- begin-user-doc --> 233 * <!-- begin-user-doc -->
230 * <!-- end-user-doc --> 234 * <!-- end-user-doc -->
231 * @generated 235 * @generated
232 */ 236 */
233 private EClass intObjectEClass = null; 237 private EClass literalEClass = null;
234 238
235 /** 239 /**
236 * <!-- begin-user-doc --> 240 * <!-- begin-user-doc -->
237 * <!-- end-user-doc --> 241 * <!-- end-user-doc -->
238 * @generated 242 * @generated
239 */ 243 */
240 private EClass realObjectEClass = null; 244 private EClass logicLiteralEClass = null;
241 245
242 /** 246 /**
243 * <!-- begin-user-doc --> 247 * <!-- begin-user-doc -->
244 * <!-- end-user-doc --> 248 * <!-- end-user-doc -->
245 * @generated 249 * @generated
246 */ 250 */
247 private EClass stringObjectEClass = null; 251 private EClass numericLiteralEClass = null;
248 252
249 /** 253 /**
250 * <!-- begin-user-doc --> 254 * <!-- begin-user-doc -->
251 * <!-- end-user-doc --> 255 * <!-- end-user-doc -->
252 * @generated 256 * @generated
253 */ 257 */
254 private EClass predicateEClass = null; 258 private EClass infinityLiteralEClass = null;
255 259
256 /** 260 /**
257 * <!-- begin-user-doc --> 261 * <!-- begin-user-doc -->
258 * <!-- end-user-doc --> 262 * <!-- end-user-doc -->
259 * @generated 263 * @generated
260 */ 264 */
261 private EClass parameterEClass = null; 265 private EClass emptyIntervalLiteralEClass = null;
262 266
263 /** 267 /**
264 * <!-- begin-user-doc --> 268 * <!-- begin-user-doc -->
265 * <!-- end-user-doc --> 269 * <!-- end-user-doc -->
266 * @generated 270 * @generated
267 */ 271 */
268 private EClass patternBodyEClass = null; 272 private EClass stringLiteralEClass = null;
269 273
270 /** 274 /**
271 * <!-- begin-user-doc --> 275 * <!-- begin-user-doc -->
272 * <!-- end-user-doc --> 276 * <!-- end-user-doc -->
273 * @generated 277 * @generated
274 */ 278 */
275 private EClass polarityEClass = null; 279 private EClass classDefinitionEClass = null;
276 280
277 /** 281 /**
278 * <!-- begin-user-doc --> 282 * <!-- begin-user-doc -->
279 * <!-- end-user-doc --> 283 * <!-- end-user-doc -->
280 * @generated 284 * @generated
281 */ 285 */
282 private EClass constraintEClass = null; 286 private EClass memberDefinitionEClass = null;
283 287
284 /** 288 /**
285 * <!-- begin-user-doc --> 289 * <!-- begin-user-doc -->
286 * <!-- end-user-doc --> 290 * <!-- end-user-doc -->
287 * @generated 291 * @generated
288 */ 292 */
289 private EClass closureTypeEClass = null; 293 private EClass multiplicityEClass = null;
290 294
291 /** 295 /**
292 * <!-- begin-user-doc --> 296 * <!-- begin-user-doc -->
293 * <!-- end-user-doc --> 297 * <!-- end-user-doc -->
294 * @generated 298 * @generated
295 */ 299 */
296 private EClass literalEClass = null; 300 private EClass manyMultiplicityEClass = null;
301
302 /**
303 * <!-- begin-user-doc -->
304 * <!-- end-user-doc -->
305 * @generated
306 */
307 private EClass exactMultiplicityEClass = null;
297 308
298 /** 309 /**
299 * <!-- begin-user-doc --> 310 * <!-- begin-user-doc -->
300 * <!-- end-user-doc --> 311 * <!-- end-user-doc -->
301 * @generated 312 * @generated
302 */ 313 */
303 private EClass variableEClass = null; 314 private EClass boundedMultiplicityEClass = null;
304 315
305 /** 316 /**
306 * <!-- begin-user-doc --> 317 * <!-- begin-user-doc -->
307 * <!-- end-user-doc --> 318 * <!-- end-user-doc -->
308 * @generated 319 * @generated
309 */ 320 */
310 private EClass allInstancesEClass = null; 321 private EClass scopeDefinitionEClass = null;
311 322
312 /** 323 /**
313 * <!-- begin-user-doc --> 324 * <!-- begin-user-doc -->
314 * <!-- end-user-doc --> 325 * <!-- end-user-doc -->
315 * @generated 326 * @generated
316 */ 327 */
317 private EClass allObjectsEClass = null; 328 private EClass exactScopeDefinitionEClass = null;
318 329
319 /** 330 /**
320 * <!-- begin-user-doc --> 331 * <!-- begin-user-doc -->
321 * <!-- end-user-doc --> 332 * <!-- end-user-doc -->
322 * @generated 333 * @generated
323 */ 334 */
324 private EClass defaultInterpretationEClass = null; 335 private EClass boundedScopeDefinitionEClass = null;
325 336
326 /** 337 /**
327 * <!-- begin-user-doc --> 338 * <!-- begin-user-doc -->
328 * <!-- end-user-doc --> 339 * <!-- end-user-doc -->
329 * @generated 340 * @generated
330 */ 341 */
331 private EClass cdInterpretationEClass = null; 342 private EClass lowerBoundedScopeDefinitionEClass = null;
332 343
333 /** 344 /**
334 * <!-- begin-user-doc --> 345 * <!-- begin-user-doc -->
335 * <!-- end-user-doc --> 346 * <!-- end-user-doc -->
336 * @generated 347 * @generated
337 */ 348 */
338 private EClass classInterpretationEClass = null; 349 private EClass objectiveDefinitionEClass = null;
339 350
340 /** 351 /**
341 * <!-- begin-user-doc --> 352 * <!-- begin-user-doc -->
342 * <!-- end-user-doc --> 353 * <!-- end-user-doc -->
343 * @generated 354 * @generated
344 */ 355 */
345 private EClass enumInterpretationEClass = null; 356 private EClass namedElementEClass = null;
346 357
347 /** 358 /**
348 * <!-- begin-user-doc --> 359 * <!-- begin-user-doc -->
349 * <!-- end-user-doc --> 360 * <!-- end-user-doc -->
350 * @generated 361 * @generated
351 */ 362 */
352 private EClass fieldRelationInterpretationEClass = null; 363 private EClass assertionEClass = null;
353 364
354 /** 365 /**
355 * <!-- begin-user-doc --> 366 * <!-- begin-user-doc -->
356 * <!-- end-user-doc --> 367 * <!-- end-user-doc -->
357 * @generated 368 * @generated
358 */ 369 */
359 private EClass globalRelationInterpretationEClass = null; 370 private EClass disjunctionEClass = null;
360 371
361 /** 372 /**
362 * <!-- begin-user-doc --> 373 * <!-- begin-user-doc -->
363 * <!-- end-user-doc --> 374 * <!-- end-user-doc -->
364 * @generated 375 * @generated
365 */ 376 */
366 private EClass multiplicityDefinitionEClass = null; 377 private EClass switchEClass = null;
367 378
368 /** 379 /**
369 * <!-- begin-user-doc --> 380 * <!-- begin-user-doc -->
370 * <!-- end-user-doc --> 381 * <!-- end-user-doc -->
371 * @generated 382 * @generated
372 */ 383 */
373 private EClass booleanTrueEClass = null; 384 private EClass conjunctionEClass = null;
374 385
375 /** 386 /**
376 * <!-- begin-user-doc --> 387 * <!-- begin-user-doc -->
377 * <!-- end-user-doc --> 388 * <!-- end-user-doc -->
378 * @generated 389 * @generated
379 */ 390 */
380 private EClass booleanFalseEClass = null; 391 private EClass comparisonEClass = null;
381 392
382 /** 393 /**
383 * <!-- begin-user-doc --> 394 * <!-- begin-user-doc -->
384 * <!-- end-user-doc --> 395 * <!-- end-user-doc -->
385 * @generated 396 * @generated
386 */ 397 */
387 private EClass trueEClass = null; 398 private EClass binaryExpressionEClass = null;
388 399
389 /** 400 /**
390 * <!-- begin-user-doc --> 401 * <!-- begin-user-doc -->
391 * <!-- end-user-doc --> 402 * <!-- end-user-doc -->
392 * @generated 403 * @generated
393 */ 404 */
394 private EClass falseEClass = null; 405 private EClass unaryExpressionEClass = null;
395 406
396 /** 407 /**
397 * <!-- begin-user-doc --> 408 * <!-- begin-user-doc -->
398 * <!-- end-user-doc --> 409 * <!-- end-user-doc -->
399 * @generated 410 * @generated
400 */ 411 */
401 private EClass unknownEClass = null; 412 private EEnum metricTypeEEnum = null;
402 413
403 /** 414 /**
404 * <!-- begin-user-doc --> 415 * <!-- begin-user-doc -->
405 * <!-- end-user-doc --> 416 * <!-- end-user-doc -->
406 * @generated 417 * @generated
407 */ 418 */
408 private EClass errorEClass = null; 419 private EEnum binaryOperatorEEnum = null;
409 420
410 /** 421 /**
411 * <!-- begin-user-doc --> 422 * <!-- begin-user-doc -->
412 * <!-- end-user-doc --> 423 * <!-- end-user-doc -->
413 * @generated 424 * @generated
414 */ 425 */
415 private EClass positiveEClass = null; 426 private EEnum unaryOpEEnum = null;
416 427
417 /** 428 /**
418 * <!-- begin-user-doc --> 429 * <!-- begin-user-doc -->
419 * <!-- end-user-doc --> 430 * <!-- end-user-doc -->
420 * @generated 431 * @generated
421 */ 432 */
422 private EClass negativeEClass = null; 433 private EEnum aggregationOpEEnum = null;
423 434
424 /** 435 /**
425 * <!-- begin-user-doc --> 436 * <!-- begin-user-doc -->
426 * <!-- end-user-doc --> 437 * <!-- end-user-doc -->
427 * @generated 438 * @generated
428 */ 439 */
429 private EClass reflexiveClosureEClass = null; 440 private EEnum logicValueEEnum = null;
430 441
431 /** 442 /**
432 * <!-- begin-user-doc --> 443 * <!-- begin-user-doc -->
433 * <!-- end-user-doc --> 444 * <!-- end-user-doc -->
434 * @generated 445 * @generated
435 */ 446 */
436 private EClass irreflexiveClosureEClass = null; 447 private EEnum objectiveKindEEnum = null;
437 448
438 /** 449 /**
439 * Creates an instance of the model <b>Package</b>, registered with 450 * Creates an instance of the model <b>Package</b>, registered with
@@ -537,9 +548,31 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
537 * @generated 548 * @generated
538 */ 549 */
539 @Override 550 @Override
540 public EClass getBooleanValue() 551 public EClass getPredicateDefinition()
552 {
553 return predicateDefinitionEClass;
554 }
555
556 /**
557 * <!-- begin-user-doc -->
558 * <!-- end-user-doc -->
559 * @generated
560 */
561 @Override
562 public EReference getPredicateDefinition_Head()
563 {
564 return (EReference)predicateDefinitionEClass.getEStructuralFeatures().get(0);
565 }
566
567 /**
568 * <!-- begin-user-doc -->
569 * <!-- end-user-doc -->
570 * @generated
571 */
572 @Override
573 public EReference getPredicateDefinition_Body()
541 { 574 {
542 return booleanValueEClass; 575 return (EReference)predicateDefinitionEClass.getEStructuralFeatures().get(1);
543 } 576 }
544 577
545 /** 578 /**
@@ -548,9 +581,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
548 * @generated 581 * @generated
549 */ 582 */
550 @Override 583 @Override
551 public EClass getTruthValue() 584 public EAttribute getPredicateDefinition_Functional()
552 { 585 {
553 return truthValueEClass; 586 return (EAttribute)predicateDefinitionEClass.getEStructuralFeatures().get(2);
554 } 587 }
555 588
556 /** 589 /**
@@ -559,9 +592,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
559 * @generated 592 * @generated
560 */ 593 */
561 @Override 594 @Override
562 public EClass getInterpretation() 595 public EAttribute getPredicateDefinition_Error()
563 { 596 {
564 return interpretationEClass; 597 return (EAttribute)predicateDefinitionEClass.getEStructuralFeatures().get(3);
565 } 598 }
566 599
567 /** 600 /**
@@ -570,9 +603,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
570 * @generated 603 * @generated
571 */ 604 */
572 @Override 605 @Override
573 public EClass getBasicInterpretation() 606 public EClass getUnnamedErrorPrediateDefinition()
574 { 607 {
575 return basicInterpretationEClass; 608 return unnamedErrorPrediateDefinitionEClass;
576 } 609 }
577 610
578 /** 611 /**
@@ -581,9 +614,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
581 * @generated 614 * @generated
582 */ 615 */
583 @Override 616 @Override
584 public EReference getBasicInterpretation_Symbol() 617 public EReference getUnnamedErrorPrediateDefinition_ArgumentList()
585 { 618 {
586 return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(0); 619 return (EReference)unnamedErrorPrediateDefinitionEClass.getEStructuralFeatures().get(0);
587 } 620 }
588 621
589 /** 622 /**
@@ -592,9 +625,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
592 * @generated 625 * @generated
593 */ 626 */
594 @Override 627 @Override
595 public EReference getBasicInterpretation_Objects() 628 public EReference getUnnamedErrorPrediateDefinition_Body()
596 { 629 {
597 return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(1); 630 return (EReference)unnamedErrorPrediateDefinitionEClass.getEStructuralFeatures().get(1);
598 } 631 }
599 632
600 /** 633 /**
@@ -603,9 +636,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
603 * @generated 636 * @generated
604 */ 637 */
605 @Override 638 @Override
606 public EReference getBasicInterpretation_Value() 639 public EClass getDefaultDefinition()
607 { 640 {
608 return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(2); 641 return defaultDefinitionEClass;
609 } 642 }
610 643
611 /** 644 /**
@@ -614,9 +647,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
614 * @generated 647 * @generated
615 */ 648 */
616 @Override 649 @Override
617 public EClass getSymbol() 650 public EReference getDefaultDefinition_Head()
618 { 651 {
619 return symbolEClass; 652 return (EReference)defaultDefinitionEClass.getEStructuralFeatures().get(0);
620 } 653 }
621 654
622 /** 655 /**
@@ -625,9 +658,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
625 * @generated 658 * @generated
626 */ 659 */
627 @Override 660 @Override
628 public EClass getModelSymbol() 661 public EReference getDefaultDefinition_Range()
629 { 662 {
630 return modelSymbolEClass; 663 return (EReference)defaultDefinitionEClass.getEStructuralFeatures().get(1);
631 } 664 }
632 665
633 /** 666 /**
@@ -636,9 +669,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
636 * @generated 669 * @generated
637 */ 670 */
638 @Override 671 @Override
639 public EAttribute getModelSymbol_Name() 672 public EClass getExternPredicateDefinition()
640 { 673 {
641 return (EAttribute)modelSymbolEClass.getEStructuralFeatures().get(0); 674 return externPredicateDefinitionEClass;
642 } 675 }
643 676
644 /** 677 /**
@@ -647,9 +680,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
647 * @generated 680 * @generated
648 */ 681 */
649 @Override 682 @Override
650 public EClass getPartialitySymbol() 683 public EReference getExternPredicateDefinition_Head()
651 { 684 {
652 return partialitySymbolEClass; 685 return (EReference)externPredicateDefinitionEClass.getEStructuralFeatures().get(0);
653 } 686 }
654 687
655 /** 688 /**
@@ -658,9 +691,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
658 * @generated 691 * @generated
659 */ 692 */
660 @Override 693 @Override
661 public EClass getExistSymbol() 694 public EClass getMetricDefinition()
662 { 695 {
663 return existSymbolEClass; 696 return metricDefinitionEClass;
664 } 697 }
665 698
666 /** 699 /**
@@ -669,9 +702,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
669 * @generated 702 * @generated
670 */ 703 */
671 @Override 704 @Override
672 public EClass getEqualsSymbol() 705 public EReference getMetricDefinition_Head()
673 { 706 {
674 return equalsSymbolEClass; 707 return (EReference)metricDefinitionEClass.getEStructuralFeatures().get(0);
675 } 708 }
676 709
677 /** 710 /**
@@ -680,9 +713,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
680 * @generated 713 * @generated
681 */ 714 */
682 @Override 715 @Override
683 public EClass getDataSymbol() 716 public EReference getMetricDefinition_Body()
684 { 717 {
685 return dataSymbolEClass; 718 return (EReference)metricDefinitionEClass.getEStructuralFeatures().get(1);
686 } 719 }
687 720
688 /** 721 /**
@@ -691,9 +724,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
691 * @generated 724 * @generated
692 */ 725 */
693 @Override 726 @Override
694 public EClass getBooleanSymbol() 727 public EAttribute getMetricDefinition_Type()
695 { 728 {
696 return booleanSymbolEClass; 729 return (EAttribute)metricDefinitionEClass.getEStructuralFeatures().get(2);
697 } 730 }
698 731
699 /** 732 /**
@@ -702,9 +735,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
702 * @generated 735 * @generated
703 */ 736 */
704 @Override 737 @Override
705 public EClass getIntegerSymbol() 738 public EClass getExternMetricDefinition()
706 { 739 {
707 return integerSymbolEClass; 740 return externMetricDefinitionEClass;
708 } 741 }
709 742
710 /** 743 /**
@@ -713,9 +746,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
713 * @generated 746 * @generated
714 */ 747 */
715 @Override 748 @Override
716 public EClass getRealSymbol() 749 public EAttribute getExternMetricDefinition_Type()
717 { 750 {
718 return realSymbolEClass; 751 return (EAttribute)externMetricDefinitionEClass.getEStructuralFeatures().get(0);
719 } 752 }
720 753
721 /** 754 /**
@@ -724,9 +757,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
724 * @generated 757 * @generated
725 */ 758 */
726 @Override 759 @Override
727 public EClass getStringSymbol() 760 public EReference getExternMetricDefinition_Head()
728 { 761 {
729 return stringSymbolEClass; 762 return (EReference)externMetricDefinitionEClass.getEStructuralFeatures().get(1);
730 } 763 }
731 764
732 /** 765 /**
@@ -735,9 +768,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
735 * @generated 768 * @generated
736 */ 769 */
737 @Override 770 @Override
738 public EClass getComplexObject() 771 public EClass getExpression()
739 { 772 {
740 return complexObjectEClass; 773 return expressionEClass;
741 } 774 }
742 775
743 /** 776 /**
@@ -746,9 +779,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
746 * @generated 779 * @generated
747 */ 780 */
748 @Override 781 @Override
749 public EClass getObject() 782 public EClass getIfElse()
750 { 783 {
751 return objectEClass; 784 return ifElseEClass;
752 } 785 }
753 786
754 /** 787 /**
@@ -757,9 +790,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
757 * @generated 790 * @generated
758 */ 791 */
759 @Override 792 @Override
760 public EClass getNamedObject() 793 public EReference getIfElse_Condition()
761 { 794 {
762 return namedObjectEClass; 795 return (EReference)ifElseEClass.getEStructuralFeatures().get(0);
763 } 796 }
764 797
765 /** 798 /**
@@ -768,9 +801,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
768 * @generated 801 * @generated
769 */ 802 */
770 @Override 803 @Override
771 public EAttribute getNamedObject_Name() 804 public EReference getIfElse_Then()
772 { 805 {
773 return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(0); 806 return (EReference)ifElseEClass.getEStructuralFeatures().get(1);
774 } 807 }
775 808
776 /** 809 /**
@@ -779,9 +812,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
779 * @generated 812 * @generated
780 */ 813 */
781 @Override 814 @Override
782 public EClass getUnnamedObject() 815 public EReference getIfElse_Else()
783 { 816 {
784 return unnamedObjectEClass; 817 return (EReference)ifElseEClass.getEStructuralFeatures().get(2);
785 } 818 }
786 819
787 /** 820 /**
@@ -790,9 +823,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
790 * @generated 823 * @generated
791 */ 824 */
792 @Override 825 @Override
793 public EAttribute getUnnamedObject_Name() 826 public EClass getCase()
794 { 827 {
795 return (EAttribute)unnamedObjectEClass.getEStructuralFeatures().get(0); 828 return caseEClass;
796 } 829 }
797 830
798 /** 831 /**
@@ -801,9 +834,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
801 * @generated 834 * @generated
802 */ 835 */
803 @Override 836 @Override
804 public EClass getDataObject() 837 public EReference getCase_Condition()
805 { 838 {
806 return dataObjectEClass; 839 return (EReference)caseEClass.getEStructuralFeatures().get(0);
807 } 840 }
808 841
809 /** 842 /**
@@ -812,9 +845,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
812 * @generated 845 * @generated
813 */ 846 */
814 @Override 847 @Override
815 public EClass getBooleanObject() 848 public EReference getCase_Body()
816 { 849 {
817 return booleanObjectEClass; 850 return (EReference)caseEClass.getEStructuralFeatures().get(1);
818 } 851 }
819 852
820 /** 853 /**
@@ -823,9 +856,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
823 * @generated 856 * @generated
824 */ 857 */
825 @Override 858 @Override
826 public EReference getBooleanObject_Value() 859 public EClass getCount()
827 { 860 {
828 return (EReference)booleanObjectEClass.getEStructuralFeatures().get(0); 861 return countEClass;
829 } 862 }
830 863
831 /** 864 /**
@@ -834,9 +867,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
834 * @generated 867 * @generated
835 */ 868 */
836 @Override 869 @Override
837 public EClass getIntObject() 870 public EReference getCount_Body()
838 { 871 {
839 return intObjectEClass; 872 return (EReference)countEClass.getEStructuralFeatures().get(0);
840 } 873 }
841 874
842 /** 875 /**
@@ -845,9 +878,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
845 * @generated 878 * @generated
846 */ 879 */
847 @Override 880 @Override
848 public EAttribute getIntObject_Value() 881 public EClass getAggregation()
849 { 882 {
850 return (EAttribute)intObjectEClass.getEStructuralFeatures().get(0); 883 return aggregationEClass;
851 } 884 }
852 885
853 /** 886 /**
@@ -856,9 +889,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
856 * @generated 889 * @generated
857 */ 890 */
858 @Override 891 @Override
859 public EClass getRealObject() 892 public EAttribute getAggregation_Op()
860 { 893 {
861 return realObjectEClass; 894 return (EAttribute)aggregationEClass.getEStructuralFeatures().get(0);
862 } 895 }
863 896
864 /** 897 /**
@@ -867,9 +900,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
867 * @generated 900 * @generated
868 */ 901 */
869 @Override 902 @Override
870 public EAttribute getRealObject_Value() 903 public EReference getAggregation_Body()
871 { 904 {
872 return (EAttribute)realObjectEClass.getEStructuralFeatures().get(0); 905 return (EReference)aggregationEClass.getEStructuralFeatures().get(1);
873 } 906 }
874 907
875 /** 908 /**
@@ -878,9 +911,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
878 * @generated 911 * @generated
879 */ 912 */
880 @Override 913 @Override
881 public EClass getStringObject() 914 public EReference getAggregation_Condition()
882 { 915 {
883 return stringObjectEClass; 916 return (EReference)aggregationEClass.getEStructuralFeatures().get(2);
884 } 917 }
885 918
886 /** 919 /**
@@ -889,9 +922,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
889 * @generated 922 * @generated
890 */ 923 */
891 @Override 924 @Override
892 public EAttribute getStringObject_Value() 925 public EClass getCall()
893 { 926 {
894 return (EAttribute)stringObjectEClass.getEStructuralFeatures().get(0); 927 return callEClass;
895 } 928 }
896 929
897 /** 930 /**
@@ -900,9 +933,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
900 * @generated 933 * @generated
901 */ 934 */
902 @Override 935 @Override
903 public EClass getPredicate() 936 public EReference getCall_Functor()
904 { 937 {
905 return predicateEClass; 938 return (EReference)callEClass.getEStructuralFeatures().get(0);
906 } 939 }
907 940
908 /** 941 /**
@@ -911,9 +944,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
911 * @generated 944 * @generated
912 */ 945 */
913 @Override 946 @Override
914 public EAttribute getPredicate_IsError() 947 public EAttribute getCall_TransitiveClosure()
915 { 948 {
916 return (EAttribute)predicateEClass.getEStructuralFeatures().get(0); 949 return (EAttribute)callEClass.getEStructuralFeatures().get(1);
917 } 950 }
918 951
919 /** 952 /**
@@ -922,9 +955,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
922 * @generated 955 * @generated
923 */ 956 */
924 @Override 957 @Override
925 public EReference getPredicate_Symbol() 958 public EAttribute getCall_ReflexiveTransitiveClosure()
926 { 959 {
927 return (EReference)predicateEClass.getEStructuralFeatures().get(1); 960 return (EAttribute)callEClass.getEStructuralFeatures().get(2);
928 } 961 }
929 962
930 /** 963 /**
@@ -933,9 +966,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
933 * @generated 966 * @generated
934 */ 967 */
935 @Override 968 @Override
936 public EReference getPredicate_Parameters() 969 public EReference getCall_ArgumentList()
937 { 970 {
938 return (EReference)predicateEClass.getEStructuralFeatures().get(2); 971 return (EReference)callEClass.getEStructuralFeatures().get(3);
939 } 972 }
940 973
941 /** 974 /**
@@ -944,9 +977,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
944 * @generated 977 * @generated
945 */ 978 */
946 @Override 979 @Override
947 public EReference getPredicate_Bodies() 980 public EClass getArgumentList()
948 { 981 {
949 return (EReference)predicateEClass.getEStructuralFeatures().get(3); 982 return argumentListEClass;
950 } 983 }
951 984
952 /** 985 /**
@@ -955,9 +988,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
955 * @generated 988 * @generated
956 */ 989 */
957 @Override 990 @Override
958 public EClass getParameter() 991 public EReference getArgumentList_Arguments()
959 { 992 {
960 return parameterEClass; 993 return (EReference)argumentListEClass.getEStructuralFeatures().get(0);
961 } 994 }
962 995
963 /** 996 /**
@@ -966,9 +999,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
966 * @generated 999 * @generated
967 */ 1000 */
968 @Override 1001 @Override
969 public EReference getParameter_Variable() 1002 public EClass getArgument()
970 { 1003 {
971 return (EReference)parameterEClass.getEStructuralFeatures().get(0); 1004 return argumentEClass;
972 } 1005 }
973 1006
974 /** 1007 /**
@@ -977,9 +1010,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
977 * @generated 1010 * @generated
978 */ 1011 */
979 @Override 1012 @Override
980 public EReference getParameter_Type() 1013 public EClass getExpressionArgument()
981 { 1014 {
982 return (EReference)parameterEClass.getEStructuralFeatures().get(1); 1015 return expressionArgumentEClass;
983 } 1016 }
984 1017
985 /** 1018 /**
@@ -988,9 +1021,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
988 * @generated 1021 * @generated
989 */ 1022 */
990 @Override 1023 @Override
991 public EClass getPatternBody() 1024 public EReference getExpressionArgument_Body()
992 { 1025 {
993 return patternBodyEClass; 1026 return (EReference)expressionArgumentEClass.getEStructuralFeatures().get(0);
994 } 1027 }
995 1028
996 /** 1029 /**
@@ -999,9 +1032,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
999 * @generated 1032 * @generated
1000 */ 1033 */
1001 @Override 1034 @Override
1002 public EReference getPatternBody_Constraints() 1035 public EClass getStarArgument()
1003 { 1036 {
1004 return (EReference)patternBodyEClass.getEStructuralFeatures().get(0); 1037 return starArgumentEClass;
1005 } 1038 }
1006 1039
1007 /** 1040 /**
@@ -1010,9 +1043,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1010 * @generated 1043 * @generated
1011 */ 1044 */
1012 @Override 1045 @Override
1013 public EClass getPolarity() 1046 public EClass getTypedArgument()
1014 { 1047 {
1015 return polarityEClass; 1048 return typedArgumentEClass;
1016 } 1049 }
1017 1050
1018 /** 1051 /**
@@ -1021,9 +1054,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1021 * @generated 1054 * @generated
1022 */ 1055 */
1023 @Override 1056 @Override
1024 public EClass getConstraint() 1057 public EReference getTypedArgument_Type()
1025 { 1058 {
1026 return constraintEClass; 1059 return (EReference)typedArgumentEClass.getEStructuralFeatures().get(0);
1027 } 1060 }
1028 1061
1029 /** 1062 /**
@@ -1032,9 +1065,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1032 * @generated 1065 * @generated
1033 */ 1066 */
1034 @Override 1067 @Override
1035 public EReference getConstraint_Polarity() 1068 public EReference getTypedArgument_Variable()
1036 { 1069 {
1037 return (EReference)constraintEClass.getEStructuralFeatures().get(0); 1070 return (EReference)typedArgumentEClass.getEStructuralFeatures().get(1);
1038 } 1071 }
1039 1072
1040 /** 1073 /**
@@ -1043,9 +1076,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1043 * @generated 1076 * @generated
1044 */ 1077 */
1045 @Override 1078 @Override
1046 public EReference getConstraint_Symbol() 1079 public EClass getTypedStarArgument()
1047 { 1080 {
1048 return (EReference)constraintEClass.getEStructuralFeatures().get(1); 1081 return typedStarArgumentEClass;
1049 } 1082 }
1050 1083
1051 /** 1084 /**
@@ -1054,9 +1087,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1054 * @generated 1087 * @generated
1055 */ 1088 */
1056 @Override 1089 @Override
1057 public EReference getConstraint_Params() 1090 public EReference getTypedStarArgument_Type()
1058 { 1091 {
1059 return (EReference)constraintEClass.getEStructuralFeatures().get(2); 1092 return (EReference)typedStarArgumentEClass.getEStructuralFeatures().get(0);
1060 } 1093 }
1061 1094
1062 /** 1095 /**
@@ -1065,9 +1098,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1065 * @generated 1098 * @generated
1066 */ 1099 */
1067 @Override 1100 @Override
1068 public EReference getConstraint_ClosureType() 1101 public EClass getReference()
1069 { 1102 {
1070 return (EReference)constraintEClass.getEStructuralFeatures().get(3); 1103 return referenceEClass;
1071 } 1104 }
1072 1105
1073 /** 1106 /**
@@ -1076,9 +1109,42 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1076 * @generated 1109 * @generated
1077 */ 1110 */
1078 @Override 1111 @Override
1079 public EClass getClosureType() 1112 public EReference getReference_Referred()
1080 { 1113 {
1081 return closureTypeEClass; 1114 return (EReference)referenceEClass.getEStructuralFeatures().get(0);
1115 }
1116
1117 /**
1118 * <!-- begin-user-doc -->
1119 * <!-- end-user-doc -->
1120 * @generated
1121 */
1122 @Override
1123 public EClass getInterval()
1124 {
1125 return intervalEClass;
1126 }
1127
1128 /**
1129 * <!-- begin-user-doc -->
1130 * <!-- end-user-doc -->
1131 * @generated
1132 */
1133 @Override
1134 public EReference getInterval_LowerBound()
1135 {
1136 return (EReference)intervalEClass.getEStructuralFeatures().get(0);
1137 }
1138
1139 /**
1140 * <!-- begin-user-doc -->
1141 * <!-- end-user-doc -->
1142 * @generated
1143 */
1144 @Override
1145 public EReference getInterval_UpperBound()
1146 {
1147 return (EReference)intervalEClass.getEStructuralFeatures().get(1);
1082 } 1148 }
1083 1149
1084 /** 1150 /**
@@ -1098,9 +1164,218 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1098 * @generated 1164 * @generated
1099 */ 1165 */
1100 @Override 1166 @Override
1101 public EClass getVariable() 1167 public EClass getLogicLiteral()
1168 {
1169 return logicLiteralEClass;
1170 }
1171
1172 /**
1173 * <!-- begin-user-doc -->
1174 * <!-- end-user-doc -->
1175 * @generated
1176 */
1177 @Override
1178 public EAttribute getLogicLiteral_Value()
1179 {
1180 return (EAttribute)logicLiteralEClass.getEStructuralFeatures().get(0);
1181 }
1182
1183 /**
1184 * <!-- begin-user-doc -->
1185 * <!-- end-user-doc -->
1186 * @generated
1187 */
1188 @Override
1189 public EClass getNumericLiteral()
1190 {
1191 return numericLiteralEClass;
1192 }
1193
1194 /**
1195 * <!-- begin-user-doc -->
1196 * <!-- end-user-doc -->
1197 * @generated
1198 */
1199 @Override
1200 public EAttribute getNumericLiteral_Value()
1201 {
1202 return (EAttribute)numericLiteralEClass.getEStructuralFeatures().get(0);
1203 }
1204
1205 /**
1206 * <!-- begin-user-doc -->
1207 * <!-- end-user-doc -->
1208 * @generated
1209 */
1210 @Override
1211 public EClass getInfinityLiteral()
1212 {
1213 return infinityLiteralEClass;
1214 }
1215
1216 /**
1217 * <!-- begin-user-doc -->
1218 * <!-- end-user-doc -->
1219 * @generated
1220 */
1221 @Override
1222 public EClass getEmptyIntervalLiteral()
1223 {
1224 return emptyIntervalLiteralEClass;
1225 }
1226
1227 /**
1228 * <!-- begin-user-doc -->
1229 * <!-- end-user-doc -->
1230 * @generated
1231 */
1232 @Override
1233 public EClass getStringLiteral()
1234 {
1235 return stringLiteralEClass;
1236 }
1237
1238 /**
1239 * <!-- begin-user-doc -->
1240 * <!-- end-user-doc -->
1241 * @generated
1242 */
1243 @Override
1244 public EAttribute getStringLiteral_Value()
1245 {
1246 return (EAttribute)stringLiteralEClass.getEStructuralFeatures().get(0);
1247 }
1248
1249 /**
1250 * <!-- begin-user-doc -->
1251 * <!-- end-user-doc -->
1252 * @generated
1253 */
1254 @Override
1255 public EClass getClassDefinition()
1256 {
1257 return classDefinitionEClass;
1258 }
1259
1260 /**
1261 * <!-- begin-user-doc -->
1262 * <!-- end-user-doc -->
1263 * @generated
1264 */
1265 @Override
1266 public EAttribute getClassDefinition_Abstract()
1267 {
1268 return (EAttribute)classDefinitionEClass.getEStructuralFeatures().get(0);
1269 }
1270
1271 /**
1272 * <!-- begin-user-doc -->
1273 * <!-- end-user-doc -->
1274 * @generated
1275 */
1276 @Override
1277 public EAttribute getClassDefinition_Name()
1278 {
1279 return (EAttribute)classDefinitionEClass.getEStructuralFeatures().get(1);
1280 }
1281
1282 /**
1283 * <!-- begin-user-doc -->
1284 * <!-- end-user-doc -->
1285 * @generated
1286 */
1287 @Override
1288 public EReference getClassDefinition_Superclasses()
1289 {
1290 return (EReference)classDefinitionEClass.getEStructuralFeatures().get(2);
1291 }
1292
1293 /**
1294 * <!-- begin-user-doc -->
1295 * <!-- end-user-doc -->
1296 * @generated
1297 */
1298 @Override
1299 public EReference getClassDefinition_Members()
1300 {
1301 return (EReference)classDefinitionEClass.getEStructuralFeatures().get(3);
1302 }
1303
1304 /**
1305 * <!-- begin-user-doc -->
1306 * <!-- end-user-doc -->
1307 * @generated
1308 */
1309 @Override
1310 public EClass getMemberDefinition()
1311 {
1312 return memberDefinitionEClass;
1313 }
1314
1315 /**
1316 * <!-- begin-user-doc -->
1317 * <!-- end-user-doc -->
1318 * @generated
1319 */
1320 @Override
1321 public EAttribute getMemberDefinition_Containment()
1322 {
1323 return (EAttribute)memberDefinitionEClass.getEStructuralFeatures().get(0);
1324 }
1325
1326 /**
1327 * <!-- begin-user-doc -->
1328 * <!-- end-user-doc -->
1329 * @generated
1330 */
1331 @Override
1332 public EReference getMemberDefinition_Type()
1333 {
1334 return (EReference)memberDefinitionEClass.getEStructuralFeatures().get(1);
1335 }
1336
1337 /**
1338 * <!-- begin-user-doc -->
1339 * <!-- end-user-doc -->
1340 * @generated
1341 */
1342 @Override
1343 public EReference getMemberDefinition_Multiplicity()
1344 {
1345 return (EReference)memberDefinitionEClass.getEStructuralFeatures().get(2);
1346 }
1347
1348 /**
1349 * <!-- begin-user-doc -->
1350 * <!-- end-user-doc -->
1351 * @generated
1352 */
1353 @Override
1354 public EAttribute getMemberDefinition_Name()
1355 {
1356 return (EAttribute)memberDefinitionEClass.getEStructuralFeatures().get(3);
1357 }
1358
1359 /**
1360 * <!-- begin-user-doc -->
1361 * <!-- end-user-doc -->
1362 * @generated
1363 */
1364 @Override
1365 public EReference getMemberDefinition_Opposite()
1366 {
1367 return (EReference)memberDefinitionEClass.getEStructuralFeatures().get(4);
1368 }
1369
1370 /**
1371 * <!-- begin-user-doc -->
1372 * <!-- end-user-doc -->
1373 * @generated
1374 */
1375 @Override
1376 public EClass getMultiplicity()
1102 { 1377 {
1103 return variableEClass; 1378 return multiplicityEClass;
1104 } 1379 }
1105 1380
1106 /** 1381 /**
@@ -1109,9 +1384,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1109 * @generated 1384 * @generated
1110 */ 1385 */
1111 @Override 1386 @Override
1112 public EAttribute getVariable_Name() 1387 public EClass getManyMultiplicity()
1113 { 1388 {
1114 return (EAttribute)variableEClass.getEStructuralFeatures().get(0); 1389 return manyMultiplicityEClass;
1115 } 1390 }
1116 1391
1117 /** 1392 /**
@@ -1120,9 +1395,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1120 * @generated 1395 * @generated
1121 */ 1396 */
1122 @Override 1397 @Override
1123 public EClass getAllInstances() 1398 public EClass getExactMultiplicity()
1124 { 1399 {
1125 return allInstancesEClass; 1400 return exactMultiplicityEClass;
1126 } 1401 }
1127 1402
1128 /** 1403 /**
@@ -1131,9 +1406,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1131 * @generated 1406 * @generated
1132 */ 1407 */
1133 @Override 1408 @Override
1134 public EReference getAllInstances_Symbol() 1409 public EAttribute getExactMultiplicity_Multiplicity()
1135 { 1410 {
1136 return (EReference)allInstancesEClass.getEStructuralFeatures().get(0); 1411 return (EAttribute)exactMultiplicityEClass.getEStructuralFeatures().get(0);
1137 } 1412 }
1138 1413
1139 /** 1414 /**
@@ -1142,9 +1417,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1142 * @generated 1417 * @generated
1143 */ 1418 */
1144 @Override 1419 @Override
1145 public EClass getAllObjects() 1420 public EClass getBoundedMultiplicity()
1146 { 1421 {
1147 return allObjectsEClass; 1422 return boundedMultiplicityEClass;
1148 } 1423 }
1149 1424
1150 /** 1425 /**
@@ -1153,9 +1428,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1153 * @generated 1428 * @generated
1154 */ 1429 */
1155 @Override 1430 @Override
1156 public EClass getDefaultInterpretation() 1431 public EAttribute getBoundedMultiplicity_LowerBound()
1157 { 1432 {
1158 return defaultInterpretationEClass; 1433 return (EAttribute)boundedMultiplicityEClass.getEStructuralFeatures().get(0);
1159 } 1434 }
1160 1435
1161 /** 1436 /**
@@ -1164,9 +1439,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1164 * @generated 1439 * @generated
1165 */ 1440 */
1166 @Override 1441 @Override
1167 public EReference getDefaultInterpretation_Interpretation() 1442 public EAttribute getBoundedMultiplicity_UpperBound()
1168 { 1443 {
1169 return (EReference)defaultInterpretationEClass.getEStructuralFeatures().get(0); 1444 return (EAttribute)boundedMultiplicityEClass.getEStructuralFeatures().get(1);
1170 } 1445 }
1171 1446
1172 /** 1447 /**
@@ -1175,9 +1450,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1175 * @generated 1450 * @generated
1176 */ 1451 */
1177 @Override 1452 @Override
1178 public EClass getCDInterpretation() 1453 public EClass getScopeDefinition()
1179 { 1454 {
1180 return cdInterpretationEClass; 1455 return scopeDefinitionEClass;
1181 } 1456 }
1182 1457
1183 /** 1458 /**
@@ -1186,9 +1461,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1186 * @generated 1461 * @generated
1187 */ 1462 */
1188 @Override 1463 @Override
1189 public EClass getClassInterpretation() 1464 public EReference getScopeDefinition_Type()
1190 { 1465 {
1191 return classInterpretationEClass; 1466 return (EReference)scopeDefinitionEClass.getEStructuralFeatures().get(0);
1192 } 1467 }
1193 1468
1194 /** 1469 /**
@@ -1197,9 +1472,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1197 * @generated 1472 * @generated
1198 */ 1473 */
1199 @Override 1474 @Override
1200 public EAttribute getClassInterpretation_Abstract() 1475 public EClass getExactScopeDefinition()
1201 { 1476 {
1202 return (EAttribute)classInterpretationEClass.getEStructuralFeatures().get(0); 1477 return exactScopeDefinitionEClass;
1203 } 1478 }
1204 1479
1205 /** 1480 /**
@@ -1208,9 +1483,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1208 * @generated 1483 * @generated
1209 */ 1484 */
1210 @Override 1485 @Override
1211 public EReference getClassInterpretation_Symbol() 1486 public EAttribute getExactScopeDefinition_ExactScope()
1212 { 1487 {
1213 return (EReference)classInterpretationEClass.getEStructuralFeatures().get(1); 1488 return (EAttribute)exactScopeDefinitionEClass.getEStructuralFeatures().get(0);
1214 } 1489 }
1215 1490
1216 /** 1491 /**
@@ -1219,9 +1494,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1219 * @generated 1494 * @generated
1220 */ 1495 */
1221 @Override 1496 @Override
1222 public EReference getClassInterpretation_Supertypes() 1497 public EClass getBoundedScopeDefinition()
1223 { 1498 {
1224 return (EReference)classInterpretationEClass.getEStructuralFeatures().get(2); 1499 return boundedScopeDefinitionEClass;
1225 } 1500 }
1226 1501
1227 /** 1502 /**
@@ -1230,9 +1505,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1230 * @generated 1505 * @generated
1231 */ 1506 */
1232 @Override 1507 @Override
1233 public EReference getClassInterpretation_Fielt() 1508 public EAttribute getBoundedScopeDefinition_LowerBound()
1234 { 1509 {
1235 return (EReference)classInterpretationEClass.getEStructuralFeatures().get(3); 1510 return (EAttribute)boundedScopeDefinitionEClass.getEStructuralFeatures().get(0);
1236 } 1511 }
1237 1512
1238 /** 1513 /**
@@ -1241,9 +1516,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1241 * @generated 1516 * @generated
1242 */ 1517 */
1243 @Override 1518 @Override
1244 public EClass getEnumInterpretation() 1519 public EAttribute getBoundedScopeDefinition_UpperBound()
1245 { 1520 {
1246 return enumInterpretationEClass; 1521 return (EAttribute)boundedScopeDefinitionEClass.getEStructuralFeatures().get(1);
1247 } 1522 }
1248 1523
1249 /** 1524 /**
@@ -1252,9 +1527,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1252 * @generated 1527 * @generated
1253 */ 1528 */
1254 @Override 1529 @Override
1255 public EReference getEnumInterpretation_Symbol() 1530 public EClass getLowerBoundedScopeDefinition()
1256 { 1531 {
1257 return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(0); 1532 return lowerBoundedScopeDefinitionEClass;
1258 } 1533 }
1259 1534
1260 /** 1535 /**
@@ -1263,9 +1538,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1263 * @generated 1538 * @generated
1264 */ 1539 */
1265 @Override 1540 @Override
1266 public EReference getEnumInterpretation_Objects() 1541 public EAttribute getLowerBoundedScopeDefinition_LowerBound()
1267 { 1542 {
1268 return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(1); 1543 return (EAttribute)lowerBoundedScopeDefinitionEClass.getEStructuralFeatures().get(0);
1269 } 1544 }
1270 1545
1271 /** 1546 /**
@@ -1274,9 +1549,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1274 * @generated 1549 * @generated
1275 */ 1550 */
1276 @Override 1551 @Override
1277 public EClass getFieldRelationInterpretation() 1552 public EClass getObjectiveDefinition()
1278 { 1553 {
1279 return fieldRelationInterpretationEClass; 1554 return objectiveDefinitionEClass;
1280 } 1555 }
1281 1556
1282 /** 1557 /**
@@ -1285,9 +1560,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1285 * @generated 1560 * @generated
1286 */ 1561 */
1287 @Override 1562 @Override
1288 public EAttribute getFieldRelationInterpretation_Containment() 1563 public EAttribute getObjectiveDefinition_Kind()
1289 { 1564 {
1290 return (EAttribute)fieldRelationInterpretationEClass.getEStructuralFeatures().get(0); 1565 return (EAttribute)objectiveDefinitionEClass.getEStructuralFeatures().get(0);
1291 } 1566 }
1292 1567
1293 /** 1568 /**
@@ -1296,9 +1571,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1296 * @generated 1571 * @generated
1297 */ 1572 */
1298 @Override 1573 @Override
1299 public EReference getFieldRelationInterpretation_Symbol() 1574 public EReference getObjectiveDefinition_Objective()
1300 { 1575 {
1301 return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(1); 1576 return (EReference)objectiveDefinitionEClass.getEStructuralFeatures().get(1);
1302 } 1577 }
1303 1578
1304 /** 1579 /**
@@ -1307,9 +1582,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1307 * @generated 1582 * @generated
1308 */ 1583 */
1309 @Override 1584 @Override
1310 public EReference getFieldRelationInterpretation_Multiplicity() 1585 public EClass getNamedElement()
1311 { 1586 {
1312 return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(2); 1587 return namedElementEClass;
1313 } 1588 }
1314 1589
1315 /** 1590 /**
@@ -1318,9 +1593,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1318 * @generated 1593 * @generated
1319 */ 1594 */
1320 @Override 1595 @Override
1321 public EReference getFieldRelationInterpretation_Target() 1596 public EAttribute getNamedElement_Name()
1322 { 1597 {
1323 return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(3); 1598 return (EAttribute)namedElementEClass.getEStructuralFeatures().get(0);
1324 } 1599 }
1325 1600
1326 /** 1601 /**
@@ -1329,9 +1604,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1329 * @generated 1604 * @generated
1330 */ 1605 */
1331 @Override 1606 @Override
1332 public EClass getGlobalRelationInterpretation() 1607 public EClass getAssertion()
1333 { 1608 {
1334 return globalRelationInterpretationEClass; 1609 return assertionEClass;
1335 } 1610 }
1336 1611
1337 /** 1612 /**
@@ -1340,9 +1615,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1340 * @generated 1615 * @generated
1341 */ 1616 */
1342 @Override 1617 @Override
1343 public EAttribute getGlobalRelationInterpretation_Containment() 1618 public EReference getAssertion_Body()
1344 { 1619 {
1345 return (EAttribute)globalRelationInterpretationEClass.getEStructuralFeatures().get(0); 1620 return (EReference)assertionEClass.getEStructuralFeatures().get(0);
1346 } 1621 }
1347 1622
1348 /** 1623 /**
@@ -1351,9 +1626,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1351 * @generated 1626 * @generated
1352 */ 1627 */
1353 @Override 1628 @Override
1354 public EReference getGlobalRelationInterpretation_Symbol() 1629 public EReference getAssertion_Range()
1355 { 1630 {
1356 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(1); 1631 return (EReference)assertionEClass.getEStructuralFeatures().get(1);
1357 } 1632 }
1358 1633
1359 /** 1634 /**
@@ -1362,9 +1637,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1362 * @generated 1637 * @generated
1363 */ 1638 */
1364 @Override 1639 @Override
1365 public EReference getGlobalRelationInterpretation_SourceMultiplicity() 1640 public EClass getDisjunction()
1366 { 1641 {
1367 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(2); 1642 return disjunctionEClass;
1368 } 1643 }
1369 1644
1370 /** 1645 /**
@@ -1373,9 +1648,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1373 * @generated 1648 * @generated
1374 */ 1649 */
1375 @Override 1650 @Override
1376 public EReference getGlobalRelationInterpretation_Source() 1651 public EReference getDisjunction_Children()
1377 { 1652 {
1378 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(3); 1653 return (EReference)disjunctionEClass.getEStructuralFeatures().get(0);
1379 } 1654 }
1380 1655
1381 /** 1656 /**
@@ -1384,9 +1659,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1384 * @generated 1659 * @generated
1385 */ 1660 */
1386 @Override 1661 @Override
1387 public EReference getGlobalRelationInterpretation_TargetMultiplicity() 1662 public EClass getSwitch()
1388 { 1663 {
1389 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(4); 1664 return switchEClass;
1390 } 1665 }
1391 1666
1392 /** 1667 /**
@@ -1395,9 +1670,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1395 * @generated 1670 * @generated
1396 */ 1671 */
1397 @Override 1672 @Override
1398 public EReference getGlobalRelationInterpretation_Target() 1673 public EReference getSwitch_Cases()
1399 { 1674 {
1400 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(5); 1675 return (EReference)switchEClass.getEStructuralFeatures().get(0);
1401 } 1676 }
1402 1677
1403 /** 1678 /**
@@ -1406,9 +1681,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1406 * @generated 1681 * @generated
1407 */ 1682 */
1408 @Override 1683 @Override
1409 public EClass getMultiplicityDefinition() 1684 public EClass getConjunction()
1410 { 1685 {
1411 return multiplicityDefinitionEClass; 1686 return conjunctionEClass;
1412 } 1687 }
1413 1688
1414 /** 1689 /**
@@ -1417,9 +1692,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1417 * @generated 1692 * @generated
1418 */ 1693 */
1419 @Override 1694 @Override
1420 public EAttribute getMultiplicityDefinition_Lower() 1695 public EReference getConjunction_Children()
1421 { 1696 {
1422 return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(0); 1697 return (EReference)conjunctionEClass.getEStructuralFeatures().get(0);
1423 } 1698 }
1424 1699
1425 /** 1700 /**
@@ -1428,9 +1703,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1428 * @generated 1703 * @generated
1429 */ 1704 */
1430 @Override 1705 @Override
1431 public EAttribute getMultiplicityDefinition_Upper() 1706 public EClass getComparison()
1432 { 1707 {
1433 return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(1); 1708 return comparisonEClass;
1434 } 1709 }
1435 1710
1436 /** 1711 /**
@@ -1439,9 +1714,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1439 * @generated 1714 * @generated
1440 */ 1715 */
1441 @Override 1716 @Override
1442 public EAttribute getMultiplicityDefinition_UnlimitedUpper() 1717 public EReference getComparison_Left()
1443 { 1718 {
1444 return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(2); 1719 return (EReference)comparisonEClass.getEStructuralFeatures().get(0);
1445 } 1720 }
1446 1721
1447 /** 1722 /**
@@ -1450,9 +1725,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1450 * @generated 1725 * @generated
1451 */ 1726 */
1452 @Override 1727 @Override
1453 public EClass getBooleanTrue() 1728 public EAttribute getComparison_Op()
1454 { 1729 {
1455 return booleanTrueEClass; 1730 return (EAttribute)comparisonEClass.getEStructuralFeatures().get(1);
1456 } 1731 }
1457 1732
1458 /** 1733 /**
@@ -1461,9 +1736,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1461 * @generated 1736 * @generated
1462 */ 1737 */
1463 @Override 1738 @Override
1464 public EClass getBooleanFalse() 1739 public EReference getComparison_Right()
1465 { 1740 {
1466 return booleanFalseEClass; 1741 return (EReference)comparisonEClass.getEStructuralFeatures().get(2);
1467 } 1742 }
1468 1743
1469 /** 1744 /**
@@ -1472,9 +1747,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1472 * @generated 1747 * @generated
1473 */ 1748 */
1474 @Override 1749 @Override
1475 public EClass getTrue() 1750 public EClass getBinaryExpression()
1476 { 1751 {
1477 return trueEClass; 1752 return binaryExpressionEClass;
1478 } 1753 }
1479 1754
1480 /** 1755 /**
@@ -1483,9 +1758,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1483 * @generated 1758 * @generated
1484 */ 1759 */
1485 @Override 1760 @Override
1486 public EClass getFalse() 1761 public EReference getBinaryExpression_Left()
1487 { 1762 {
1488 return falseEClass; 1763 return (EReference)binaryExpressionEClass.getEStructuralFeatures().get(0);
1489 } 1764 }
1490 1765
1491 /** 1766 /**
@@ -1494,9 +1769,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1494 * @generated 1769 * @generated
1495 */ 1770 */
1496 @Override 1771 @Override
1497 public EClass getUnknown() 1772 public EAttribute getBinaryExpression_Op()
1498 { 1773 {
1499 return unknownEClass; 1774 return (EAttribute)binaryExpressionEClass.getEStructuralFeatures().get(1);
1500 } 1775 }
1501 1776
1502 /** 1777 /**
@@ -1505,9 +1780,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1505 * @generated 1780 * @generated
1506 */ 1781 */
1507 @Override 1782 @Override
1508 public EClass getError() 1783 public EReference getBinaryExpression_Right()
1509 { 1784 {
1510 return errorEClass; 1785 return (EReference)binaryExpressionEClass.getEStructuralFeatures().get(2);
1511 } 1786 }
1512 1787
1513 /** 1788 /**
@@ -1516,9 +1791,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1516 * @generated 1791 * @generated
1517 */ 1792 */
1518 @Override 1793 @Override
1519 public EClass getPositive() 1794 public EClass getUnaryExpression()
1520 { 1795 {
1521 return positiveEClass; 1796 return unaryExpressionEClass;
1522 } 1797 }
1523 1798
1524 /** 1799 /**
@@ -1527,9 +1802,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1527 * @generated 1802 * @generated
1528 */ 1803 */
1529 @Override 1804 @Override
1530 public EClass getNegative() 1805 public EAttribute getUnaryExpression_Op()
1531 { 1806 {
1532 return negativeEClass; 1807 return (EAttribute)unaryExpressionEClass.getEStructuralFeatures().get(0);
1533 } 1808 }
1534 1809
1535 /** 1810 /**
@@ -1538,9 +1813,9 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1538 * @generated 1813 * @generated
1539 */ 1814 */
1540 @Override 1815 @Override
1541 public EClass getReflexiveClosure() 1816 public EReference getUnaryExpression_Body()
1542 { 1817 {
1543 return reflexiveClosureEClass; 1818 return (EReference)unaryExpressionEClass.getEStructuralFeatures().get(1);
1544 } 1819 }
1545 1820
1546 /** 1821 /**
@@ -1549,9 +1824,64 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1549 * @generated 1824 * @generated
1550 */ 1825 */
1551 @Override 1826 @Override
1552 public EClass getIrreflexiveClosure() 1827 public EEnum getMetricType()
1553 { 1828 {
1554 return irreflexiveClosureEClass; 1829 return metricTypeEEnum;
1830 }
1831
1832 /**
1833 * <!-- begin-user-doc -->
1834 * <!-- end-user-doc -->
1835 * @generated
1836 */
1837 @Override
1838 public EEnum getBinaryOperator()
1839 {
1840 return binaryOperatorEEnum;
1841 }
1842
1843 /**
1844 * <!-- begin-user-doc -->
1845 * <!-- end-user-doc -->
1846 * @generated
1847 */
1848 @Override
1849 public EEnum getUnaryOp()
1850 {
1851 return unaryOpEEnum;
1852 }
1853
1854 /**
1855 * <!-- begin-user-doc -->
1856 * <!-- end-user-doc -->
1857 * @generated
1858 */
1859 @Override
1860 public EEnum getAggregationOp()
1861 {
1862 return aggregationOpEEnum;
1863 }
1864
1865 /**
1866 * <!-- begin-user-doc -->
1867 * <!-- end-user-doc -->
1868 * @generated
1869 */
1870 @Override
1871 public EEnum getLogicValue()
1872 {
1873 return logicValueEEnum;
1874 }
1875
1876 /**
1877 * <!-- begin-user-doc -->
1878 * <!-- end-user-doc -->
1879 * @generated
1880 */
1881 @Override
1882 public EEnum getObjectiveKind()
1883 {
1884 return objectiveKindEEnum;
1555 } 1885 }
1556 1886
1557 /** 1887 /**
@@ -1590,148 +1920,174 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1590 1920
1591 statementEClass = createEClass(STATEMENT); 1921 statementEClass = createEClass(STATEMENT);
1592 1922
1593 booleanValueEClass = createEClass(BOOLEAN_VALUE); 1923 predicateDefinitionEClass = createEClass(PREDICATE_DEFINITION);
1594 1924 createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__HEAD);
1595 truthValueEClass = createEClass(TRUTH_VALUE); 1925 createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__BODY);
1596 1926 createEAttribute(predicateDefinitionEClass, PREDICATE_DEFINITION__FUNCTIONAL);
1597 interpretationEClass = createEClass(INTERPRETATION); 1927 createEAttribute(predicateDefinitionEClass, PREDICATE_DEFINITION__ERROR);
1598 1928
1599 basicInterpretationEClass = createEClass(BASIC_INTERPRETATION); 1929 unnamedErrorPrediateDefinitionEClass = createEClass(UNNAMED_ERROR_PREDIATE_DEFINITION);
1600 createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__SYMBOL); 1930 createEReference(unnamedErrorPrediateDefinitionEClass, UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST);
1601 createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__OBJECTS); 1931 createEReference(unnamedErrorPrediateDefinitionEClass, UNNAMED_ERROR_PREDIATE_DEFINITION__BODY);
1602 createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__VALUE);
1603 1932
1604 symbolEClass = createEClass(SYMBOL); 1933 defaultDefinitionEClass = createEClass(DEFAULT_DEFINITION);
1934 createEReference(defaultDefinitionEClass, DEFAULT_DEFINITION__HEAD);
1935 createEReference(defaultDefinitionEClass, DEFAULT_DEFINITION__RANGE);
1605 1936
1606 modelSymbolEClass = createEClass(MODEL_SYMBOL); 1937 externPredicateDefinitionEClass = createEClass(EXTERN_PREDICATE_DEFINITION);
1607 createEAttribute(modelSymbolEClass, MODEL_SYMBOL__NAME); 1938 createEReference(externPredicateDefinitionEClass, EXTERN_PREDICATE_DEFINITION__HEAD);
1608 1939
1609 partialitySymbolEClass = createEClass(PARTIALITY_SYMBOL); 1940 metricDefinitionEClass = createEClass(METRIC_DEFINITION);
1941 createEReference(metricDefinitionEClass, METRIC_DEFINITION__HEAD);
1942 createEReference(metricDefinitionEClass, METRIC_DEFINITION__BODY);
1943 createEAttribute(metricDefinitionEClass, METRIC_DEFINITION__TYPE);
1610 1944
1611 existSymbolEClass = createEClass(EXIST_SYMBOL); 1945 externMetricDefinitionEClass = createEClass(EXTERN_METRIC_DEFINITION);
1946 createEAttribute(externMetricDefinitionEClass, EXTERN_METRIC_DEFINITION__TYPE);
1947 createEReference(externMetricDefinitionEClass, EXTERN_METRIC_DEFINITION__HEAD);
1612 1948
1613 equalsSymbolEClass = createEClass(EQUALS_SYMBOL); 1949 expressionEClass = createEClass(EXPRESSION);
1614 1950
1615 dataSymbolEClass = createEClass(DATA_SYMBOL); 1951 ifElseEClass = createEClass(IF_ELSE);
1952 createEReference(ifElseEClass, IF_ELSE__CONDITION);
1953 createEReference(ifElseEClass, IF_ELSE__THEN);
1954 createEReference(ifElseEClass, IF_ELSE__ELSE);
1616 1955
1617 booleanSymbolEClass = createEClass(BOOLEAN_SYMBOL); 1956 caseEClass = createEClass(CASE);
1957 createEReference(caseEClass, CASE__CONDITION);
1958 createEReference(caseEClass, CASE__BODY);
1618 1959
1619 integerSymbolEClass = createEClass(INTEGER_SYMBOL); 1960 countEClass = createEClass(COUNT);
1961 createEReference(countEClass, COUNT__BODY);
1620 1962
1621 realSymbolEClass = createEClass(REAL_SYMBOL); 1963 aggregationEClass = createEClass(AGGREGATION);
1964 createEAttribute(aggregationEClass, AGGREGATION__OP);
1965 createEReference(aggregationEClass, AGGREGATION__BODY);
1966 createEReference(aggregationEClass, AGGREGATION__CONDITION);
1622 1967
1623 stringSymbolEClass = createEClass(STRING_SYMBOL); 1968 callEClass = createEClass(CALL);
1969 createEReference(callEClass, CALL__FUNCTOR);
1970 createEAttribute(callEClass, CALL__TRANSITIVE_CLOSURE);
1971 createEAttribute(callEClass, CALL__REFLEXIVE_TRANSITIVE_CLOSURE);
1972 createEReference(callEClass, CALL__ARGUMENT_LIST);
1624 1973
1625 complexObjectEClass = createEClass(COMPLEX_OBJECT); 1974 argumentListEClass = createEClass(ARGUMENT_LIST);
1975 createEReference(argumentListEClass, ARGUMENT_LIST__ARGUMENTS);
1626 1976
1627 objectEClass = createEClass(OBJECT); 1977 argumentEClass = createEClass(ARGUMENT);
1628 1978
1629 namedObjectEClass = createEClass(NAMED_OBJECT); 1979 expressionArgumentEClass = createEClass(EXPRESSION_ARGUMENT);
1630 createEAttribute(namedObjectEClass, NAMED_OBJECT__NAME); 1980 createEReference(expressionArgumentEClass, EXPRESSION_ARGUMENT__BODY);
1631 1981
1632 unnamedObjectEClass = createEClass(UNNAMED_OBJECT); 1982 starArgumentEClass = createEClass(STAR_ARGUMENT);
1633 createEAttribute(unnamedObjectEClass, UNNAMED_OBJECT__NAME);
1634 1983
1635 dataObjectEClass = createEClass(DATA_OBJECT); 1984 typedArgumentEClass = createEClass(TYPED_ARGUMENT);
1985 createEReference(typedArgumentEClass, TYPED_ARGUMENT__TYPE);
1986 createEReference(typedArgumentEClass, TYPED_ARGUMENT__VARIABLE);
1636 1987
1637 booleanObjectEClass = createEClass(BOOLEAN_OBJECT); 1988 typedStarArgumentEClass = createEClass(TYPED_STAR_ARGUMENT);
1638 createEReference(booleanObjectEClass, BOOLEAN_OBJECT__VALUE); 1989 createEReference(typedStarArgumentEClass, TYPED_STAR_ARGUMENT__TYPE);
1639 1990
1640 intObjectEClass = createEClass(INT_OBJECT); 1991 referenceEClass = createEClass(REFERENCE);
1641 createEAttribute(intObjectEClass, INT_OBJECT__VALUE); 1992 createEReference(referenceEClass, REFERENCE__REFERRED);
1642 1993
1643 realObjectEClass = createEClass(REAL_OBJECT); 1994 intervalEClass = createEClass(INTERVAL);
1644 createEAttribute(realObjectEClass, REAL_OBJECT__VALUE); 1995 createEReference(intervalEClass, INTERVAL__LOWER_BOUND);
1996 createEReference(intervalEClass, INTERVAL__UPPER_BOUND);
1645 1997
1646 stringObjectEClass = createEClass(STRING_OBJECT); 1998 literalEClass = createEClass(LITERAL);
1647 createEAttribute(stringObjectEClass, STRING_OBJECT__VALUE);
1648
1649 predicateEClass = createEClass(PREDICATE);
1650 createEAttribute(predicateEClass, PREDICATE__IS_ERROR);
1651 createEReference(predicateEClass, PREDICATE__SYMBOL);
1652 createEReference(predicateEClass, PREDICATE__PARAMETERS);
1653 createEReference(predicateEClass, PREDICATE__BODIES);
1654 1999
1655 parameterEClass = createEClass(PARAMETER); 2000 logicLiteralEClass = createEClass(LOGIC_LITERAL);
1656 createEReference(parameterEClass, PARAMETER__VARIABLE); 2001 createEAttribute(logicLiteralEClass, LOGIC_LITERAL__VALUE);
1657 createEReference(parameterEClass, PARAMETER__TYPE);
1658 2002
1659 patternBodyEClass = createEClass(PATTERN_BODY); 2003 numericLiteralEClass = createEClass(NUMERIC_LITERAL);
1660 createEReference(patternBodyEClass, PATTERN_BODY__CONSTRAINTS); 2004 createEAttribute(numericLiteralEClass, NUMERIC_LITERAL__VALUE);
1661 2005
1662 polarityEClass = createEClass(POLARITY); 2006 infinityLiteralEClass = createEClass(INFINITY_LITERAL);
1663 2007
1664 constraintEClass = createEClass(CONSTRAINT); 2008 emptyIntervalLiteralEClass = createEClass(EMPTY_INTERVAL_LITERAL);
1665 createEReference(constraintEClass, CONSTRAINT__POLARITY);
1666 createEReference(constraintEClass, CONSTRAINT__SYMBOL);
1667 createEReference(constraintEClass, CONSTRAINT__PARAMS);
1668 createEReference(constraintEClass, CONSTRAINT__CLOSURE_TYPE);
1669 2009
1670 closureTypeEClass = createEClass(CLOSURE_TYPE); 2010 stringLiteralEClass = createEClass(STRING_LITERAL);
2011 createEAttribute(stringLiteralEClass, STRING_LITERAL__VALUE);
1671 2012
1672 literalEClass = createEClass(LITERAL); 2013 classDefinitionEClass = createEClass(CLASS_DEFINITION);
2014 createEAttribute(classDefinitionEClass, CLASS_DEFINITION__ABSTRACT);
2015 createEAttribute(classDefinitionEClass, CLASS_DEFINITION__NAME);
2016 createEReference(classDefinitionEClass, CLASS_DEFINITION__SUPERCLASSES);
2017 createEReference(classDefinitionEClass, CLASS_DEFINITION__MEMBERS);
1673 2018
1674 variableEClass = createEClass(VARIABLE); 2019 memberDefinitionEClass = createEClass(MEMBER_DEFINITION);
1675 createEAttribute(variableEClass, VARIABLE__NAME); 2020 createEAttribute(memberDefinitionEClass, MEMBER_DEFINITION__CONTAINMENT);
2021 createEReference(memberDefinitionEClass, MEMBER_DEFINITION__TYPE);
2022 createEReference(memberDefinitionEClass, MEMBER_DEFINITION__MULTIPLICITY);
2023 createEAttribute(memberDefinitionEClass, MEMBER_DEFINITION__NAME);
2024 createEReference(memberDefinitionEClass, MEMBER_DEFINITION__OPPOSITE);
1676 2025
1677 allInstancesEClass = createEClass(ALL_INSTANCES); 2026 multiplicityEClass = createEClass(MULTIPLICITY);
1678 createEReference(allInstancesEClass, ALL_INSTANCES__SYMBOL);
1679 2027
1680 allObjectsEClass = createEClass(ALL_OBJECTS); 2028 manyMultiplicityEClass = createEClass(MANY_MULTIPLICITY);
1681 2029
1682 defaultInterpretationEClass = createEClass(DEFAULT_INTERPRETATION); 2030 exactMultiplicityEClass = createEClass(EXACT_MULTIPLICITY);
1683 createEReference(defaultInterpretationEClass, DEFAULT_INTERPRETATION__INTERPRETATION); 2031 createEAttribute(exactMultiplicityEClass, EXACT_MULTIPLICITY__MULTIPLICITY);
1684 2032
1685 cdInterpretationEClass = createEClass(CD_INTERPRETATION); 2033 boundedMultiplicityEClass = createEClass(BOUNDED_MULTIPLICITY);
2034 createEAttribute(boundedMultiplicityEClass, BOUNDED_MULTIPLICITY__LOWER_BOUND);
2035 createEAttribute(boundedMultiplicityEClass, BOUNDED_MULTIPLICITY__UPPER_BOUND);
1686 2036
1687 classInterpretationEClass = createEClass(CLASS_INTERPRETATION); 2037 scopeDefinitionEClass = createEClass(SCOPE_DEFINITION);
1688 createEAttribute(classInterpretationEClass, CLASS_INTERPRETATION__ABSTRACT); 2038 createEReference(scopeDefinitionEClass, SCOPE_DEFINITION__TYPE);
1689 createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SYMBOL);
1690 createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SUPERTYPES);
1691 createEReference(classInterpretationEClass, CLASS_INTERPRETATION__FIELT);
1692 2039
1693 enumInterpretationEClass = createEClass(ENUM_INTERPRETATION); 2040 exactScopeDefinitionEClass = createEClass(EXACT_SCOPE_DEFINITION);
1694 createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__SYMBOL); 2041 createEAttribute(exactScopeDefinitionEClass, EXACT_SCOPE_DEFINITION__EXACT_SCOPE);
1695 createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__OBJECTS);
1696 2042
1697 fieldRelationInterpretationEClass = createEClass(FIELD_RELATION_INTERPRETATION); 2043 boundedScopeDefinitionEClass = createEClass(BOUNDED_SCOPE_DEFINITION);
1698 createEAttribute(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__CONTAINMENT); 2044 createEAttribute(boundedScopeDefinitionEClass, BOUNDED_SCOPE_DEFINITION__LOWER_BOUND);
1699 createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__SYMBOL); 2045 createEAttribute(boundedScopeDefinitionEClass, BOUNDED_SCOPE_DEFINITION__UPPER_BOUND);
1700 createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__MULTIPLICITY);
1701 createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__TARGET);
1702 2046
1703 globalRelationInterpretationEClass = createEClass(GLOBAL_RELATION_INTERPRETATION); 2047 lowerBoundedScopeDefinitionEClass = createEClass(LOWER_BOUNDED_SCOPE_DEFINITION);
1704 createEAttribute(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__CONTAINMENT); 2048 createEAttribute(lowerBoundedScopeDefinitionEClass, LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND);
1705 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SYMBOL);
1706 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY);
1707 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE);
1708 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY);
1709 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET);
1710 2049
1711 multiplicityDefinitionEClass = createEClass(MULTIPLICITY_DEFINITION); 2050 objectiveDefinitionEClass = createEClass(OBJECTIVE_DEFINITION);
1712 createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__LOWER); 2051 createEAttribute(objectiveDefinitionEClass, OBJECTIVE_DEFINITION__KIND);
1713 createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UPPER); 2052 createEReference(objectiveDefinitionEClass, OBJECTIVE_DEFINITION__OBJECTIVE);
1714 createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UNLIMITED_UPPER);
1715 2053
1716 booleanTrueEClass = createEClass(BOOLEAN_TRUE); 2054 namedElementEClass = createEClass(NAMED_ELEMENT);
2055 createEAttribute(namedElementEClass, NAMED_ELEMENT__NAME);
1717 2056
1718 booleanFalseEClass = createEClass(BOOLEAN_FALSE); 2057 assertionEClass = createEClass(ASSERTION);
2058 createEReference(assertionEClass, ASSERTION__BODY);
2059 createEReference(assertionEClass, ASSERTION__RANGE);
1719 2060
1720 trueEClass = createEClass(TRUE); 2061 disjunctionEClass = createEClass(DISJUNCTION);
2062 createEReference(disjunctionEClass, DISJUNCTION__CHILDREN);
1721 2063
1722 falseEClass = createEClass(FALSE); 2064 switchEClass = createEClass(SWITCH);
2065 createEReference(switchEClass, SWITCH__CASES);
1723 2066
1724 unknownEClass = createEClass(UNKNOWN); 2067 conjunctionEClass = createEClass(CONJUNCTION);
2068 createEReference(conjunctionEClass, CONJUNCTION__CHILDREN);
1725 2069
1726 errorEClass = createEClass(ERROR); 2070 comparisonEClass = createEClass(COMPARISON);
2071 createEReference(comparisonEClass, COMPARISON__LEFT);
2072 createEAttribute(comparisonEClass, COMPARISON__OP);
2073 createEReference(comparisonEClass, COMPARISON__RIGHT);
1727 2074
1728 positiveEClass = createEClass(POSITIVE); 2075 binaryExpressionEClass = createEClass(BINARY_EXPRESSION);
2076 createEReference(binaryExpressionEClass, BINARY_EXPRESSION__LEFT);
2077 createEAttribute(binaryExpressionEClass, BINARY_EXPRESSION__OP);
2078 createEReference(binaryExpressionEClass, BINARY_EXPRESSION__RIGHT);
1729 2079
1730 negativeEClass = createEClass(NEGATIVE); 2080 unaryExpressionEClass = createEClass(UNARY_EXPRESSION);
2081 createEAttribute(unaryExpressionEClass, UNARY_EXPRESSION__OP);
2082 createEReference(unaryExpressionEClass, UNARY_EXPRESSION__BODY);
1731 2083
1732 reflexiveClosureEClass = createEClass(REFLEXIVE_CLOSURE); 2084 // Create enums
1733 2085 metricTypeEEnum = createEEnum(METRIC_TYPE);
1734 irreflexiveClosureEClass = createEClass(IRREFLEXIVE_CLOSURE); 2086 binaryOperatorEEnum = createEEnum(BINARY_OPERATOR);
2087 unaryOpEEnum = createEEnum(UNARY_OP);
2088 aggregationOpEEnum = createEEnum(AGGREGATION_OP);
2089 logicValueEEnum = createEEnum(LOGIC_VALUE);
2090 objectiveKindEEnum = createEEnum(OBJECTIVE_KIND);
1735 } 2091 }
1736 2092
1737 /** 2093 /**
@@ -1763,46 +2119,46 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1763 // Set bounds for type parameters 2119 // Set bounds for type parameters
1764 2120
1765 // Add supertypes to classes 2121 // Add supertypes to classes
1766 interpretationEClass.getESuperTypes().add(this.getStatement()); 2122 predicateDefinitionEClass.getESuperTypes().add(this.getStatement());
1767 basicInterpretationEClass.getESuperTypes().add(this.getInterpretation()); 2123 unnamedErrorPrediateDefinitionEClass.getESuperTypes().add(this.getStatement());
1768 modelSymbolEClass.getESuperTypes().add(this.getSymbol()); 2124 defaultDefinitionEClass.getESuperTypes().add(this.getStatement());
1769 partialitySymbolEClass.getESuperTypes().add(this.getSymbol()); 2125 externPredicateDefinitionEClass.getESuperTypes().add(this.getStatement());
1770 existSymbolEClass.getESuperTypes().add(this.getPartialitySymbol()); 2126 metricDefinitionEClass.getESuperTypes().add(this.getStatement());
1771 equalsSymbolEClass.getESuperTypes().add(this.getPartialitySymbol()); 2127 externMetricDefinitionEClass.getESuperTypes().add(this.getStatement());
1772 dataSymbolEClass.getESuperTypes().add(this.getSymbol()); 2128 expressionEClass.getESuperTypes().add(this.getStatement());
1773 booleanSymbolEClass.getESuperTypes().add(this.getDataSymbol()); 2129 ifElseEClass.getESuperTypes().add(this.getExpression());
1774 integerSymbolEClass.getESuperTypes().add(this.getDataSymbol()); 2130 caseEClass.getESuperTypes().add(this.getExpression());
1775 realSymbolEClass.getESuperTypes().add(this.getDataSymbol()); 2131 countEClass.getESuperTypes().add(this.getExpression());
1776 stringSymbolEClass.getESuperTypes().add(this.getDataSymbol()); 2132 aggregationEClass.getESuperTypes().add(this.getExpression());
1777 objectEClass.getESuperTypes().add(this.getComplexObject()); 2133 callEClass.getESuperTypes().add(this.getExpression());
1778 namedObjectEClass.getESuperTypes().add(this.getObject()); 2134 expressionArgumentEClass.getESuperTypes().add(this.getArgument());
1779 namedObjectEClass.getESuperTypes().add(this.getLiteral()); 2135 starArgumentEClass.getESuperTypes().add(this.getArgument());
1780 unnamedObjectEClass.getESuperTypes().add(this.getObject()); 2136 typedArgumentEClass.getESuperTypes().add(this.getArgument());
1781 dataObjectEClass.getESuperTypes().add(this.getObject()); 2137 typedStarArgumentEClass.getESuperTypes().add(this.getArgument());
1782 dataObjectEClass.getESuperTypes().add(this.getLiteral()); 2138 referenceEClass.getESuperTypes().add(this.getExpression());
1783 booleanObjectEClass.getESuperTypes().add(this.getDataObject()); 2139 intervalEClass.getESuperTypes().add(this.getExpression());
1784 intObjectEClass.getESuperTypes().add(this.getDataObject()); 2140 literalEClass.getESuperTypes().add(this.getExpression());
1785 realObjectEClass.getESuperTypes().add(this.getDataObject()); 2141 logicLiteralEClass.getESuperTypes().add(this.getLiteral());
1786 stringObjectEClass.getESuperTypes().add(this.getDataObject()); 2142 numericLiteralEClass.getESuperTypes().add(this.getLiteral());
1787 predicateEClass.getESuperTypes().add(this.getStatement()); 2143 infinityLiteralEClass.getESuperTypes().add(this.getLiteral());
1788 variableEClass.getESuperTypes().add(this.getLiteral()); 2144 emptyIntervalLiteralEClass.getESuperTypes().add(this.getLiteral());
1789 allInstancesEClass.getESuperTypes().add(this.getComplexObject()); 2145 stringLiteralEClass.getESuperTypes().add(this.getLiteral());
1790 allObjectsEClass.getESuperTypes().add(this.getComplexObject()); 2146 classDefinitionEClass.getESuperTypes().add(this.getStatement());
1791 defaultInterpretationEClass.getESuperTypes().add(this.getInterpretation()); 2147 manyMultiplicityEClass.getESuperTypes().add(this.getMultiplicity());
1792 cdInterpretationEClass.getESuperTypes().add(this.getInterpretation()); 2148 exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity());
1793 classInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); 2149 boundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity());
1794 enumInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); 2150 scopeDefinitionEClass.getESuperTypes().add(this.getStatement());
1795 globalRelationInterpretationEClass.getESuperTypes().add(this.getCDInterpretation()); 2151 exactScopeDefinitionEClass.getESuperTypes().add(this.getScopeDefinition());
1796 booleanTrueEClass.getESuperTypes().add(this.getBooleanValue()); 2152 boundedScopeDefinitionEClass.getESuperTypes().add(this.getScopeDefinition());
1797 booleanFalseEClass.getESuperTypes().add(this.getBooleanValue()); 2153 lowerBoundedScopeDefinitionEClass.getESuperTypes().add(this.getScopeDefinition());
1798 trueEClass.getESuperTypes().add(this.getTruthValue()); 2154 objectiveDefinitionEClass.getESuperTypes().add(this.getStatement());
1799 falseEClass.getESuperTypes().add(this.getTruthValue()); 2155 assertionEClass.getESuperTypes().add(this.getStatement());
1800 unknownEClass.getESuperTypes().add(this.getTruthValue()); 2156 disjunctionEClass.getESuperTypes().add(this.getExpression());
1801 errorEClass.getESuperTypes().add(this.getTruthValue()); 2157 switchEClass.getESuperTypes().add(this.getExpression());
1802 positiveEClass.getESuperTypes().add(this.getPolarity()); 2158 conjunctionEClass.getESuperTypes().add(this.getExpression());
1803 negativeEClass.getESuperTypes().add(this.getPolarity()); 2159 comparisonEClass.getESuperTypes().add(this.getExpression());
1804 reflexiveClosureEClass.getESuperTypes().add(this.getClosureType()); 2160 binaryExpressionEClass.getESuperTypes().add(this.getExpression());
1805 irreflexiveClosureEClass.getESuperTypes().add(this.getClosureType()); 2161 unaryExpressionEClass.getESuperTypes().add(this.getExpression());
1806 2162
1807 // Initialize classes and features; add operations and parameters 2163 // Initialize classes and features; add operations and parameters
1808 initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2164 initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
@@ -1810,148 +2166,211 @@ public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLan
1810 2166
1811 initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2167 initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1812 2168
1813 initEClass(booleanValueEClass, BooleanValue.class, "BooleanValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2169 initEClass(predicateDefinitionEClass, PredicateDefinition.class, "PredicateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1814 2170 initEReference(getPredicateDefinition_Head(), this.getExpression(), null, "head", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1815 initEClass(truthValueEClass, TruthValue.class, "TruthValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2171 initEReference(getPredicateDefinition_Body(), this.getExpression(), null, "body", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1816 2172 initEAttribute(getPredicateDefinition_Functional(), ecorePackage.getEBoolean(), "functional", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1817 initEClass(interpretationEClass, Interpretation.class, "Interpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2173 initEAttribute(getPredicateDefinition_Error(), ecorePackage.getEBoolean(), "error", null, 0, 1, PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1818
1819 initEClass(basicInterpretationEClass, BasicInterpretation.class, "BasicInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1820 initEReference(getBasicInterpretation_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1821 initEReference(getBasicInterpretation_Objects(), this.getComplexObject(), null, "objects", null, 0, -1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1822 initEReference(getBasicInterpretation_Value(), this.getTruthValue(), null, "value", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1823
1824 initEClass(symbolEClass, Symbol.class, "Symbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1825
1826 initEClass(modelSymbolEClass, ModelSymbol.class, "ModelSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1827 initEAttribute(getModelSymbol_Name(), ecorePackage.getEString(), "name", null, 0, 1, ModelSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1828 2174
1829 initEClass(partialitySymbolEClass, PartialitySymbol.class, "PartialitySymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2175 initEClass(unnamedErrorPrediateDefinitionEClass, UnnamedErrorPrediateDefinition.class, "UnnamedErrorPrediateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2176 initEReference(getUnnamedErrorPrediateDefinition_ArgumentList(), this.getArgumentList(), null, "argumentList", null, 0, 1, UnnamedErrorPrediateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2177 initEReference(getUnnamedErrorPrediateDefinition_Body(), this.getExpression(), null, "body", null, 0, 1, UnnamedErrorPrediateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1830 2178
1831 initEClass(existSymbolEClass, ExistSymbol.class, "ExistSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2179 initEClass(defaultDefinitionEClass, DefaultDefinition.class, "DefaultDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2180 initEReference(getDefaultDefinition_Head(), this.getCall(), null, "head", null, 0, 1, DefaultDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2181 initEReference(getDefaultDefinition_Range(), this.getExpression(), null, "range", null, 0, 1, DefaultDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1832 2182
1833 initEClass(equalsSymbolEClass, EqualsSymbol.class, "EqualsSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2183 initEClass(externPredicateDefinitionEClass, ExternPredicateDefinition.class, "ExternPredicateDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2184 initEReference(getExternPredicateDefinition_Head(), this.getCall(), null, "head", null, 0, 1, ExternPredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1834 2185
1835 initEClass(dataSymbolEClass, DataSymbol.class, "DataSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2186 initEClass(metricDefinitionEClass, MetricDefinition.class, "MetricDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2187 initEReference(getMetricDefinition_Head(), this.getExpression(), null, "head", null, 0, 1, MetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2188 initEReference(getMetricDefinition_Body(), this.getExpression(), null, "body", null, 0, 1, MetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2189 initEAttribute(getMetricDefinition_Type(), this.getMetricType(), "type", null, 0, 1, MetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1836 2190
1837 initEClass(booleanSymbolEClass, BooleanSymbol.class, "BooleanSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2191 initEClass(externMetricDefinitionEClass, ExternMetricDefinition.class, "ExternMetricDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2192 initEAttribute(getExternMetricDefinition_Type(), this.getMetricType(), "type", null, 0, 1, ExternMetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2193 initEReference(getExternMetricDefinition_Head(), this.getCall(), null, "head", null, 0, 1, ExternMetricDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1838 2194
1839 initEClass(integerSymbolEClass, IntegerSymbol.class, "IntegerSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2195 initEClass(expressionEClass, Expression.class, "Expression", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1840 2196
1841 initEClass(realSymbolEClass, RealSymbol.class, "RealSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2197 initEClass(ifElseEClass, IfElse.class, "IfElse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2198 initEReference(getIfElse_Condition(), this.getExpression(), null, "condition", null, 0, 1, IfElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2199 initEReference(getIfElse_Then(), this.getExpression(), null, "then", null, 0, 1, IfElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2200 initEReference(getIfElse_Else(), this.getExpression(), null, "else", null, 0, 1, IfElse.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1842 2201
1843 initEClass(stringSymbolEClass, StringSymbol.class, "StringSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2202 initEClass(caseEClass, Case.class, "Case", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2203 initEReference(getCase_Condition(), this.getExpression(), null, "condition", null, 0, 1, Case.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2204 initEReference(getCase_Body(), this.getExpression(), null, "body", null, 0, 1, Case.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1844 2205
1845 initEClass(complexObjectEClass, ComplexObject.class, "ComplexObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2206 initEClass(countEClass, Count.class, "Count", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2207 initEReference(getCount_Body(), this.getExpression(), null, "body", null, 0, 1, Count.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1846 2208
1847 initEClass(objectEClass, org.eclipse.viatra.solver.language.solverLanguage.Object.class, "Object", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2209 initEClass(aggregationEClass, Aggregation.class, "Aggregation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2210 initEAttribute(getAggregation_Op(), this.getAggregationOp(), "op", null, 0, 1, Aggregation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2211 initEReference(getAggregation_Body(), this.getExpression(), null, "body", null, 0, 1, Aggregation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2212 initEReference(getAggregation_Condition(), this.getExpression(), null, "condition", null, 0, 1, Aggregation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1848 2213
1849 initEClass(namedObjectEClass, NamedObject.class, "NamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2214 initEClass(callEClass, Call.class, "Call", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1850 initEAttribute(getNamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2215 initEReference(getCall_Functor(), this.getReference(), null, "functor", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2216 initEAttribute(getCall_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2217 initEAttribute(getCall_ReflexiveTransitiveClosure(), ecorePackage.getEBoolean(), "reflexiveTransitiveClosure", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2218 initEReference(getCall_ArgumentList(), this.getArgumentList(), null, "argumentList", null, 0, 1, Call.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1851 2219
1852 initEClass(unnamedObjectEClass, UnnamedObject.class, "UnnamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2220 initEClass(argumentListEClass, ArgumentList.class, "ArgumentList", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1853 initEAttribute(getUnnamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, UnnamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2221 initEReference(getArgumentList_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, ArgumentList.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1854 2222
1855 initEClass(dataObjectEClass, DataObject.class, "DataObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2223 initEClass(argumentEClass, Argument.class, "Argument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1856 2224
1857 initEClass(booleanObjectEClass, BooleanObject.class, "BooleanObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2225 initEClass(expressionArgumentEClass, ExpressionArgument.class, "ExpressionArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1858 initEReference(getBooleanObject_Value(), this.getBooleanValue(), null, "value", null, 0, 1, BooleanObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2226 initEReference(getExpressionArgument_Body(), this.getExpression(), null, "body", null, 0, 1, ExpressionArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1859 2227
1860 initEClass(intObjectEClass, IntObject.class, "IntObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2228 initEClass(starArgumentEClass, StarArgument.class, "StarArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1861 initEAttribute(getIntObject_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1862 2229
1863 initEClass(realObjectEClass, RealObject.class, "RealObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2230 initEClass(typedArgumentEClass, TypedArgument.class, "TypedArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1864 initEAttribute(getRealObject_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2231 initEReference(getTypedArgument_Type(), this.getNamedElement(), null, "type", null, 0, 1, TypedArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2232 initEReference(getTypedArgument_Variable(), this.getNamedElement(), null, "variable", null, 0, 1, TypedArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1865 2233
1866 initEClass(stringObjectEClass, StringObject.class, "StringObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2234 initEClass(typedStarArgumentEClass, TypedStarArgument.class, "TypedStarArgument", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1867 initEAttribute(getStringObject_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2235 initEReference(getTypedStarArgument_Type(), this.getNamedElement(), null, "type", null, 0, 1, TypedStarArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1868 2236
1869 initEClass(predicateEClass, Predicate.class, "Predicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2237 initEClass(referenceEClass, Reference.class, "Reference", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1870 initEAttribute(getPredicate_IsError(), ecorePackage.getEBoolean(), "isError", null, 0, 1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2238 initEReference(getReference_Referred(), this.getNamedElement(), null, "referred", null, 0, 1, Reference.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1871 initEReference(getPredicate_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1872 initEReference(getPredicate_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1873 initEReference(getPredicate_Bodies(), this.getPatternBody(), null, "bodies", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1874 2239
1875 initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2240 initEClass(intervalEClass, Interval.class, "Interval", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1876 initEReference(getParameter_Variable(), this.getVariable(), null, "variable", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2241 initEReference(getInterval_LowerBound(), this.getExpression(), null, "lowerBound", null, 0, 1, Interval.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1877 initEReference(getParameter_Type(), this.getSymbol(), null, "type", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2242 initEReference(getInterval_UpperBound(), this.getExpression(), null, "upperBound", null, 0, 1, Interval.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1878
1879 initEClass(patternBodyEClass, PatternBody.class, "PatternBody", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1880 initEReference(getPatternBody_Constraints(), this.getConstraint(), null, "constraints", null, 0, -1, PatternBody.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1881
1882 initEClass(polarityEClass, Polarity.class, "Polarity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1883
1884 initEClass(constraintEClass, Constraint.class, "Constraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1885 initEReference(getConstraint_Polarity(), this.getPolarity(), null, "polarity", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1886 initEReference(getConstraint_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1887 initEReference(getConstraint_Params(), this.getLiteral(), null, "params", null, 0, -1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1888 initEReference(getConstraint_ClosureType(), this.getClosureType(), null, "closureType", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1889
1890 initEClass(closureTypeEClass, ClosureType.class, "ClosureType", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1891 2243
1892 initEClass(literalEClass, Literal.class, "Literal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2244 initEClass(literalEClass, Literal.class, "Literal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1893 2245
1894 initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2246 initEClass(logicLiteralEClass, LogicLiteral.class, "LogicLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1895 initEAttribute(getVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); 2247 initEAttribute(getLogicLiteral_Value(), this.getLogicValue(), "value", null, 0, 1, LogicLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1896
1897 initEClass(allInstancesEClass, AllInstances.class, "AllInstances", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1898 initEReference(getAllInstances_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, AllInstances.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1899
1900 initEClass(allObjectsEClass, AllObjects.class, "AllObjects", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1901
1902 initEClass(defaultInterpretationEClass, DefaultInterpretation.class, "DefaultInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1903 initEReference(getDefaultInterpretation_Interpretation(), this.getBasicInterpretation(), null, "interpretation", null, 0, 1, DefaultInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1904
1905 initEClass(cdInterpretationEClass, CDInterpretation.class, "CDInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1906
1907 initEClass(classInterpretationEClass, ClassInterpretation.class, "ClassInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1908 initEAttribute(getClassInterpretation_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1909 initEReference(getClassInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1910 initEReference(getClassInterpretation_Supertypes(), this.getModelSymbol(), null, "supertypes", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1911 initEReference(getClassInterpretation_Fielt(), this.getFieldRelationInterpretation(), null, "fielt", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1912
1913 initEClass(enumInterpretationEClass, EnumInterpretation.class, "EnumInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1914 initEReference(getEnumInterpretation_Symbol(), this.getModelSymbol(), null, "Symbol", null, 0, 1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1915 initEReference(getEnumInterpretation_Objects(), this.getNamedObject(), null, "objects", null, 0, -1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1916
1917 initEClass(fieldRelationInterpretationEClass, FieldRelationInterpretation.class, "FieldRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1918 initEAttribute(getFieldRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1919 initEReference(getFieldRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1920 initEReference(getFieldRelationInterpretation_Multiplicity(), this.getMultiplicityDefinition(), null, "multiplicity", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1921 initEReference(getFieldRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1922
1923 initEClass(globalRelationInterpretationEClass, GlobalRelationInterpretation.class, "GlobalRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1924 initEAttribute(getGlobalRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1925 initEReference(getGlobalRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1926 initEReference(getGlobalRelationInterpretation_SourceMultiplicity(), this.getMultiplicityDefinition(), null, "sourceMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1927 initEReference(getGlobalRelationInterpretation_Source(), this.getSymbol(), null, "source", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1928 initEReference(getGlobalRelationInterpretation_TargetMultiplicity(), this.getMultiplicityDefinition(), null, "targetMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1929 initEReference(getGlobalRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1930
1931 initEClass(multiplicityDefinitionEClass, MultiplicityDefinition.class, "MultiplicityDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1932 initEAttribute(getMultiplicityDefinition_Lower(), ecorePackage.getEInt(), "lower", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1933 initEAttribute(getMultiplicityDefinition_Upper(), ecorePackage.getEInt(), "upper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1934 initEAttribute(getMultiplicityDefinition_UnlimitedUpper(), ecorePackage.getEBoolean(), "unlimitedUpper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1935
1936 initEClass(booleanTrueEClass, BooleanTrue.class, "BooleanTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1937
1938 initEClass(booleanFalseEClass, BooleanFalse.class, "BooleanFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1939
1940 initEClass(trueEClass, True.class, "True", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1941
1942 initEClass(falseEClass, False.class, "False", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1943
1944 initEClass(unknownEClass, Unknown.class, "Unknown", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1945 2248
1946 initEClass(errorEClass, org.eclipse.viatra.solver.language.solverLanguage.Error.class, "Error", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2249 initEClass(numericLiteralEClass, NumericLiteral.class, "NumericLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2250 initEAttribute(getNumericLiteral_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, NumericLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1947 2251
1948 initEClass(positiveEClass, Positive.class, "Positive", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2252 initEClass(infinityLiteralEClass, InfinityLiteral.class, "InfinityLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1949 2253
1950 initEClass(negativeEClass, Negative.class, "Negative", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2254 initEClass(emptyIntervalLiteralEClass, EmptyIntervalLiteral.class, "EmptyIntervalLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1951 2255
1952 initEClass(reflexiveClosureEClass, ReflexiveClosure.class, "ReflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2256 initEClass(stringLiteralEClass, StringLiteral.class, "StringLiteral", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2257 initEAttribute(getStringLiteral_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringLiteral.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1953 2258
1954 initEClass(irreflexiveClosureEClass, IrreflexiveClosure.class, "IrreflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); 2259 initEClass(classDefinitionEClass, ClassDefinition.class, "ClassDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2260 initEAttribute(getClassDefinition_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2261 initEAttribute(getClassDefinition_Name(), ecorePackage.getEString(), "name", null, 0, 1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2262 initEReference(getClassDefinition_Superclasses(), this.getNamedElement(), null, "superclasses", null, 0, -1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, !IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2263 initEReference(getClassDefinition_Members(), this.getMemberDefinition(), null, "members", null, 0, -1, ClassDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2264
2265 initEClass(memberDefinitionEClass, MemberDefinition.class, "MemberDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2266 initEAttribute(getMemberDefinition_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2267 initEReference(getMemberDefinition_Type(), this.getNamedElement(), null, "type", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2268 initEReference(getMemberDefinition_Multiplicity(), this.getMultiplicity(), null, "multiplicity", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2269 initEAttribute(getMemberDefinition_Name(), ecorePackage.getEString(), "name", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2270 initEReference(getMemberDefinition_Opposite(), this.getNamedElement(), null, "opposite", null, 0, 1, MemberDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2271
2272 initEClass(multiplicityEClass, Multiplicity.class, "Multiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2273
2274 initEClass(manyMultiplicityEClass, ManyMultiplicity.class, "ManyMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2275
2276 initEClass(exactMultiplicityEClass, ExactMultiplicity.class, "ExactMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2277 initEAttribute(getExactMultiplicity_Multiplicity(), ecorePackage.getEInt(), "multiplicity", null, 0, 1, ExactMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2278
2279 initEClass(boundedMultiplicityEClass, BoundedMultiplicity.class, "BoundedMultiplicity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2280 initEAttribute(getBoundedMultiplicity_LowerBound(), ecorePackage.getEInt(), "lowerBound", null, 0, 1, BoundedMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2281 initEAttribute(getBoundedMultiplicity_UpperBound(), ecorePackage.getEInt(), "upperBound", null, 0, 1, BoundedMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2282
2283 initEClass(scopeDefinitionEClass, ScopeDefinition.class, "ScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2284 initEReference(getScopeDefinition_Type(), this.getNamedElement(), null, "type", null, 0, 1, ScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2285
2286 initEClass(exactScopeDefinitionEClass, ExactScopeDefinition.class, "ExactScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2287 initEAttribute(getExactScopeDefinition_ExactScope(), ecorePackage.getEInt(), "exactScope", null, 0, 1, ExactScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2288
2289 initEClass(boundedScopeDefinitionEClass, BoundedScopeDefinition.class, "BoundedScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2290 initEAttribute(getBoundedScopeDefinition_LowerBound(), ecorePackage.getEInt(), "lowerBound", null, 0, 1, BoundedScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2291 initEAttribute(getBoundedScopeDefinition_UpperBound(), ecorePackage.getEInt(), "upperBound", null, 0, 1, BoundedScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2292
2293 initEClass(lowerBoundedScopeDefinitionEClass, LowerBoundedScopeDefinition.class, "LowerBoundedScopeDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2294 initEAttribute(getLowerBoundedScopeDefinition_LowerBound(), ecorePackage.getEInt(), "lowerBound", null, 0, 1, LowerBoundedScopeDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2295
2296 initEClass(objectiveDefinitionEClass, ObjectiveDefinition.class, "ObjectiveDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2297 initEAttribute(getObjectiveDefinition_Kind(), this.getObjectiveKind(), "kind", null, 0, 1, ObjectiveDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2298 initEReference(getObjectiveDefinition_Objective(), this.getExpression(), null, "objective", null, 0, 1, ObjectiveDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2299
2300 initEClass(namedElementEClass, NamedElement.class, "NamedElement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2301 initEAttribute(getNamedElement_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedElement.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2302
2303 initEClass(assertionEClass, Assertion.class, "Assertion", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2304 initEReference(getAssertion_Body(), this.getExpression(), null, "body", null, 0, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2305 initEReference(getAssertion_Range(), this.getExpression(), null, "range", null, 0, 1, Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2306
2307 initEClass(disjunctionEClass, Disjunction.class, "Disjunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2308 initEReference(getDisjunction_Children(), this.getExpression(), null, "children", null, 0, -1, Disjunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2309
2310 initEClass(switchEClass, Switch.class, "Switch", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2311 initEReference(getSwitch_Cases(), this.getCase(), null, "cases", null, 0, -1, Switch.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2312
2313 initEClass(conjunctionEClass, Conjunction.class, "Conjunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2314 initEReference(getConjunction_Children(), this.getExpression(), null, "children", null, 0, -1, Conjunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2315
2316 initEClass(comparisonEClass, Comparison.class, "Comparison", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2317 initEReference(getComparison_Left(), this.getExpression(), null, "left", null, 0, 1, Comparison.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2318 initEAttribute(getComparison_Op(), this.getBinaryOperator(), "op", null, 0, 1, Comparison.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2319 initEReference(getComparison_Right(), this.getExpression(), null, "right", null, 0, 1, Comparison.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2320
2321 initEClass(binaryExpressionEClass, BinaryExpression.class, "BinaryExpression", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2322 initEReference(getBinaryExpression_Left(), this.getExpression(), null, "left", null, 0, 1, BinaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2323 initEAttribute(getBinaryExpression_Op(), this.getBinaryOperator(), "op", null, 0, 1, BinaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2324 initEReference(getBinaryExpression_Right(), this.getExpression(), null, "right", null, 0, 1, BinaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2325
2326 initEClass(unaryExpressionEClass, UnaryExpression.class, "UnaryExpression", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2327 initEAttribute(getUnaryExpression_Op(), this.getUnaryOp(), "op", null, 0, 1, UnaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2328 initEReference(getUnaryExpression_Body(), this.getExpression(), null, "body", null, 0, 1, UnaryExpression.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
2329
2330 // Initialize enums and add enum literals
2331 initEEnum(metricTypeEEnum, MetricType.class, "MetricType");
2332 addEEnumLiteral(metricTypeEEnum, MetricType.INT);
2333 addEEnumLiteral(metricTypeEEnum, MetricType.REAL);
2334
2335 initEEnum(binaryOperatorEEnum, BinaryOperator.class, "BinaryOperator");
2336 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.EQ);
2337 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.NOT_EQ);
2338 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.LESS);
2339 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.LESS_EQ);
2340 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.GREATER);
2341 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.GREATER_EQ);
2342 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.IN);
2343 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.ADD);
2344 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.SUB);
2345 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.MUL);
2346 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.DIV);
2347 addEEnumLiteral(binaryOperatorEEnum, BinaryOperator.POW);
2348
2349 initEEnum(unaryOpEEnum, UnaryOp.class, "UnaryOp");
2350 addEEnumLiteral(unaryOpEEnum, UnaryOp.NEG);
2351 addEEnumLiteral(unaryOpEEnum, UnaryOp.PLUS);
2352 addEEnumLiteral(unaryOpEEnum, UnaryOp.MINUS);
2353 addEEnumLiteral(unaryOpEEnum, UnaryOp.MAY);
2354 addEEnumLiteral(unaryOpEEnum, UnaryOp.MUST);
2355 addEEnumLiteral(unaryOpEEnum, UnaryOp.CURRENT);
2356
2357 initEEnum(aggregationOpEEnum, AggregationOp.class, "AggregationOp");
2358 addEEnumLiteral(aggregationOpEEnum, AggregationOp.ONLY);
2359 addEEnumLiteral(aggregationOpEEnum, AggregationOp.SUM);
2360 addEEnumLiteral(aggregationOpEEnum, AggregationOp.PROD);
2361 addEEnumLiteral(aggregationOpEEnum, AggregationOp.AVG);
2362 addEEnumLiteral(aggregationOpEEnum, AggregationOp.MIN);
2363 addEEnumLiteral(aggregationOpEEnum, AggregationOp.MAX);
2364
2365 initEEnum(logicValueEEnum, LogicValue.class, "LogicValue");
2366 addEEnumLiteral(logicValueEEnum, LogicValue.TRUE);
2367 addEEnumLiteral(logicValueEEnum, LogicValue.FALSE);
2368 addEEnumLiteral(logicValueEEnum, LogicValue.UNKNOWN);
2369 addEEnumLiteral(logicValueEEnum, LogicValue.ERROR);
2370
2371 initEEnum(objectiveKindEEnum, ObjectiveKind.class, "ObjectiveKind");
2372 addEEnumLiteral(objectiveKindEEnum, ObjectiveKind.MINIMIZE);
2373 addEEnumLiteral(objectiveKindEEnum, ObjectiveKind.MAXIMIZE);
1955 2374
1956 // Create resource 2375 // Create resource
1957 createResource(eNS_URI); 2376 createResource(eNS_URI);
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-09 19:37:52 +0000