aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java3460
1 files changed, 3460 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
new file mode 100644
index 00000000..3bd01417
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
@@ -0,0 +1,3460 @@
1/**
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.solverLanguage;
5
6import org.eclipse.emf.ecore.EAttribute;
7import org.eclipse.emf.ecore.EClass;
8import org.eclipse.emf.ecore.EPackage;
9import org.eclipse.emf.ecore.EReference;
10
11/**
12 * <!-- begin-user-doc -->
13 * The <b>Package</b> for the model.
14 * It contains accessors for the meta objects to represent
15 * <ul>
16 * <li>each class,</li>
17 * <li>each feature of each class,</li>
18 * <li>each enum,</li>
19 * <li>and each data type</li>
20 * </ul>
21 * <!-- end-user-doc -->
22 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory
23 * @model kind="package"
24 * @generated
25 */
26public interface SolverLanguagePackage extends EPackage
27{
28 /**
29 * The package name.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 String eNAME = "solverLanguage";
35
36 /**
37 * The package namespace URI.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 String eNS_URI = "http://www.eclipse.org/viatra/solver/language/SolverLanguage";
43
44 /**
45 * The package namespace name.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @generated
49 */
50 String eNS_PREFIX = "solverLanguage";
51
52 /**
53 * The singleton instance of the package.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 SolverLanguagePackage eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl.init();
59
60 /**
61 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl <em>Problem</em>}' class.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
65 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
66 * @generated
67 */
68 int PROBLEM = 0;
69
70 /**
71 * The feature id for the '<em><b>Statements</b></em>' containment reference list.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 * @ordered
76 */
77 int PROBLEM__STATEMENTS = 0;
78
79 /**
80 * The number of structural features of the '<em>Problem</em>' class.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @generated
84 * @ordered
85 */
86 int PROBLEM_FEATURE_COUNT = 1;
87
88 /**
89 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl <em>Statement</em>}' class.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
93 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
94 * @generated
95 */
96 int STATEMENT = 1;
97
98 /**
99 * The number of structural features of the '<em>Statement</em>' class.
100 * <!-- begin-user-doc -->
101 * <!-- end-user-doc -->
102 * @generated
103 * @ordered
104 */
105 int STATEMENT_FEATURE_COUNT = 0;
106
107 /**
108 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl <em>Boolean Value</em>}' class.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl
112 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanValue()
113 * @generated
114 */
115 int BOOLEAN_VALUE = 2;
116
117 /**
118 * The number of structural features of the '<em>Boolean Value</em>' class.
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 * @ordered
123 */
124 int BOOLEAN_VALUE_FEATURE_COUNT = 0;
125
126 /**
127 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl <em>Truth Value</em>}' class.
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl
131 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTruthValue()
132 * @generated
133 */
134 int TRUTH_VALUE = 3;
135
136 /**
137 * The number of structural features of the '<em>Truth Value</em>' class.
138 * <!-- begin-user-doc -->
139 * <!-- end-user-doc -->
140 * @generated
141 * @ordered
142 */
143 int TRUTH_VALUE_FEATURE_COUNT = 0;
144
145 /**
146 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl <em>Interpretation</em>}' class.
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
150 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
151 * @generated
152 */
153 int INTERPRETATION = 4;
154
155 /**
156 * The number of structural features of the '<em>Interpretation</em>' class.
157 * <!-- begin-user-doc -->
158 * <!-- end-user-doc -->
159 * @generated
160 * @ordered
161 */
162 int INTERPRETATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 0;
163
164 /**
165 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl <em>Basic Interpretation</em>}' class.
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl
169 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBasicInterpretation()
170 * @generated
171 */
172 int BASIC_INTERPRETATION = 5;
173
174 /**
175 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
176 * <!-- begin-user-doc -->
177 * <!-- end-user-doc -->
178 * @generated
179 * @ordered
180 */
181 int BASIC_INTERPRETATION__SYMBOL = INTERPRETATION_FEATURE_COUNT + 0;
182
183 /**
184 * The feature id for the '<em><b>Objects</b></em>' containment reference list.
185 * <!-- begin-user-doc -->
186 * <!-- end-user-doc -->
187 * @generated
188 * @ordered
189 */
190 int BASIC_INTERPRETATION__OBJECTS = INTERPRETATION_FEATURE_COUNT + 1;
191
192 /**
193 * The feature id for the '<em><b>Value</b></em>' containment reference.
194 * <!-- begin-user-doc -->
195 * <!-- end-user-doc -->
196 * @generated
197 * @ordered
198 */
199 int BASIC_INTERPRETATION__VALUE = INTERPRETATION_FEATURE_COUNT + 2;
200
201 /**
202 * The number of structural features of the '<em>Basic Interpretation</em>' class.
203 * <!-- begin-user-doc -->
204 * <!-- end-user-doc -->
205 * @generated
206 * @ordered
207 */
208 int BASIC_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 3;
209
210 /**
211 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl <em>Symbol</em>}' class.
212 * <!-- begin-user-doc -->
213 * <!-- end-user-doc -->
214 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl
215 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol()
216 * @generated
217 */
218 int SYMBOL = 6;
219
220 /**
221 * The number of structural features of the '<em>Symbol</em>' class.
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 * @ordered
226 */
227 int SYMBOL_FEATURE_COUNT = 0;
228
229 /**
230 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl <em>Model Symbol</em>}' class.
231 * <!-- begin-user-doc -->
232 * <!-- end-user-doc -->
233 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl
234 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getModelSymbol()
235 * @generated
236 */
237 int MODEL_SYMBOL = 7;
238
239 /**
240 * The feature id for the '<em><b>Name</b></em>' attribute.
241 * <!-- begin-user-doc -->
242 * <!-- end-user-doc -->
243 * @generated
244 * @ordered
245 */
246 int MODEL_SYMBOL__NAME = SYMBOL_FEATURE_COUNT + 0;
247
248 /**
249 * The number of structural features of the '<em>Model Symbol</em>' class.
250 * <!-- begin-user-doc -->
251 * <!-- end-user-doc -->
252 * @generated
253 * @ordered
254 */
255 int MODEL_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 1;
256
257 /**
258 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl <em>Partiality Symbol</em>}' class.
259 * <!-- begin-user-doc -->
260 * <!-- end-user-doc -->
261 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl
262 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPartialitySymbol()
263 * @generated
264 */
265 int PARTIALITY_SYMBOL = 8;
266
267 /**
268 * The number of structural features of the '<em>Partiality Symbol</em>' class.
269 * <!-- begin-user-doc -->
270 * <!-- end-user-doc -->
271 * @generated
272 * @ordered
273 */
274 int PARTIALITY_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 0;
275
276 /**
277 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl <em>Exist Symbol</em>}' class.
278 * <!-- begin-user-doc -->
279 * <!-- end-user-doc -->
280 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl
281 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExistSymbol()
282 * @generated
283 */
284 int EXIST_SYMBOL = 9;
285
286 /**
287 * The number of structural features of the '<em>Exist Symbol</em>' class.
288 * <!-- begin-user-doc -->
289 * <!-- end-user-doc -->
290 * @generated
291 * @ordered
292 */
293 int EXIST_SYMBOL_FEATURE_COUNT = PARTIALITY_SYMBOL_FEATURE_COUNT + 0;
294
295 /**
296 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl <em>Equals Symbol</em>}' class.
297 * <!-- begin-user-doc -->
298 * <!-- end-user-doc -->
299 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl
300 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEqualsSymbol()
301 * @generated
302 */
303 int EQUALS_SYMBOL = 10;
304
305 /**
306 * The number of structural features of the '<em>Equals Symbol</em>' class.
307 * <!-- begin-user-doc -->
308 * <!-- end-user-doc -->
309 * @generated
310 * @ordered
311 */
312 int EQUALS_SYMBOL_FEATURE_COUNT = PARTIALITY_SYMBOL_FEATURE_COUNT + 0;
313
314 /**
315 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl <em>Data Symbol</em>}' class.
316 * <!-- begin-user-doc -->
317 * <!-- end-user-doc -->
318 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl
319 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataSymbol()
320 * @generated
321 */
322 int DATA_SYMBOL = 11;
323
324 /**
325 * The number of structural features of the '<em>Data Symbol</em>' class.
326 * <!-- begin-user-doc -->
327 * <!-- end-user-doc -->
328 * @generated
329 * @ordered
330 */
331 int DATA_SYMBOL_FEATURE_COUNT = SYMBOL_FEATURE_COUNT + 0;
332
333 /**
334 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl <em>Boolean Symbol</em>}' class.
335 * <!-- begin-user-doc -->
336 * <!-- end-user-doc -->
337 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl
338 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanSymbol()
339 * @generated
340 */
341 int BOOLEAN_SYMBOL = 12;
342
343 /**
344 * The number of structural features of the '<em>Boolean Symbol</em>' class.
345 * <!-- begin-user-doc -->
346 * <!-- end-user-doc -->
347 * @generated
348 * @ordered
349 */
350 int BOOLEAN_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
351
352 /**
353 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl <em>Integer Symbol</em>}' class.
354 * <!-- begin-user-doc -->
355 * <!-- end-user-doc -->
356 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl
357 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntegerSymbol()
358 * @generated
359 */
360 int INTEGER_SYMBOL = 13;
361
362 /**
363 * The number of structural features of the '<em>Integer Symbol</em>' class.
364 * <!-- begin-user-doc -->
365 * <!-- end-user-doc -->
366 * @generated
367 * @ordered
368 */
369 int INTEGER_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
370
371 /**
372 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl <em>Real Symbol</em>}' class.
373 * <!-- begin-user-doc -->
374 * <!-- end-user-doc -->
375 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl
376 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealSymbol()
377 * @generated
378 */
379 int REAL_SYMBOL = 14;
380
381 /**
382 * The number of structural features of the '<em>Real Symbol</em>' class.
383 * <!-- begin-user-doc -->
384 * <!-- end-user-doc -->
385 * @generated
386 * @ordered
387 */
388 int REAL_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
389
390 /**
391 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl <em>String Symbol</em>}' class.
392 * <!-- begin-user-doc -->
393 * <!-- end-user-doc -->
394 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl
395 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringSymbol()
396 * @generated
397 */
398 int STRING_SYMBOL = 15;
399
400 /**
401 * The number of structural features of the '<em>String Symbol</em>' class.
402 * <!-- begin-user-doc -->
403 * <!-- end-user-doc -->
404 * @generated
405 * @ordered
406 */
407 int STRING_SYMBOL_FEATURE_COUNT = DATA_SYMBOL_FEATURE_COUNT + 0;
408
409 /**
410 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl <em>Complex Object</em>}' class.
411 * <!-- begin-user-doc -->
412 * <!-- end-user-doc -->
413 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl
414 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComplexObject()
415 * @generated
416 */
417 int COMPLEX_OBJECT = 16;
418
419 /**
420 * The number of structural features of the '<em>Complex Object</em>' class.
421 * <!-- begin-user-doc -->
422 * <!-- end-user-doc -->
423 * @generated
424 * @ordered
425 */
426 int COMPLEX_OBJECT_FEATURE_COUNT = 0;
427
428 /**
429 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl <em>Object</em>}' class.
430 * <!-- begin-user-doc -->
431 * <!-- end-user-doc -->
432 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl
433 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObject()
434 * @generated
435 */
436 int OBJECT = 17;
437
438 /**
439 * The number of structural features of the '<em>Object</em>' class.
440 * <!-- begin-user-doc -->
441 * <!-- end-user-doc -->
442 * @generated
443 * @ordered
444 */
445 int OBJECT_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 0;
446
447 /**
448 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl <em>Named Object</em>}' class.
449 * <!-- begin-user-doc -->
450 * <!-- end-user-doc -->
451 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl
452 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedObject()
453 * @generated
454 */
455 int NAMED_OBJECT = 18;
456
457 /**
458 * The feature id for the '<em><b>Name</b></em>' attribute.
459 * <!-- begin-user-doc -->
460 * <!-- end-user-doc -->
461 * @generated
462 * @ordered
463 */
464 int NAMED_OBJECT__NAME = OBJECT_FEATURE_COUNT + 0;
465
466 /**
467 * The number of structural features of the '<em>Named Object</em>' class.
468 * <!-- begin-user-doc -->
469 * <!-- end-user-doc -->
470 * @generated
471 * @ordered
472 */
473 int NAMED_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 1;
474
475 /**
476 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl <em>Unnamed Object</em>}' class.
477 * <!-- begin-user-doc -->
478 * <!-- end-user-doc -->
479 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl
480 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedObject()
481 * @generated
482 */
483 int UNNAMED_OBJECT = 19;
484
485 /**
486 * The feature id for the '<em><b>Name</b></em>' attribute.
487 * <!-- begin-user-doc -->
488 * <!-- end-user-doc -->
489 * @generated
490 * @ordered
491 */
492 int UNNAMED_OBJECT__NAME = OBJECT_FEATURE_COUNT + 0;
493
494 /**
495 * The number of structural features of the '<em>Unnamed Object</em>' class.
496 * <!-- begin-user-doc -->
497 * <!-- end-user-doc -->
498 * @generated
499 * @ordered
500 */
501 int UNNAMED_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 1;
502
503 /**
504 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl <em>Data Object</em>}' class.
505 * <!-- begin-user-doc -->
506 * <!-- end-user-doc -->
507 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl
508 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataObject()
509 * @generated
510 */
511 int DATA_OBJECT = 20;
512
513 /**
514 * The number of structural features of the '<em>Data Object</em>' class.
515 * <!-- begin-user-doc -->
516 * <!-- end-user-doc -->
517 * @generated
518 * @ordered
519 */
520 int DATA_OBJECT_FEATURE_COUNT = OBJECT_FEATURE_COUNT + 0;
521
522 /**
523 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl <em>Boolean Object</em>}' class.
524 * <!-- begin-user-doc -->
525 * <!-- end-user-doc -->
526 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl
527 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanObject()
528 * @generated
529 */
530 int BOOLEAN_OBJECT = 21;
531
532 /**
533 * The feature id for the '<em><b>Value</b></em>' containment reference.
534 * <!-- begin-user-doc -->
535 * <!-- end-user-doc -->
536 * @generated
537 * @ordered
538 */
539 int BOOLEAN_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
540
541 /**
542 * The number of structural features of the '<em>Boolean Object</em>' class.
543 * <!-- begin-user-doc -->
544 * <!-- end-user-doc -->
545 * @generated
546 * @ordered
547 */
548 int BOOLEAN_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
549
550 /**
551 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl <em>Int Object</em>}' class.
552 * <!-- begin-user-doc -->
553 * <!-- end-user-doc -->
554 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl
555 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntObject()
556 * @generated
557 */
558 int INT_OBJECT = 22;
559
560 /**
561 * The feature id for the '<em><b>Value</b></em>' attribute.
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 * @ordered
566 */
567 int INT_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
568
569 /**
570 * The number of structural features of the '<em>Int Object</em>' class.
571 * <!-- begin-user-doc -->
572 * <!-- end-user-doc -->
573 * @generated
574 * @ordered
575 */
576 int INT_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
577
578 /**
579 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl <em>Real Object</em>}' class.
580 * <!-- begin-user-doc -->
581 * <!-- end-user-doc -->
582 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl
583 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealObject()
584 * @generated
585 */
586 int REAL_OBJECT = 23;
587
588 /**
589 * The feature id for the '<em><b>Value</b></em>' attribute.
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 * @ordered
594 */
595 int REAL_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
596
597 /**
598 * The number of structural features of the '<em>Real Object</em>' class.
599 * <!-- begin-user-doc -->
600 * <!-- end-user-doc -->
601 * @generated
602 * @ordered
603 */
604 int REAL_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
605
606 /**
607 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl <em>String Object</em>}' class.
608 * <!-- begin-user-doc -->
609 * <!-- end-user-doc -->
610 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl
611 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringObject()
612 * @generated
613 */
614 int STRING_OBJECT = 24;
615
616 /**
617 * The feature id for the '<em><b>Value</b></em>' attribute.
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 * @ordered
622 */
623 int STRING_OBJECT__VALUE = DATA_OBJECT_FEATURE_COUNT + 0;
624
625 /**
626 * The number of structural features of the '<em>String Object</em>' class.
627 * <!-- begin-user-doc -->
628 * <!-- end-user-doc -->
629 * @generated
630 * @ordered
631 */
632 int STRING_OBJECT_FEATURE_COUNT = DATA_OBJECT_FEATURE_COUNT + 1;
633
634 /**
635 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl <em>Predicate</em>}' class.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
639 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
640 * @generated
641 */
642 int PREDICATE = 25;
643
644 /**
645 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @generated
649 * @ordered
650 */
651 int PREDICATE__PARAMETERS = STATEMENT_FEATURE_COUNT + 0;
652
653 /**
654 * The feature id for the '<em><b>Bodies</b></em>' containment reference list.
655 * <!-- begin-user-doc -->
656 * <!-- end-user-doc -->
657 * @generated
658 * @ordered
659 */
660 int PREDICATE__BODIES = STATEMENT_FEATURE_COUNT + 1;
661
662 /**
663 * The number of structural features of the '<em>Predicate</em>' class.
664 * <!-- begin-user-doc -->
665 * <!-- end-user-doc -->
666 * @generated
667 * @ordered
668 */
669 int PREDICATE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
670
671 /**
672 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl <em>Predicate Symbol</em>}' class.
673 * <!-- begin-user-doc -->
674 * <!-- end-user-doc -->
675 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl
676 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateSymbol()
677 * @generated
678 */
679 int PREDICATE_SYMBOL = 26;
680
681 /**
682 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
683 * <!-- begin-user-doc -->
684 * <!-- end-user-doc -->
685 * @generated
686 * @ordered
687 */
688 int PREDICATE_SYMBOL__PARAMETERS = PREDICATE__PARAMETERS;
689
690 /**
691 * The feature id for the '<em><b>Bodies</b></em>' containment reference list.
692 * <!-- begin-user-doc -->
693 * <!-- end-user-doc -->
694 * @generated
695 * @ordered
696 */
697 int PREDICATE_SYMBOL__BODIES = PREDICATE__BODIES;
698
699 /**
700 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
701 * <!-- begin-user-doc -->
702 * <!-- end-user-doc -->
703 * @generated
704 * @ordered
705 */
706 int PREDICATE_SYMBOL__SYMBOL = PREDICATE_FEATURE_COUNT + 0;
707
708 /**
709 * The number of structural features of the '<em>Predicate Symbol</em>' class.
710 * <!-- begin-user-doc -->
711 * <!-- end-user-doc -->
712 * @generated
713 * @ordered
714 */
715 int PREDICATE_SYMBOL_FEATURE_COUNT = PREDICATE_FEATURE_COUNT + 1;
716
717 /**
718 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl <em>Error Predicate</em>}' class.
719 * <!-- begin-user-doc -->
720 * <!-- end-user-doc -->
721 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl
722 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getErrorPredicate()
723 * @generated
724 */
725 int ERROR_PREDICATE = 27;
726
727 /**
728 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
729 * <!-- begin-user-doc -->
730 * <!-- end-user-doc -->
731 * @generated
732 * @ordered
733 */
734 int ERROR_PREDICATE__PARAMETERS = PREDICATE__PARAMETERS;
735
736 /**
737 * The feature id for the '<em><b>Bodies</b></em>' containment reference list.
738 * <!-- begin-user-doc -->
739 * <!-- end-user-doc -->
740 * @generated
741 * @ordered
742 */
743 int ERROR_PREDICATE__BODIES = PREDICATE__BODIES;
744
745 /**
746 * The feature id for the '<em><b>Name</b></em>' attribute.
747 * <!-- begin-user-doc -->
748 * <!-- end-user-doc -->
749 * @generated
750 * @ordered
751 */
752 int ERROR_PREDICATE__NAME = PREDICATE_FEATURE_COUNT + 0;
753
754 /**
755 * The number of structural features of the '<em>Error Predicate</em>' class.
756 * <!-- begin-user-doc -->
757 * <!-- end-user-doc -->
758 * @generated
759 * @ordered
760 */
761 int ERROR_PREDICATE_FEATURE_COUNT = PREDICATE_FEATURE_COUNT + 1;
762
763 /**
764 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl <em>Parameter</em>}' class.
765 * <!-- begin-user-doc -->
766 * <!-- end-user-doc -->
767 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl
768 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter()
769 * @generated
770 */
771 int PARAMETER = 28;
772
773 /**
774 * The feature id for the '<em><b>Variable</b></em>' containment reference.
775 * <!-- begin-user-doc -->
776 * <!-- end-user-doc -->
777 * @generated
778 * @ordered
779 */
780 int PARAMETER__VARIABLE = 0;
781
782 /**
783 * The feature id for the '<em><b>Type</b></em>' containment reference.
784 * <!-- begin-user-doc -->
785 * <!-- end-user-doc -->
786 * @generated
787 * @ordered
788 */
789 int PARAMETER__TYPE = 1;
790
791 /**
792 * The number of structural features of the '<em>Parameter</em>' class.
793 * <!-- begin-user-doc -->
794 * <!-- end-user-doc -->
795 * @generated
796 * @ordered
797 */
798 int PARAMETER_FEATURE_COUNT = 2;
799
800 /**
801 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl <em>Pattern Body</em>}' class.
802 * <!-- begin-user-doc -->
803 * <!-- end-user-doc -->
804 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl
805 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody()
806 * @generated
807 */
808 int PATTERN_BODY = 29;
809
810 /**
811 * The feature id for the '<em><b>Constraints</b></em>' containment reference list.
812 * <!-- begin-user-doc -->
813 * <!-- end-user-doc -->
814 * @generated
815 * @ordered
816 */
817 int PATTERN_BODY__CONSTRAINTS = 0;
818
819 /**
820 * The number of structural features of the '<em>Pattern Body</em>' class.
821 * <!-- begin-user-doc -->
822 * <!-- end-user-doc -->
823 * @generated
824 * @ordered
825 */
826 int PATTERN_BODY_FEATURE_COUNT = 1;
827
828 /**
829 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl <em>Polarity</em>}' class.
830 * <!-- begin-user-doc -->
831 * <!-- end-user-doc -->
832 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl
833 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity()
834 * @generated
835 */
836 int POLARITY = 30;
837
838 /**
839 * The number of structural features of the '<em>Polarity</em>' class.
840 * <!-- begin-user-doc -->
841 * <!-- end-user-doc -->
842 * @generated
843 * @ordered
844 */
845 int POLARITY_FEATURE_COUNT = 0;
846
847 /**
848 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl <em>Constraint</em>}' class.
849 * <!-- begin-user-doc -->
850 * <!-- end-user-doc -->
851 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl
852 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint()
853 * @generated
854 */
855 int CONSTRAINT = 31;
856
857 /**
858 * The feature id for the '<em><b>Polarity</b></em>' containment reference.
859 * <!-- begin-user-doc -->
860 * <!-- end-user-doc -->
861 * @generated
862 * @ordered
863 */
864 int CONSTRAINT__POLARITY = 0;
865
866 /**
867 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
868 * <!-- begin-user-doc -->
869 * <!-- end-user-doc -->
870 * @generated
871 * @ordered
872 */
873 int CONSTRAINT__SYMBOL = 1;
874
875 /**
876 * The feature id for the '<em><b>Params</b></em>' containment reference list.
877 * <!-- begin-user-doc -->
878 * <!-- end-user-doc -->
879 * @generated
880 * @ordered
881 */
882 int CONSTRAINT__PARAMS = 2;
883
884 /**
885 * The feature id for the '<em><b>Closure Type</b></em>' containment reference.
886 * <!-- begin-user-doc -->
887 * <!-- end-user-doc -->
888 * @generated
889 * @ordered
890 */
891 int CONSTRAINT__CLOSURE_TYPE = 3;
892
893 /**
894 * The number of structural features of the '<em>Constraint</em>' class.
895 * <!-- begin-user-doc -->
896 * <!-- end-user-doc -->
897 * @generated
898 * @ordered
899 */
900 int CONSTRAINT_FEATURE_COUNT = 4;
901
902 /**
903 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl <em>Closure Type</em>}' class.
904 * <!-- begin-user-doc -->
905 * <!-- end-user-doc -->
906 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl
907 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType()
908 * @generated
909 */
910 int CLOSURE_TYPE = 32;
911
912 /**
913 * The number of structural features of the '<em>Closure Type</em>' class.
914 * <!-- begin-user-doc -->
915 * <!-- end-user-doc -->
916 * @generated
917 * @ordered
918 */
919 int CLOSURE_TYPE_FEATURE_COUNT = 0;
920
921 /**
922 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl <em>Literal</em>}' class.
923 * <!-- begin-user-doc -->
924 * <!-- end-user-doc -->
925 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
926 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
927 * @generated
928 */
929 int LITERAL = 33;
930
931 /**
932 * The number of structural features of the '<em>Literal</em>' class.
933 * <!-- begin-user-doc -->
934 * <!-- end-user-doc -->
935 * @generated
936 * @ordered
937 */
938 int LITERAL_FEATURE_COUNT = 0;
939
940 /**
941 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl <em>Variable</em>}' class.
942 * <!-- begin-user-doc -->
943 * <!-- end-user-doc -->
944 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
945 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
946 * @generated
947 */
948 int VARIABLE = 34;
949
950 /**
951 * The feature id for the '<em><b>Name</b></em>' attribute.
952 * <!-- begin-user-doc -->
953 * <!-- end-user-doc -->
954 * @generated
955 * @ordered
956 */
957 int VARIABLE__NAME = LITERAL_FEATURE_COUNT + 0;
958
959 /**
960 * The number of structural features of the '<em>Variable</em>' class.
961 * <!-- begin-user-doc -->
962 * <!-- end-user-doc -->
963 * @generated
964 * @ordered
965 */
966 int VARIABLE_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
967
968 /**
969 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl <em>All Instances</em>}' class.
970 * <!-- begin-user-doc -->
971 * <!-- end-user-doc -->
972 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl
973 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances()
974 * @generated
975 */
976 int ALL_INSTANCES = 35;
977
978 /**
979 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
980 * <!-- begin-user-doc -->
981 * <!-- end-user-doc -->
982 * @generated
983 * @ordered
984 */
985 int ALL_INSTANCES__SYMBOL = COMPLEX_OBJECT_FEATURE_COUNT + 0;
986
987 /**
988 * The number of structural features of the '<em>All Instances</em>' class.
989 * <!-- begin-user-doc -->
990 * <!-- end-user-doc -->
991 * @generated
992 * @ordered
993 */
994 int ALL_INSTANCES_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 1;
995
996 /**
997 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl <em>All Objects</em>}' class.
998 * <!-- begin-user-doc -->
999 * <!-- end-user-doc -->
1000 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl
1001 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects()
1002 * @generated
1003 */
1004 int ALL_OBJECTS = 36;
1005
1006 /**
1007 * The number of structural features of the '<em>All Objects</em>' class.
1008 * <!-- begin-user-doc -->
1009 * <!-- end-user-doc -->
1010 * @generated
1011 * @ordered
1012 */
1013 int ALL_OBJECTS_FEATURE_COUNT = COMPLEX_OBJECT_FEATURE_COUNT + 0;
1014
1015 /**
1016 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl <em>Default Interpretation</em>}' class.
1017 * <!-- begin-user-doc -->
1018 * <!-- end-user-doc -->
1019 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl
1020 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation()
1021 * @generated
1022 */
1023 int DEFAULT_INTERPRETATION = 37;
1024
1025 /**
1026 * The feature id for the '<em><b>Interpretation</b></em>' containment reference.
1027 * <!-- begin-user-doc -->
1028 * <!-- end-user-doc -->
1029 * @generated
1030 * @ordered
1031 */
1032 int DEFAULT_INTERPRETATION__INTERPRETATION = INTERPRETATION_FEATURE_COUNT + 0;
1033
1034 /**
1035 * The number of structural features of the '<em>Default Interpretation</em>' class.
1036 * <!-- begin-user-doc -->
1037 * <!-- end-user-doc -->
1038 * @generated
1039 * @ordered
1040 */
1041 int DEFAULT_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 1;
1042
1043 /**
1044 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl <em>CD Interpretation</em>}' class.
1045 * <!-- begin-user-doc -->
1046 * <!-- end-user-doc -->
1047 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl
1048 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation()
1049 * @generated
1050 */
1051 int CD_INTERPRETATION = 38;
1052
1053 /**
1054 * The number of structural features of the '<em>CD Interpretation</em>' class.
1055 * <!-- begin-user-doc -->
1056 * <!-- end-user-doc -->
1057 * @generated
1058 * @ordered
1059 */
1060 int CD_INTERPRETATION_FEATURE_COUNT = INTERPRETATION_FEATURE_COUNT + 0;
1061
1062 /**
1063 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl <em>Class Interpretation</em>}' class.
1064 * <!-- begin-user-doc -->
1065 * <!-- end-user-doc -->
1066 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl
1067 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation()
1068 * @generated
1069 */
1070 int CLASS_INTERPRETATION = 39;
1071
1072 /**
1073 * The feature id for the '<em><b>Abstract</b></em>' attribute.
1074 * <!-- begin-user-doc -->
1075 * <!-- end-user-doc -->
1076 * @generated
1077 * @ordered
1078 */
1079 int CLASS_INTERPRETATION__ABSTRACT = CD_INTERPRETATION_FEATURE_COUNT + 0;
1080
1081 /**
1082 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
1083 * <!-- begin-user-doc -->
1084 * <!-- end-user-doc -->
1085 * @generated
1086 * @ordered
1087 */
1088 int CLASS_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 1;
1089
1090 /**
1091 * The feature id for the '<em><b>Supertypes</b></em>' containment reference list.
1092 * <!-- begin-user-doc -->
1093 * <!-- end-user-doc -->
1094 * @generated
1095 * @ordered
1096 */
1097 int CLASS_INTERPRETATION__SUPERTYPES = CD_INTERPRETATION_FEATURE_COUNT + 2;
1098
1099 /**
1100 * The feature id for the '<em><b>Fielt</b></em>' containment reference list.
1101 * <!-- begin-user-doc -->
1102 * <!-- end-user-doc -->
1103 * @generated
1104 * @ordered
1105 */
1106 int CLASS_INTERPRETATION__FIELT = CD_INTERPRETATION_FEATURE_COUNT + 3;
1107
1108 /**
1109 * The number of structural features of the '<em>Class Interpretation</em>' class.
1110 * <!-- begin-user-doc -->
1111 * <!-- end-user-doc -->
1112 * @generated
1113 * @ordered
1114 */
1115 int CLASS_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 4;
1116
1117 /**
1118 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl <em>Enum Interpretation</em>}' class.
1119 * <!-- begin-user-doc -->
1120 * <!-- end-user-doc -->
1121 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl
1122 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation()
1123 * @generated
1124 */
1125 int ENUM_INTERPRETATION = 40;
1126
1127 /**
1128 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
1129 * <!-- begin-user-doc -->
1130 * <!-- end-user-doc -->
1131 * @generated
1132 * @ordered
1133 */
1134 int ENUM_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 0;
1135
1136 /**
1137 * The feature id for the '<em><b>Objects</b></em>' containment reference list.
1138 * <!-- begin-user-doc -->
1139 * <!-- end-user-doc -->
1140 * @generated
1141 * @ordered
1142 */
1143 int ENUM_INTERPRETATION__OBJECTS = CD_INTERPRETATION_FEATURE_COUNT + 1;
1144
1145 /**
1146 * The number of structural features of the '<em>Enum Interpretation</em>' class.
1147 * <!-- begin-user-doc -->
1148 * <!-- end-user-doc -->
1149 * @generated
1150 * @ordered
1151 */
1152 int ENUM_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 2;
1153
1154 /**
1155 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl <em>Field Relation Interpretation</em>}' class.
1156 * <!-- begin-user-doc -->
1157 * <!-- end-user-doc -->
1158 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl
1159 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation()
1160 * @generated
1161 */
1162 int FIELD_RELATION_INTERPRETATION = 41;
1163
1164 /**
1165 * The feature id for the '<em><b>Containment</b></em>' attribute.
1166 * <!-- begin-user-doc -->
1167 * <!-- end-user-doc -->
1168 * @generated
1169 * @ordered
1170 */
1171 int FIELD_RELATION_INTERPRETATION__CONTAINMENT = 0;
1172
1173 /**
1174 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
1175 * <!-- begin-user-doc -->
1176 * <!-- end-user-doc -->
1177 * @generated
1178 * @ordered
1179 */
1180 int FIELD_RELATION_INTERPRETATION__SYMBOL = 1;
1181
1182 /**
1183 * The feature id for the '<em><b>Multiplicity</b></em>' containment reference.
1184 * <!-- begin-user-doc -->
1185 * <!-- end-user-doc -->
1186 * @generated
1187 * @ordered
1188 */
1189 int FIELD_RELATION_INTERPRETATION__MULTIPLICITY = 2;
1190
1191 /**
1192 * The feature id for the '<em><b>Target</b></em>' containment reference.
1193 * <!-- begin-user-doc -->
1194 * <!-- end-user-doc -->
1195 * @generated
1196 * @ordered
1197 */
1198 int FIELD_RELATION_INTERPRETATION__TARGET = 3;
1199
1200 /**
1201 * The number of structural features of the '<em>Field Relation Interpretation</em>' class.
1202 * <!-- begin-user-doc -->
1203 * <!-- end-user-doc -->
1204 * @generated
1205 * @ordered
1206 */
1207 int FIELD_RELATION_INTERPRETATION_FEATURE_COUNT = 4;
1208
1209 /**
1210 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl <em>Global Relation Interpretation</em>}' class.
1211 * <!-- begin-user-doc -->
1212 * <!-- end-user-doc -->
1213 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl
1214 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation()
1215 * @generated
1216 */
1217 int GLOBAL_RELATION_INTERPRETATION = 42;
1218
1219 /**
1220 * The feature id for the '<em><b>Containment</b></em>' attribute.
1221 * <!-- begin-user-doc -->
1222 * <!-- end-user-doc -->
1223 * @generated
1224 * @ordered
1225 */
1226 int GLOBAL_RELATION_INTERPRETATION__CONTAINMENT = CD_INTERPRETATION_FEATURE_COUNT + 0;
1227
1228 /**
1229 * The feature id for the '<em><b>Symbol</b></em>' containment reference.
1230 * <!-- begin-user-doc -->
1231 * <!-- end-user-doc -->
1232 * @generated
1233 * @ordered
1234 */
1235 int GLOBAL_RELATION_INTERPRETATION__SYMBOL = CD_INTERPRETATION_FEATURE_COUNT + 1;
1236
1237 /**
1238 * The feature id for the '<em><b>Source Multiplicity</b></em>' containment reference.
1239 * <!-- begin-user-doc -->
1240 * <!-- end-user-doc -->
1241 * @generated
1242 * @ordered
1243 */
1244 int GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY = CD_INTERPRETATION_FEATURE_COUNT + 2;
1245
1246 /**
1247 * The feature id for the '<em><b>Source</b></em>' containment reference.
1248 * <!-- begin-user-doc -->
1249 * <!-- end-user-doc -->
1250 * @generated
1251 * @ordered
1252 */
1253 int GLOBAL_RELATION_INTERPRETATION__SOURCE = CD_INTERPRETATION_FEATURE_COUNT + 3;
1254
1255 /**
1256 * The feature id for the '<em><b>Target Multiplicity</b></em>' containment reference.
1257 * <!-- begin-user-doc -->
1258 * <!-- end-user-doc -->
1259 * @generated
1260 * @ordered
1261 */
1262 int GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY = CD_INTERPRETATION_FEATURE_COUNT + 4;
1263
1264 /**
1265 * The feature id for the '<em><b>Target</b></em>' containment reference.
1266 * <!-- begin-user-doc -->
1267 * <!-- end-user-doc -->
1268 * @generated
1269 * @ordered
1270 */
1271 int GLOBAL_RELATION_INTERPRETATION__TARGET = CD_INTERPRETATION_FEATURE_COUNT + 5;
1272
1273 /**
1274 * The number of structural features of the '<em>Global Relation Interpretation</em>' class.
1275 * <!-- begin-user-doc -->
1276 * <!-- end-user-doc -->
1277 * @generated
1278 * @ordered
1279 */
1280 int GLOBAL_RELATION_INTERPRETATION_FEATURE_COUNT = CD_INTERPRETATION_FEATURE_COUNT + 6;
1281
1282 /**
1283 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl <em>Multiplicity Definition</em>}' class.
1284 * <!-- begin-user-doc -->
1285 * <!-- end-user-doc -->
1286 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl
1287 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition()
1288 * @generated
1289 */
1290 int MULTIPLICITY_DEFINITION = 43;
1291
1292 /**
1293 * The feature id for the '<em><b>Lower</b></em>' attribute.
1294 * <!-- begin-user-doc -->
1295 * <!-- end-user-doc -->
1296 * @generated
1297 * @ordered
1298 */
1299 int MULTIPLICITY_DEFINITION__LOWER = 0;
1300
1301 /**
1302 * The feature id for the '<em><b>Upper</b></em>' attribute.
1303 * <!-- begin-user-doc -->
1304 * <!-- end-user-doc -->
1305 * @generated
1306 * @ordered
1307 */
1308 int MULTIPLICITY_DEFINITION__UPPER = 1;
1309
1310 /**
1311 * The feature id for the '<em><b>Unlimited Upper</b></em>' attribute.
1312 * <!-- begin-user-doc -->
1313 * <!-- end-user-doc -->
1314 * @generated
1315 * @ordered
1316 */
1317 int MULTIPLICITY_DEFINITION__UNLIMITED_UPPER = 2;
1318
1319 /**
1320 * The number of structural features of the '<em>Multiplicity Definition</em>' class.
1321 * <!-- begin-user-doc -->
1322 * <!-- end-user-doc -->
1323 * @generated
1324 * @ordered
1325 */
1326 int MULTIPLICITY_DEFINITION_FEATURE_COUNT = 3;
1327
1328 /**
1329 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl <em>Boolean True</em>}' class.
1330 * <!-- begin-user-doc -->
1331 * <!-- end-user-doc -->
1332 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl
1333 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue()
1334 * @generated
1335 */
1336 int BOOLEAN_TRUE = 44;
1337
1338 /**
1339 * The number of structural features of the '<em>Boolean True</em>' class.
1340 * <!-- begin-user-doc -->
1341 * <!-- end-user-doc -->
1342 * @generated
1343 * @ordered
1344 */
1345 int BOOLEAN_TRUE_FEATURE_COUNT = BOOLEAN_VALUE_FEATURE_COUNT + 0;
1346
1347 /**
1348 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl <em>Boolean False</em>}' class.
1349 * <!-- begin-user-doc -->
1350 * <!-- end-user-doc -->
1351 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl
1352 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse()
1353 * @generated
1354 */
1355 int BOOLEAN_FALSE = 45;
1356
1357 /**
1358 * The number of structural features of the '<em>Boolean False</em>' class.
1359 * <!-- begin-user-doc -->
1360 * <!-- end-user-doc -->
1361 * @generated
1362 * @ordered
1363 */
1364 int BOOLEAN_FALSE_FEATURE_COUNT = BOOLEAN_VALUE_FEATURE_COUNT + 0;
1365
1366 /**
1367 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl <em>True</em>}' class.
1368 * <!-- begin-user-doc -->
1369 * <!-- end-user-doc -->
1370 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl
1371 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue()
1372 * @generated
1373 */
1374 int TRUE = 46;
1375
1376 /**
1377 * The number of structural features of the '<em>True</em>' class.
1378 * <!-- begin-user-doc -->
1379 * <!-- end-user-doc -->
1380 * @generated
1381 * @ordered
1382 */
1383 int TRUE_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
1384
1385 /**
1386 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl <em>False</em>}' class.
1387 * <!-- begin-user-doc -->
1388 * <!-- end-user-doc -->
1389 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl
1390 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse()
1391 * @generated
1392 */
1393 int FALSE = 47;
1394
1395 /**
1396 * The number of structural features of the '<em>False</em>' class.
1397 * <!-- begin-user-doc -->
1398 * <!-- end-user-doc -->
1399 * @generated
1400 * @ordered
1401 */
1402 int FALSE_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
1403
1404 /**
1405 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl <em>Unknown</em>}' class.
1406 * <!-- begin-user-doc -->
1407 * <!-- end-user-doc -->
1408 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl
1409 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown()
1410 * @generated
1411 */
1412 int UNKNOWN = 48;
1413
1414 /**
1415 * The number of structural features of the '<em>Unknown</em>' class.
1416 * <!-- begin-user-doc -->
1417 * <!-- end-user-doc -->
1418 * @generated
1419 * @ordered
1420 */
1421 int UNKNOWN_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
1422
1423 /**
1424 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl <em>Error</em>}' class.
1425 * <!-- begin-user-doc -->
1426 * <!-- end-user-doc -->
1427 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl
1428 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError()
1429 * @generated
1430 */
1431 int ERROR = 49;
1432
1433 /**
1434 * The number of structural features of the '<em>Error</em>' class.
1435 * <!-- begin-user-doc -->
1436 * <!-- end-user-doc -->
1437 * @generated
1438 * @ordered
1439 */
1440 int ERROR_FEATURE_COUNT = TRUTH_VALUE_FEATURE_COUNT + 0;
1441
1442 /**
1443 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl <em>Positive</em>}' class.
1444 * <!-- begin-user-doc -->
1445 * <!-- end-user-doc -->
1446 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl
1447 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive()
1448 * @generated
1449 */
1450 int POSITIVE = 50;
1451
1452 /**
1453 * The number of structural features of the '<em>Positive</em>' class.
1454 * <!-- begin-user-doc -->
1455 * <!-- end-user-doc -->
1456 * @generated
1457 * @ordered
1458 */
1459 int POSITIVE_FEATURE_COUNT = POLARITY_FEATURE_COUNT + 0;
1460
1461 /**
1462 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl <em>Negative</em>}' class.
1463 * <!-- begin-user-doc -->
1464 * <!-- end-user-doc -->
1465 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl
1466 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative()
1467 * @generated
1468 */
1469 int NEGATIVE = 51;
1470
1471 /**
1472 * The number of structural features of the '<em>Negative</em>' class.
1473 * <!-- begin-user-doc -->
1474 * <!-- end-user-doc -->
1475 * @generated
1476 * @ordered
1477 */
1478 int NEGATIVE_FEATURE_COUNT = POLARITY_FEATURE_COUNT + 0;
1479
1480 /**
1481 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl <em>Reflexive Closure</em>}' class.
1482 * <!-- begin-user-doc -->
1483 * <!-- end-user-doc -->
1484 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl
1485 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure()
1486 * @generated
1487 */
1488 int REFLEXIVE_CLOSURE = 52;
1489
1490 /**
1491 * The number of structural features of the '<em>Reflexive Closure</em>' class.
1492 * <!-- begin-user-doc -->
1493 * <!-- end-user-doc -->
1494 * @generated
1495 * @ordered
1496 */
1497 int REFLEXIVE_CLOSURE_FEATURE_COUNT = CLOSURE_TYPE_FEATURE_COUNT + 0;
1498
1499 /**
1500 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl <em>Irreflexive Closure</em>}' class.
1501 * <!-- begin-user-doc -->
1502 * <!-- end-user-doc -->
1503 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl
1504 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure()
1505 * @generated
1506 */
1507 int IRREFLEXIVE_CLOSURE = 53;
1508
1509 /**
1510 * The number of structural features of the '<em>Irreflexive Closure</em>' class.
1511 * <!-- begin-user-doc -->
1512 * <!-- end-user-doc -->
1513 * @generated
1514 * @ordered
1515 */
1516 int IRREFLEXIVE_CLOSURE_FEATURE_COUNT = CLOSURE_TYPE_FEATURE_COUNT + 0;
1517
1518
1519 /**
1520 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem <em>Problem</em>}'.
1521 * <!-- begin-user-doc -->
1522 * <!-- end-user-doc -->
1523 * @return the meta object for class '<em>Problem</em>'.
1524 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem
1525 * @generated
1526 */
1527 EClass getProblem();
1528
1529 /**
1530 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements <em>Statements</em>}'.
1531 * <!-- begin-user-doc -->
1532 * <!-- end-user-doc -->
1533 * @return the meta object for the containment reference list '<em>Statements</em>'.
1534 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements()
1535 * @see #getProblem()
1536 * @generated
1537 */
1538 EReference getProblem_Statements();
1539
1540 /**
1541 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement <em>Statement</em>}'.
1542 * <!-- begin-user-doc -->
1543 * <!-- end-user-doc -->
1544 * @return the meta object for class '<em>Statement</em>'.
1545 * @see org.eclipse.viatra.solver.language.solverLanguage.Statement
1546 * @generated
1547 */
1548 EClass getStatement();
1549
1550 /**
1551 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanValue <em>Boolean Value</em>}'.
1552 * <!-- begin-user-doc -->
1553 * <!-- end-user-doc -->
1554 * @return the meta object for class '<em>Boolean Value</em>'.
1555 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanValue
1556 * @generated
1557 */
1558 EClass getBooleanValue();
1559
1560 /**
1561 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TruthValue <em>Truth Value</em>}'.
1562 * <!-- begin-user-doc -->
1563 * <!-- end-user-doc -->
1564 * @return the meta object for class '<em>Truth Value</em>'.
1565 * @see org.eclipse.viatra.solver.language.solverLanguage.TruthValue
1566 * @generated
1567 */
1568 EClass getTruthValue();
1569
1570 /**
1571 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'.
1572 * <!-- begin-user-doc -->
1573 * <!-- end-user-doc -->
1574 * @return the meta object for class '<em>Interpretation</em>'.
1575 * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation
1576 * @generated
1577 */
1578 EClass getInterpretation();
1579
1580 /**
1581 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation <em>Basic Interpretation</em>}'.
1582 * <!-- begin-user-doc -->
1583 * <!-- end-user-doc -->
1584 * @return the meta object for class '<em>Basic Interpretation</em>'.
1585 * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation
1586 * @generated
1587 */
1588 EClass getBasicInterpretation();
1589
1590 /**
1591 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getSymbol <em>Symbol</em>}'.
1592 * <!-- begin-user-doc -->
1593 * <!-- end-user-doc -->
1594 * @return the meta object for the containment reference '<em>Symbol</em>'.
1595 * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getSymbol()
1596 * @see #getBasicInterpretation()
1597 * @generated
1598 */
1599 EReference getBasicInterpretation_Symbol();
1600
1601 /**
1602 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getObjects <em>Objects</em>}'.
1603 * <!-- begin-user-doc -->
1604 * <!-- end-user-doc -->
1605 * @return the meta object for the containment reference list '<em>Objects</em>'.
1606 * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getObjects()
1607 * @see #getBasicInterpretation()
1608 * @generated
1609 */
1610 EReference getBasicInterpretation_Objects();
1611
1612 /**
1613 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getValue <em>Value</em>}'.
1614 * <!-- begin-user-doc -->
1615 * <!-- end-user-doc -->
1616 * @return the meta object for the containment reference '<em>Value</em>'.
1617 * @see org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation#getValue()
1618 * @see #getBasicInterpretation()
1619 * @generated
1620 */
1621 EReference getBasicInterpretation_Value();
1622
1623 /**
1624 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Symbol <em>Symbol</em>}'.
1625 * <!-- begin-user-doc -->
1626 * <!-- end-user-doc -->
1627 * @return the meta object for class '<em>Symbol</em>'.
1628 * @see org.eclipse.viatra.solver.language.solverLanguage.Symbol
1629 * @generated
1630 */
1631 EClass getSymbol();
1632
1633 /**
1634 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol <em>Model Symbol</em>}'.
1635 * <!-- begin-user-doc -->
1636 * <!-- end-user-doc -->
1637 * @return the meta object for class '<em>Model Symbol</em>'.
1638 * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol
1639 * @generated
1640 */
1641 EClass getModelSymbol();
1642
1643 /**
1644 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol#getName <em>Name</em>}'.
1645 * <!-- begin-user-doc -->
1646 * <!-- end-user-doc -->
1647 * @return the meta object for the attribute '<em>Name</em>'.
1648 * @see org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol#getName()
1649 * @see #getModelSymbol()
1650 * @generated
1651 */
1652 EAttribute getModelSymbol_Name();
1653
1654 /**
1655 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol <em>Partiality Symbol</em>}'.
1656 * <!-- begin-user-doc -->
1657 * <!-- end-user-doc -->
1658 * @return the meta object for class '<em>Partiality Symbol</em>'.
1659 * @see org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol
1660 * @generated
1661 */
1662 EClass getPartialitySymbol();
1663
1664 /**
1665 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol <em>Exist Symbol</em>}'.
1666 * <!-- begin-user-doc -->
1667 * <!-- end-user-doc -->
1668 * @return the meta object for class '<em>Exist Symbol</em>'.
1669 * @see org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol
1670 * @generated
1671 */
1672 EClass getExistSymbol();
1673
1674 /**
1675 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol <em>Equals Symbol</em>}'.
1676 * <!-- begin-user-doc -->
1677 * <!-- end-user-doc -->
1678 * @return the meta object for class '<em>Equals Symbol</em>'.
1679 * @see org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol
1680 * @generated
1681 */
1682 EClass getEqualsSymbol();
1683
1684 /**
1685 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataSymbol <em>Data Symbol</em>}'.
1686 * <!-- begin-user-doc -->
1687 * <!-- end-user-doc -->
1688 * @return the meta object for class '<em>Data Symbol</em>'.
1689 * @see org.eclipse.viatra.solver.language.solverLanguage.DataSymbol
1690 * @generated
1691 */
1692 EClass getDataSymbol();
1693
1694 /**
1695 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol <em>Boolean Symbol</em>}'.
1696 * <!-- begin-user-doc -->
1697 * <!-- end-user-doc -->
1698 * @return the meta object for class '<em>Boolean Symbol</em>'.
1699 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol
1700 * @generated
1701 */
1702 EClass getBooleanSymbol();
1703
1704 /**
1705 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol <em>Integer Symbol</em>}'.
1706 * <!-- begin-user-doc -->
1707 * <!-- end-user-doc -->
1708 * @return the meta object for class '<em>Integer Symbol</em>'.
1709 * @see org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol
1710 * @generated
1711 */
1712 EClass getIntegerSymbol();
1713
1714 /**
1715 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealSymbol <em>Real Symbol</em>}'.
1716 * <!-- begin-user-doc -->
1717 * <!-- end-user-doc -->
1718 * @return the meta object for class '<em>Real Symbol</em>'.
1719 * @see org.eclipse.viatra.solver.language.solverLanguage.RealSymbol
1720 * @generated
1721 */
1722 EClass getRealSymbol();
1723
1724 /**
1725 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringSymbol <em>String Symbol</em>}'.
1726 * <!-- begin-user-doc -->
1727 * <!-- end-user-doc -->
1728 * @return the meta object for class '<em>String Symbol</em>'.
1729 * @see org.eclipse.viatra.solver.language.solverLanguage.StringSymbol
1730 * @generated
1731 */
1732 EClass getStringSymbol();
1733
1734 /**
1735 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ComplexObject <em>Complex Object</em>}'.
1736 * <!-- begin-user-doc -->
1737 * <!-- end-user-doc -->
1738 * @return the meta object for class '<em>Complex Object</em>'.
1739 * @see org.eclipse.viatra.solver.language.solverLanguage.ComplexObject
1740 * @generated
1741 */
1742 EClass getComplexObject();
1743
1744 /**
1745 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Object <em>Object</em>}'.
1746 * <!-- begin-user-doc -->
1747 * <!-- end-user-doc -->
1748 * @return the meta object for class '<em>Object</em>'.
1749 * @see org.eclipse.viatra.solver.language.solverLanguage.Object
1750 * @generated
1751 */
1752 EClass getObject();
1753
1754 /**
1755 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject <em>Named Object</em>}'.
1756 * <!-- begin-user-doc -->
1757 * <!-- end-user-doc -->
1758 * @return the meta object for class '<em>Named Object</em>'.
1759 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject
1760 * @generated
1761 */
1762 EClass getNamedObject();
1763
1764 /**
1765 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedObject#getName <em>Name</em>}'.
1766 * <!-- begin-user-doc -->
1767 * <!-- end-user-doc -->
1768 * @return the meta object for the attribute '<em>Name</em>'.
1769 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedObject#getName()
1770 * @see #getNamedObject()
1771 * @generated
1772 */
1773 EAttribute getNamedObject_Name();
1774
1775 /**
1776 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject <em>Unnamed Object</em>}'.
1777 * <!-- begin-user-doc -->
1778 * <!-- end-user-doc -->
1779 * @return the meta object for class '<em>Unnamed Object</em>'.
1780 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject
1781 * @generated
1782 */
1783 EClass getUnnamedObject();
1784
1785 /**
1786 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject#getName <em>Name</em>}'.
1787 * <!-- begin-user-doc -->
1788 * <!-- end-user-doc -->
1789 * @return the meta object for the attribute '<em>Name</em>'.
1790 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject#getName()
1791 * @see #getUnnamedObject()
1792 * @generated
1793 */
1794 EAttribute getUnnamedObject_Name();
1795
1796 /**
1797 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DataObject <em>Data Object</em>}'.
1798 * <!-- begin-user-doc -->
1799 * <!-- end-user-doc -->
1800 * @return the meta object for class '<em>Data Object</em>'.
1801 * @see org.eclipse.viatra.solver.language.solverLanguage.DataObject
1802 * @generated
1803 */
1804 EClass getDataObject();
1805
1806 /**
1807 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject <em>Boolean Object</em>}'.
1808 * <!-- begin-user-doc -->
1809 * <!-- end-user-doc -->
1810 * @return the meta object for class '<em>Boolean Object</em>'.
1811 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject
1812 * @generated
1813 */
1814 EClass getBooleanObject();
1815
1816 /**
1817 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanObject#getValue <em>Value</em>}'.
1818 * <!-- begin-user-doc -->
1819 * <!-- end-user-doc -->
1820 * @return the meta object for the containment reference '<em>Value</em>'.
1821 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanObject#getValue()
1822 * @see #getBooleanObject()
1823 * @generated
1824 */
1825 EReference getBooleanObject_Value();
1826
1827 /**
1828 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject <em>Int Object</em>}'.
1829 * <!-- begin-user-doc -->
1830 * <!-- end-user-doc -->
1831 * @return the meta object for class '<em>Int Object</em>'.
1832 * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject
1833 * @generated
1834 */
1835 EClass getIntObject();
1836
1837 /**
1838 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.IntObject#getValue <em>Value</em>}'.
1839 * <!-- begin-user-doc -->
1840 * <!-- end-user-doc -->
1841 * @return the meta object for the attribute '<em>Value</em>'.
1842 * @see org.eclipse.viatra.solver.language.solverLanguage.IntObject#getValue()
1843 * @see #getIntObject()
1844 * @generated
1845 */
1846 EAttribute getIntObject_Value();
1847
1848 /**
1849 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject <em>Real Object</em>}'.
1850 * <!-- begin-user-doc -->
1851 * <!-- end-user-doc -->
1852 * @return the meta object for class '<em>Real Object</em>'.
1853 * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject
1854 * @generated
1855 */
1856 EClass getRealObject();
1857
1858 /**
1859 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.RealObject#getValue <em>Value</em>}'.
1860 * <!-- begin-user-doc -->
1861 * <!-- end-user-doc -->
1862 * @return the meta object for the attribute '<em>Value</em>'.
1863 * @see org.eclipse.viatra.solver.language.solverLanguage.RealObject#getValue()
1864 * @see #getRealObject()
1865 * @generated
1866 */
1867 EAttribute getRealObject_Value();
1868
1869 /**
1870 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject <em>String Object</em>}'.
1871 * <!-- begin-user-doc -->
1872 * <!-- end-user-doc -->
1873 * @return the meta object for class '<em>String Object</em>'.
1874 * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject
1875 * @generated
1876 */
1877 EClass getStringObject();
1878
1879 /**
1880 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.StringObject#getValue <em>Value</em>}'.
1881 * <!-- begin-user-doc -->
1882 * <!-- end-user-doc -->
1883 * @return the meta object for the attribute '<em>Value</em>'.
1884 * @see org.eclipse.viatra.solver.language.solverLanguage.StringObject#getValue()
1885 * @see #getStringObject()
1886 * @generated
1887 */
1888 EAttribute getStringObject_Value();
1889
1890 /**
1891 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'.
1892 * <!-- begin-user-doc -->
1893 * <!-- end-user-doc -->
1894 * @return the meta object for class '<em>Predicate</em>'.
1895 * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate
1896 * @generated
1897 */
1898 EClass getPredicate();
1899
1900 /**
1901 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters <em>Parameters</em>}'.
1902 * <!-- begin-user-doc -->
1903 * <!-- end-user-doc -->
1904 * @return the meta object for the containment reference list '<em>Parameters</em>'.
1905 * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters()
1906 * @see #getPredicate()
1907 * @generated
1908 */
1909 EReference getPredicate_Parameters();
1910
1911 /**
1912 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies <em>Bodies</em>}'.
1913 * <!-- begin-user-doc -->
1914 * <!-- end-user-doc -->
1915 * @return the meta object for the containment reference list '<em>Bodies</em>'.
1916 * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies()
1917 * @see #getPredicate()
1918 * @generated
1919 */
1920 EReference getPredicate_Bodies();
1921
1922 /**
1923 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol <em>Predicate Symbol</em>}'.
1924 * <!-- begin-user-doc -->
1925 * <!-- end-user-doc -->
1926 * @return the meta object for class '<em>Predicate Symbol</em>'.
1927 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol
1928 * @generated
1929 */
1930 EClass getPredicateSymbol();
1931
1932 /**
1933 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol <em>Symbol</em>}'.
1934 * <!-- begin-user-doc -->
1935 * <!-- end-user-doc -->
1936 * @return the meta object for the containment reference '<em>Symbol</em>'.
1937 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol()
1938 * @see #getPredicateSymbol()
1939 * @generated
1940 */
1941 EReference getPredicateSymbol_Symbol();
1942
1943 /**
1944 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate <em>Error Predicate</em>}'.
1945 * <!-- begin-user-doc -->
1946 * <!-- end-user-doc -->
1947 * @return the meta object for class '<em>Error Predicate</em>'.
1948 * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate
1949 * @generated
1950 */
1951 EClass getErrorPredicate();
1952
1953 /**
1954 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName <em>Name</em>}'.
1955 * <!-- begin-user-doc -->
1956 * <!-- end-user-doc -->
1957 * @return the meta object for the attribute '<em>Name</em>'.
1958 * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName()
1959 * @see #getErrorPredicate()
1960 * @generated
1961 */
1962 EAttribute getErrorPredicate_Name();
1963
1964 /**
1965 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'.
1966 * <!-- begin-user-doc -->
1967 * <!-- end-user-doc -->
1968 * @return the meta object for class '<em>Parameter</em>'.
1969 * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter
1970 * @generated
1971 */
1972 EClass getParameter();
1973
1974 /**
1975 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter#getVariable <em>Variable</em>}'.
1976 * <!-- begin-user-doc -->
1977 * <!-- end-user-doc -->
1978 * @return the meta object for the containment reference '<em>Variable</em>'.
1979 * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter#getVariable()
1980 * @see #getParameter()
1981 * @generated
1982 */
1983 EReference getParameter_Variable();
1984
1985 /**
1986 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter#getType <em>Type</em>}'.
1987 * <!-- begin-user-doc -->
1988 * <!-- end-user-doc -->
1989 * @return the meta object for the containment reference '<em>Type</em>'.
1990 * @see org.eclipse.viatra.solver.language.solverLanguage.Parameter#getType()
1991 * @see #getParameter()
1992 * @generated
1993 */
1994 EReference getParameter_Type();
1995
1996 /**
1997 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody <em>Pattern Body</em>}'.
1998 * <!-- begin-user-doc -->
1999 * <!-- end-user-doc -->
2000 * @return the meta object for class '<em>Pattern Body</em>'.
2001 * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody
2002 * @generated
2003 */
2004 EClass getPatternBody();
2005
2006 /**
2007 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.PatternBody#getConstraints <em>Constraints</em>}'.
2008 * <!-- begin-user-doc -->
2009 * <!-- end-user-doc -->
2010 * @return the meta object for the containment reference list '<em>Constraints</em>'.
2011 * @see org.eclipse.viatra.solver.language.solverLanguage.PatternBody#getConstraints()
2012 * @see #getPatternBody()
2013 * @generated
2014 */
2015 EReference getPatternBody_Constraints();
2016
2017 /**
2018 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Polarity <em>Polarity</em>}'.
2019 * <!-- begin-user-doc -->
2020 * <!-- end-user-doc -->
2021 * @return the meta object for class '<em>Polarity</em>'.
2022 * @see org.eclipse.viatra.solver.language.solverLanguage.Polarity
2023 * @generated
2024 */
2025 EClass getPolarity();
2026
2027 /**
2028 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint <em>Constraint</em>}'.
2029 * <!-- begin-user-doc -->
2030 * <!-- end-user-doc -->
2031 * @return the meta object for class '<em>Constraint</em>'.
2032 * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint
2033 * @generated
2034 */
2035 EClass getConstraint();
2036
2037 /**
2038 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getPolarity <em>Polarity</em>}'.
2039 * <!-- begin-user-doc -->
2040 * <!-- end-user-doc -->
2041 * @return the meta object for the containment reference '<em>Polarity</em>'.
2042 * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getPolarity()
2043 * @see #getConstraint()
2044 * @generated
2045 */
2046 EReference getConstraint_Polarity();
2047
2048 /**
2049 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getSymbol <em>Symbol</em>}'.
2050 * <!-- begin-user-doc -->
2051 * <!-- end-user-doc -->
2052 * @return the meta object for the containment reference '<em>Symbol</em>'.
2053 * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getSymbol()
2054 * @see #getConstraint()
2055 * @generated
2056 */
2057 EReference getConstraint_Symbol();
2058
2059 /**
2060 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getParams <em>Params</em>}'.
2061 * <!-- begin-user-doc -->
2062 * <!-- end-user-doc -->
2063 * @return the meta object for the containment reference list '<em>Params</em>'.
2064 * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getParams()
2065 * @see #getConstraint()
2066 * @generated
2067 */
2068 EReference getConstraint_Params();
2069
2070 /**
2071 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Constraint#getClosureType <em>Closure Type</em>}'.
2072 * <!-- begin-user-doc -->
2073 * <!-- end-user-doc -->
2074 * @return the meta object for the containment reference '<em>Closure Type</em>'.
2075 * @see org.eclipse.viatra.solver.language.solverLanguage.Constraint#getClosureType()
2076 * @see #getConstraint()
2077 * @generated
2078 */
2079 EReference getConstraint_ClosureType();
2080
2081 /**
2082 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClosureType <em>Closure Type</em>}'.
2083 * <!-- begin-user-doc -->
2084 * <!-- end-user-doc -->
2085 * @return the meta object for class '<em>Closure Type</em>'.
2086 * @see org.eclipse.viatra.solver.language.solverLanguage.ClosureType
2087 * @generated
2088 */
2089 EClass getClosureType();
2090
2091 /**
2092 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'.
2093 * <!-- begin-user-doc -->
2094 * <!-- end-user-doc -->
2095 * @return the meta object for class '<em>Literal</em>'.
2096 * @see org.eclipse.viatra.solver.language.solverLanguage.Literal
2097 * @generated
2098 */
2099 EClass getLiteral();
2100
2101 /**
2102 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'.
2103 * <!-- begin-user-doc -->
2104 * <!-- end-user-doc -->
2105 * @return the meta object for class '<em>Variable</em>'.
2106 * @see org.eclipse.viatra.solver.language.solverLanguage.Variable
2107 * @generated
2108 */
2109 EClass getVariable();
2110
2111 /**
2112 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable#getName <em>Name</em>}'.
2113 * <!-- begin-user-doc -->
2114 * <!-- end-user-doc -->
2115 * @return the meta object for the attribute '<em>Name</em>'.
2116 * @see org.eclipse.viatra.solver.language.solverLanguage.Variable#getName()
2117 * @see #getVariable()
2118 * @generated
2119 */
2120 EAttribute getVariable_Name();
2121
2122 /**
2123 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances <em>All Instances</em>}'.
2124 * <!-- begin-user-doc -->
2125 * <!-- end-user-doc -->
2126 * @return the meta object for class '<em>All Instances</em>'.
2127 * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances
2128 * @generated
2129 */
2130 EClass getAllInstances();
2131
2132 /**
2133 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.AllInstances#getSymbol <em>Symbol</em>}'.
2134 * <!-- begin-user-doc -->
2135 * <!-- end-user-doc -->
2136 * @return the meta object for the containment reference '<em>Symbol</em>'.
2137 * @see org.eclipse.viatra.solver.language.solverLanguage.AllInstances#getSymbol()
2138 * @see #getAllInstances()
2139 * @generated
2140 */
2141 EReference getAllInstances_Symbol();
2142
2143 /**
2144 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.AllObjects <em>All Objects</em>}'.
2145 * <!-- begin-user-doc -->
2146 * <!-- end-user-doc -->
2147 * @return the meta object for class '<em>All Objects</em>'.
2148 * @see org.eclipse.viatra.solver.language.solverLanguage.AllObjects
2149 * @generated
2150 */
2151 EClass getAllObjects();
2152
2153 /**
2154 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation <em>Default Interpretation</em>}'.
2155 * <!-- begin-user-doc -->
2156 * <!-- end-user-doc -->
2157 * @return the meta object for class '<em>Default Interpretation</em>'.
2158 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation
2159 * @generated
2160 */
2161 EClass getDefaultInterpretation();
2162
2163 /**
2164 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation#getInterpretation <em>Interpretation</em>}'.
2165 * <!-- begin-user-doc -->
2166 * <!-- end-user-doc -->
2167 * @return the meta object for the containment reference '<em>Interpretation</em>'.
2168 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation#getInterpretation()
2169 * @see #getDefaultInterpretation()
2170 * @generated
2171 */
2172 EReference getDefaultInterpretation_Interpretation();
2173
2174 /**
2175 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation <em>CD Interpretation</em>}'.
2176 * <!-- begin-user-doc -->
2177 * <!-- end-user-doc -->
2178 * @return the meta object for class '<em>CD Interpretation</em>'.
2179 * @see org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation
2180 * @generated
2181 */
2182 EClass getCDInterpretation();
2183
2184 /**
2185 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation <em>Class Interpretation</em>}'.
2186 * <!-- begin-user-doc -->
2187 * <!-- end-user-doc -->
2188 * @return the meta object for class '<em>Class Interpretation</em>'.
2189 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation
2190 * @generated
2191 */
2192 EClass getClassInterpretation();
2193
2194 /**
2195 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#isAbstract <em>Abstract</em>}'.
2196 * <!-- begin-user-doc -->
2197 * <!-- end-user-doc -->
2198 * @return the meta object for the attribute '<em>Abstract</em>'.
2199 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#isAbstract()
2200 * @see #getClassInterpretation()
2201 * @generated
2202 */
2203 EAttribute getClassInterpretation_Abstract();
2204
2205 /**
2206 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSymbol <em>Symbol</em>}'.
2207 * <!-- begin-user-doc -->
2208 * <!-- end-user-doc -->
2209 * @return the meta object for the containment reference '<em>Symbol</em>'.
2210 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSymbol()
2211 * @see #getClassInterpretation()
2212 * @generated
2213 */
2214 EReference getClassInterpretation_Symbol();
2215
2216 /**
2217 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSupertypes <em>Supertypes</em>}'.
2218 * <!-- begin-user-doc -->
2219 * <!-- end-user-doc -->
2220 * @return the meta object for the containment reference list '<em>Supertypes</em>'.
2221 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getSupertypes()
2222 * @see #getClassInterpretation()
2223 * @generated
2224 */
2225 EReference getClassInterpretation_Supertypes();
2226
2227 /**
2228 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getFielt <em>Fielt</em>}'.
2229 * <!-- begin-user-doc -->
2230 * <!-- end-user-doc -->
2231 * @return the meta object for the containment reference list '<em>Fielt</em>'.
2232 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation#getFielt()
2233 * @see #getClassInterpretation()
2234 * @generated
2235 */
2236 EReference getClassInterpretation_Fielt();
2237
2238 /**
2239 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation <em>Enum Interpretation</em>}'.
2240 * <!-- begin-user-doc -->
2241 * <!-- end-user-doc -->
2242 * @return the meta object for class '<em>Enum Interpretation</em>'.
2243 * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation
2244 * @generated
2245 */
2246 EClass getEnumInterpretation();
2247
2248 /**
2249 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getSymbol <em>Symbol</em>}'.
2250 * <!-- begin-user-doc -->
2251 * <!-- end-user-doc -->
2252 * @return the meta object for the containment reference '<em>Symbol</em>'.
2253 * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getSymbol()
2254 * @see #getEnumInterpretation()
2255 * @generated
2256 */
2257 EReference getEnumInterpretation_Symbol();
2258
2259 /**
2260 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getObjects <em>Objects</em>}'.
2261 * <!-- begin-user-doc -->
2262 * <!-- end-user-doc -->
2263 * @return the meta object for the containment reference list '<em>Objects</em>'.
2264 * @see org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation#getObjects()
2265 * @see #getEnumInterpretation()
2266 * @generated
2267 */
2268 EReference getEnumInterpretation_Objects();
2269
2270 /**
2271 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation <em>Field Relation Interpretation</em>}'.
2272 * <!-- begin-user-doc -->
2273 * <!-- end-user-doc -->
2274 * @return the meta object for class '<em>Field Relation Interpretation</em>'.
2275 * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation
2276 * @generated
2277 */
2278 EClass getFieldRelationInterpretation();
2279
2280 /**
2281 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#isContainment <em>Containment</em>}'.
2282 * <!-- begin-user-doc -->
2283 * <!-- end-user-doc -->
2284 * @return the meta object for the attribute '<em>Containment</em>'.
2285 * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#isContainment()
2286 * @see #getFieldRelationInterpretation()
2287 * @generated
2288 */
2289 EAttribute getFieldRelationInterpretation_Containment();
2290
2291 /**
2292 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getSymbol <em>Symbol</em>}'.
2293 * <!-- begin-user-doc -->
2294 * <!-- end-user-doc -->
2295 * @return the meta object for the containment reference '<em>Symbol</em>'.
2296 * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getSymbol()
2297 * @see #getFieldRelationInterpretation()
2298 * @generated
2299 */
2300 EReference getFieldRelationInterpretation_Symbol();
2301
2302 /**
2303 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getMultiplicity <em>Multiplicity</em>}'.
2304 * <!-- begin-user-doc -->
2305 * <!-- end-user-doc -->
2306 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
2307 * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getMultiplicity()
2308 * @see #getFieldRelationInterpretation()
2309 * @generated
2310 */
2311 EReference getFieldRelationInterpretation_Multiplicity();
2312
2313 /**
2314 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getTarget <em>Target</em>}'.
2315 * <!-- begin-user-doc -->
2316 * <!-- end-user-doc -->
2317 * @return the meta object for the containment reference '<em>Target</em>'.
2318 * @see org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation#getTarget()
2319 * @see #getFieldRelationInterpretation()
2320 * @generated
2321 */
2322 EReference getFieldRelationInterpretation_Target();
2323
2324 /**
2325 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation <em>Global Relation Interpretation</em>}'.
2326 * <!-- begin-user-doc -->
2327 * <!-- end-user-doc -->
2328 * @return the meta object for class '<em>Global Relation Interpretation</em>'.
2329 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation
2330 * @generated
2331 */
2332 EClass getGlobalRelationInterpretation();
2333
2334 /**
2335 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment <em>Containment</em>}'.
2336 * <!-- begin-user-doc -->
2337 * <!-- end-user-doc -->
2338 * @return the meta object for the attribute '<em>Containment</em>'.
2339 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#isContainment()
2340 * @see #getGlobalRelationInterpretation()
2341 * @generated
2342 */
2343 EAttribute getGlobalRelationInterpretation_Containment();
2344
2345 /**
2346 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol <em>Symbol</em>}'.
2347 * <!-- begin-user-doc -->
2348 * <!-- end-user-doc -->
2349 * @return the meta object for the containment reference '<em>Symbol</em>'.
2350 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSymbol()
2351 * @see #getGlobalRelationInterpretation()
2352 * @generated
2353 */
2354 EReference getGlobalRelationInterpretation_Symbol();
2355
2356 /**
2357 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity <em>Source Multiplicity</em>}'.
2358 * <!-- begin-user-doc -->
2359 * <!-- end-user-doc -->
2360 * @return the meta object for the containment reference '<em>Source Multiplicity</em>'.
2361 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSourceMultiplicity()
2362 * @see #getGlobalRelationInterpretation()
2363 * @generated
2364 */
2365 EReference getGlobalRelationInterpretation_SourceMultiplicity();
2366
2367 /**
2368 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource <em>Source</em>}'.
2369 * <!-- begin-user-doc -->
2370 * <!-- end-user-doc -->
2371 * @return the meta object for the containment reference '<em>Source</em>'.
2372 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getSource()
2373 * @see #getGlobalRelationInterpretation()
2374 * @generated
2375 */
2376 EReference getGlobalRelationInterpretation_Source();
2377
2378 /**
2379 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity <em>Target Multiplicity</em>}'.
2380 * <!-- begin-user-doc -->
2381 * <!-- end-user-doc -->
2382 * @return the meta object for the containment reference '<em>Target Multiplicity</em>'.
2383 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTargetMultiplicity()
2384 * @see #getGlobalRelationInterpretation()
2385 * @generated
2386 */
2387 EReference getGlobalRelationInterpretation_TargetMultiplicity();
2388
2389 /**
2390 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget <em>Target</em>}'.
2391 * <!-- begin-user-doc -->
2392 * <!-- end-user-doc -->
2393 * @return the meta object for the containment reference '<em>Target</em>'.
2394 * @see org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation#getTarget()
2395 * @see #getGlobalRelationInterpretation()
2396 * @generated
2397 */
2398 EReference getGlobalRelationInterpretation_Target();
2399
2400 /**
2401 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition <em>Multiplicity Definition</em>}'.
2402 * <!-- begin-user-doc -->
2403 * <!-- end-user-doc -->
2404 * @return the meta object for class '<em>Multiplicity Definition</em>'.
2405 * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition
2406 * @generated
2407 */
2408 EClass getMultiplicityDefinition();
2409
2410 /**
2411 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower <em>Lower</em>}'.
2412 * <!-- begin-user-doc -->
2413 * <!-- end-user-doc -->
2414 * @return the meta object for the attribute '<em>Lower</em>'.
2415 * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower()
2416 * @see #getMultiplicityDefinition()
2417 * @generated
2418 */
2419 EAttribute getMultiplicityDefinition_Lower();
2420
2421 /**
2422 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper <em>Upper</em>}'.
2423 * <!-- begin-user-doc -->
2424 * <!-- end-user-doc -->
2425 * @return the meta object for the attribute '<em>Upper</em>'.
2426 * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper()
2427 * @see #getMultiplicityDefinition()
2428 * @generated
2429 */
2430 EAttribute getMultiplicityDefinition_Upper();
2431
2432 /**
2433 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper <em>Unlimited Upper</em>}'.
2434 * <!-- begin-user-doc -->
2435 * <!-- end-user-doc -->
2436 * @return the meta object for the attribute '<em>Unlimited Upper</em>'.
2437 * @see org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper()
2438 * @see #getMultiplicityDefinition()
2439 * @generated
2440 */
2441 EAttribute getMultiplicityDefinition_UnlimitedUpper();
2442
2443 /**
2444 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue <em>Boolean True</em>}'.
2445 * <!-- begin-user-doc -->
2446 * <!-- end-user-doc -->
2447 * @return the meta object for class '<em>Boolean True</em>'.
2448 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue
2449 * @generated
2450 */
2451 EClass getBooleanTrue();
2452
2453 /**
2454 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse <em>Boolean False</em>}'.
2455 * <!-- begin-user-doc -->
2456 * <!-- end-user-doc -->
2457 * @return the meta object for class '<em>Boolean False</em>'.
2458 * @see org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse
2459 * @generated
2460 */
2461 EClass getBooleanFalse();
2462
2463 /**
2464 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.True <em>True</em>}'.
2465 * <!-- begin-user-doc -->
2466 * <!-- end-user-doc -->
2467 * @return the meta object for class '<em>True</em>'.
2468 * @see org.eclipse.viatra.solver.language.solverLanguage.True
2469 * @generated
2470 */
2471 EClass getTrue();
2472
2473 /**
2474 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.False <em>False</em>}'.
2475 * <!-- begin-user-doc -->
2476 * <!-- end-user-doc -->
2477 * @return the meta object for class '<em>False</em>'.
2478 * @see org.eclipse.viatra.solver.language.solverLanguage.False
2479 * @generated
2480 */
2481 EClass getFalse();
2482
2483 /**
2484 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Unknown <em>Unknown</em>}'.
2485 * <!-- begin-user-doc -->
2486 * <!-- end-user-doc -->
2487 * @return the meta object for class '<em>Unknown</em>'.
2488 * @see org.eclipse.viatra.solver.language.solverLanguage.Unknown
2489 * @generated
2490 */
2491 EClass getUnknown();
2492
2493 /**
2494 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Error <em>Error</em>}'.
2495 * <!-- begin-user-doc -->
2496 * <!-- end-user-doc -->
2497 * @return the meta object for class '<em>Error</em>'.
2498 * @see org.eclipse.viatra.solver.language.solverLanguage.Error
2499 * @generated
2500 */
2501 EClass getError();
2502
2503 /**
2504 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Positive <em>Positive</em>}'.
2505 * <!-- begin-user-doc -->
2506 * <!-- end-user-doc -->
2507 * @return the meta object for class '<em>Positive</em>'.
2508 * @see org.eclipse.viatra.solver.language.solverLanguage.Positive
2509 * @generated
2510 */
2511 EClass getPositive();
2512
2513 /**
2514 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Negative <em>Negative</em>}'.
2515 * <!-- begin-user-doc -->
2516 * <!-- end-user-doc -->
2517 * @return the meta object for class '<em>Negative</em>'.
2518 * @see org.eclipse.viatra.solver.language.solverLanguage.Negative
2519 * @generated
2520 */
2521 EClass getNegative();
2522
2523 /**
2524 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure <em>Reflexive Closure</em>}'.
2525 * <!-- begin-user-doc -->
2526 * <!-- end-user-doc -->
2527 * @return the meta object for class '<em>Reflexive Closure</em>'.
2528 * @see org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure
2529 * @generated
2530 */
2531 EClass getReflexiveClosure();
2532
2533 /**
2534 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure <em>Irreflexive Closure</em>}'.
2535 * <!-- begin-user-doc -->
2536 * <!-- end-user-doc -->
2537 * @return the meta object for class '<em>Irreflexive Closure</em>'.
2538 * @see org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure
2539 * @generated
2540 */
2541 EClass getIrreflexiveClosure();
2542
2543 /**
2544 * Returns the factory that creates the instances of the model.
2545 * <!-- begin-user-doc -->
2546 * <!-- end-user-doc -->
2547 * @return the factory that creates the instances of the model.
2548 * @generated
2549 */
2550 SolverLanguageFactory getSolverLanguageFactory();
2551
2552 /**
2553 * <!-- begin-user-doc -->
2554 * Defines literals for the meta objects that represent
2555 * <ul>
2556 * <li>each class,</li>
2557 * <li>each feature of each class,</li>
2558 * <li>each enum,</li>
2559 * <li>and each data type</li>
2560 * </ul>
2561 * <!-- end-user-doc -->
2562 * @generated
2563 */
2564 interface Literals
2565 {
2566 /**
2567 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl <em>Problem</em>}' class.
2568 * <!-- begin-user-doc -->
2569 * <!-- end-user-doc -->
2570 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
2571 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
2572 * @generated
2573 */
2574 EClass PROBLEM = eINSTANCE.getProblem();
2575
2576 /**
2577 * The meta object literal for the '<em><b>Statements</b></em>' containment reference list feature.
2578 * <!-- begin-user-doc -->
2579 * <!-- end-user-doc -->
2580 * @generated
2581 */
2582 EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
2583
2584 /**
2585 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl <em>Statement</em>}' class.
2586 * <!-- begin-user-doc -->
2587 * <!-- end-user-doc -->
2588 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
2589 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
2590 * @generated
2591 */
2592 EClass STATEMENT = eINSTANCE.getStatement();
2593
2594 /**
2595 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl <em>Boolean Value</em>}' class.
2596 * <!-- begin-user-doc -->
2597 * <!-- end-user-doc -->
2598 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanValueImpl
2599 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanValue()
2600 * @generated
2601 */
2602 EClass BOOLEAN_VALUE = eINSTANCE.getBooleanValue();
2603
2604 /**
2605 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl <em>Truth Value</em>}' class.
2606 * <!-- begin-user-doc -->
2607 * <!-- end-user-doc -->
2608 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TruthValueImpl
2609 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTruthValue()
2610 * @generated
2611 */
2612 EClass TRUTH_VALUE = eINSTANCE.getTruthValue();
2613
2614 /**
2615 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl <em>Interpretation</em>}' class.
2616 * <!-- begin-user-doc -->
2617 * <!-- end-user-doc -->
2618 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
2619 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
2620 * @generated
2621 */
2622 EClass INTERPRETATION = eINSTANCE.getInterpretation();
2623
2624 /**
2625 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl <em>Basic Interpretation</em>}' class.
2626 * <!-- begin-user-doc -->
2627 * <!-- end-user-doc -->
2628 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BasicInterpretationImpl
2629 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBasicInterpretation()
2630 * @generated
2631 */
2632 EClass BASIC_INTERPRETATION = eINSTANCE.getBasicInterpretation();
2633
2634 /**
2635 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
2636 * <!-- begin-user-doc -->
2637 * <!-- end-user-doc -->
2638 * @generated
2639 */
2640 EReference BASIC_INTERPRETATION__SYMBOL = eINSTANCE.getBasicInterpretation_Symbol();
2641
2642 /**
2643 * The meta object literal for the '<em><b>Objects</b></em>' containment reference list feature.
2644 * <!-- begin-user-doc -->
2645 * <!-- end-user-doc -->
2646 * @generated
2647 */
2648 EReference BASIC_INTERPRETATION__OBJECTS = eINSTANCE.getBasicInterpretation_Objects();
2649
2650 /**
2651 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
2652 * <!-- begin-user-doc -->
2653 * <!-- end-user-doc -->
2654 * @generated
2655 */
2656 EReference BASIC_INTERPRETATION__VALUE = eINSTANCE.getBasicInterpretation_Value();
2657
2658 /**
2659 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl <em>Symbol</em>}' class.
2660 * <!-- begin-user-doc -->
2661 * <!-- end-user-doc -->
2662 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SymbolImpl
2663 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSymbol()
2664 * @generated
2665 */
2666 EClass SYMBOL = eINSTANCE.getSymbol();
2667
2668 /**
2669 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl <em>Model Symbol</em>}' class.
2670 * <!-- begin-user-doc -->
2671 * <!-- end-user-doc -->
2672 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ModelSymbolImpl
2673 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getModelSymbol()
2674 * @generated
2675 */
2676 EClass MODEL_SYMBOL = eINSTANCE.getModelSymbol();
2677
2678 /**
2679 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2680 * <!-- begin-user-doc -->
2681 * <!-- end-user-doc -->
2682 * @generated
2683 */
2684 EAttribute MODEL_SYMBOL__NAME = eINSTANCE.getModelSymbol_Name();
2685
2686 /**
2687 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl <em>Partiality Symbol</em>}' class.
2688 * <!-- begin-user-doc -->
2689 * <!-- end-user-doc -->
2690 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PartialitySymbolImpl
2691 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPartialitySymbol()
2692 * @generated
2693 */
2694 EClass PARTIALITY_SYMBOL = eINSTANCE.getPartialitySymbol();
2695
2696 /**
2697 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl <em>Exist Symbol</em>}' class.
2698 * <!-- begin-user-doc -->
2699 * <!-- end-user-doc -->
2700 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExistSymbolImpl
2701 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExistSymbol()
2702 * @generated
2703 */
2704 EClass EXIST_SYMBOL = eINSTANCE.getExistSymbol();
2705
2706 /**
2707 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl <em>Equals Symbol</em>}' class.
2708 * <!-- begin-user-doc -->
2709 * <!-- end-user-doc -->
2710 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EqualsSymbolImpl
2711 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEqualsSymbol()
2712 * @generated
2713 */
2714 EClass EQUALS_SYMBOL = eINSTANCE.getEqualsSymbol();
2715
2716 /**
2717 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl <em>Data Symbol</em>}' class.
2718 * <!-- begin-user-doc -->
2719 * <!-- end-user-doc -->
2720 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataSymbolImpl
2721 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataSymbol()
2722 * @generated
2723 */
2724 EClass DATA_SYMBOL = eINSTANCE.getDataSymbol();
2725
2726 /**
2727 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl <em>Boolean Symbol</em>}' class.
2728 * <!-- begin-user-doc -->
2729 * <!-- end-user-doc -->
2730 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanSymbolImpl
2731 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanSymbol()
2732 * @generated
2733 */
2734 EClass BOOLEAN_SYMBOL = eINSTANCE.getBooleanSymbol();
2735
2736 /**
2737 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl <em>Integer Symbol</em>}' class.
2738 * <!-- begin-user-doc -->
2739 * <!-- end-user-doc -->
2740 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntegerSymbolImpl
2741 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntegerSymbol()
2742 * @generated
2743 */
2744 EClass INTEGER_SYMBOL = eINSTANCE.getIntegerSymbol();
2745
2746 /**
2747 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl <em>Real Symbol</em>}' class.
2748 * <!-- begin-user-doc -->
2749 * <!-- end-user-doc -->
2750 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealSymbolImpl
2751 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealSymbol()
2752 * @generated
2753 */
2754 EClass REAL_SYMBOL = eINSTANCE.getRealSymbol();
2755
2756 /**
2757 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl <em>String Symbol</em>}' class.
2758 * <!-- begin-user-doc -->
2759 * <!-- end-user-doc -->
2760 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringSymbolImpl
2761 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringSymbol()
2762 * @generated
2763 */
2764 EClass STRING_SYMBOL = eINSTANCE.getStringSymbol();
2765
2766 /**
2767 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl <em>Complex Object</em>}' class.
2768 * <!-- begin-user-doc -->
2769 * <!-- end-user-doc -->
2770 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComplexObjectImpl
2771 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComplexObject()
2772 * @generated
2773 */
2774 EClass COMPLEX_OBJECT = eINSTANCE.getComplexObject();
2775
2776 /**
2777 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl <em>Object</em>}' class.
2778 * <!-- begin-user-doc -->
2779 * <!-- end-user-doc -->
2780 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectImpl
2781 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObject()
2782 * @generated
2783 */
2784 EClass OBJECT = eINSTANCE.getObject();
2785
2786 /**
2787 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl <em>Named Object</em>}' class.
2788 * <!-- begin-user-doc -->
2789 * <!-- end-user-doc -->
2790 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedObjectImpl
2791 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedObject()
2792 * @generated
2793 */
2794 EClass NAMED_OBJECT = eINSTANCE.getNamedObject();
2795
2796 /**
2797 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2798 * <!-- begin-user-doc -->
2799 * <!-- end-user-doc -->
2800 * @generated
2801 */
2802 EAttribute NAMED_OBJECT__NAME = eINSTANCE.getNamedObject_Name();
2803
2804 /**
2805 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl <em>Unnamed Object</em>}' class.
2806 * <!-- begin-user-doc -->
2807 * <!-- end-user-doc -->
2808 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedObjectImpl
2809 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedObject()
2810 * @generated
2811 */
2812 EClass UNNAMED_OBJECT = eINSTANCE.getUnnamedObject();
2813
2814 /**
2815 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2816 * <!-- begin-user-doc -->
2817 * <!-- end-user-doc -->
2818 * @generated
2819 */
2820 EAttribute UNNAMED_OBJECT__NAME = eINSTANCE.getUnnamedObject_Name();
2821
2822 /**
2823 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl <em>Data Object</em>}' class.
2824 * <!-- begin-user-doc -->
2825 * <!-- end-user-doc -->
2826 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DataObjectImpl
2827 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDataObject()
2828 * @generated
2829 */
2830 EClass DATA_OBJECT = eINSTANCE.getDataObject();
2831
2832 /**
2833 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl <em>Boolean Object</em>}' class.
2834 * <!-- begin-user-doc -->
2835 * <!-- end-user-doc -->
2836 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanObjectImpl
2837 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanObject()
2838 * @generated
2839 */
2840 EClass BOOLEAN_OBJECT = eINSTANCE.getBooleanObject();
2841
2842 /**
2843 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
2844 * <!-- begin-user-doc -->
2845 * <!-- end-user-doc -->
2846 * @generated
2847 */
2848 EReference BOOLEAN_OBJECT__VALUE = eINSTANCE.getBooleanObject_Value();
2849
2850 /**
2851 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl <em>Int Object</em>}' class.
2852 * <!-- begin-user-doc -->
2853 * <!-- end-user-doc -->
2854 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntObjectImpl
2855 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIntObject()
2856 * @generated
2857 */
2858 EClass INT_OBJECT = eINSTANCE.getIntObject();
2859
2860 /**
2861 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
2862 * <!-- begin-user-doc -->
2863 * <!-- end-user-doc -->
2864 * @generated
2865 */
2866 EAttribute INT_OBJECT__VALUE = eINSTANCE.getIntObject_Value();
2867
2868 /**
2869 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl <em>Real Object</em>}' class.
2870 * <!-- begin-user-doc -->
2871 * <!-- end-user-doc -->
2872 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.RealObjectImpl
2873 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getRealObject()
2874 * @generated
2875 */
2876 EClass REAL_OBJECT = eINSTANCE.getRealObject();
2877
2878 /**
2879 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
2880 * <!-- begin-user-doc -->
2881 * <!-- end-user-doc -->
2882 * @generated
2883 */
2884 EAttribute REAL_OBJECT__VALUE = eINSTANCE.getRealObject_Value();
2885
2886 /**
2887 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl <em>String Object</em>}' class.
2888 * <!-- begin-user-doc -->
2889 * <!-- end-user-doc -->
2890 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringObjectImpl
2891 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringObject()
2892 * @generated
2893 */
2894 EClass STRING_OBJECT = eINSTANCE.getStringObject();
2895
2896 /**
2897 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
2898 * <!-- begin-user-doc -->
2899 * <!-- end-user-doc -->
2900 * @generated
2901 */
2902 EAttribute STRING_OBJECT__VALUE = eINSTANCE.getStringObject_Value();
2903
2904 /**
2905 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl <em>Predicate</em>}' class.
2906 * <!-- begin-user-doc -->
2907 * <!-- end-user-doc -->
2908 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
2909 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
2910 * @generated
2911 */
2912 EClass PREDICATE = eINSTANCE.getPredicate();
2913
2914 /**
2915 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
2916 * <!-- begin-user-doc -->
2917 * <!-- end-user-doc -->
2918 * @generated
2919 */
2920 EReference PREDICATE__PARAMETERS = eINSTANCE.getPredicate_Parameters();
2921
2922 /**
2923 * The meta object literal for the '<em><b>Bodies</b></em>' containment reference list feature.
2924 * <!-- begin-user-doc -->
2925 * <!-- end-user-doc -->
2926 * @generated
2927 */
2928 EReference PREDICATE__BODIES = eINSTANCE.getPredicate_Bodies();
2929
2930 /**
2931 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl <em>Predicate Symbol</em>}' class.
2932 * <!-- begin-user-doc -->
2933 * <!-- end-user-doc -->
2934 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl
2935 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateSymbol()
2936 * @generated
2937 */
2938 EClass PREDICATE_SYMBOL = eINSTANCE.getPredicateSymbol();
2939
2940 /**
2941 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
2942 * <!-- begin-user-doc -->
2943 * <!-- end-user-doc -->
2944 * @generated
2945 */
2946 EReference PREDICATE_SYMBOL__SYMBOL = eINSTANCE.getPredicateSymbol_Symbol();
2947
2948 /**
2949 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl <em>Error Predicate</em>}' class.
2950 * <!-- begin-user-doc -->
2951 * <!-- end-user-doc -->
2952 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl
2953 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getErrorPredicate()
2954 * @generated
2955 */
2956 EClass ERROR_PREDICATE = eINSTANCE.getErrorPredicate();
2957
2958 /**
2959 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2960 * <!-- begin-user-doc -->
2961 * <!-- end-user-doc -->
2962 * @generated
2963 */
2964 EAttribute ERROR_PREDICATE__NAME = eINSTANCE.getErrorPredicate_Name();
2965
2966 /**
2967 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl <em>Parameter</em>}' class.
2968 * <!-- begin-user-doc -->
2969 * <!-- end-user-doc -->
2970 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl
2971 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter()
2972 * @generated
2973 */
2974 EClass PARAMETER = eINSTANCE.getParameter();
2975
2976 /**
2977 * The meta object literal for the '<em><b>Variable</b></em>' containment reference feature.
2978 * <!-- begin-user-doc -->
2979 * <!-- end-user-doc -->
2980 * @generated
2981 */
2982 EReference PARAMETER__VARIABLE = eINSTANCE.getParameter_Variable();
2983
2984 /**
2985 * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.
2986 * <!-- begin-user-doc -->
2987 * <!-- end-user-doc -->
2988 * @generated
2989 */
2990 EReference PARAMETER__TYPE = eINSTANCE.getParameter_Type();
2991
2992 /**
2993 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl <em>Pattern Body</em>}' class.
2994 * <!-- begin-user-doc -->
2995 * <!-- end-user-doc -->
2996 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PatternBodyImpl
2997 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody()
2998 * @generated
2999 */
3000 EClass PATTERN_BODY = eINSTANCE.getPatternBody();
3001
3002 /**
3003 * The meta object literal for the '<em><b>Constraints</b></em>' containment reference list feature.
3004 * <!-- begin-user-doc -->
3005 * <!-- end-user-doc -->
3006 * @generated
3007 */
3008 EReference PATTERN_BODY__CONSTRAINTS = eINSTANCE.getPatternBody_Constraints();
3009
3010 /**
3011 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl <em>Polarity</em>}' class.
3012 * <!-- begin-user-doc -->
3013 * <!-- end-user-doc -->
3014 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PolarityImpl
3015 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity()
3016 * @generated
3017 */
3018 EClass POLARITY = eINSTANCE.getPolarity();
3019
3020 /**
3021 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl <em>Constraint</em>}' class.
3022 * <!-- begin-user-doc -->
3023 * <!-- end-user-doc -->
3024 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConstraintImpl
3025 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint()
3026 * @generated
3027 */
3028 EClass CONSTRAINT = eINSTANCE.getConstraint();
3029
3030 /**
3031 * The meta object literal for the '<em><b>Polarity</b></em>' containment reference feature.
3032 * <!-- begin-user-doc -->
3033 * <!-- end-user-doc -->
3034 * @generated
3035 */
3036 EReference CONSTRAINT__POLARITY = eINSTANCE.getConstraint_Polarity();
3037
3038 /**
3039 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
3040 * <!-- begin-user-doc -->
3041 * <!-- end-user-doc -->
3042 * @generated
3043 */
3044 EReference CONSTRAINT__SYMBOL = eINSTANCE.getConstraint_Symbol();
3045
3046 /**
3047 * The meta object literal for the '<em><b>Params</b></em>' containment reference list feature.
3048 * <!-- begin-user-doc -->
3049 * <!-- end-user-doc -->
3050 * @generated
3051 */
3052 EReference CONSTRAINT__PARAMS = eINSTANCE.getConstraint_Params();
3053
3054 /**
3055 * The meta object literal for the '<em><b>Closure Type</b></em>' containment reference feature.
3056 * <!-- begin-user-doc -->
3057 * <!-- end-user-doc -->
3058 * @generated
3059 */
3060 EReference CONSTRAINT__CLOSURE_TYPE = eINSTANCE.getConstraint_ClosureType();
3061
3062 /**
3063 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl <em>Closure Type</em>}' class.
3064 * <!-- begin-user-doc -->
3065 * <!-- end-user-doc -->
3066 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClosureTypeImpl
3067 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType()
3068 * @generated
3069 */
3070 EClass CLOSURE_TYPE = eINSTANCE.getClosureType();
3071
3072 /**
3073 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl <em>Literal</em>}' class.
3074 * <!-- begin-user-doc -->
3075 * <!-- end-user-doc -->
3076 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
3077 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
3078 * @generated
3079 */
3080 EClass LITERAL = eINSTANCE.getLiteral();
3081
3082 /**
3083 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl <em>Variable</em>}' class.
3084 * <!-- begin-user-doc -->
3085 * <!-- end-user-doc -->
3086 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
3087 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
3088 * @generated
3089 */
3090 EClass VARIABLE = eINSTANCE.getVariable();
3091
3092 /**
3093 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
3094 * <!-- begin-user-doc -->
3095 * <!-- end-user-doc -->
3096 * @generated
3097 */
3098 EAttribute VARIABLE__NAME = eINSTANCE.getVariable_Name();
3099
3100 /**
3101 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl <em>All Instances</em>}' class.
3102 * <!-- begin-user-doc -->
3103 * <!-- end-user-doc -->
3104 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllInstancesImpl
3105 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances()
3106 * @generated
3107 */
3108 EClass ALL_INSTANCES = eINSTANCE.getAllInstances();
3109
3110 /**
3111 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
3112 * <!-- begin-user-doc -->
3113 * <!-- end-user-doc -->
3114 * @generated
3115 */
3116 EReference ALL_INSTANCES__SYMBOL = eINSTANCE.getAllInstances_Symbol();
3117
3118 /**
3119 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl <em>All Objects</em>}' class.
3120 * <!-- begin-user-doc -->
3121 * <!-- end-user-doc -->
3122 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AllObjectsImpl
3123 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects()
3124 * @generated
3125 */
3126 EClass ALL_OBJECTS = eINSTANCE.getAllObjects();
3127
3128 /**
3129 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl <em>Default Interpretation</em>}' class.
3130 * <!-- begin-user-doc -->
3131 * <!-- end-user-doc -->
3132 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultInterpretationImpl
3133 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation()
3134 * @generated
3135 */
3136 EClass DEFAULT_INTERPRETATION = eINSTANCE.getDefaultInterpretation();
3137
3138 /**
3139 * The meta object literal for the '<em><b>Interpretation</b></em>' containment reference feature.
3140 * <!-- begin-user-doc -->
3141 * <!-- end-user-doc -->
3142 * @generated
3143 */
3144 EReference DEFAULT_INTERPRETATION__INTERPRETATION = eINSTANCE.getDefaultInterpretation_Interpretation();
3145
3146 /**
3147 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl <em>CD Interpretation</em>}' class.
3148 * <!-- begin-user-doc -->
3149 * <!-- end-user-doc -->
3150 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CDInterpretationImpl
3151 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation()
3152 * @generated
3153 */
3154 EClass CD_INTERPRETATION = eINSTANCE.getCDInterpretation();
3155
3156 /**
3157 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl <em>Class Interpretation</em>}' class.
3158 * <!-- begin-user-doc -->
3159 * <!-- end-user-doc -->
3160 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassInterpretationImpl
3161 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation()
3162 * @generated
3163 */
3164 EClass CLASS_INTERPRETATION = eINSTANCE.getClassInterpretation();
3165
3166 /**
3167 * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature.
3168 * <!-- begin-user-doc -->
3169 * <!-- end-user-doc -->
3170 * @generated
3171 */
3172 EAttribute CLASS_INTERPRETATION__ABSTRACT = eINSTANCE.getClassInterpretation_Abstract();
3173
3174 /**
3175 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
3176 * <!-- begin-user-doc -->
3177 * <!-- end-user-doc -->
3178 * @generated
3179 */
3180 EReference CLASS_INTERPRETATION__SYMBOL = eINSTANCE.getClassInterpretation_Symbol();
3181
3182 /**
3183 * The meta object literal for the '<em><b>Supertypes</b></em>' containment reference list feature.
3184 * <!-- begin-user-doc -->
3185 * <!-- end-user-doc -->
3186 * @generated
3187 */
3188 EReference CLASS_INTERPRETATION__SUPERTYPES = eINSTANCE.getClassInterpretation_Supertypes();
3189
3190 /**
3191 * The meta object literal for the '<em><b>Fielt</b></em>' containment reference list feature.
3192 * <!-- begin-user-doc -->
3193 * <!-- end-user-doc -->
3194 * @generated
3195 */
3196 EReference CLASS_INTERPRETATION__FIELT = eINSTANCE.getClassInterpretation_Fielt();
3197
3198 /**
3199 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl <em>Enum Interpretation</em>}' class.
3200 * <!-- begin-user-doc -->
3201 * <!-- end-user-doc -->
3202 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EnumInterpretationImpl
3203 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation()
3204 * @generated
3205 */
3206 EClass ENUM_INTERPRETATION = eINSTANCE.getEnumInterpretation();
3207
3208 /**
3209 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
3210 * <!-- begin-user-doc -->
3211 * <!-- end-user-doc -->
3212 * @generated
3213 */
3214 EReference ENUM_INTERPRETATION__SYMBOL = eINSTANCE.getEnumInterpretation_Symbol();
3215
3216 /**
3217 * The meta object literal for the '<em><b>Objects</b></em>' containment reference list feature.
3218 * <!-- begin-user-doc -->
3219 * <!-- end-user-doc -->
3220 * @generated
3221 */
3222 EReference ENUM_INTERPRETATION__OBJECTS = eINSTANCE.getEnumInterpretation_Objects();
3223
3224 /**
3225 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl <em>Field Relation Interpretation</em>}' class.
3226 * <!-- begin-user-doc -->
3227 * <!-- end-user-doc -->
3228 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FieldRelationInterpretationImpl
3229 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation()
3230 * @generated
3231 */
3232 EClass FIELD_RELATION_INTERPRETATION = eINSTANCE.getFieldRelationInterpretation();
3233
3234 /**
3235 * The meta object literal for the '<em><b>Containment</b></em>' attribute feature.
3236 * <!-- begin-user-doc -->
3237 * <!-- end-user-doc -->
3238 * @generated
3239 */
3240 EAttribute FIELD_RELATION_INTERPRETATION__CONTAINMENT = eINSTANCE.getFieldRelationInterpretation_Containment();
3241
3242 /**
3243 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
3244 * <!-- begin-user-doc -->
3245 * <!-- end-user-doc -->
3246 * @generated
3247 */
3248 EReference FIELD_RELATION_INTERPRETATION__SYMBOL = eINSTANCE.getFieldRelationInterpretation_Symbol();
3249
3250 /**
3251 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
3252 * <!-- begin-user-doc -->
3253 * <!-- end-user-doc -->
3254 * @generated
3255 */
3256 EReference FIELD_RELATION_INTERPRETATION__MULTIPLICITY = eINSTANCE.getFieldRelationInterpretation_Multiplicity();
3257
3258 /**
3259 * The meta object literal for the '<em><b>Target</b></em>' containment reference feature.
3260 * <!-- begin-user-doc -->
3261 * <!-- end-user-doc -->
3262 * @generated
3263 */
3264 EReference FIELD_RELATION_INTERPRETATION__TARGET = eINSTANCE.getFieldRelationInterpretation_Target();
3265
3266 /**
3267 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl <em>Global Relation Interpretation</em>}' class.
3268 * <!-- begin-user-doc -->
3269 * <!-- end-user-doc -->
3270 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.GlobalRelationInterpretationImpl
3271 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation()
3272 * @generated
3273 */
3274 EClass GLOBAL_RELATION_INTERPRETATION = eINSTANCE.getGlobalRelationInterpretation();
3275
3276 /**
3277 * The meta object literal for the '<em><b>Containment</b></em>' attribute feature.
3278 * <!-- begin-user-doc -->
3279 * <!-- end-user-doc -->
3280 * @generated
3281 */
3282 EAttribute GLOBAL_RELATION_INTERPRETATION__CONTAINMENT = eINSTANCE.getGlobalRelationInterpretation_Containment();
3283
3284 /**
3285 * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature.
3286 * <!-- begin-user-doc -->
3287 * <!-- end-user-doc -->
3288 * @generated
3289 */
3290 EReference GLOBAL_RELATION_INTERPRETATION__SYMBOL = eINSTANCE.getGlobalRelationInterpretation_Symbol();
3291
3292 /**
3293 * The meta object literal for the '<em><b>Source Multiplicity</b></em>' containment reference feature.
3294 * <!-- begin-user-doc -->
3295 * <!-- end-user-doc -->
3296 * @generated
3297 */
3298 EReference GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY = eINSTANCE.getGlobalRelationInterpretation_SourceMultiplicity();
3299
3300 /**
3301 * The meta object literal for the '<em><b>Source</b></em>' containment reference feature.
3302 * <!-- begin-user-doc -->
3303 * <!-- end-user-doc -->
3304 * @generated
3305 */
3306 EReference GLOBAL_RELATION_INTERPRETATION__SOURCE = eINSTANCE.getGlobalRelationInterpretation_Source();
3307
3308 /**
3309 * The meta object literal for the '<em><b>Target Multiplicity</b></em>' containment reference feature.
3310 * <!-- begin-user-doc -->
3311 * <!-- end-user-doc -->
3312 * @generated
3313 */
3314 EReference GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY = eINSTANCE.getGlobalRelationInterpretation_TargetMultiplicity();
3315
3316 /**
3317 * The meta object literal for the '<em><b>Target</b></em>' containment reference feature.
3318 * <!-- begin-user-doc -->
3319 * <!-- end-user-doc -->
3320 * @generated
3321 */
3322 EReference GLOBAL_RELATION_INTERPRETATION__TARGET = eINSTANCE.getGlobalRelationInterpretation_Target();
3323
3324 /**
3325 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl <em>Multiplicity Definition</em>}' class.
3326 * <!-- begin-user-doc -->
3327 * <!-- end-user-doc -->
3328 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityDefinitionImpl
3329 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition()
3330 * @generated
3331 */
3332 EClass MULTIPLICITY_DEFINITION = eINSTANCE.getMultiplicityDefinition();
3333
3334 /**
3335 * The meta object literal for the '<em><b>Lower</b></em>' attribute feature.
3336 * <!-- begin-user-doc -->
3337 * <!-- end-user-doc -->
3338 * @generated
3339 */
3340 EAttribute MULTIPLICITY_DEFINITION__LOWER = eINSTANCE.getMultiplicityDefinition_Lower();
3341
3342 /**
3343 * The meta object literal for the '<em><b>Upper</b></em>' attribute feature.
3344 * <!-- begin-user-doc -->
3345 * <!-- end-user-doc -->
3346 * @generated
3347 */
3348 EAttribute MULTIPLICITY_DEFINITION__UPPER = eINSTANCE.getMultiplicityDefinition_Upper();
3349
3350 /**
3351 * The meta object literal for the '<em><b>Unlimited Upper</b></em>' attribute feature.
3352 * <!-- begin-user-doc -->
3353 * <!-- end-user-doc -->
3354 * @generated
3355 */
3356 EAttribute MULTIPLICITY_DEFINITION__UNLIMITED_UPPER = eINSTANCE.getMultiplicityDefinition_UnlimitedUpper();
3357
3358 /**
3359 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl <em>Boolean True</em>}' class.
3360 * <!-- begin-user-doc -->
3361 * <!-- end-user-doc -->
3362 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanTrueImpl
3363 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue()
3364 * @generated
3365 */
3366 EClass BOOLEAN_TRUE = eINSTANCE.getBooleanTrue();
3367
3368 /**
3369 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl <em>Boolean False</em>}' class.
3370 * <!-- begin-user-doc -->
3371 * <!-- end-user-doc -->
3372 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BooleanFalseImpl
3373 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse()
3374 * @generated
3375 */
3376 EClass BOOLEAN_FALSE = eINSTANCE.getBooleanFalse();
3377
3378 /**
3379 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl <em>True</em>}' class.
3380 * <!-- begin-user-doc -->
3381 * <!-- end-user-doc -->
3382 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TrueImpl
3383 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue()
3384 * @generated
3385 */
3386 EClass TRUE = eINSTANCE.getTrue();
3387
3388 /**
3389 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl <em>False</em>}' class.
3390 * <!-- begin-user-doc -->
3391 * <!-- end-user-doc -->
3392 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FalseImpl
3393 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse()
3394 * @generated
3395 */
3396 EClass FALSE = eINSTANCE.getFalse();
3397
3398 /**
3399 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl <em>Unknown</em>}' class.
3400 * <!-- begin-user-doc -->
3401 * <!-- end-user-doc -->
3402 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnknownImpl
3403 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown()
3404 * @generated
3405 */
3406 EClass UNKNOWN = eINSTANCE.getUnknown();
3407
3408 /**
3409 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl <em>Error</em>}' class.
3410 * <!-- begin-user-doc -->
3411 * <!-- end-user-doc -->
3412 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorImpl
3413 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError()
3414 * @generated
3415 */
3416 EClass ERROR = eINSTANCE.getError();
3417
3418 /**
3419 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl <em>Positive</em>}' class.
3420 * <!-- begin-user-doc -->
3421 * <!-- end-user-doc -->
3422 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PositiveImpl
3423 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive()
3424 * @generated
3425 */
3426 EClass POSITIVE = eINSTANCE.getPositive();
3427
3428 /**
3429 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl <em>Negative</em>}' class.
3430 * <!-- begin-user-doc -->
3431 * <!-- end-user-doc -->
3432 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NegativeImpl
3433 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative()
3434 * @generated
3435 */
3436 EClass NEGATIVE = eINSTANCE.getNegative();
3437
3438 /**
3439 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl <em>Reflexive Closure</em>}' class.
3440 * <!-- begin-user-doc -->
3441 * <!-- end-user-doc -->
3442 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReflexiveClosureImpl
3443 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure()
3444 * @generated
3445 */
3446 EClass REFLEXIVE_CLOSURE = eINSTANCE.getReflexiveClosure();
3447
3448 /**
3449 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl <em>Irreflexive Closure</em>}' class.
3450 * <!-- begin-user-doc -->
3451 * <!-- end-user-doc -->
3452 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IrreflexiveClosureImpl
3453 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure()
3454 * @generated
3455 */
3456 EClass IRREFLEXIVE_CLOSURE = eINSTANCE.getIrreflexiveClosure();
3457
3458 }
3459
3460} //SolverLanguagePackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-19 19:42:30 +0000