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