aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java5191
1 files changed, 5191 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
new file mode 100644
index 00000000..9e01d8db
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/ecore-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
@@ -0,0 +1,5191 @@
1/**
2 * generated by Xtext 2.21.0
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.EEnum;
9import org.eclipse.emf.ecore.EPackage;
10import org.eclipse.emf.ecore.EReference;
11
12/**
13 * <!-- begin-user-doc -->
14 * The <b>Package</b> for the model.
15 * It contains accessors for the meta objects to represent
16 * <ul>
17 * <li>each class,</li>
18 * <li>each feature of each class,</li>
19 * <li>each enum,</li>
20 * <li>and each data type</li>
21 * </ul>
22 * <!-- end-user-doc -->
23 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory
24 * @model kind="package"
25 * @generated
26 */
27public interface SolverLanguagePackage extends EPackage {
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.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl
112 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateDefinition()
113 * @generated
114 */
115 int PREDICATE_DEFINITION = 2;
116
117 /**
118 * The feature id for the '<em><b>Head</b></em>' containment reference.
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 * @ordered
123 */
124 int PREDICATE_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
125
126 /**
127 * The feature id for the '<em><b>Body</b></em>' containment reference.
128 * <!-- begin-user-doc -->
129 * <!-- end-user-doc -->
130 * @generated
131 * @ordered
132 */
133 int PREDICATE_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1;
134
135 /**
136 * The feature id for the '<em><b>Functional</b></em>' attribute.
137 * <!-- begin-user-doc -->
138 * <!-- end-user-doc -->
139 * @generated
140 * @ordered
141 */
142 int PREDICATE_DEFINITION__FUNCTIONAL = STATEMENT_FEATURE_COUNT + 2;
143
144 /**
145 * The feature id for the '<em><b>Error</b></em>' attribute.
146 * <!-- begin-user-doc -->
147 * <!-- end-user-doc -->
148 * @generated
149 * @ordered
150 */
151 int PREDICATE_DEFINITION__ERROR = STATEMENT_FEATURE_COUNT + 3;
152
153 /**
154 * The number of structural features of the '<em>Predicate Definition</em>' class.
155 * <!-- begin-user-doc -->
156 * <!-- end-user-doc -->
157 * @generated
158 * @ordered
159 */
160 int PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4;
161
162 /**
163 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl <em>Unnamed Error Prediate Definition</em>}' class.
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl
167 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPrediateDefinition()
168 * @generated
169 */
170 int UNNAMED_ERROR_PREDIATE_DEFINITION = 3;
171
172 /**
173 * The feature id for the '<em><b>Argument List</b></em>' containment reference.
174 * <!-- begin-user-doc -->
175 * <!-- end-user-doc -->
176 * @generated
177 * @ordered
178 */
179 int UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 0;
180
181 /**
182 * The feature id for the '<em><b>Body</b></em>' containment reference.
183 * <!-- begin-user-doc -->
184 * <!-- end-user-doc -->
185 * @generated
186 * @ordered
187 */
188 int UNNAMED_ERROR_PREDIATE_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1;
189
190 /**
191 * The number of structural features of the '<em>Unnamed Error Prediate Definition</em>' class.
192 * <!-- begin-user-doc -->
193 * <!-- end-user-doc -->
194 * @generated
195 * @ordered
196 */
197 int UNNAMED_ERROR_PREDIATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
198
199 /**
200 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl <em>Default Definition</em>}' class.
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl
204 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultDefinition()
205 * @generated
206 */
207 int DEFAULT_DEFINITION = 4;
208
209 /**
210 * The feature id for the '<em><b>Head</b></em>' containment reference.
211 * <!-- begin-user-doc -->
212 * <!-- end-user-doc -->
213 * @generated
214 * @ordered
215 */
216 int DEFAULT_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
217
218 /**
219 * The feature id for the '<em><b>Range</b></em>' containment reference.
220 * <!-- begin-user-doc -->
221 * <!-- end-user-doc -->
222 * @generated
223 * @ordered
224 */
225 int DEFAULT_DEFINITION__RANGE = STATEMENT_FEATURE_COUNT + 1;
226
227 /**
228 * The number of structural features of the '<em>Default Definition</em>' class.
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 * @ordered
233 */
234 int DEFAULT_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
235
236 /**
237 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl <em>Metric Definition</em>}' class.
238 * <!-- begin-user-doc -->
239 * <!-- end-user-doc -->
240 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl
241 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricDefinition()
242 * @generated
243 */
244 int METRIC_DEFINITION = 5;
245
246 /**
247 * The feature id for the '<em><b>Head</b></em>' containment reference.
248 * <!-- begin-user-doc -->
249 * <!-- end-user-doc -->
250 * @generated
251 * @ordered
252 */
253 int METRIC_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
254
255 /**
256 * The feature id for the '<em><b>Body</b></em>' containment reference.
257 * <!-- begin-user-doc -->
258 * <!-- end-user-doc -->
259 * @generated
260 * @ordered
261 */
262 int METRIC_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1;
263
264 /**
265 * The feature id for the '<em><b>Type</b></em>' reference.
266 * <!-- begin-user-doc -->
267 * <!-- end-user-doc -->
268 * @generated
269 * @ordered
270 */
271 int METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 2;
272
273 /**
274 * The number of structural features of the '<em>Metric Definition</em>' class.
275 * <!-- begin-user-doc -->
276 * <!-- end-user-doc -->
277 * @generated
278 * @ordered
279 */
280 int METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
281
282 /**
283 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl <em>Extern Predicate Definition</em>}' class.
284 * <!-- begin-user-doc -->
285 * <!-- end-user-doc -->
286 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl
287 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDefinition()
288 * @generated
289 */
290 int EXTERN_PREDICATE_DEFINITION = 6;
291
292 /**
293 * The feature id for the '<em><b>Name</b></em>' attribute.
294 * <!-- begin-user-doc -->
295 * <!-- end-user-doc -->
296 * @generated
297 * @ordered
298 */
299 int EXTERN_PREDICATE_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 0;
300
301 /**
302 * The feature id for the '<em><b>Argument List</b></em>' containment reference.
303 * <!-- begin-user-doc -->
304 * <!-- end-user-doc -->
305 * @generated
306 * @ordered
307 */
308 int EXTERN_PREDICATE_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 1;
309
310 /**
311 * The number of structural features of the '<em>Extern Predicate Definition</em>' class.
312 * <!-- begin-user-doc -->
313 * <!-- end-user-doc -->
314 * @generated
315 * @ordered
316 */
317 int EXTERN_PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
318
319 /**
320 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl <em>Extern Metric Definition</em>}' class.
321 * <!-- begin-user-doc -->
322 * <!-- end-user-doc -->
323 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl
324 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternMetricDefinition()
325 * @generated
326 */
327 int EXTERN_METRIC_DEFINITION = 7;
328
329 /**
330 * The feature id for the '<em><b>Type</b></em>' reference.
331 * <!-- begin-user-doc -->
332 * <!-- end-user-doc -->
333 * @generated
334 * @ordered
335 */
336 int EXTERN_METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
337
338 /**
339 * The feature id for the '<em><b>Name</b></em>' attribute.
340 * <!-- begin-user-doc -->
341 * <!-- end-user-doc -->
342 * @generated
343 * @ordered
344 */
345 int EXTERN_METRIC_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
346
347 /**
348 * The feature id for the '<em><b>Argument List</b></em>' containment reference.
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @generated
352 * @ordered
353 */
354 int EXTERN_METRIC_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 2;
355
356 /**
357 * The number of structural features of the '<em>Extern Metric Definition</em>' class.
358 * <!-- begin-user-doc -->
359 * <!-- end-user-doc -->
360 * @generated
361 * @ordered
362 */
363 int EXTERN_METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
364
365 /**
366 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl <em>Extern Aggregator Definition</em>}' class.
367 * <!-- begin-user-doc -->
368 * <!-- end-user-doc -->
369 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl
370 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternAggregatorDefinition()
371 * @generated
372 */
373 int EXTERN_AGGREGATOR_DEFINITION = 8;
374
375 /**
376 * The feature id for the '<em><b>Type</b></em>' reference.
377 * <!-- begin-user-doc -->
378 * <!-- end-user-doc -->
379 * @generated
380 * @ordered
381 */
382 int EXTERN_AGGREGATOR_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
383
384 /**
385 * The feature id for the '<em><b>Name</b></em>' attribute.
386 * <!-- begin-user-doc -->
387 * <!-- end-user-doc -->
388 * @generated
389 * @ordered
390 */
391 int EXTERN_AGGREGATOR_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
392
393 /**
394 * The feature id for the '<em><b>Input Type</b></em>' reference.
395 * <!-- begin-user-doc -->
396 * <!-- end-user-doc -->
397 * @generated
398 * @ordered
399 */
400 int EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE = STATEMENT_FEATURE_COUNT + 2;
401
402 /**
403 * The number of structural features of the '<em>Extern Aggregator Definition</em>' class.
404 * <!-- begin-user-doc -->
405 * <!-- end-user-doc -->
406 * @generated
407 * @ordered
408 */
409 int EXTERN_AGGREGATOR_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
410
411 /**
412 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl <em>Extern Datatype Definition</em>}' class.
413 * <!-- begin-user-doc -->
414 * <!-- end-user-doc -->
415 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl
416 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDatatypeDefinition()
417 * @generated
418 */
419 int EXTERN_DATATYPE_DEFINITION = 9;
420
421 /**
422 * The feature id for the '<em><b>Name</b></em>' attribute.
423 * <!-- begin-user-doc -->
424 * <!-- end-user-doc -->
425 * @generated
426 * @ordered
427 */
428 int EXTERN_DATATYPE_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 0;
429
430 /**
431 * The feature id for the '<em><b>Supertypes</b></em>' reference list.
432 * <!-- begin-user-doc -->
433 * <!-- end-user-doc -->
434 * @generated
435 * @ordered
436 */
437 int EXTERN_DATATYPE_DEFINITION__SUPERTYPES = STATEMENT_FEATURE_COUNT + 1;
438
439 /**
440 * The number of structural features of the '<em>Extern Datatype Definition</em>' class.
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @generated
444 * @ordered
445 */
446 int EXTERN_DATATYPE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
447
448 /**
449 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl <em>Named Element</em>}' class.
450 * <!-- begin-user-doc -->
451 * <!-- end-user-doc -->
452 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl
453 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement()
454 * @generated
455 */
456 int NAMED_ELEMENT = 10;
457
458 /**
459 * The feature id for the '<em><b>Name</b></em>' attribute.
460 * <!-- begin-user-doc -->
461 * <!-- end-user-doc -->
462 * @generated
463 * @ordered
464 */
465 int NAMED_ELEMENT__NAME = 0;
466
467 /**
468 * The number of structural features of the '<em>Named Element</em>' class.
469 * <!-- begin-user-doc -->
470 * <!-- end-user-doc -->
471 * @generated
472 * @ordered
473 */
474 int NAMED_ELEMENT_FEATURE_COUNT = 1;
475
476 /**
477 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl <em>Expression</em>}' class.
478 * <!-- begin-user-doc -->
479 * <!-- end-user-doc -->
480 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl
481 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpression()
482 * @generated
483 */
484 int EXPRESSION = 11;
485
486 /**
487 * The number of structural features of the '<em>Expression</em>' class.
488 * <!-- begin-user-doc -->
489 * <!-- end-user-doc -->
490 * @generated
491 * @ordered
492 */
493 int EXPRESSION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 0;
494
495 /**
496 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl <em>If Else</em>}' class.
497 * <!-- begin-user-doc -->
498 * <!-- end-user-doc -->
499 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl
500 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIfElse()
501 * @generated
502 */
503 int IF_ELSE = 12;
504
505 /**
506 * The feature id for the '<em><b>Then</b></em>' containment reference.
507 * <!-- begin-user-doc -->
508 * <!-- end-user-doc -->
509 * @generated
510 * @ordered
511 */
512 int IF_ELSE__THEN = EXPRESSION_FEATURE_COUNT + 0;
513
514 /**
515 * The feature id for the '<em><b>Else</b></em>' containment reference.
516 * <!-- begin-user-doc -->
517 * <!-- end-user-doc -->
518 * @generated
519 * @ordered
520 */
521 int IF_ELSE__ELSE = EXPRESSION_FEATURE_COUNT + 1;
522
523 /**
524 * The feature id for the '<em><b>Condition</b></em>' containment reference.
525 * <!-- begin-user-doc -->
526 * <!-- end-user-doc -->
527 * @generated
528 * @ordered
529 */
530 int IF_ELSE__CONDITION = EXPRESSION_FEATURE_COUNT + 2;
531
532 /**
533 * The number of structural features of the '<em>If Else</em>' class.
534 * <!-- begin-user-doc -->
535 * <!-- end-user-doc -->
536 * @generated
537 * @ordered
538 */
539 int IF_ELSE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
540
541 /**
542 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl <em>Let</em>}' class.
543 * <!-- begin-user-doc -->
544 * <!-- end-user-doc -->
545 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl
546 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLet()
547 * @generated
548 */
549 int LET = 13;
550
551 /**
552 * The feature id for the '<em><b>Bindings</b></em>' containment reference list.
553 * <!-- begin-user-doc -->
554 * <!-- end-user-doc -->
555 * @generated
556 * @ordered
557 */
558 int LET__BINDINGS = EXPRESSION_FEATURE_COUNT + 0;
559
560 /**
561 * The feature id for the '<em><b>Body</b></em>' containment reference.
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 * @ordered
566 */
567 int LET__BODY = EXPRESSION_FEATURE_COUNT + 1;
568
569 /**
570 * The number of structural features of the '<em>Let</em>' class.
571 * <!-- begin-user-doc -->
572 * <!-- end-user-doc -->
573 * @generated
574 * @ordered
575 */
576 int LET_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
577
578 /**
579 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl <em>Let Binding</em>}' class.
580 * <!-- begin-user-doc -->
581 * <!-- end-user-doc -->
582 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl
583 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLetBinding()
584 * @generated
585 */
586 int LET_BINDING = 14;
587
588 /**
589 * The feature id for the '<em><b>Variable</b></em>' containment reference.
590 * <!-- begin-user-doc -->
591 * <!-- end-user-doc -->
592 * @generated
593 * @ordered
594 */
595 int LET_BINDING__VARIABLE = 0;
596
597 /**
598 * The feature id for the '<em><b>Value</b></em>' containment reference.
599 * <!-- begin-user-doc -->
600 * <!-- end-user-doc -->
601 * @generated
602 * @ordered
603 */
604 int LET_BINDING__VALUE = 1;
605
606 /**
607 * The number of structural features of the '<em>Let Binding</em>' class.
608 * <!-- begin-user-doc -->
609 * <!-- end-user-doc -->
610 * @generated
611 * @ordered
612 */
613 int LET_BINDING_FEATURE_COUNT = 2;
614
615 /**
616 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl <em>Case</em>}' class.
617 * <!-- begin-user-doc -->
618 * <!-- end-user-doc -->
619 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl
620 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase()
621 * @generated
622 */
623 int CASE = 15;
624
625 /**
626 * The feature id for the '<em><b>Body</b></em>' containment reference.
627 * <!-- begin-user-doc -->
628 * <!-- end-user-doc -->
629 * @generated
630 * @ordered
631 */
632 int CASE__BODY = EXPRESSION_FEATURE_COUNT + 0;
633
634 /**
635 * The feature id for the '<em><b>Condition</b></em>' containment reference.
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @generated
639 * @ordered
640 */
641 int CASE__CONDITION = EXPRESSION_FEATURE_COUNT + 1;
642
643 /**
644 * The number of structural features of the '<em>Case</em>' class.
645 * <!-- begin-user-doc -->
646 * <!-- end-user-doc -->
647 * @generated
648 * @ordered
649 */
650 int CASE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
651
652 /**
653 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl <em>Local Variables</em>}' class.
654 * <!-- begin-user-doc -->
655 * <!-- end-user-doc -->
656 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl
657 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLocalVariables()
658 * @generated
659 */
660 int LOCAL_VARIABLES = 16;
661
662 /**
663 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
664 * <!-- begin-user-doc -->
665 * <!-- end-user-doc -->
666 * @generated
667 * @ordered
668 */
669 int LOCAL_VARIABLES__VARIABLES = 0;
670
671 /**
672 * The number of structural features of the '<em>Local Variables</em>' class.
673 * <!-- begin-user-doc -->
674 * <!-- end-user-doc -->
675 * @generated
676 * @ordered
677 */
678 int LOCAL_VARIABLES_FEATURE_COUNT = 1;
679
680 /**
681 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl <em>Quantified Expression</em>}' class.
682 * <!-- begin-user-doc -->
683 * <!-- end-user-doc -->
684 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl
685 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifiedExpression()
686 * @generated
687 */
688 int QUANTIFIED_EXPRESSION = 17;
689
690 /**
691 * The feature id for the '<em><b>Local Variables</b></em>' containment reference.
692 * <!-- begin-user-doc -->
693 * <!-- end-user-doc -->
694 * @generated
695 * @ordered
696 */
697 int QUANTIFIED_EXPRESSION__LOCAL_VARIABLES = EXPRESSION_FEATURE_COUNT + 0;
698
699 /**
700 * The feature id for the '<em><b>Body</b></em>' containment reference.
701 * <!-- begin-user-doc -->
702 * <!-- end-user-doc -->
703 * @generated
704 * @ordered
705 */
706 int QUANTIFIED_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 1;
707
708 /**
709 * The feature id for the '<em><b>Quantifier</b></em>' attribute.
710 * <!-- begin-user-doc -->
711 * <!-- end-user-doc -->
712 * @generated
713 * @ordered
714 */
715 int QUANTIFIED_EXPRESSION__QUANTIFIER = EXPRESSION_FEATURE_COUNT + 2;
716
717 /**
718 * The number of structural features of the '<em>Quantified Expression</em>' class.
719 * <!-- begin-user-doc -->
720 * <!-- end-user-doc -->
721 * @generated
722 * @ordered
723 */
724 int QUANTIFIED_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
725
726 /**
727 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl <em>Aggregation</em>}' class.
728 * <!-- begin-user-doc -->
729 * <!-- end-user-doc -->
730 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl
731 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregation()
732 * @generated
733 */
734 int AGGREGATION = 18;
735
736 /**
737 * The feature id for the '<em><b>Op</b></em>' reference.
738 * <!-- begin-user-doc -->
739 * <!-- end-user-doc -->
740 * @generated
741 * @ordered
742 */
743 int AGGREGATION__OP = EXPRESSION_FEATURE_COUNT + 0;
744
745 /**
746 * The feature id for the '<em><b>Local Variables</b></em>' containment reference.
747 * <!-- begin-user-doc -->
748 * <!-- end-user-doc -->
749 * @generated
750 * @ordered
751 */
752 int AGGREGATION__LOCAL_VARIABLES = EXPRESSION_FEATURE_COUNT + 1;
753
754 /**
755 * The feature id for the '<em><b>Body</b></em>' containment reference.
756 * <!-- begin-user-doc -->
757 * <!-- end-user-doc -->
758 * @generated
759 * @ordered
760 */
761 int AGGREGATION__BODY = EXPRESSION_FEATURE_COUNT + 2;
762
763 /**
764 * The feature id for the '<em><b>Condition</b></em>' containment reference.
765 * <!-- begin-user-doc -->
766 * <!-- end-user-doc -->
767 * @generated
768 * @ordered
769 */
770 int AGGREGATION__CONDITION = EXPRESSION_FEATURE_COUNT + 3;
771
772 /**
773 * The number of structural features of the '<em>Aggregation</em>' class.
774 * <!-- begin-user-doc -->
775 * <!-- end-user-doc -->
776 * @generated
777 * @ordered
778 */
779 int AGGREGATION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 4;
780
781 /**
782 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl <em>Call</em>}' class.
783 * <!-- begin-user-doc -->
784 * <!-- end-user-doc -->
785 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl
786 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall()
787 * @generated
788 */
789 int CALL = 19;
790
791 /**
792 * The feature id for the '<em><b>Functor</b></em>' containment reference.
793 * <!-- begin-user-doc -->
794 * <!-- end-user-doc -->
795 * @generated
796 * @ordered
797 */
798 int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0;
799
800 /**
801 * The feature id for the '<em><b>Transitive Closure</b></em>' attribute.
802 * <!-- begin-user-doc -->
803 * <!-- end-user-doc -->
804 * @generated
805 * @ordered
806 */
807 int CALL__TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 1;
808
809 /**
810 * The feature id for the '<em><b>Reflexive Transitive Closure</b></em>' attribute.
811 * <!-- begin-user-doc -->
812 * <!-- end-user-doc -->
813 * @generated
814 * @ordered
815 */
816 int CALL__REFLEXIVE_TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 2;
817
818 /**
819 * The feature id for the '<em><b>Argument List</b></em>' containment reference.
820 * <!-- begin-user-doc -->
821 * <!-- end-user-doc -->
822 * @generated
823 * @ordered
824 */
825 int CALL__ARGUMENT_LIST = EXPRESSION_FEATURE_COUNT + 3;
826
827 /**
828 * The number of structural features of the '<em>Call</em>' class.
829 * <!-- begin-user-doc -->
830 * <!-- end-user-doc -->
831 * @generated
832 * @ordered
833 */
834 int CALL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 4;
835
836 /**
837 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl <em>Argument List</em>}' class.
838 * <!-- begin-user-doc -->
839 * <!-- end-user-doc -->
840 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl
841 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgumentList()
842 * @generated
843 */
844 int ARGUMENT_LIST = 20;
845
846 /**
847 * The feature id for the '<em><b>Arguments</b></em>' containment reference list.
848 * <!-- begin-user-doc -->
849 * <!-- end-user-doc -->
850 * @generated
851 * @ordered
852 */
853 int ARGUMENT_LIST__ARGUMENTS = 0;
854
855 /**
856 * The number of structural features of the '<em>Argument List</em>' class.
857 * <!-- begin-user-doc -->
858 * <!-- end-user-doc -->
859 * @generated
860 * @ordered
861 */
862 int ARGUMENT_LIST_FEATURE_COUNT = 1;
863
864 /**
865 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl <em>Argument</em>}' class.
866 * <!-- begin-user-doc -->
867 * <!-- end-user-doc -->
868 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl
869 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgument()
870 * @generated
871 */
872 int ARGUMENT = 21;
873
874 /**
875 * The number of structural features of the '<em>Argument</em>' class.
876 * <!-- begin-user-doc -->
877 * <!-- end-user-doc -->
878 * @generated
879 * @ordered
880 */
881 int ARGUMENT_FEATURE_COUNT = 0;
882
883 /**
884 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl <em>Expression Argument</em>}' class.
885 * <!-- begin-user-doc -->
886 * <!-- end-user-doc -->
887 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl
888 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpressionArgument()
889 * @generated
890 */
891 int EXPRESSION_ARGUMENT = 22;
892
893 /**
894 * The feature id for the '<em><b>Body</b></em>' containment reference.
895 * <!-- begin-user-doc -->
896 * <!-- end-user-doc -->
897 * @generated
898 * @ordered
899 */
900 int EXPRESSION_ARGUMENT__BODY = ARGUMENT_FEATURE_COUNT + 0;
901
902 /**
903 * The number of structural features of the '<em>Expression Argument</em>' class.
904 * <!-- begin-user-doc -->
905 * <!-- end-user-doc -->
906 * @generated
907 * @ordered
908 */
909 int EXPRESSION_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
910
911 /**
912 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl <em>Star Argument</em>}' class.
913 * <!-- begin-user-doc -->
914 * <!-- end-user-doc -->
915 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl
916 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStarArgument()
917 * @generated
918 */
919 int STAR_ARGUMENT = 23;
920
921 /**
922 * The number of structural features of the '<em>Star Argument</em>' class.
923 * <!-- begin-user-doc -->
924 * <!-- end-user-doc -->
925 * @generated
926 * @ordered
927 */
928 int STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 0;
929
930 /**
931 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl <em>Typed Argument</em>}' class.
932 * <!-- begin-user-doc -->
933 * <!-- end-user-doc -->
934 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl
935 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedArgument()
936 * @generated
937 */
938 int TYPED_ARGUMENT = 24;
939
940 /**
941 * The feature id for the '<em><b>Type</b></em>' reference.
942 * <!-- begin-user-doc -->
943 * <!-- end-user-doc -->
944 * @generated
945 * @ordered
946 */
947 int TYPED_ARGUMENT__TYPE = ARGUMENT_FEATURE_COUNT + 0;
948
949 /**
950 * The feature id for the '<em><b>Variable</b></em>' reference.
951 * <!-- begin-user-doc -->
952 * <!-- end-user-doc -->
953 * @generated
954 * @ordered
955 */
956 int TYPED_ARGUMENT__VARIABLE = ARGUMENT_FEATURE_COUNT + 1;
957
958 /**
959 * The number of structural features of the '<em>Typed Argument</em>' class.
960 * <!-- begin-user-doc -->
961 * <!-- end-user-doc -->
962 * @generated
963 * @ordered
964 */
965 int TYPED_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 2;
966
967 /**
968 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl <em>Typed Star Argument</em>}' class.
969 * <!-- begin-user-doc -->
970 * <!-- end-user-doc -->
971 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl
972 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedStarArgument()
973 * @generated
974 */
975 int TYPED_STAR_ARGUMENT = 25;
976
977 /**
978 * The feature id for the '<em><b>Type</b></em>' reference.
979 * <!-- begin-user-doc -->
980 * <!-- end-user-doc -->
981 * @generated
982 * @ordered
983 */
984 int TYPED_STAR_ARGUMENT__TYPE = ARGUMENT_FEATURE_COUNT + 0;
985
986 /**
987 * The number of structural features of the '<em>Typed Star Argument</em>' class.
988 * <!-- begin-user-doc -->
989 * <!-- end-user-doc -->
990 * @generated
991 * @ordered
992 */
993 int TYPED_STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
994
995 /**
996 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl <em>Reference</em>}' class.
997 * <!-- begin-user-doc -->
998 * <!-- end-user-doc -->
999 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl
1000 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReference()
1001 * @generated
1002 */
1003 int REFERENCE = 26;
1004
1005 /**
1006 * The feature id for the '<em><b>Referred</b></em>' reference.
1007 * <!-- begin-user-doc -->
1008 * <!-- end-user-doc -->
1009 * @generated
1010 * @ordered
1011 */
1012 int REFERENCE__REFERRED = EXPRESSION_FEATURE_COUNT + 0;
1013
1014 /**
1015 * The number of structural features of the '<em>Reference</em>' class.
1016 * <!-- begin-user-doc -->
1017 * <!-- end-user-doc -->
1018 * @generated
1019 * @ordered
1020 */
1021 int REFERENCE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1022
1023 /**
1024 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl <em>Interval</em>}' class.
1025 * <!-- begin-user-doc -->
1026 * <!-- end-user-doc -->
1027 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl
1028 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterval()
1029 * @generated
1030 */
1031 int INTERVAL = 27;
1032
1033 /**
1034 * The feature id for the '<em><b>Lower Bound</b></em>' containment reference.
1035 * <!-- begin-user-doc -->
1036 * <!-- end-user-doc -->
1037 * @generated
1038 * @ordered
1039 */
1040 int INTERVAL__LOWER_BOUND = EXPRESSION_FEATURE_COUNT + 0;
1041
1042 /**
1043 * The feature id for the '<em><b>Upper Bound</b></em>' containment reference.
1044 * <!-- begin-user-doc -->
1045 * <!-- end-user-doc -->
1046 * @generated
1047 * @ordered
1048 */
1049 int INTERVAL__UPPER_BOUND = EXPRESSION_FEATURE_COUNT + 1;
1050
1051 /**
1052 * The number of structural features of the '<em>Interval</em>' class.
1053 * <!-- begin-user-doc -->
1054 * <!-- end-user-doc -->
1055 * @generated
1056 * @ordered
1057 */
1058 int INTERVAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
1059
1060 /**
1061 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl <em>Literal</em>}' class.
1062 * <!-- begin-user-doc -->
1063 * <!-- end-user-doc -->
1064 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
1065 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
1066 * @generated
1067 */
1068 int LITERAL = 28;
1069
1070 /**
1071 * The number of structural features of the '<em>Literal</em>' class.
1072 * <!-- begin-user-doc -->
1073 * <!-- end-user-doc -->
1074 * @generated
1075 * @ordered
1076 */
1077 int LITERAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 0;
1078
1079 /**
1080 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl <em>Logic Literal</em>}' class.
1081 * <!-- begin-user-doc -->
1082 * <!-- end-user-doc -->
1083 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl
1084 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicLiteral()
1085 * @generated
1086 */
1087 int LOGIC_LITERAL = 29;
1088
1089 /**
1090 * The feature id for the '<em><b>Value</b></em>' attribute.
1091 * <!-- begin-user-doc -->
1092 * <!-- end-user-doc -->
1093 * @generated
1094 * @ordered
1095 */
1096 int LOGIC_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
1097
1098 /**
1099 * The number of structural features of the '<em>Logic Literal</em>' class.
1100 * <!-- begin-user-doc -->
1101 * <!-- end-user-doc -->
1102 * @generated
1103 * @ordered
1104 */
1105 int LOGIC_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
1106
1107 /**
1108 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl <em>Numeric Literal</em>}' class.
1109 * <!-- begin-user-doc -->
1110 * <!-- end-user-doc -->
1111 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl
1112 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNumericLiteral()
1113 * @generated
1114 */
1115 int NUMERIC_LITERAL = 30;
1116
1117 /**
1118 * The feature id for the '<em><b>Value</b></em>' attribute.
1119 * <!-- begin-user-doc -->
1120 * <!-- end-user-doc -->
1121 * @generated
1122 * @ordered
1123 */
1124 int NUMERIC_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
1125
1126 /**
1127 * The number of structural features of the '<em>Numeric Literal</em>' class.
1128 * <!-- begin-user-doc -->
1129 * <!-- end-user-doc -->
1130 * @generated
1131 * @ordered
1132 */
1133 int NUMERIC_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
1134
1135 /**
1136 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl <em>Infinity Literal</em>}' class.
1137 * <!-- begin-user-doc -->
1138 * <!-- end-user-doc -->
1139 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl
1140 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInfinityLiteral()
1141 * @generated
1142 */
1143 int INFINITY_LITERAL = 31;
1144
1145 /**
1146 * The number of structural features of the '<em>Infinity Literal</em>' class.
1147 * <!-- begin-user-doc -->
1148 * <!-- end-user-doc -->
1149 * @generated
1150 * @ordered
1151 */
1152 int INFINITY_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0;
1153
1154 /**
1155 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl <em>Empty Interval Literal</em>}' class.
1156 * <!-- begin-user-doc -->
1157 * <!-- end-user-doc -->
1158 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl
1159 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyIntervalLiteral()
1160 * @generated
1161 */
1162 int EMPTY_INTERVAL_LITERAL = 32;
1163
1164 /**
1165 * The number of structural features of the '<em>Empty Interval Literal</em>' class.
1166 * <!-- begin-user-doc -->
1167 * <!-- end-user-doc -->
1168 * @generated
1169 * @ordered
1170 */
1171 int EMPTY_INTERVAL_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0;
1172
1173 /**
1174 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl <em>String Literal</em>}' class.
1175 * <!-- begin-user-doc -->
1176 * <!-- end-user-doc -->
1177 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl
1178 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral()
1179 * @generated
1180 */
1181 int STRING_LITERAL = 33;
1182
1183 /**
1184 * The feature id for the '<em><b>Value</b></em>' attribute.
1185 * <!-- begin-user-doc -->
1186 * <!-- end-user-doc -->
1187 * @generated
1188 * @ordered
1189 */
1190 int STRING_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
1191
1192 /**
1193 * The number of structural features of the '<em>String Literal</em>' class.
1194 * <!-- begin-user-doc -->
1195 * <!-- end-user-doc -->
1196 * @generated
1197 * @ordered
1198 */
1199 int STRING_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
1200
1201 /**
1202 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl <em>Class Definition</em>}' class.
1203 * <!-- begin-user-doc -->
1204 * <!-- end-user-doc -->
1205 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl
1206 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition()
1207 * @generated
1208 */
1209 int CLASS_DEFINITION = 34;
1210
1211 /**
1212 * The feature id for the '<em><b>Abstract</b></em>' attribute.
1213 * <!-- begin-user-doc -->
1214 * <!-- end-user-doc -->
1215 * @generated
1216 * @ordered
1217 */
1218 int CLASS_DEFINITION__ABSTRACT = STATEMENT_FEATURE_COUNT + 0;
1219
1220 /**
1221 * The feature id for the '<em><b>Name</b></em>' attribute.
1222 * <!-- begin-user-doc -->
1223 * <!-- end-user-doc -->
1224 * @generated
1225 * @ordered
1226 */
1227 int CLASS_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
1228
1229 /**
1230 * The feature id for the '<em><b>Superclasses</b></em>' reference list.
1231 * <!-- begin-user-doc -->
1232 * <!-- end-user-doc -->
1233 * @generated
1234 * @ordered
1235 */
1236 int CLASS_DEFINITION__SUPERCLASSES = STATEMENT_FEATURE_COUNT + 2;
1237
1238 /**
1239 * The feature id for the '<em><b>Members</b></em>' containment reference list.
1240 * <!-- begin-user-doc -->
1241 * <!-- end-user-doc -->
1242 * @generated
1243 * @ordered
1244 */
1245 int CLASS_DEFINITION__MEMBERS = STATEMENT_FEATURE_COUNT + 3;
1246
1247 /**
1248 * The number of structural features of the '<em>Class Definition</em>' class.
1249 * <!-- begin-user-doc -->
1250 * <!-- end-user-doc -->
1251 * @generated
1252 * @ordered
1253 */
1254 int CLASS_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4;
1255
1256 /**
1257 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class.
1258 * <!-- begin-user-doc -->
1259 * <!-- end-user-doc -->
1260 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl
1261 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition()
1262 * @generated
1263 */
1264 int MEMBER_DEFINITION = 35;
1265
1266 /**
1267 * The feature id for the '<em><b>Containment</b></em>' attribute.
1268 * <!-- begin-user-doc -->
1269 * <!-- end-user-doc -->
1270 * @generated
1271 * @ordered
1272 */
1273 int MEMBER_DEFINITION__CONTAINMENT = 0;
1274
1275 /**
1276 * The feature id for the '<em><b>Type</b></em>' reference.
1277 * <!-- begin-user-doc -->
1278 * <!-- end-user-doc -->
1279 * @generated
1280 * @ordered
1281 */
1282 int MEMBER_DEFINITION__TYPE = 1;
1283
1284 /**
1285 * The feature id for the '<em><b>Multiplicity</b></em>' containment reference.
1286 * <!-- begin-user-doc -->
1287 * <!-- end-user-doc -->
1288 * @generated
1289 * @ordered
1290 */
1291 int MEMBER_DEFINITION__MULTIPLICITY = 2;
1292
1293 /**
1294 * The feature id for the '<em><b>Name</b></em>' attribute.
1295 * <!-- begin-user-doc -->
1296 * <!-- end-user-doc -->
1297 * @generated
1298 * @ordered
1299 */
1300 int MEMBER_DEFINITION__NAME = 3;
1301
1302 /**
1303 * The feature id for the '<em><b>Opposite</b></em>' reference.
1304 * <!-- begin-user-doc -->
1305 * <!-- end-user-doc -->
1306 * @generated
1307 * @ordered
1308 */
1309 int MEMBER_DEFINITION__OPPOSITE = 4;
1310
1311 /**
1312 * The number of structural features of the '<em>Member Definition</em>' class.
1313 * <!-- begin-user-doc -->
1314 * <!-- end-user-doc -->
1315 * @generated
1316 * @ordered
1317 */
1318 int MEMBER_DEFINITION_FEATURE_COUNT = 5;
1319
1320 /**
1321 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
1322 * <!-- begin-user-doc -->
1323 * <!-- end-user-doc -->
1324 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl
1325 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity()
1326 * @generated
1327 */
1328 int MULTIPLICITY = 36;
1329
1330 /**
1331 * The number of structural features of the '<em>Multiplicity</em>' class.
1332 * <!-- begin-user-doc -->
1333 * <!-- end-user-doc -->
1334 * @generated
1335 * @ordered
1336 */
1337 int MULTIPLICITY_FEATURE_COUNT = 0;
1338
1339 /**
1340 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl <em>Many Multiplicity</em>}' class.
1341 * <!-- begin-user-doc -->
1342 * <!-- end-user-doc -->
1343 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl
1344 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity()
1345 * @generated
1346 */
1347 int MANY_MULTIPLICITY = 37;
1348
1349 /**
1350 * The number of structural features of the '<em>Many Multiplicity</em>' class.
1351 * <!-- begin-user-doc -->
1352 * <!-- end-user-doc -->
1353 * @generated
1354 * @ordered
1355 */
1356 int MANY_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0;
1357
1358 /**
1359 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
1360 * <!-- begin-user-doc -->
1361 * <!-- end-user-doc -->
1362 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl
1363 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity()
1364 * @generated
1365 */
1366 int EXACT_MULTIPLICITY = 38;
1367
1368 /**
1369 * The feature id for the '<em><b>Multiplicity</b></em>' attribute.
1370 * <!-- begin-user-doc -->
1371 * <!-- end-user-doc -->
1372 * @generated
1373 * @ordered
1374 */
1375 int EXACT_MULTIPLICITY__MULTIPLICITY = MULTIPLICITY_FEATURE_COUNT + 0;
1376
1377 /**
1378 * The number of structural features of the '<em>Exact Multiplicity</em>' class.
1379 * <!-- begin-user-doc -->
1380 * <!-- end-user-doc -->
1381 * @generated
1382 * @ordered
1383 */
1384 int EXACT_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 1;
1385
1386 /**
1387 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl <em>Bounded Multiplicity</em>}' class.
1388 * <!-- begin-user-doc -->
1389 * <!-- end-user-doc -->
1390 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl
1391 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity()
1392 * @generated
1393 */
1394 int BOUNDED_MULTIPLICITY = 39;
1395
1396 /**
1397 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1398 * <!-- begin-user-doc -->
1399 * <!-- end-user-doc -->
1400 * @generated
1401 * @ordered
1402 */
1403 int BOUNDED_MULTIPLICITY__LOWER_BOUND = MULTIPLICITY_FEATURE_COUNT + 0;
1404
1405 /**
1406 * The feature id for the '<em><b>Upper Bound</b></em>' attribute.
1407 * <!-- begin-user-doc -->
1408 * <!-- end-user-doc -->
1409 * @generated
1410 * @ordered
1411 */
1412 int BOUNDED_MULTIPLICITY__UPPER_BOUND = MULTIPLICITY_FEATURE_COUNT + 1;
1413
1414 /**
1415 * The number of structural features of the '<em>Bounded Multiplicity</em>' class.
1416 * <!-- begin-user-doc -->
1417 * <!-- end-user-doc -->
1418 * @generated
1419 * @ordered
1420 */
1421 int BOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 2;
1422
1423 /**
1424 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl <em>Scope Definition</em>}' class.
1425 * <!-- begin-user-doc -->
1426 * <!-- end-user-doc -->
1427 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl
1428 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition()
1429 * @generated
1430 */
1431 int SCOPE_DEFINITION = 40;
1432
1433 /**
1434 * The feature id for the '<em><b>Type</b></em>' reference.
1435 * <!-- begin-user-doc -->
1436 * <!-- end-user-doc -->
1437 * @generated
1438 * @ordered
1439 */
1440 int SCOPE_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
1441
1442 /**
1443 * The number of structural features of the '<em>Scope Definition</em>' class.
1444 * <!-- begin-user-doc -->
1445 * <!-- end-user-doc -->
1446 * @generated
1447 * @ordered
1448 */
1449 int SCOPE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
1450
1451 /**
1452 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl <em>Exact Scope Definition</em>}' class.
1453 * <!-- begin-user-doc -->
1454 * <!-- end-user-doc -->
1455 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl
1456 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition()
1457 * @generated
1458 */
1459 int EXACT_SCOPE_DEFINITION = 41;
1460
1461 /**
1462 * The feature id for the '<em><b>Type</b></em>' reference.
1463 * <!-- begin-user-doc -->
1464 * <!-- end-user-doc -->
1465 * @generated
1466 * @ordered
1467 */
1468 int EXACT_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE;
1469
1470 /**
1471 * The feature id for the '<em><b>Exact Scope</b></em>' attribute.
1472 * <!-- begin-user-doc -->
1473 * <!-- end-user-doc -->
1474 * @generated
1475 * @ordered
1476 */
1477 int EXACT_SCOPE_DEFINITION__EXACT_SCOPE = SCOPE_DEFINITION_FEATURE_COUNT + 0;
1478
1479 /**
1480 * The number of structural features of the '<em>Exact Scope Definition</em>' class.
1481 * <!-- begin-user-doc -->
1482 * <!-- end-user-doc -->
1483 * @generated
1484 * @ordered
1485 */
1486 int EXACT_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 1;
1487
1488 /**
1489 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl <em>Bounded Scope Definition</em>}' class.
1490 * <!-- begin-user-doc -->
1491 * <!-- end-user-doc -->
1492 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl
1493 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition()
1494 * @generated
1495 */
1496 int BOUNDED_SCOPE_DEFINITION = 42;
1497
1498 /**
1499 * The feature id for the '<em><b>Type</b></em>' reference.
1500 * <!-- begin-user-doc -->
1501 * <!-- end-user-doc -->
1502 * @generated
1503 * @ordered
1504 */
1505 int BOUNDED_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE;
1506
1507 /**
1508 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1509 * <!-- begin-user-doc -->
1510 * <!-- end-user-doc -->
1511 * @generated
1512 * @ordered
1513 */
1514 int BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 0;
1515
1516 /**
1517 * The feature id for the '<em><b>Upper Bound</b></em>' attribute.
1518 * <!-- begin-user-doc -->
1519 * <!-- end-user-doc -->
1520 * @generated
1521 * @ordered
1522 */
1523 int BOUNDED_SCOPE_DEFINITION__UPPER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 1;
1524
1525 /**
1526 * The number of structural features of the '<em>Bounded Scope Definition</em>' class.
1527 * <!-- begin-user-doc -->
1528 * <!-- end-user-doc -->
1529 * @generated
1530 * @ordered
1531 */
1532 int BOUNDED_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 2;
1533
1534 /**
1535 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl <em>Lower Bounded Scope Definition</em>}' class.
1536 * <!-- begin-user-doc -->
1537 * <!-- end-user-doc -->
1538 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl
1539 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition()
1540 * @generated
1541 */
1542 int LOWER_BOUNDED_SCOPE_DEFINITION = 43;
1543
1544 /**
1545 * The feature id for the '<em><b>Type</b></em>' reference.
1546 * <!-- begin-user-doc -->
1547 * <!-- end-user-doc -->
1548 * @generated
1549 * @ordered
1550 */
1551 int LOWER_BOUNDED_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE;
1552
1553 /**
1554 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1555 * <!-- begin-user-doc -->
1556 * <!-- end-user-doc -->
1557 * @generated
1558 * @ordered
1559 */
1560 int LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 0;
1561
1562 /**
1563 * The number of structural features of the '<em>Lower Bounded Scope Definition</em>' class.
1564 * <!-- begin-user-doc -->
1565 * <!-- end-user-doc -->
1566 * @generated
1567 * @ordered
1568 */
1569 int LOWER_BOUNDED_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 1;
1570
1571 /**
1572 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl <em>Objective Definition</em>}' class.
1573 * <!-- begin-user-doc -->
1574 * <!-- end-user-doc -->
1575 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl
1576 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition()
1577 * @generated
1578 */
1579 int OBJECTIVE_DEFINITION = 44;
1580
1581 /**
1582 * The feature id for the '<em><b>Kind</b></em>' attribute.
1583 * <!-- begin-user-doc -->
1584 * <!-- end-user-doc -->
1585 * @generated
1586 * @ordered
1587 */
1588 int OBJECTIVE_DEFINITION__KIND = STATEMENT_FEATURE_COUNT + 0;
1589
1590 /**
1591 * The feature id for the '<em><b>Objective</b></em>' containment reference.
1592 * <!-- begin-user-doc -->
1593 * <!-- end-user-doc -->
1594 * @generated
1595 * @ordered
1596 */
1597 int OBJECTIVE_DEFINITION__OBJECTIVE = STATEMENT_FEATURE_COUNT + 1;
1598
1599 /**
1600 * The number of structural features of the '<em>Objective Definition</em>' class.
1601 * <!-- begin-user-doc -->
1602 * <!-- end-user-doc -->
1603 * @generated
1604 * @ordered
1605 */
1606 int OBJECTIVE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
1607
1608 /**
1609 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl <em>Interpretation</em>}' class.
1610 * <!-- begin-user-doc -->
1611 * <!-- end-user-doc -->
1612 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
1613 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
1614 * @generated
1615 */
1616 int INTERPRETATION = 45;
1617
1618 /**
1619 * The feature id for the '<em><b>Body</b></em>' containment reference.
1620 * <!-- begin-user-doc -->
1621 * <!-- end-user-doc -->
1622 * @generated
1623 * @ordered
1624 */
1625 int INTERPRETATION__BODY = STATEMENT_FEATURE_COUNT + 0;
1626
1627 /**
1628 * The feature id for the '<em><b>Range</b></em>' containment reference.
1629 * <!-- begin-user-doc -->
1630 * <!-- end-user-doc -->
1631 * @generated
1632 * @ordered
1633 */
1634 int INTERPRETATION__RANGE = STATEMENT_FEATURE_COUNT + 1;
1635
1636 /**
1637 * The number of structural features of the '<em>Interpretation</em>' class.
1638 * <!-- begin-user-doc -->
1639 * <!-- end-user-doc -->
1640 * @generated
1641 * @ordered
1642 */
1643 int INTERPRETATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
1644
1645 /**
1646 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl <em>Variable</em>}' class.
1647 * <!-- begin-user-doc -->
1648 * <!-- end-user-doc -->
1649 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
1650 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
1651 * @generated
1652 */
1653 int VARIABLE = 46;
1654
1655 /**
1656 * The feature id for the '<em><b>Name</b></em>' attribute.
1657 * <!-- begin-user-doc -->
1658 * <!-- end-user-doc -->
1659 * @generated
1660 * @ordered
1661 */
1662 int VARIABLE__NAME = NAMED_ELEMENT__NAME;
1663
1664 /**
1665 * The feature id for the '<em><b>Type</b></em>' reference.
1666 * <!-- begin-user-doc -->
1667 * <!-- end-user-doc -->
1668 * @generated
1669 * @ordered
1670 */
1671 int VARIABLE__TYPE = NAMED_ELEMENT_FEATURE_COUNT + 0;
1672
1673 /**
1674 * The number of structural features of the '<em>Variable</em>' class.
1675 * <!-- begin-user-doc -->
1676 * <!-- end-user-doc -->
1677 * @generated
1678 * @ordered
1679 */
1680 int VARIABLE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 1;
1681
1682 /**
1683 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl <em>Disjunction</em>}' class.
1684 * <!-- begin-user-doc -->
1685 * <!-- end-user-doc -->
1686 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl
1687 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction()
1688 * @generated
1689 */
1690 int DISJUNCTION = 47;
1691
1692 /**
1693 * The feature id for the '<em><b>Children</b></em>' containment reference list.
1694 * <!-- begin-user-doc -->
1695 * <!-- end-user-doc -->
1696 * @generated
1697 * @ordered
1698 */
1699 int DISJUNCTION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0;
1700
1701 /**
1702 * The number of structural features of the '<em>Disjunction</em>' class.
1703 * <!-- begin-user-doc -->
1704 * <!-- end-user-doc -->
1705 * @generated
1706 * @ordered
1707 */
1708 int DISJUNCTION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1709
1710 /**
1711 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl <em>Switch</em>}' class.
1712 * <!-- begin-user-doc -->
1713 * <!-- end-user-doc -->
1714 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl
1715 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch()
1716 * @generated
1717 */
1718 int SWITCH = 48;
1719
1720 /**
1721 * The feature id for the '<em><b>Cases</b></em>' containment reference list.
1722 * <!-- begin-user-doc -->
1723 * <!-- end-user-doc -->
1724 * @generated
1725 * @ordered
1726 */
1727 int SWITCH__CASES = EXPRESSION_FEATURE_COUNT + 0;
1728
1729 /**
1730 * The number of structural features of the '<em>Switch</em>' class.
1731 * <!-- begin-user-doc -->
1732 * <!-- end-user-doc -->
1733 * @generated
1734 * @ordered
1735 */
1736 int SWITCH_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1737
1738 /**
1739 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl <em>Conjunction</em>}' class.
1740 * <!-- begin-user-doc -->
1741 * <!-- end-user-doc -->
1742 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl
1743 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction()
1744 * @generated
1745 */
1746 int CONJUNCTION = 49;
1747
1748 /**
1749 * The feature id for the '<em><b>Children</b></em>' containment reference list.
1750 * <!-- begin-user-doc -->
1751 * <!-- end-user-doc -->
1752 * @generated
1753 * @ordered
1754 */
1755 int CONJUNCTION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0;
1756
1757 /**
1758 * The number of structural features of the '<em>Conjunction</em>' class.
1759 * <!-- begin-user-doc -->
1760 * <!-- end-user-doc -->
1761 * @generated
1762 * @ordered
1763 */
1764 int CONJUNCTION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1765
1766 /**
1767 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl <em>Comparison</em>}' class.
1768 * <!-- begin-user-doc -->
1769 * <!-- end-user-doc -->
1770 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl
1771 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison()
1772 * @generated
1773 */
1774 int COMPARISON = 50;
1775
1776 /**
1777 * The feature id for the '<em><b>Left</b></em>' containment reference.
1778 * <!-- begin-user-doc -->
1779 * <!-- end-user-doc -->
1780 * @generated
1781 * @ordered
1782 */
1783 int COMPARISON__LEFT = EXPRESSION_FEATURE_COUNT + 0;
1784
1785 /**
1786 * The feature id for the '<em><b>Op</b></em>' attribute.
1787 * <!-- begin-user-doc -->
1788 * <!-- end-user-doc -->
1789 * @generated
1790 * @ordered
1791 */
1792 int COMPARISON__OP = EXPRESSION_FEATURE_COUNT + 1;
1793
1794 /**
1795 * The feature id for the '<em><b>Right</b></em>' containment reference.
1796 * <!-- begin-user-doc -->
1797 * <!-- end-user-doc -->
1798 * @generated
1799 * @ordered
1800 */
1801 int COMPARISON__RIGHT = EXPRESSION_FEATURE_COUNT + 2;
1802
1803 /**
1804 * The number of structural features of the '<em>Comparison</em>' class.
1805 * <!-- begin-user-doc -->
1806 * <!-- end-user-doc -->
1807 * @generated
1808 * @ordered
1809 */
1810 int COMPARISON_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
1811
1812 /**
1813 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl <em>Binary Expression</em>}' class.
1814 * <!-- begin-user-doc -->
1815 * <!-- end-user-doc -->
1816 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl
1817 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression()
1818 * @generated
1819 */
1820 int BINARY_EXPRESSION = 51;
1821
1822 /**
1823 * The feature id for the '<em><b>Left</b></em>' containment reference.
1824 * <!-- begin-user-doc -->
1825 * <!-- end-user-doc -->
1826 * @generated
1827 * @ordered
1828 */
1829 int BINARY_EXPRESSION__LEFT = EXPRESSION_FEATURE_COUNT + 0;
1830
1831 /**
1832 * The feature id for the '<em><b>Op</b></em>' attribute.
1833 * <!-- begin-user-doc -->
1834 * <!-- end-user-doc -->
1835 * @generated
1836 * @ordered
1837 */
1838 int BINARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 1;
1839
1840 /**
1841 * The feature id for the '<em><b>Right</b></em>' containment reference.
1842 * <!-- begin-user-doc -->
1843 * <!-- end-user-doc -->
1844 * @generated
1845 * @ordered
1846 */
1847 int BINARY_EXPRESSION__RIGHT = EXPRESSION_FEATURE_COUNT + 2;
1848
1849 /**
1850 * The number of structural features of the '<em>Binary Expression</em>' class.
1851 * <!-- begin-user-doc -->
1852 * <!-- end-user-doc -->
1853 * @generated
1854 * @ordered
1855 */
1856 int BINARY_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
1857
1858 /**
1859 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CastExpressionImpl <em>Cast Expression</em>}' class.
1860 * <!-- begin-user-doc -->
1861 * <!-- end-user-doc -->
1862 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CastExpressionImpl
1863 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCastExpression()
1864 * @generated
1865 */
1866 int CAST_EXPRESSION = 52;
1867
1868 /**
1869 * The feature id for the '<em><b>Body</b></em>' containment reference.
1870 * <!-- begin-user-doc -->
1871 * <!-- end-user-doc -->
1872 * @generated
1873 * @ordered
1874 */
1875 int CAST_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 0;
1876
1877 /**
1878 * The feature id for the '<em><b>Type</b></em>' reference.
1879 * <!-- begin-user-doc -->
1880 * <!-- end-user-doc -->
1881 * @generated
1882 * @ordered
1883 */
1884 int CAST_EXPRESSION__TYPE = EXPRESSION_FEATURE_COUNT + 1;
1885
1886 /**
1887 * The number of structural features of the '<em>Cast Expression</em>' class.
1888 * <!-- begin-user-doc -->
1889 * <!-- end-user-doc -->
1890 * @generated
1891 * @ordered
1892 */
1893 int CAST_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
1894
1895 /**
1896 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl <em>Unary Expression</em>}' class.
1897 * <!-- begin-user-doc -->
1898 * <!-- end-user-doc -->
1899 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl
1900 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression()
1901 * @generated
1902 */
1903 int UNARY_EXPRESSION = 53;
1904
1905 /**
1906 * The feature id for the '<em><b>Op</b></em>' attribute.
1907 * <!-- begin-user-doc -->
1908 * <!-- end-user-doc -->
1909 * @generated
1910 * @ordered
1911 */
1912 int UNARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 0;
1913
1914 /**
1915 * The feature id for the '<em><b>Body</b></em>' containment reference.
1916 * <!-- begin-user-doc -->
1917 * <!-- end-user-doc -->
1918 * @generated
1919 * @ordered
1920 */
1921 int UNARY_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 1;
1922
1923 /**
1924 * The number of structural features of the '<em>Unary Expression</em>' class.
1925 * <!-- begin-user-doc -->
1926 * <!-- end-user-doc -->
1927 * @generated
1928 * @ordered
1929 */
1930 int UNARY_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
1931
1932 /**
1933 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NodeImpl <em>Node</em>}' class.
1934 * <!-- begin-user-doc -->
1935 * <!-- end-user-doc -->
1936 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NodeImpl
1937 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNode()
1938 * @generated
1939 */
1940 int NODE = 54;
1941
1942 /**
1943 * The feature id for the '<em><b>Name</b></em>' attribute.
1944 * <!-- begin-user-doc -->
1945 * <!-- end-user-doc -->
1946 * @generated
1947 * @ordered
1948 */
1949 int NODE__NAME = NAMED_ELEMENT__NAME;
1950
1951 /**
1952 * The feature id for the '<em><b>With Id</b></em>' attribute.
1953 * <!-- begin-user-doc -->
1954 * <!-- end-user-doc -->
1955 * @generated
1956 * @ordered
1957 */
1958 int NODE__WITH_ID = NAMED_ELEMENT_FEATURE_COUNT + 0;
1959
1960 /**
1961 * The number of structural features of the '<em>Node</em>' class.
1962 * <!-- begin-user-doc -->
1963 * <!-- end-user-doc -->
1964 * @generated
1965 * @ordered
1966 */
1967 int NODE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 1;
1968
1969 /**
1970 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl <em>Functor</em>}' class.
1971 * <!-- begin-user-doc -->
1972 * <!-- end-user-doc -->
1973 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl
1974 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctor()
1975 * @generated
1976 */
1977 int FUNCTOR = 55;
1978
1979 /**
1980 * The feature id for the '<em><b>Name</b></em>' attribute.
1981 * <!-- begin-user-doc -->
1982 * <!-- end-user-doc -->
1983 * @generated
1984 * @ordered
1985 */
1986 int FUNCTOR__NAME = NAMED_ELEMENT__NAME;
1987
1988 /**
1989 * The feature id for the '<em><b>Parameters</b></em>' reference list.
1990 * <!-- begin-user-doc -->
1991 * <!-- end-user-doc -->
1992 * @generated
1993 * @ordered
1994 */
1995 int FUNCTOR__PARAMETERS = NAMED_ELEMENT_FEATURE_COUNT + 0;
1996
1997 /**
1998 * The number of structural features of the '<em>Functor</em>' class.
1999 * <!-- begin-user-doc -->
2000 * <!-- end-user-doc -->
2001 * @generated
2002 * @ordered
2003 */
2004 int FUNCTOR_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 1;
2005
2006 /**
2007 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl <em>Predicate</em>}' class.
2008 * <!-- begin-user-doc -->
2009 * <!-- end-user-doc -->
2010 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
2011 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
2012 * @generated
2013 */
2014 int PREDICATE = 56;
2015
2016 /**
2017 * The feature id for the '<em><b>Name</b></em>' attribute.
2018 * <!-- begin-user-doc -->
2019 * <!-- end-user-doc -->
2020 * @generated
2021 * @ordered
2022 */
2023 int PREDICATE__NAME = FUNCTOR__NAME;
2024
2025 /**
2026 * The feature id for the '<em><b>Parameters</b></em>' reference list.
2027 * <!-- begin-user-doc -->
2028 * <!-- end-user-doc -->
2029 * @generated
2030 * @ordered
2031 */
2032 int PREDICATE__PARAMETERS = FUNCTOR__PARAMETERS;
2033
2034 /**
2035 * The number of structural features of the '<em>Predicate</em>' class.
2036 * <!-- begin-user-doc -->
2037 * <!-- end-user-doc -->
2038 * @generated
2039 * @ordered
2040 */
2041 int PREDICATE_FEATURE_COUNT = FUNCTOR_FEATURE_COUNT + 0;
2042
2043 /**
2044 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl <em>Metric</em>}' class.
2045 * <!-- begin-user-doc -->
2046 * <!-- end-user-doc -->
2047 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl
2048 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetric()
2049 * @generated
2050 */
2051 int METRIC = 57;
2052
2053 /**
2054 * The feature id for the '<em><b>Name</b></em>' attribute.
2055 * <!-- begin-user-doc -->
2056 * <!-- end-user-doc -->
2057 * @generated
2058 * @ordered
2059 */
2060 int METRIC__NAME = FUNCTOR__NAME;
2061
2062 /**
2063 * The feature id for the '<em><b>Parameters</b></em>' reference list.
2064 * <!-- begin-user-doc -->
2065 * <!-- end-user-doc -->
2066 * @generated
2067 * @ordered
2068 */
2069 int METRIC__PARAMETERS = FUNCTOR__PARAMETERS;
2070
2071 /**
2072 * The feature id for the '<em><b>Return Type</b></em>' reference.
2073 * <!-- begin-user-doc -->
2074 * <!-- end-user-doc -->
2075 * @generated
2076 * @ordered
2077 */
2078 int METRIC__RETURN_TYPE = FUNCTOR_FEATURE_COUNT + 0;
2079
2080 /**
2081 * The number of structural features of the '<em>Metric</em>' class.
2082 * <!-- begin-user-doc -->
2083 * <!-- end-user-doc -->
2084 * @generated
2085 * @ordered
2086 */
2087 int METRIC_FEATURE_COUNT = FUNCTOR_FEATURE_COUNT + 1;
2088
2089 /**
2090 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}' enum.
2091 * <!-- begin-user-doc -->
2092 * <!-- end-user-doc -->
2093 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator
2094 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator()
2095 * @generated
2096 */
2097 int BINARY_OPERATOR = 58;
2098
2099 /**
2100 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}' enum.
2101 * <!-- begin-user-doc -->
2102 * <!-- end-user-doc -->
2103 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp
2104 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp()
2105 * @generated
2106 */
2107 int UNARY_OP = 59;
2108
2109 /**
2110 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}' enum.
2111 * <!-- begin-user-doc -->
2112 * <!-- end-user-doc -->
2113 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue
2114 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue()
2115 * @generated
2116 */
2117 int LOGIC_VALUE = 60;
2118
2119 /**
2120 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}' enum.
2121 * <!-- begin-user-doc -->
2122 * <!-- end-user-doc -->
2123 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind
2124 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind()
2125 * @generated
2126 */
2127 int OBJECTIVE_KIND = 61;
2128
2129 /**
2130 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.Quantifier <em>Quantifier</em>}' enum.
2131 * <!-- begin-user-doc -->
2132 * <!-- end-user-doc -->
2133 * @see org.eclipse.viatra.solver.language.solverLanguage.Quantifier
2134 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifier()
2135 * @generated
2136 */
2137 int QUANTIFIER = 62;
2138
2139
2140 /**
2141 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem <em>Problem</em>}'.
2142 * <!-- begin-user-doc -->
2143 * <!-- end-user-doc -->
2144 * @return the meta object for class '<em>Problem</em>'.
2145 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem
2146 * @generated
2147 */
2148 EClass getProblem();
2149
2150 /**
2151 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements <em>Statements</em>}'.
2152 * <!-- begin-user-doc -->
2153 * <!-- end-user-doc -->
2154 * @return the meta object for the containment reference list '<em>Statements</em>'.
2155 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements()
2156 * @see #getProblem()
2157 * @generated
2158 */
2159 EReference getProblem_Statements();
2160
2161 /**
2162 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement <em>Statement</em>}'.
2163 * <!-- begin-user-doc -->
2164 * <!-- end-user-doc -->
2165 * @return the meta object for class '<em>Statement</em>'.
2166 * @see org.eclipse.viatra.solver.language.solverLanguage.Statement
2167 * @generated
2168 */
2169 EClass getStatement();
2170
2171 /**
2172 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'.
2173 * <!-- begin-user-doc -->
2174 * <!-- end-user-doc -->
2175 * @return the meta object for class '<em>Predicate Definition</em>'.
2176 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition
2177 * @generated
2178 */
2179 EClass getPredicateDefinition();
2180
2181 /**
2182 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getHead <em>Head</em>}'.
2183 * <!-- begin-user-doc -->
2184 * <!-- end-user-doc -->
2185 * @return the meta object for the containment reference '<em>Head</em>'.
2186 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getHead()
2187 * @see #getPredicateDefinition()
2188 * @generated
2189 */
2190 EReference getPredicateDefinition_Head();
2191
2192 /**
2193 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getBody <em>Body</em>}'.
2194 * <!-- begin-user-doc -->
2195 * <!-- end-user-doc -->
2196 * @return the meta object for the containment reference '<em>Body</em>'.
2197 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getBody()
2198 * @see #getPredicateDefinition()
2199 * @generated
2200 */
2201 EReference getPredicateDefinition_Body();
2202
2203 /**
2204 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isFunctional <em>Functional</em>}'.
2205 * <!-- begin-user-doc -->
2206 * <!-- end-user-doc -->
2207 * @return the meta object for the attribute '<em>Functional</em>'.
2208 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isFunctional()
2209 * @see #getPredicateDefinition()
2210 * @generated
2211 */
2212 EAttribute getPredicateDefinition_Functional();
2213
2214 /**
2215 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isError <em>Error</em>}'.
2216 * <!-- begin-user-doc -->
2217 * <!-- end-user-doc -->
2218 * @return the meta object for the attribute '<em>Error</em>'.
2219 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isError()
2220 * @see #getPredicateDefinition()
2221 * @generated
2222 */
2223 EAttribute getPredicateDefinition_Error();
2224
2225 /**
2226 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate Definition</em>}'.
2227 * <!-- begin-user-doc -->
2228 * <!-- end-user-doc -->
2229 * @return the meta object for class '<em>Unnamed Error Prediate Definition</em>'.
2230 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition
2231 * @generated
2232 */
2233 EClass getUnnamedErrorPrediateDefinition();
2234
2235 /**
2236 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getArgumentList <em>Argument List</em>}'.
2237 * <!-- begin-user-doc -->
2238 * <!-- end-user-doc -->
2239 * @return the meta object for the containment reference '<em>Argument List</em>'.
2240 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getArgumentList()
2241 * @see #getUnnamedErrorPrediateDefinition()
2242 * @generated
2243 */
2244 EReference getUnnamedErrorPrediateDefinition_ArgumentList();
2245
2246 /**
2247 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getBody <em>Body</em>}'.
2248 * <!-- begin-user-doc -->
2249 * <!-- end-user-doc -->
2250 * @return the meta object for the containment reference '<em>Body</em>'.
2251 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getBody()
2252 * @see #getUnnamedErrorPrediateDefinition()
2253 * @generated
2254 */
2255 EReference getUnnamedErrorPrediateDefinition_Body();
2256
2257 /**
2258 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default Definition</em>}'.
2259 * <!-- begin-user-doc -->
2260 * <!-- end-user-doc -->
2261 * @return the meta object for class '<em>Default Definition</em>'.
2262 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition
2263 * @generated
2264 */
2265 EClass getDefaultDefinition();
2266
2267 /**
2268 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getHead <em>Head</em>}'.
2269 * <!-- begin-user-doc -->
2270 * <!-- end-user-doc -->
2271 * @return the meta object for the containment reference '<em>Head</em>'.
2272 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getHead()
2273 * @see #getDefaultDefinition()
2274 * @generated
2275 */
2276 EReference getDefaultDefinition_Head();
2277
2278 /**
2279 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getRange <em>Range</em>}'.
2280 * <!-- begin-user-doc -->
2281 * <!-- end-user-doc -->
2282 * @return the meta object for the containment reference '<em>Range</em>'.
2283 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getRange()
2284 * @see #getDefaultDefinition()
2285 * @generated
2286 */
2287 EReference getDefaultDefinition_Range();
2288
2289 /**
2290 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric Definition</em>}'.
2291 * <!-- begin-user-doc -->
2292 * <!-- end-user-doc -->
2293 * @return the meta object for class '<em>Metric Definition</em>'.
2294 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition
2295 * @generated
2296 */
2297 EClass getMetricDefinition();
2298
2299 /**
2300 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getHead <em>Head</em>}'.
2301 * <!-- begin-user-doc -->
2302 * <!-- end-user-doc -->
2303 * @return the meta object for the containment reference '<em>Head</em>'.
2304 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getHead()
2305 * @see #getMetricDefinition()
2306 * @generated
2307 */
2308 EReference getMetricDefinition_Head();
2309
2310 /**
2311 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getBody <em>Body</em>}'.
2312 * <!-- begin-user-doc -->
2313 * <!-- end-user-doc -->
2314 * @return the meta object for the containment reference '<em>Body</em>'.
2315 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getBody()
2316 * @see #getMetricDefinition()
2317 * @generated
2318 */
2319 EReference getMetricDefinition_Body();
2320
2321 /**
2322 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType <em>Type</em>}'.
2323 * <!-- begin-user-doc -->
2324 * <!-- end-user-doc -->
2325 * @return the meta object for the reference '<em>Type</em>'.
2326 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType()
2327 * @see #getMetricDefinition()
2328 * @generated
2329 */
2330 EReference getMetricDefinition_Type();
2331
2332 /**
2333 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate Definition</em>}'.
2334 * <!-- begin-user-doc -->
2335 * <!-- end-user-doc -->
2336 * @return the meta object for class '<em>Extern Predicate Definition</em>'.
2337 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition
2338 * @generated
2339 */
2340 EClass getExternPredicateDefinition();
2341
2342 /**
2343 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getName <em>Name</em>}'.
2344 * <!-- begin-user-doc -->
2345 * <!-- end-user-doc -->
2346 * @return the meta object for the attribute '<em>Name</em>'.
2347 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getName()
2348 * @see #getExternPredicateDefinition()
2349 * @generated
2350 */
2351 EAttribute getExternPredicateDefinition_Name();
2352
2353 /**
2354 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getArgumentList <em>Argument List</em>}'.
2355 * <!-- begin-user-doc -->
2356 * <!-- end-user-doc -->
2357 * @return the meta object for the containment reference '<em>Argument List</em>'.
2358 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getArgumentList()
2359 * @see #getExternPredicateDefinition()
2360 * @generated
2361 */
2362 EReference getExternPredicateDefinition_ArgumentList();
2363
2364 /**
2365 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric Definition</em>}'.
2366 * <!-- begin-user-doc -->
2367 * <!-- end-user-doc -->
2368 * @return the meta object for class '<em>Extern Metric Definition</em>'.
2369 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition
2370 * @generated
2371 */
2372 EClass getExternMetricDefinition();
2373
2374 /**
2375 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType <em>Type</em>}'.
2376 * <!-- begin-user-doc -->
2377 * <!-- end-user-doc -->
2378 * @return the meta object for the reference '<em>Type</em>'.
2379 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType()
2380 * @see #getExternMetricDefinition()
2381 * @generated
2382 */
2383 EReference getExternMetricDefinition_Type();
2384
2385 /**
2386 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getName <em>Name</em>}'.
2387 * <!-- begin-user-doc -->
2388 * <!-- end-user-doc -->
2389 * @return the meta object for the attribute '<em>Name</em>'.
2390 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getName()
2391 * @see #getExternMetricDefinition()
2392 * @generated
2393 */
2394 EAttribute getExternMetricDefinition_Name();
2395
2396 /**
2397 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getArgumentList <em>Argument List</em>}'.
2398 * <!-- begin-user-doc -->
2399 * <!-- end-user-doc -->
2400 * @return the meta object for the containment reference '<em>Argument List</em>'.
2401 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getArgumentList()
2402 * @see #getExternMetricDefinition()
2403 * @generated
2404 */
2405 EReference getExternMetricDefinition_ArgumentList();
2406
2407 /**
2408 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition <em>Extern Aggregator Definition</em>}'.
2409 * <!-- begin-user-doc -->
2410 * <!-- end-user-doc -->
2411 * @return the meta object for class '<em>Extern Aggregator Definition</em>'.
2412 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition
2413 * @generated
2414 */
2415 EClass getExternAggregatorDefinition();
2416
2417 /**
2418 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getType <em>Type</em>}'.
2419 * <!-- begin-user-doc -->
2420 * <!-- end-user-doc -->
2421 * @return the meta object for the reference '<em>Type</em>'.
2422 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getType()
2423 * @see #getExternAggregatorDefinition()
2424 * @generated
2425 */
2426 EReference getExternAggregatorDefinition_Type();
2427
2428 /**
2429 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getName <em>Name</em>}'.
2430 * <!-- begin-user-doc -->
2431 * <!-- end-user-doc -->
2432 * @return the meta object for the attribute '<em>Name</em>'.
2433 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getName()
2434 * @see #getExternAggregatorDefinition()
2435 * @generated
2436 */
2437 EAttribute getExternAggregatorDefinition_Name();
2438
2439 /**
2440 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getInputType <em>Input Type</em>}'.
2441 * <!-- begin-user-doc -->
2442 * <!-- end-user-doc -->
2443 * @return the meta object for the reference '<em>Input Type</em>'.
2444 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternAggregatorDefinition#getInputType()
2445 * @see #getExternAggregatorDefinition()
2446 * @generated
2447 */
2448 EReference getExternAggregatorDefinition_InputType();
2449
2450 /**
2451 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition <em>Extern Datatype Definition</em>}'.
2452 * <!-- begin-user-doc -->
2453 * <!-- end-user-doc -->
2454 * @return the meta object for class '<em>Extern Datatype Definition</em>'.
2455 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition
2456 * @generated
2457 */
2458 EClass getExternDatatypeDefinition();
2459
2460 /**
2461 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getName <em>Name</em>}'.
2462 * <!-- begin-user-doc -->
2463 * <!-- end-user-doc -->
2464 * @return the meta object for the attribute '<em>Name</em>'.
2465 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getName()
2466 * @see #getExternDatatypeDefinition()
2467 * @generated
2468 */
2469 EAttribute getExternDatatypeDefinition_Name();
2470
2471 /**
2472 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getSupertypes <em>Supertypes</em>}'.
2473 * <!-- begin-user-doc -->
2474 * <!-- end-user-doc -->
2475 * @return the meta object for the reference list '<em>Supertypes</em>'.
2476 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternDatatypeDefinition#getSupertypes()
2477 * @see #getExternDatatypeDefinition()
2478 * @generated
2479 */
2480 EReference getExternDatatypeDefinition_Supertypes();
2481
2482 /**
2483 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named Element</em>}'.
2484 * <!-- begin-user-doc -->
2485 * <!-- end-user-doc -->
2486 * @return the meta object for class '<em>Named Element</em>'.
2487 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement
2488 * @generated
2489 */
2490 EClass getNamedElement();
2491
2492 /**
2493 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement#getName <em>Name</em>}'.
2494 * <!-- begin-user-doc -->
2495 * <!-- end-user-doc -->
2496 * @return the meta object for the attribute '<em>Name</em>'.
2497 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement#getName()
2498 * @see #getNamedElement()
2499 * @generated
2500 */
2501 EAttribute getNamedElement_Name();
2502
2503 /**
2504 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>Expression</em>}'.
2505 * <!-- begin-user-doc -->
2506 * <!-- end-user-doc -->
2507 * @return the meta object for class '<em>Expression</em>'.
2508 * @see org.eclipse.viatra.solver.language.solverLanguage.Expression
2509 * @generated
2510 */
2511 EClass getExpression();
2512
2513 /**
2514 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If Else</em>}'.
2515 * <!-- begin-user-doc -->
2516 * <!-- end-user-doc -->
2517 * @return the meta object for class '<em>If Else</em>'.
2518 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse
2519 * @generated
2520 */
2521 EClass getIfElse();
2522
2523 /**
2524 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getThen <em>Then</em>}'.
2525 * <!-- begin-user-doc -->
2526 * <!-- end-user-doc -->
2527 * @return the meta object for the containment reference '<em>Then</em>'.
2528 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getThen()
2529 * @see #getIfElse()
2530 * @generated
2531 */
2532 EReference getIfElse_Then();
2533
2534 /**
2535 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getElse <em>Else</em>}'.
2536 * <!-- begin-user-doc -->
2537 * <!-- end-user-doc -->
2538 * @return the meta object for the containment reference '<em>Else</em>'.
2539 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getElse()
2540 * @see #getIfElse()
2541 * @generated
2542 */
2543 EReference getIfElse_Else();
2544
2545 /**
2546 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getCondition <em>Condition</em>}'.
2547 * <!-- begin-user-doc -->
2548 * <!-- end-user-doc -->
2549 * @return the meta object for the containment reference '<em>Condition</em>'.
2550 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getCondition()
2551 * @see #getIfElse()
2552 * @generated
2553 */
2554 EReference getIfElse_Condition();
2555
2556 /**
2557 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Let <em>Let</em>}'.
2558 * <!-- begin-user-doc -->
2559 * <!-- end-user-doc -->
2560 * @return the meta object for class '<em>Let</em>'.
2561 * @see org.eclipse.viatra.solver.language.solverLanguage.Let
2562 * @generated
2563 */
2564 EClass getLet();
2565
2566 /**
2567 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Let#getBindings <em>Bindings</em>}'.
2568 * <!-- begin-user-doc -->
2569 * <!-- end-user-doc -->
2570 * @return the meta object for the containment reference list '<em>Bindings</em>'.
2571 * @see org.eclipse.viatra.solver.language.solverLanguage.Let#getBindings()
2572 * @see #getLet()
2573 * @generated
2574 */
2575 EReference getLet_Bindings();
2576
2577 /**
2578 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Let#getBody <em>Body</em>}'.
2579 * <!-- begin-user-doc -->
2580 * <!-- end-user-doc -->
2581 * @return the meta object for the containment reference '<em>Body</em>'.
2582 * @see org.eclipse.viatra.solver.language.solverLanguage.Let#getBody()
2583 * @see #getLet()
2584 * @generated
2585 */
2586 EReference getLet_Body();
2587
2588 /**
2589 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding <em>Let Binding</em>}'.
2590 * <!-- begin-user-doc -->
2591 * <!-- end-user-doc -->
2592 * @return the meta object for class '<em>Let Binding</em>'.
2593 * @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding
2594 * @generated
2595 */
2596 EClass getLetBinding();
2597
2598 /**
2599 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getVariable <em>Variable</em>}'.
2600 * <!-- begin-user-doc -->
2601 * <!-- end-user-doc -->
2602 * @return the meta object for the containment reference '<em>Variable</em>'.
2603 * @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getVariable()
2604 * @see #getLetBinding()
2605 * @generated
2606 */
2607 EReference getLetBinding_Variable();
2608
2609 /**
2610 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getValue <em>Value</em>}'.
2611 * <!-- begin-user-doc -->
2612 * <!-- end-user-doc -->
2613 * @return the meta object for the containment reference '<em>Value</em>'.
2614 * @see org.eclipse.viatra.solver.language.solverLanguage.LetBinding#getValue()
2615 * @see #getLetBinding()
2616 * @generated
2617 */
2618 EReference getLetBinding_Value();
2619
2620 /**
2621 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</em>}'.
2622 * <!-- begin-user-doc -->
2623 * <!-- end-user-doc -->
2624 * @return the meta object for class '<em>Case</em>'.
2625 * @see org.eclipse.viatra.solver.language.solverLanguage.Case
2626 * @generated
2627 */
2628 EClass getCase();
2629
2630 /**
2631 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getBody <em>Body</em>}'.
2632 * <!-- begin-user-doc -->
2633 * <!-- end-user-doc -->
2634 * @return the meta object for the containment reference '<em>Body</em>'.
2635 * @see org.eclipse.viatra.solver.language.solverLanguage.Case#getBody()
2636 * @see #getCase()
2637 * @generated
2638 */
2639 EReference getCase_Body();
2640
2641 /**
2642 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition <em>Condition</em>}'.
2643 * <!-- begin-user-doc -->
2644 * <!-- end-user-doc -->
2645 * @return the meta object for the containment reference '<em>Condition</em>'.
2646 * @see org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition()
2647 * @see #getCase()
2648 * @generated
2649 */
2650 EReference getCase_Condition();
2651
2652 /**
2653 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LocalVariables <em>Local Variables</em>}'.
2654 * <!-- begin-user-doc -->
2655 * <!-- end-user-doc -->
2656 * @return the meta object for class '<em>Local Variables</em>'.
2657 * @see org.eclipse.viatra.solver.language.solverLanguage.LocalVariables
2658 * @generated
2659 */
2660 EClass getLocalVariables();
2661
2662 /**
2663 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.LocalVariables#getVariables <em>Variables</em>}'.
2664 * <!-- begin-user-doc -->
2665 * <!-- end-user-doc -->
2666 * @return the meta object for the containment reference list '<em>Variables</em>'.
2667 * @see org.eclipse.viatra.solver.language.solverLanguage.LocalVariables#getVariables()
2668 * @see #getLocalVariables()
2669 * @generated
2670 */
2671 EReference getLocalVariables_Variables();
2672
2673 /**
2674 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression <em>Quantified Expression</em>}'.
2675 * <!-- begin-user-doc -->
2676 * <!-- end-user-doc -->
2677 * @return the meta object for class '<em>Quantified Expression</em>'.
2678 * @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression
2679 * @generated
2680 */
2681 EClass getQuantifiedExpression();
2682
2683 /**
2684 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getLocalVariables <em>Local Variables</em>}'.
2685 * <!-- begin-user-doc -->
2686 * <!-- end-user-doc -->
2687 * @return the meta object for the containment reference '<em>Local Variables</em>'.
2688 * @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getLocalVariables()
2689 * @see #getQuantifiedExpression()
2690 * @generated
2691 */
2692 EReference getQuantifiedExpression_LocalVariables();
2693
2694 /**
2695 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getBody <em>Body</em>}'.
2696 * <!-- begin-user-doc -->
2697 * <!-- end-user-doc -->
2698 * @return the meta object for the containment reference '<em>Body</em>'.
2699 * @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getBody()
2700 * @see #getQuantifiedExpression()
2701 * @generated
2702 */
2703 EReference getQuantifiedExpression_Body();
2704
2705 /**
2706 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getQuantifier <em>Quantifier</em>}'.
2707 * <!-- begin-user-doc -->
2708 * <!-- end-user-doc -->
2709 * @return the meta object for the attribute '<em>Quantifier</em>'.
2710 * @see org.eclipse.viatra.solver.language.solverLanguage.QuantifiedExpression#getQuantifier()
2711 * @see #getQuantifiedExpression()
2712 * @generated
2713 */
2714 EAttribute getQuantifiedExpression_Quantifier();
2715
2716 /**
2717 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</em>}'.
2718 * <!-- begin-user-doc -->
2719 * <!-- end-user-doc -->
2720 * @return the meta object for class '<em>Aggregation</em>'.
2721 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation
2722 * @generated
2723 */
2724 EClass getAggregation();
2725
2726 /**
2727 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp <em>Op</em>}'.
2728 * <!-- begin-user-doc -->
2729 * <!-- end-user-doc -->
2730 * @return the meta object for the reference '<em>Op</em>'.
2731 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp()
2732 * @see #getAggregation()
2733 * @generated
2734 */
2735 EReference getAggregation_Op();
2736
2737 /**
2738 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getLocalVariables <em>Local Variables</em>}'.
2739 * <!-- begin-user-doc -->
2740 * <!-- end-user-doc -->
2741 * @return the meta object for the containment reference '<em>Local Variables</em>'.
2742 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getLocalVariables()
2743 * @see #getAggregation()
2744 * @generated
2745 */
2746 EReference getAggregation_LocalVariables();
2747
2748 /**
2749 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getBody <em>Body</em>}'.
2750 * <!-- begin-user-doc -->
2751 * <!-- end-user-doc -->
2752 * @return the meta object for the containment reference '<em>Body</em>'.
2753 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getBody()
2754 * @see #getAggregation()
2755 * @generated
2756 */
2757 EReference getAggregation_Body();
2758
2759 /**
2760 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getCondition <em>Condition</em>}'.
2761 * <!-- begin-user-doc -->
2762 * <!-- end-user-doc -->
2763 * @return the meta object for the containment reference '<em>Condition</em>'.
2764 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getCondition()
2765 * @see #getAggregation()
2766 * @generated
2767 */
2768 EReference getAggregation_Condition();
2769
2770 /**
2771 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</em>}'.
2772 * <!-- begin-user-doc -->
2773 * <!-- end-user-doc -->
2774 * @return the meta object for class '<em>Call</em>'.
2775 * @see org.eclipse.viatra.solver.language.solverLanguage.Call
2776 * @generated
2777 */
2778 EClass getCall();
2779
2780 /**
2781 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor <em>Functor</em>}'.
2782 * <!-- begin-user-doc -->
2783 * <!-- end-user-doc -->
2784 * @return the meta object for the containment reference '<em>Functor</em>'.
2785 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor()
2786 * @see #getCall()
2787 * @generated
2788 */
2789 EReference getCall_Functor();
2790
2791 /**
2792 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure <em>Transitive Closure</em>}'.
2793 * <!-- begin-user-doc -->
2794 * <!-- end-user-doc -->
2795 * @return the meta object for the attribute '<em>Transitive Closure</em>'.
2796 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure()
2797 * @see #getCall()
2798 * @generated
2799 */
2800 EAttribute getCall_TransitiveClosure();
2801
2802 /**
2803 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}'.
2804 * <!-- begin-user-doc -->
2805 * <!-- end-user-doc -->
2806 * @return the meta object for the attribute '<em>Reflexive Transitive Closure</em>'.
2807 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure()
2808 * @see #getCall()
2809 * @generated
2810 */
2811 EAttribute getCall_ReflexiveTransitiveClosure();
2812
2813 /**
2814 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}'.
2815 * <!-- begin-user-doc -->
2816 * <!-- end-user-doc -->
2817 * @return the meta object for the containment reference '<em>Argument List</em>'.
2818 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList()
2819 * @see #getCall()
2820 * @generated
2821 */
2822 EReference getCall_ArgumentList();
2823
2824 /**
2825 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'.
2826 * <!-- begin-user-doc -->
2827 * <!-- end-user-doc -->
2828 * @return the meta object for class '<em>Argument List</em>'.
2829 * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList
2830 * @generated
2831 */
2832 EClass getArgumentList();
2833
2834 /**
2835 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList#getArguments <em>Arguments</em>}'.
2836 * <!-- begin-user-doc -->
2837 * <!-- end-user-doc -->
2838 * @return the meta object for the containment reference list '<em>Arguments</em>'.
2839 * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList#getArguments()
2840 * @see #getArgumentList()
2841 * @generated
2842 */
2843 EReference getArgumentList_Arguments();
2844
2845 /**
2846 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</em>}'.
2847 * <!-- begin-user-doc -->
2848 * <!-- end-user-doc -->
2849 * @return the meta object for class '<em>Argument</em>'.
2850 * @see org.eclipse.viatra.solver.language.solverLanguage.Argument
2851 * @generated
2852 */
2853 EClass getArgument();
2854
2855 /**
2856 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</em>}'.
2857 * <!-- begin-user-doc -->
2858 * <!-- end-user-doc -->
2859 * @return the meta object for class '<em>Expression Argument</em>'.
2860 * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument
2861 * @generated
2862 */
2863 EClass getExpressionArgument();
2864
2865 /**
2866 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getBody <em>Body</em>}'.
2867 * <!-- begin-user-doc -->
2868 * <!-- end-user-doc -->
2869 * @return the meta object for the containment reference '<em>Body</em>'.
2870 * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getBody()
2871 * @see #getExpressionArgument()
2872 * @generated
2873 */
2874 EReference getExpressionArgument_Body();
2875
2876 /**
2877 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</em>}'.
2878 * <!-- begin-user-doc -->
2879 * <!-- end-user-doc -->
2880 * @return the meta object for class '<em>Star Argument</em>'.
2881 * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument
2882 * @generated
2883 */
2884 EClass getStarArgument();
2885
2886 /**
2887 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</em>}'.
2888 * <!-- begin-user-doc -->
2889 * <!-- end-user-doc -->
2890 * @return the meta object for class '<em>Typed Argument</em>'.
2891 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument
2892 * @generated
2893 */
2894 EClass getTypedArgument();
2895
2896 /**
2897 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getType <em>Type</em>}'.
2898 * <!-- begin-user-doc -->
2899 * <!-- end-user-doc -->
2900 * @return the meta object for the reference '<em>Type</em>'.
2901 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getType()
2902 * @see #getTypedArgument()
2903 * @generated
2904 */
2905 EReference getTypedArgument_Type();
2906
2907 /**
2908 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getVariable <em>Variable</em>}'.
2909 * <!-- begin-user-doc -->
2910 * <!-- end-user-doc -->
2911 * @return the meta object for the reference '<em>Variable</em>'.
2912 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getVariable()
2913 * @see #getTypedArgument()
2914 * @generated
2915 */
2916 EReference getTypedArgument_Variable();
2917
2918 /**
2919 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</em>}'.
2920 * <!-- begin-user-doc -->
2921 * <!-- end-user-doc -->
2922 * @return the meta object for class '<em>Typed Star Argument</em>'.
2923 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument
2924 * @generated
2925 */
2926 EClass getTypedStarArgument();
2927
2928 /**
2929 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument#getType <em>Type</em>}'.
2930 * <!-- begin-user-doc -->
2931 * <!-- end-user-doc -->
2932 * @return the meta object for the reference '<em>Type</em>'.
2933 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument#getType()
2934 * @see #getTypedStarArgument()
2935 * @generated
2936 */
2937 EReference getTypedStarArgument_Type();
2938
2939 /**
2940 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>Reference</em>}'.
2941 * <!-- begin-user-doc -->
2942 * <!-- end-user-doc -->
2943 * @return the meta object for class '<em>Reference</em>'.
2944 * @see org.eclipse.viatra.solver.language.solverLanguage.Reference
2945 * @generated
2946 */
2947 EClass getReference();
2948
2949 /**
2950 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference#getReferred <em>Referred</em>}'.
2951 * <!-- begin-user-doc -->
2952 * <!-- end-user-doc -->
2953 * @return the meta object for the reference '<em>Referred</em>'.
2954 * @see org.eclipse.viatra.solver.language.solverLanguage.Reference#getReferred()
2955 * @see #getReference()
2956 * @generated
2957 */
2958 EReference getReference_Referred();
2959
2960 /**
2961 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</em>}'.
2962 * <!-- begin-user-doc -->
2963 * <!-- end-user-doc -->
2964 * @return the meta object for class '<em>Interval</em>'.
2965 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval
2966 * @generated
2967 */
2968 EClass getInterval();
2969
2970 /**
2971 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval#getLowerBound <em>Lower Bound</em>}'.
2972 * <!-- begin-user-doc -->
2973 * <!-- end-user-doc -->
2974 * @return the meta object for the containment reference '<em>Lower Bound</em>'.
2975 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval#getLowerBound()
2976 * @see #getInterval()
2977 * @generated
2978 */
2979 EReference getInterval_LowerBound();
2980
2981 /**
2982 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval#getUpperBound <em>Upper Bound</em>}'.
2983 * <!-- begin-user-doc -->
2984 * <!-- end-user-doc -->
2985 * @return the meta object for the containment reference '<em>Upper Bound</em>'.
2986 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval#getUpperBound()
2987 * @see #getInterval()
2988 * @generated
2989 */
2990 EReference getInterval_UpperBound();
2991
2992 /**
2993 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'.
2994 * <!-- begin-user-doc -->
2995 * <!-- end-user-doc -->
2996 * @return the meta object for class '<em>Literal</em>'.
2997 * @see org.eclipse.viatra.solver.language.solverLanguage.Literal
2998 * @generated
2999 */
3000 EClass getLiteral();
3001
3002 /**
3003 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic Literal</em>}'.
3004 * <!-- begin-user-doc -->
3005 * <!-- end-user-doc -->
3006 * @return the meta object for class '<em>Logic Literal</em>'.
3007 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral
3008 * @generated
3009 */
3010 EClass getLogicLiteral();
3011
3012 /**
3013 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral#getValue <em>Value</em>}'.
3014 * <!-- begin-user-doc -->
3015 * <!-- end-user-doc -->
3016 * @return the meta object for the attribute '<em>Value</em>'.
3017 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral#getValue()
3018 * @see #getLogicLiteral()
3019 * @generated
3020 */
3021 EAttribute getLogicLiteral_Value();
3022
3023 /**
3024 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric Literal</em>}'.
3025 * <!-- begin-user-doc -->
3026 * <!-- end-user-doc -->
3027 * @return the meta object for class '<em>Numeric Literal</em>'.
3028 * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral
3029 * @generated
3030 */
3031 EClass getNumericLiteral();
3032
3033 /**
3034 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral#getValue <em>Value</em>}'.
3035 * <!-- begin-user-doc -->
3036 * <!-- end-user-doc -->
3037 * @return the meta object for the attribute '<em>Value</em>'.
3038 * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral#getValue()
3039 * @see #getNumericLiteral()
3040 * @generated
3041 */
3042 EAttribute getNumericLiteral_Value();
3043
3044 /**
3045 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity Literal</em>}'.
3046 * <!-- begin-user-doc -->
3047 * <!-- end-user-doc -->
3048 * @return the meta object for class '<em>Infinity Literal</em>'.
3049 * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral
3050 * @generated
3051 */
3052 EClass getInfinityLiteral();
3053
3054 /**
3055 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval Literal</em>}'.
3056 * <!-- begin-user-doc -->
3057 * <!-- end-user-doc -->
3058 * @return the meta object for class '<em>Empty Interval Literal</em>'.
3059 * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral
3060 * @generated
3061 */
3062 EClass getEmptyIntervalLiteral();
3063
3064 /**
3065 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String Literal</em>}'.
3066 * <!-- begin-user-doc -->
3067 * <!-- end-user-doc -->
3068 * @return the meta object for class '<em>String Literal</em>'.
3069 * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral
3070 * @generated
3071 */
3072 EClass getStringLiteral();
3073
3074 /**
3075 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral#getValue <em>Value</em>}'.
3076 * <!-- begin-user-doc -->
3077 * <!-- end-user-doc -->
3078 * @return the meta object for the attribute '<em>Value</em>'.
3079 * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral#getValue()
3080 * @see #getStringLiteral()
3081 * @generated
3082 */
3083 EAttribute getStringLiteral_Value();
3084
3085 /**
3086 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition <em>Class Definition</em>}'.
3087 * <!-- begin-user-doc -->
3088 * <!-- end-user-doc -->
3089 * @return the meta object for class '<em>Class Definition</em>'.
3090 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition
3091 * @generated
3092 */
3093 EClass getClassDefinition();
3094
3095 /**
3096 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract <em>Abstract</em>}'.
3097 * <!-- begin-user-doc -->
3098 * <!-- end-user-doc -->
3099 * @return the meta object for the attribute '<em>Abstract</em>'.
3100 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract()
3101 * @see #getClassDefinition()
3102 * @generated
3103 */
3104 EAttribute getClassDefinition_Abstract();
3105
3106 /**
3107 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName <em>Name</em>}'.
3108 * <!-- begin-user-doc -->
3109 * <!-- end-user-doc -->
3110 * @return the meta object for the attribute '<em>Name</em>'.
3111 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName()
3112 * @see #getClassDefinition()
3113 * @generated
3114 */
3115 EAttribute getClassDefinition_Name();
3116
3117 /**
3118 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses <em>Superclasses</em>}'.
3119 * <!-- begin-user-doc -->
3120 * <!-- end-user-doc -->
3121 * @return the meta object for the reference list '<em>Superclasses</em>'.
3122 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses()
3123 * @see #getClassDefinition()
3124 * @generated
3125 */
3126 EReference getClassDefinition_Superclasses();
3127
3128 /**
3129 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers <em>Members</em>}'.
3130 * <!-- begin-user-doc -->
3131 * <!-- end-user-doc -->
3132 * @return the meta object for the containment reference list '<em>Members</em>'.
3133 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers()
3134 * @see #getClassDefinition()
3135 * @generated
3136 */
3137 EReference getClassDefinition_Members();
3138
3139 /**
3140 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'.
3141 * <!-- begin-user-doc -->
3142 * <!-- end-user-doc -->
3143 * @return the meta object for class '<em>Member Definition</em>'.
3144 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition
3145 * @generated
3146 */
3147 EClass getMemberDefinition();
3148
3149 /**
3150 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#isContainment <em>Containment</em>}'.
3151 * <!-- begin-user-doc -->
3152 * <!-- end-user-doc -->
3153 * @return the meta object for the attribute '<em>Containment</em>'.
3154 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#isContainment()
3155 * @see #getMemberDefinition()
3156 * @generated
3157 */
3158 EAttribute getMemberDefinition_Containment();
3159
3160 /**
3161 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getType <em>Type</em>}'.
3162 * <!-- begin-user-doc -->
3163 * <!-- end-user-doc -->
3164 * @return the meta object for the reference '<em>Type</em>'.
3165 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getType()
3166 * @see #getMemberDefinition()
3167 * @generated
3168 */
3169 EReference getMemberDefinition_Type();
3170
3171 /**
3172 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getMultiplicity <em>Multiplicity</em>}'.
3173 * <!-- begin-user-doc -->
3174 * <!-- end-user-doc -->
3175 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
3176 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getMultiplicity()
3177 * @see #getMemberDefinition()
3178 * @generated
3179 */
3180 EReference getMemberDefinition_Multiplicity();
3181
3182 /**
3183 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getName <em>Name</em>}'.
3184 * <!-- begin-user-doc -->
3185 * <!-- end-user-doc -->
3186 * @return the meta object for the attribute '<em>Name</em>'.
3187 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getName()
3188 * @see #getMemberDefinition()
3189 * @generated
3190 */
3191 EAttribute getMemberDefinition_Name();
3192
3193 /**
3194 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getOpposite <em>Opposite</em>}'.
3195 * <!-- begin-user-doc -->
3196 * <!-- end-user-doc -->
3197 * @return the meta object for the reference '<em>Opposite</em>'.
3198 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getOpposite()
3199 * @see #getMemberDefinition()
3200 * @generated
3201 */
3202 EReference getMemberDefinition_Opposite();
3203
3204 /**
3205 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</em>}'.
3206 * <!-- begin-user-doc -->
3207 * <!-- end-user-doc -->
3208 * @return the meta object for class '<em>Multiplicity</em>'.
3209 * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity
3210 * @generated
3211 */
3212 EClass getMultiplicity();
3213
3214 /**
3215 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</em>}'.
3216 * <!-- begin-user-doc -->
3217 * <!-- end-user-doc -->
3218 * @return the meta object for class '<em>Many Multiplicity</em>'.
3219 * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity
3220 * @generated
3221 */
3222 EClass getManyMultiplicity();
3223
3224 /**
3225 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</em>}'.
3226 * <!-- begin-user-doc -->
3227 * <!-- end-user-doc -->
3228 * @return the meta object for class '<em>Exact Multiplicity</em>'.
3229 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity
3230 * @generated
3231 */
3232 EClass getExactMultiplicity();
3233
3234 /**
3235 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getMultiplicity <em>Multiplicity</em>}'.
3236 * <!-- begin-user-doc -->
3237 * <!-- end-user-doc -->
3238 * @return the meta object for the attribute '<em>Multiplicity</em>'.
3239 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getMultiplicity()
3240 * @see #getExactMultiplicity()
3241 * @generated
3242 */
3243 EAttribute getExactMultiplicity_Multiplicity();
3244
3245 /**
3246 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</em>}'.
3247 * <!-- begin-user-doc -->
3248 * <!-- end-user-doc -->
3249 * @return the meta object for class '<em>Bounded Multiplicity</em>'.
3250 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity
3251 * @generated
3252 */
3253 EClass getBoundedMultiplicity();
3254
3255 /**
3256 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getLowerBound <em>Lower Bound</em>}'.
3257 * <!-- begin-user-doc -->
3258 * <!-- end-user-doc -->
3259 * @return the meta object for the attribute '<em>Lower Bound</em>'.
3260 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getLowerBound()
3261 * @see #getBoundedMultiplicity()
3262 * @generated
3263 */
3264 EAttribute getBoundedMultiplicity_LowerBound();
3265
3266 /**
3267 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getUpperBound <em>Upper Bound</em>}'.
3268 * <!-- begin-user-doc -->
3269 * <!-- end-user-doc -->
3270 * @return the meta object for the attribute '<em>Upper Bound</em>'.
3271 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getUpperBound()
3272 * @see #getBoundedMultiplicity()
3273 * @generated
3274 */
3275 EAttribute getBoundedMultiplicity_UpperBound();
3276
3277 /**
3278 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope Definition</em>}'.
3279 * <!-- begin-user-doc -->
3280 * <!-- end-user-doc -->
3281 * @return the meta object for class '<em>Scope Definition</em>'.
3282 * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition
3283 * @generated
3284 */
3285 EClass getScopeDefinition();
3286
3287 /**
3288 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition#getType <em>Type</em>}'.
3289 * <!-- begin-user-doc -->
3290 * <!-- end-user-doc -->
3291 * @return the meta object for the reference '<em>Type</em>'.
3292 * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition#getType()
3293 * @see #getScopeDefinition()
3294 * @generated
3295 */
3296 EReference getScopeDefinition_Type();
3297
3298 /**
3299 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope Definition</em>}'.
3300 * <!-- begin-user-doc -->
3301 * <!-- end-user-doc -->
3302 * @return the meta object for class '<em>Exact Scope Definition</em>'.
3303 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition
3304 * @generated
3305 */
3306 EClass getExactScopeDefinition();
3307
3308 /**
3309 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition#getExactScope <em>Exact Scope</em>}'.
3310 * <!-- begin-user-doc -->
3311 * <!-- end-user-doc -->
3312 * @return the meta object for the attribute '<em>Exact Scope</em>'.
3313 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition#getExactScope()
3314 * @see #getExactScopeDefinition()
3315 * @generated
3316 */
3317 EAttribute getExactScopeDefinition_ExactScope();
3318
3319 /**
3320 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope Definition</em>}'.
3321 * <!-- begin-user-doc -->
3322 * <!-- end-user-doc -->
3323 * @return the meta object for class '<em>Bounded Scope Definition</em>'.
3324 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition
3325 * @generated
3326 */
3327 EClass getBoundedScopeDefinition();
3328
3329 /**
3330 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getLowerBound <em>Lower Bound</em>}'.
3331 * <!-- begin-user-doc -->
3332 * <!-- end-user-doc -->
3333 * @return the meta object for the attribute '<em>Lower Bound</em>'.
3334 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getLowerBound()
3335 * @see #getBoundedScopeDefinition()
3336 * @generated
3337 */
3338 EAttribute getBoundedScopeDefinition_LowerBound();
3339
3340 /**
3341 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getUpperBound <em>Upper Bound</em>}'.
3342 * <!-- begin-user-doc -->
3343 * <!-- end-user-doc -->
3344 * @return the meta object for the attribute '<em>Upper Bound</em>'.
3345 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getUpperBound()
3346 * @see #getBoundedScopeDefinition()
3347 * @generated
3348 */
3349 EAttribute getBoundedScopeDefinition_UpperBound();
3350
3351 /**
3352 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope Definition</em>}'.
3353 * <!-- begin-user-doc -->
3354 * <!-- end-user-doc -->
3355 * @return the meta object for class '<em>Lower Bounded Scope Definition</em>'.
3356 * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition
3357 * @generated
3358 */
3359 EClass getLowerBoundedScopeDefinition();
3360
3361 /**
3362 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition#getLowerBound <em>Lower Bound</em>}'.
3363 * <!-- begin-user-doc -->
3364 * <!-- end-user-doc -->
3365 * @return the meta object for the attribute '<em>Lower Bound</em>'.
3366 * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition#getLowerBound()
3367 * @see #getLowerBoundedScopeDefinition()
3368 * @generated
3369 */
3370 EAttribute getLowerBoundedScopeDefinition_LowerBound();
3371
3372 /**
3373 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective Definition</em>}'.
3374 * <!-- begin-user-doc -->
3375 * <!-- end-user-doc -->
3376 * @return the meta object for class '<em>Objective Definition</em>'.
3377 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition
3378 * @generated
3379 */
3380 EClass getObjectiveDefinition();
3381
3382 /**
3383 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getKind <em>Kind</em>}'.
3384 * <!-- begin-user-doc -->
3385 * <!-- end-user-doc -->
3386 * @return the meta object for the attribute '<em>Kind</em>'.
3387 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getKind()
3388 * @see #getObjectiveDefinition()
3389 * @generated
3390 */
3391 EAttribute getObjectiveDefinition_Kind();
3392
3393 /**
3394 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getObjective <em>Objective</em>}'.
3395 * <!-- begin-user-doc -->
3396 * <!-- end-user-doc -->
3397 * @return the meta object for the containment reference '<em>Objective</em>'.
3398 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getObjective()
3399 * @see #getObjectiveDefinition()
3400 * @generated
3401 */
3402 EReference getObjectiveDefinition_Objective();
3403
3404 /**
3405 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation <em>Interpretation</em>}'.
3406 * <!-- begin-user-doc -->
3407 * <!-- end-user-doc -->
3408 * @return the meta object for class '<em>Interpretation</em>'.
3409 * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation
3410 * @generated
3411 */
3412 EClass getInterpretation();
3413
3414 /**
3415 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getBody <em>Body</em>}'.
3416 * <!-- begin-user-doc -->
3417 * <!-- end-user-doc -->
3418 * @return the meta object for the containment reference '<em>Body</em>'.
3419 * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getBody()
3420 * @see #getInterpretation()
3421 * @generated
3422 */
3423 EReference getInterpretation_Body();
3424
3425 /**
3426 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getRange <em>Range</em>}'.
3427 * <!-- begin-user-doc -->
3428 * <!-- end-user-doc -->
3429 * @return the meta object for the containment reference '<em>Range</em>'.
3430 * @see org.eclipse.viatra.solver.language.solverLanguage.Interpretation#getRange()
3431 * @see #getInterpretation()
3432 * @generated
3433 */
3434 EReference getInterpretation_Range();
3435
3436 /**
3437 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable <em>Variable</em>}'.
3438 * <!-- begin-user-doc -->
3439 * <!-- end-user-doc -->
3440 * @return the meta object for class '<em>Variable</em>'.
3441 * @see org.eclipse.viatra.solver.language.solverLanguage.Variable
3442 * @generated
3443 */
3444 EClass getVariable();
3445
3446 /**
3447 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Variable#getType <em>Type</em>}'.
3448 * <!-- begin-user-doc -->
3449 * <!-- end-user-doc -->
3450 * @return the meta object for the reference '<em>Type</em>'.
3451 * @see org.eclipse.viatra.solver.language.solverLanguage.Variable#getType()
3452 * @see #getVariable()
3453 * @generated
3454 */
3455 EReference getVariable_Type();
3456
3457 /**
3458 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</em>}'.
3459 * <!-- begin-user-doc -->
3460 * <!-- end-user-doc -->
3461 * @return the meta object for class '<em>Disjunction</em>'.
3462 * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction
3463 * @generated
3464 */
3465 EClass getDisjunction();
3466
3467 /**
3468 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction#getChildren <em>Children</em>}'.
3469 * <!-- begin-user-doc -->
3470 * <!-- end-user-doc -->
3471 * @return the meta object for the containment reference list '<em>Children</em>'.
3472 * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction#getChildren()
3473 * @see #getDisjunction()
3474 * @generated
3475 */
3476 EReference getDisjunction_Children();
3477
3478 /**
3479 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</em>}'.
3480 * <!-- begin-user-doc -->
3481 * <!-- end-user-doc -->
3482 * @return the meta object for class '<em>Switch</em>'.
3483 * @see org.eclipse.viatra.solver.language.solverLanguage.Switch
3484 * @generated
3485 */
3486 EClass getSwitch();
3487
3488 /**
3489 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch#getCases <em>Cases</em>}'.
3490 * <!-- begin-user-doc -->
3491 * <!-- end-user-doc -->
3492 * @return the meta object for the containment reference list '<em>Cases</em>'.
3493 * @see org.eclipse.viatra.solver.language.solverLanguage.Switch#getCases()
3494 * @see #getSwitch()
3495 * @generated
3496 */
3497 EReference getSwitch_Cases();
3498
3499 /**
3500 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</em>}'.
3501 * <!-- begin-user-doc -->
3502 * <!-- end-user-doc -->
3503 * @return the meta object for class '<em>Conjunction</em>'.
3504 * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction
3505 * @generated
3506 */
3507 EClass getConjunction();
3508
3509 /**
3510 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction#getChildren <em>Children</em>}'.
3511 * <!-- begin-user-doc -->
3512 * <!-- end-user-doc -->
3513 * @return the meta object for the containment reference list '<em>Children</em>'.
3514 * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction#getChildren()
3515 * @see #getConjunction()
3516 * @generated
3517 */
3518 EReference getConjunction_Children();
3519
3520 /**
3521 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</em>}'.
3522 * <!-- begin-user-doc -->
3523 * <!-- end-user-doc -->
3524 * @return the meta object for class '<em>Comparison</em>'.
3525 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison
3526 * @generated
3527 */
3528 EClass getComparison();
3529
3530 /**
3531 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getLeft <em>Left</em>}'.
3532 * <!-- begin-user-doc -->
3533 * <!-- end-user-doc -->
3534 * @return the meta object for the containment reference '<em>Left</em>'.
3535 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getLeft()
3536 * @see #getComparison()
3537 * @generated
3538 */
3539 EReference getComparison_Left();
3540
3541 /**
3542 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getOp <em>Op</em>}'.
3543 * <!-- begin-user-doc -->
3544 * <!-- end-user-doc -->
3545 * @return the meta object for the attribute '<em>Op</em>'.
3546 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getOp()
3547 * @see #getComparison()
3548 * @generated
3549 */
3550 EAttribute getComparison_Op();
3551
3552 /**
3553 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getRight <em>Right</em>}'.
3554 * <!-- begin-user-doc -->
3555 * <!-- end-user-doc -->
3556 * @return the meta object for the containment reference '<em>Right</em>'.
3557 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getRight()
3558 * @see #getComparison()
3559 * @generated
3560 */
3561 EReference getComparison_Right();
3562
3563 /**
3564 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary Expression</em>}'.
3565 * <!-- begin-user-doc -->
3566 * <!-- end-user-doc -->
3567 * @return the meta object for class '<em>Binary Expression</em>'.
3568 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression
3569 * @generated
3570 */
3571 EClass getBinaryExpression();
3572
3573 /**
3574 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getLeft <em>Left</em>}'.
3575 * <!-- begin-user-doc -->
3576 * <!-- end-user-doc -->
3577 * @return the meta object for the containment reference '<em>Left</em>'.
3578 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getLeft()
3579 * @see #getBinaryExpression()
3580 * @generated
3581 */
3582 EReference getBinaryExpression_Left();
3583
3584 /**
3585 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getOp <em>Op</em>}'.
3586 * <!-- begin-user-doc -->
3587 * <!-- end-user-doc -->
3588 * @return the meta object for the attribute '<em>Op</em>'.
3589 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getOp()
3590 * @see #getBinaryExpression()
3591 * @generated
3592 */
3593 EAttribute getBinaryExpression_Op();
3594
3595 /**
3596 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getRight <em>Right</em>}'.
3597 * <!-- begin-user-doc -->
3598 * <!-- end-user-doc -->
3599 * @return the meta object for the containment reference '<em>Right</em>'.
3600 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getRight()
3601 * @see #getBinaryExpression()
3602 * @generated
3603 */
3604 EReference getBinaryExpression_Right();
3605
3606 /**
3607 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.CastExpression <em>Cast Expression</em>}'.
3608 * <!-- begin-user-doc -->
3609 * <!-- end-user-doc -->
3610 * @return the meta object for class '<em>Cast Expression</em>'.
3611 * @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression
3612 * @generated
3613 */
3614 EClass getCastExpression();
3615
3616 /**
3617 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getBody <em>Body</em>}'.
3618 * <!-- begin-user-doc -->
3619 * <!-- end-user-doc -->
3620 * @return the meta object for the containment reference '<em>Body</em>'.
3621 * @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getBody()
3622 * @see #getCastExpression()
3623 * @generated
3624 */
3625 EReference getCastExpression_Body();
3626
3627 /**
3628 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getType <em>Type</em>}'.
3629 * <!-- begin-user-doc -->
3630 * <!-- end-user-doc -->
3631 * @return the meta object for the reference '<em>Type</em>'.
3632 * @see org.eclipse.viatra.solver.language.solverLanguage.CastExpression#getType()
3633 * @see #getCastExpression()
3634 * @generated
3635 */
3636 EReference getCastExpression_Type();
3637
3638 /**
3639 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary Expression</em>}'.
3640 * <!-- begin-user-doc -->
3641 * <!-- end-user-doc -->
3642 * @return the meta object for class '<em>Unary Expression</em>'.
3643 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression
3644 * @generated
3645 */
3646 EClass getUnaryExpression();
3647
3648 /**
3649 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getOp <em>Op</em>}'.
3650 * <!-- begin-user-doc -->
3651 * <!-- end-user-doc -->
3652 * @return the meta object for the attribute '<em>Op</em>'.
3653 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getOp()
3654 * @see #getUnaryExpression()
3655 * @generated
3656 */
3657 EAttribute getUnaryExpression_Op();
3658
3659 /**
3660 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getBody <em>Body</em>}'.
3661 * <!-- begin-user-doc -->
3662 * <!-- end-user-doc -->
3663 * @return the meta object for the containment reference '<em>Body</em>'.
3664 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getBody()
3665 * @see #getUnaryExpression()
3666 * @generated
3667 */
3668 EReference getUnaryExpression_Body();
3669
3670 /**
3671 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Node <em>Node</em>}'.
3672 * <!-- begin-user-doc -->
3673 * <!-- end-user-doc -->
3674 * @return the meta object for class '<em>Node</em>'.
3675 * @see org.eclipse.viatra.solver.language.solverLanguage.Node
3676 * @generated
3677 */
3678 EClass getNode();
3679
3680 /**
3681 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Node#isWithId <em>With Id</em>}'.
3682 * <!-- begin-user-doc -->
3683 * <!-- end-user-doc -->
3684 * @return the meta object for the attribute '<em>With Id</em>'.
3685 * @see org.eclipse.viatra.solver.language.solverLanguage.Node#isWithId()
3686 * @see #getNode()
3687 * @generated
3688 */
3689 EAttribute getNode_WithId();
3690
3691 /**
3692 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Functor <em>Functor</em>}'.
3693 * <!-- begin-user-doc -->
3694 * <!-- end-user-doc -->
3695 * @return the meta object for class '<em>Functor</em>'.
3696 * @see org.eclipse.viatra.solver.language.solverLanguage.Functor
3697 * @generated
3698 */
3699 EClass getFunctor();
3700
3701 /**
3702 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Functor#getParameters <em>Parameters</em>}'.
3703 * <!-- begin-user-doc -->
3704 * <!-- end-user-doc -->
3705 * @return the meta object for the reference list '<em>Parameters</em>'.
3706 * @see org.eclipse.viatra.solver.language.solverLanguage.Functor#getParameters()
3707 * @see #getFunctor()
3708 * @generated
3709 */
3710 EReference getFunctor_Parameters();
3711
3712 /**
3713 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate <em>Predicate</em>}'.
3714 * <!-- begin-user-doc -->
3715 * <!-- end-user-doc -->
3716 * @return the meta object for class '<em>Predicate</em>'.
3717 * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate
3718 * @generated
3719 */
3720 EClass getPredicate();
3721
3722 /**
3723 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Metric <em>Metric</em>}'.
3724 * <!-- begin-user-doc -->
3725 * <!-- end-user-doc -->
3726 * @return the meta object for class '<em>Metric</em>'.
3727 * @see org.eclipse.viatra.solver.language.solverLanguage.Metric
3728 * @generated
3729 */
3730 EClass getMetric();
3731
3732 /**
3733 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Metric#getReturnType <em>Return Type</em>}'.
3734 * <!-- begin-user-doc -->
3735 * <!-- end-user-doc -->
3736 * @return the meta object for the reference '<em>Return Type</em>'.
3737 * @see org.eclipse.viatra.solver.language.solverLanguage.Metric#getReturnType()
3738 * @see #getMetric()
3739 * @generated
3740 */
3741 EReference getMetric_ReturnType();
3742
3743 /**
3744 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}'.
3745 * <!-- begin-user-doc -->
3746 * <!-- end-user-doc -->
3747 * @return the meta object for enum '<em>Binary Operator</em>'.
3748 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator
3749 * @generated
3750 */
3751 EEnum getBinaryOperator();
3752
3753 /**
3754 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}'.
3755 * <!-- begin-user-doc -->
3756 * <!-- end-user-doc -->
3757 * @return the meta object for enum '<em>Unary Op</em>'.
3758 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp
3759 * @generated
3760 */
3761 EEnum getUnaryOp();
3762
3763 /**
3764 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}'.
3765 * <!-- begin-user-doc -->
3766 * <!-- end-user-doc -->
3767 * @return the meta object for enum '<em>Logic Value</em>'.
3768 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue
3769 * @generated
3770 */
3771 EEnum getLogicValue();
3772
3773 /**
3774 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}'.
3775 * <!-- begin-user-doc -->
3776 * <!-- end-user-doc -->
3777 * @return the meta object for enum '<em>Objective Kind</em>'.
3778 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind
3779 * @generated
3780 */
3781 EEnum getObjectiveKind();
3782
3783 /**
3784 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.Quantifier <em>Quantifier</em>}'.
3785 * <!-- begin-user-doc -->
3786 * <!-- end-user-doc -->
3787 * @return the meta object for enum '<em>Quantifier</em>'.
3788 * @see org.eclipse.viatra.solver.language.solverLanguage.Quantifier
3789 * @generated
3790 */
3791 EEnum getQuantifier();
3792
3793 /**
3794 * Returns the factory that creates the instances of the model.
3795 * <!-- begin-user-doc -->
3796 * <!-- end-user-doc -->
3797 * @return the factory that creates the instances of the model.
3798 * @generated
3799 */
3800 SolverLanguageFactory getSolverLanguageFactory();
3801
3802 /**
3803 * <!-- begin-user-doc -->
3804 * Defines literals for the meta objects that represent
3805 * <ul>
3806 * <li>each class,</li>
3807 * <li>each feature of each class,</li>
3808 * <li>each enum,</li>
3809 * <li>and each data type</li>
3810 * </ul>
3811 * <!-- end-user-doc -->
3812 * @generated
3813 */
3814 interface Literals {
3815 /**
3816 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl <em>Problem</em>}' class.
3817 * <!-- begin-user-doc -->
3818 * <!-- end-user-doc -->
3819 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
3820 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
3821 * @generated
3822 */
3823 EClass PROBLEM = eINSTANCE.getProblem();
3824
3825 /**
3826 * The meta object literal for the '<em><b>Statements</b></em>' containment reference list feature.
3827 * <!-- begin-user-doc -->
3828 * <!-- end-user-doc -->
3829 * @generated
3830 */
3831 EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
3832
3833 /**
3834 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl <em>Statement</em>}' class.
3835 * <!-- begin-user-doc -->
3836 * <!-- end-user-doc -->
3837 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
3838 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
3839 * @generated
3840 */
3841 EClass STATEMENT = eINSTANCE.getStatement();
3842
3843 /**
3844 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
3845 * <!-- begin-user-doc -->
3846 * <!-- end-user-doc -->
3847 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl
3848 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateDefinition()
3849 * @generated
3850 */
3851 EClass PREDICATE_DEFINITION = eINSTANCE.getPredicateDefinition();
3852
3853 /**
3854 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3855 * <!-- begin-user-doc -->
3856 * <!-- end-user-doc -->
3857 * @generated
3858 */
3859 EReference PREDICATE_DEFINITION__HEAD = eINSTANCE.getPredicateDefinition_Head();
3860
3861 /**
3862 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3863 * <!-- begin-user-doc -->
3864 * <!-- end-user-doc -->
3865 * @generated
3866 */
3867 EReference PREDICATE_DEFINITION__BODY = eINSTANCE.getPredicateDefinition_Body();
3868
3869 /**
3870 * The meta object literal for the '<em><b>Functional</b></em>' attribute feature.
3871 * <!-- begin-user-doc -->
3872 * <!-- end-user-doc -->
3873 * @generated
3874 */
3875 EAttribute PREDICATE_DEFINITION__FUNCTIONAL = eINSTANCE.getPredicateDefinition_Functional();
3876
3877 /**
3878 * The meta object literal for the '<em><b>Error</b></em>' attribute feature.
3879 * <!-- begin-user-doc -->
3880 * <!-- end-user-doc -->
3881 * @generated
3882 */
3883 EAttribute PREDICATE_DEFINITION__ERROR = eINSTANCE.getPredicateDefinition_Error();
3884
3885 /**
3886 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl <em>Unnamed Error Prediate Definition</em>}' class.
3887 * <!-- begin-user-doc -->
3888 * <!-- end-user-doc -->
3889 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl
3890 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPrediateDefinition()
3891 * @generated
3892 */
3893 EClass UNNAMED_ERROR_PREDIATE_DEFINITION = eINSTANCE.getUnnamedErrorPrediateDefinition();
3894
3895 /**
3896 * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature.
3897 * <!-- begin-user-doc -->
3898 * <!-- end-user-doc -->
3899 * @generated
3900 */
3901 EReference UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST = eINSTANCE.getUnnamedErrorPrediateDefinition_ArgumentList();
3902
3903 /**
3904 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3905 * <!-- begin-user-doc -->
3906 * <!-- end-user-doc -->
3907 * @generated
3908 */
3909 EReference UNNAMED_ERROR_PREDIATE_DEFINITION__BODY = eINSTANCE.getUnnamedErrorPrediateDefinition_Body();
3910
3911 /**
3912 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl <em>Default Definition</em>}' class.
3913 * <!-- begin-user-doc -->
3914 * <!-- end-user-doc -->
3915 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl
3916 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultDefinition()
3917 * @generated
3918 */
3919 EClass DEFAULT_DEFINITION = eINSTANCE.getDefaultDefinition();
3920
3921 /**
3922 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3923 * <!-- begin-user-doc -->
3924 * <!-- end-user-doc -->
3925 * @generated
3926 */
3927 EReference DEFAULT_DEFINITION__HEAD = eINSTANCE.getDefaultDefinition_Head();
3928
3929 /**
3930 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
3931 * <!-- begin-user-doc -->
3932 * <!-- end-user-doc -->
3933 * @generated
3934 */
3935 EReference DEFAULT_DEFINITION__RANGE = eINSTANCE.getDefaultDefinition_Range();
3936
3937 /**
3938 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl <em>Metric Definition</em>}' class.
3939 * <!-- begin-user-doc -->
3940 * <!-- end-user-doc -->
3941 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl
3942 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricDefinition()
3943 * @generated
3944 */
3945 EClass METRIC_DEFINITION = eINSTANCE.getMetricDefinition();
3946
3947 /**
3948 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3949 * <!-- begin-user-doc -->
3950 * <!-- end-user-doc -->
3951 * @generated
3952 */
3953 EReference METRIC_DEFINITION__HEAD = eINSTANCE.getMetricDefinition_Head();
3954
3955 /**
3956 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3957 * <!-- begin-user-doc -->
3958 * <!-- end-user-doc -->
3959 * @generated
3960 */
3961 EReference METRIC_DEFINITION__BODY = eINSTANCE.getMetricDefinition_Body();
3962
3963 /**
3964 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
3965 * <!-- begin-user-doc -->
3966 * <!-- end-user-doc -->
3967 * @generated
3968 */
3969 EReference METRIC_DEFINITION__TYPE = eINSTANCE.getMetricDefinition_Type();
3970
3971 /**
3972 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl <em>Extern Predicate Definition</em>}' class.
3973 * <!-- begin-user-doc -->
3974 * <!-- end-user-doc -->
3975 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl
3976 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDefinition()
3977 * @generated
3978 */
3979 EClass EXTERN_PREDICATE_DEFINITION = eINSTANCE.getExternPredicateDefinition();
3980
3981 /**
3982 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
3983 * <!-- begin-user-doc -->
3984 * <!-- end-user-doc -->
3985 * @generated
3986 */
3987 EAttribute EXTERN_PREDICATE_DEFINITION__NAME = eINSTANCE.getExternPredicateDefinition_Name();
3988
3989 /**
3990 * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature.
3991 * <!-- begin-user-doc -->
3992 * <!-- end-user-doc -->
3993 * @generated
3994 */
3995 EReference EXTERN_PREDICATE_DEFINITION__ARGUMENT_LIST = eINSTANCE.getExternPredicateDefinition_ArgumentList();
3996
3997 /**
3998 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl <em>Extern Metric Definition</em>}' class.
3999 * <!-- begin-user-doc -->
4000 * <!-- end-user-doc -->
4001 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl
4002 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternMetricDefinition()
4003 * @generated
4004 */
4005 EClass EXTERN_METRIC_DEFINITION = eINSTANCE.getExternMetricDefinition();
4006
4007 /**
4008 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4009 * <!-- begin-user-doc -->
4010 * <!-- end-user-doc -->
4011 * @generated
4012 */
4013 EReference EXTERN_METRIC_DEFINITION__TYPE = eINSTANCE.getExternMetricDefinition_Type();
4014
4015 /**
4016 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4017 * <!-- begin-user-doc -->
4018 * <!-- end-user-doc -->
4019 * @generated
4020 */
4021 EAttribute EXTERN_METRIC_DEFINITION__NAME = eINSTANCE.getExternMetricDefinition_Name();
4022
4023 /**
4024 * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature.
4025 * <!-- begin-user-doc -->
4026 * <!-- end-user-doc -->
4027 * @generated
4028 */
4029 EReference EXTERN_METRIC_DEFINITION__ARGUMENT_LIST = eINSTANCE.getExternMetricDefinition_ArgumentList();
4030
4031 /**
4032 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl <em>Extern Aggregator Definition</em>}' class.
4033 * <!-- begin-user-doc -->
4034 * <!-- end-user-doc -->
4035 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternAggregatorDefinitionImpl
4036 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternAggregatorDefinition()
4037 * @generated
4038 */
4039 EClass EXTERN_AGGREGATOR_DEFINITION = eINSTANCE.getExternAggregatorDefinition();
4040
4041 /**
4042 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4043 * <!-- begin-user-doc -->
4044 * <!-- end-user-doc -->
4045 * @generated
4046 */
4047 EReference EXTERN_AGGREGATOR_DEFINITION__TYPE = eINSTANCE.getExternAggregatorDefinition_Type();
4048
4049 /**
4050 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4051 * <!-- begin-user-doc -->
4052 * <!-- end-user-doc -->
4053 * @generated
4054 */
4055 EAttribute EXTERN_AGGREGATOR_DEFINITION__NAME = eINSTANCE.getExternAggregatorDefinition_Name();
4056
4057 /**
4058 * The meta object literal for the '<em><b>Input Type</b></em>' reference feature.
4059 * <!-- begin-user-doc -->
4060 * <!-- end-user-doc -->
4061 * @generated
4062 */
4063 EReference EXTERN_AGGREGATOR_DEFINITION__INPUT_TYPE = eINSTANCE.getExternAggregatorDefinition_InputType();
4064
4065 /**
4066 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl <em>Extern Datatype Definition</em>}' class.
4067 * <!-- begin-user-doc -->
4068 * <!-- end-user-doc -->
4069 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternDatatypeDefinitionImpl
4070 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternDatatypeDefinition()
4071 * @generated
4072 */
4073 EClass EXTERN_DATATYPE_DEFINITION = eINSTANCE.getExternDatatypeDefinition();
4074
4075 /**
4076 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4077 * <!-- begin-user-doc -->
4078 * <!-- end-user-doc -->
4079 * @generated
4080 */
4081 EAttribute EXTERN_DATATYPE_DEFINITION__NAME = eINSTANCE.getExternDatatypeDefinition_Name();
4082
4083 /**
4084 * The meta object literal for the '<em><b>Supertypes</b></em>' reference list feature.
4085 * <!-- begin-user-doc -->
4086 * <!-- end-user-doc -->
4087 * @generated
4088 */
4089 EReference EXTERN_DATATYPE_DEFINITION__SUPERTYPES = eINSTANCE.getExternDatatypeDefinition_Supertypes();
4090
4091 /**
4092 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl <em>Named Element</em>}' class.
4093 * <!-- begin-user-doc -->
4094 * <!-- end-user-doc -->
4095 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl
4096 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement()
4097 * @generated
4098 */
4099 EClass NAMED_ELEMENT = eINSTANCE.getNamedElement();
4100
4101 /**
4102 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4103 * <!-- begin-user-doc -->
4104 * <!-- end-user-doc -->
4105 * @generated
4106 */
4107 EAttribute NAMED_ELEMENT__NAME = eINSTANCE.getNamedElement_Name();
4108
4109 /**
4110 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl <em>Expression</em>}' class.
4111 * <!-- begin-user-doc -->
4112 * <!-- end-user-doc -->
4113 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl
4114 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpression()
4115 * @generated
4116 */
4117 EClass EXPRESSION = eINSTANCE.getExpression();
4118
4119 /**
4120 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl <em>If Else</em>}' class.
4121 * <!-- begin-user-doc -->
4122 * <!-- end-user-doc -->
4123 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl
4124 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIfElse()
4125 * @generated
4126 */
4127 EClass IF_ELSE = eINSTANCE.getIfElse();
4128
4129 /**
4130 * The meta object literal for the '<em><b>Then</b></em>' containment reference feature.
4131 * <!-- begin-user-doc -->
4132 * <!-- end-user-doc -->
4133 * @generated
4134 */
4135 EReference IF_ELSE__THEN = eINSTANCE.getIfElse_Then();
4136
4137 /**
4138 * The meta object literal for the '<em><b>Else</b></em>' containment reference feature.
4139 * <!-- begin-user-doc -->
4140 * <!-- end-user-doc -->
4141 * @generated
4142 */
4143 EReference IF_ELSE__ELSE = eINSTANCE.getIfElse_Else();
4144
4145 /**
4146 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
4147 * <!-- begin-user-doc -->
4148 * <!-- end-user-doc -->
4149 * @generated
4150 */
4151 EReference IF_ELSE__CONDITION = eINSTANCE.getIfElse_Condition();
4152
4153 /**
4154 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl <em>Let</em>}' class.
4155 * <!-- begin-user-doc -->
4156 * <!-- end-user-doc -->
4157 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetImpl
4158 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLet()
4159 * @generated
4160 */
4161 EClass LET = eINSTANCE.getLet();
4162
4163 /**
4164 * The meta object literal for the '<em><b>Bindings</b></em>' containment reference list feature.
4165 * <!-- begin-user-doc -->
4166 * <!-- end-user-doc -->
4167 * @generated
4168 */
4169 EReference LET__BINDINGS = eINSTANCE.getLet_Bindings();
4170
4171 /**
4172 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4173 * <!-- begin-user-doc -->
4174 * <!-- end-user-doc -->
4175 * @generated
4176 */
4177 EReference LET__BODY = eINSTANCE.getLet_Body();
4178
4179 /**
4180 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl <em>Let Binding</em>}' class.
4181 * <!-- begin-user-doc -->
4182 * <!-- end-user-doc -->
4183 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LetBindingImpl
4184 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLetBinding()
4185 * @generated
4186 */
4187 EClass LET_BINDING = eINSTANCE.getLetBinding();
4188
4189 /**
4190 * The meta object literal for the '<em><b>Variable</b></em>' containment reference feature.
4191 * <!-- begin-user-doc -->
4192 * <!-- end-user-doc -->
4193 * @generated
4194 */
4195 EReference LET_BINDING__VARIABLE = eINSTANCE.getLetBinding_Variable();
4196
4197 /**
4198 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
4199 * <!-- begin-user-doc -->
4200 * <!-- end-user-doc -->
4201 * @generated
4202 */
4203 EReference LET_BINDING__VALUE = eINSTANCE.getLetBinding_Value();
4204
4205 /**
4206 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl <em>Case</em>}' class.
4207 * <!-- begin-user-doc -->
4208 * <!-- end-user-doc -->
4209 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl
4210 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase()
4211 * @generated
4212 */
4213 EClass CASE = eINSTANCE.getCase();
4214
4215 /**
4216 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4217 * <!-- begin-user-doc -->
4218 * <!-- end-user-doc -->
4219 * @generated
4220 */
4221 EReference CASE__BODY = eINSTANCE.getCase_Body();
4222
4223 /**
4224 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
4225 * <!-- begin-user-doc -->
4226 * <!-- end-user-doc -->
4227 * @generated
4228 */
4229 EReference CASE__CONDITION = eINSTANCE.getCase_Condition();
4230
4231 /**
4232 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl <em>Local Variables</em>}' class.
4233 * <!-- begin-user-doc -->
4234 * <!-- end-user-doc -->
4235 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LocalVariablesImpl
4236 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLocalVariables()
4237 * @generated
4238 */
4239 EClass LOCAL_VARIABLES = eINSTANCE.getLocalVariables();
4240
4241 /**
4242 * The meta object literal for the '<em><b>Variables</b></em>' containment reference list feature.
4243 * <!-- begin-user-doc -->
4244 * <!-- end-user-doc -->
4245 * @generated
4246 */
4247 EReference LOCAL_VARIABLES__VARIABLES = eINSTANCE.getLocalVariables_Variables();
4248
4249 /**
4250 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl <em>Quantified Expression</em>}' class.
4251 * <!-- begin-user-doc -->
4252 * <!-- end-user-doc -->
4253 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.QuantifiedExpressionImpl
4254 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifiedExpression()
4255 * @generated
4256 */
4257 EClass QUANTIFIED_EXPRESSION = eINSTANCE.getQuantifiedExpression();
4258
4259 /**
4260 * The meta object literal for the '<em><b>Local Variables</b></em>' containment reference feature.
4261 * <!-- begin-user-doc -->
4262 * <!-- end-user-doc -->
4263 * @generated
4264 */
4265 EReference QUANTIFIED_EXPRESSION__LOCAL_VARIABLES = eINSTANCE.getQuantifiedExpression_LocalVariables();
4266
4267 /**
4268 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4269 * <!-- begin-user-doc -->
4270 * <!-- end-user-doc -->
4271 * @generated
4272 */
4273 EReference QUANTIFIED_EXPRESSION__BODY = eINSTANCE.getQuantifiedExpression_Body();
4274
4275 /**
4276 * The meta object literal for the '<em><b>Quantifier</b></em>' attribute feature.
4277 * <!-- begin-user-doc -->
4278 * <!-- end-user-doc -->
4279 * @generated
4280 */
4281 EAttribute QUANTIFIED_EXPRESSION__QUANTIFIER = eINSTANCE.getQuantifiedExpression_Quantifier();
4282
4283 /**
4284 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl <em>Aggregation</em>}' class.
4285 * <!-- begin-user-doc -->
4286 * <!-- end-user-doc -->
4287 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl
4288 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregation()
4289 * @generated
4290 */
4291 EClass AGGREGATION = eINSTANCE.getAggregation();
4292
4293 /**
4294 * The meta object literal for the '<em><b>Op</b></em>' reference feature.
4295 * <!-- begin-user-doc -->
4296 * <!-- end-user-doc -->
4297 * @generated
4298 */
4299 EReference AGGREGATION__OP = eINSTANCE.getAggregation_Op();
4300
4301 /**
4302 * The meta object literal for the '<em><b>Local Variables</b></em>' containment reference feature.
4303 * <!-- begin-user-doc -->
4304 * <!-- end-user-doc -->
4305 * @generated
4306 */
4307 EReference AGGREGATION__LOCAL_VARIABLES = eINSTANCE.getAggregation_LocalVariables();
4308
4309 /**
4310 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4311 * <!-- begin-user-doc -->
4312 * <!-- end-user-doc -->
4313 * @generated
4314 */
4315 EReference AGGREGATION__BODY = eINSTANCE.getAggregation_Body();
4316
4317 /**
4318 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
4319 * <!-- begin-user-doc -->
4320 * <!-- end-user-doc -->
4321 * @generated
4322 */
4323 EReference AGGREGATION__CONDITION = eINSTANCE.getAggregation_Condition();
4324
4325 /**
4326 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl <em>Call</em>}' class.
4327 * <!-- begin-user-doc -->
4328 * <!-- end-user-doc -->
4329 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl
4330 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall()
4331 * @generated
4332 */
4333 EClass CALL = eINSTANCE.getCall();
4334
4335 /**
4336 * The meta object literal for the '<em><b>Functor</b></em>' containment reference feature.
4337 * <!-- begin-user-doc -->
4338 * <!-- end-user-doc -->
4339 * @generated
4340 */
4341 EReference CALL__FUNCTOR = eINSTANCE.getCall_Functor();
4342
4343 /**
4344 * The meta object literal for the '<em><b>Transitive Closure</b></em>' attribute feature.
4345 * <!-- begin-user-doc -->
4346 * <!-- end-user-doc -->
4347 * @generated
4348 */
4349 EAttribute CALL__TRANSITIVE_CLOSURE = eINSTANCE.getCall_TransitiveClosure();
4350
4351 /**
4352 * The meta object literal for the '<em><b>Reflexive Transitive Closure</b></em>' attribute feature.
4353 * <!-- begin-user-doc -->
4354 * <!-- end-user-doc -->
4355 * @generated
4356 */
4357 EAttribute CALL__REFLEXIVE_TRANSITIVE_CLOSURE = eINSTANCE.getCall_ReflexiveTransitiveClosure();
4358
4359 /**
4360 * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature.
4361 * <!-- begin-user-doc -->
4362 * <!-- end-user-doc -->
4363 * @generated
4364 */
4365 EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList();
4366
4367 /**
4368 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl <em>Argument List</em>}' class.
4369 * <!-- begin-user-doc -->
4370 * <!-- end-user-doc -->
4371 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl
4372 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgumentList()
4373 * @generated
4374 */
4375 EClass ARGUMENT_LIST = eINSTANCE.getArgumentList();
4376
4377 /**
4378 * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature.
4379 * <!-- begin-user-doc -->
4380 * <!-- end-user-doc -->
4381 * @generated
4382 */
4383 EReference ARGUMENT_LIST__ARGUMENTS = eINSTANCE.getArgumentList_Arguments();
4384
4385 /**
4386 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl <em>Argument</em>}' class.
4387 * <!-- begin-user-doc -->
4388 * <!-- end-user-doc -->
4389 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl
4390 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgument()
4391 * @generated
4392 */
4393 EClass ARGUMENT = eINSTANCE.getArgument();
4394
4395 /**
4396 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl <em>Expression Argument</em>}' class.
4397 * <!-- begin-user-doc -->
4398 * <!-- end-user-doc -->
4399 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl
4400 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpressionArgument()
4401 * @generated
4402 */
4403 EClass EXPRESSION_ARGUMENT = eINSTANCE.getExpressionArgument();
4404
4405 /**
4406 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4407 * <!-- begin-user-doc -->
4408 * <!-- end-user-doc -->
4409 * @generated
4410 */
4411 EReference EXPRESSION_ARGUMENT__BODY = eINSTANCE.getExpressionArgument_Body();
4412
4413 /**
4414 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl <em>Star Argument</em>}' class.
4415 * <!-- begin-user-doc -->
4416 * <!-- end-user-doc -->
4417 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl
4418 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStarArgument()
4419 * @generated
4420 */
4421 EClass STAR_ARGUMENT = eINSTANCE.getStarArgument();
4422
4423 /**
4424 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl <em>Typed Argument</em>}' class.
4425 * <!-- begin-user-doc -->
4426 * <!-- end-user-doc -->
4427 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl
4428 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedArgument()
4429 * @generated
4430 */
4431 EClass TYPED_ARGUMENT = eINSTANCE.getTypedArgument();
4432
4433 /**
4434 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4435 * <!-- begin-user-doc -->
4436 * <!-- end-user-doc -->
4437 * @generated
4438 */
4439 EReference TYPED_ARGUMENT__TYPE = eINSTANCE.getTypedArgument_Type();
4440
4441 /**
4442 * The meta object literal for the '<em><b>Variable</b></em>' reference feature.
4443 * <!-- begin-user-doc -->
4444 * <!-- end-user-doc -->
4445 * @generated
4446 */
4447 EReference TYPED_ARGUMENT__VARIABLE = eINSTANCE.getTypedArgument_Variable();
4448
4449 /**
4450 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl <em>Typed Star Argument</em>}' class.
4451 * <!-- begin-user-doc -->
4452 * <!-- end-user-doc -->
4453 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl
4454 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedStarArgument()
4455 * @generated
4456 */
4457 EClass TYPED_STAR_ARGUMENT = eINSTANCE.getTypedStarArgument();
4458
4459 /**
4460 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4461 * <!-- begin-user-doc -->
4462 * <!-- end-user-doc -->
4463 * @generated
4464 */
4465 EReference TYPED_STAR_ARGUMENT__TYPE = eINSTANCE.getTypedStarArgument_Type();
4466
4467 /**
4468 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl <em>Reference</em>}' class.
4469 * <!-- begin-user-doc -->
4470 * <!-- end-user-doc -->
4471 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl
4472 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReference()
4473 * @generated
4474 */
4475 EClass REFERENCE = eINSTANCE.getReference();
4476
4477 /**
4478 * The meta object literal for the '<em><b>Referred</b></em>' reference feature.
4479 * <!-- begin-user-doc -->
4480 * <!-- end-user-doc -->
4481 * @generated
4482 */
4483 EReference REFERENCE__REFERRED = eINSTANCE.getReference_Referred();
4484
4485 /**
4486 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl <em>Interval</em>}' class.
4487 * <!-- begin-user-doc -->
4488 * <!-- end-user-doc -->
4489 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl
4490 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterval()
4491 * @generated
4492 */
4493 EClass INTERVAL = eINSTANCE.getInterval();
4494
4495 /**
4496 * The meta object literal for the '<em><b>Lower Bound</b></em>' containment reference feature.
4497 * <!-- begin-user-doc -->
4498 * <!-- end-user-doc -->
4499 * @generated
4500 */
4501 EReference INTERVAL__LOWER_BOUND = eINSTANCE.getInterval_LowerBound();
4502
4503 /**
4504 * The meta object literal for the '<em><b>Upper Bound</b></em>' containment reference feature.
4505 * <!-- begin-user-doc -->
4506 * <!-- end-user-doc -->
4507 * @generated
4508 */
4509 EReference INTERVAL__UPPER_BOUND = eINSTANCE.getInterval_UpperBound();
4510
4511 /**
4512 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl <em>Literal</em>}' class.
4513 * <!-- begin-user-doc -->
4514 * <!-- end-user-doc -->
4515 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
4516 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
4517 * @generated
4518 */
4519 EClass LITERAL = eINSTANCE.getLiteral();
4520
4521 /**
4522 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl <em>Logic Literal</em>}' class.
4523 * <!-- begin-user-doc -->
4524 * <!-- end-user-doc -->
4525 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl
4526 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicLiteral()
4527 * @generated
4528 */
4529 EClass LOGIC_LITERAL = eINSTANCE.getLogicLiteral();
4530
4531 /**
4532 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4533 * <!-- begin-user-doc -->
4534 * <!-- end-user-doc -->
4535 * @generated
4536 */
4537 EAttribute LOGIC_LITERAL__VALUE = eINSTANCE.getLogicLiteral_Value();
4538
4539 /**
4540 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl <em>Numeric Literal</em>}' class.
4541 * <!-- begin-user-doc -->
4542 * <!-- end-user-doc -->
4543 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl
4544 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNumericLiteral()
4545 * @generated
4546 */
4547 EClass NUMERIC_LITERAL = eINSTANCE.getNumericLiteral();
4548
4549 /**
4550 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4551 * <!-- begin-user-doc -->
4552 * <!-- end-user-doc -->
4553 * @generated
4554 */
4555 EAttribute NUMERIC_LITERAL__VALUE = eINSTANCE.getNumericLiteral_Value();
4556
4557 /**
4558 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl <em>Infinity Literal</em>}' class.
4559 * <!-- begin-user-doc -->
4560 * <!-- end-user-doc -->
4561 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl
4562 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInfinityLiteral()
4563 * @generated
4564 */
4565 EClass INFINITY_LITERAL = eINSTANCE.getInfinityLiteral();
4566
4567 /**
4568 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl <em>Empty Interval Literal</em>}' class.
4569 * <!-- begin-user-doc -->
4570 * <!-- end-user-doc -->
4571 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl
4572 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyIntervalLiteral()
4573 * @generated
4574 */
4575 EClass EMPTY_INTERVAL_LITERAL = eINSTANCE.getEmptyIntervalLiteral();
4576
4577 /**
4578 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl <em>String Literal</em>}' class.
4579 * <!-- begin-user-doc -->
4580 * <!-- end-user-doc -->
4581 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl
4582 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral()
4583 * @generated
4584 */
4585 EClass STRING_LITERAL = eINSTANCE.getStringLiteral();
4586
4587 /**
4588 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
4589 * <!-- begin-user-doc -->
4590 * <!-- end-user-doc -->
4591 * @generated
4592 */
4593 EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value();
4594
4595 /**
4596 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl <em>Class Definition</em>}' class.
4597 * <!-- begin-user-doc -->
4598 * <!-- end-user-doc -->
4599 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl
4600 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition()
4601 * @generated
4602 */
4603 EClass CLASS_DEFINITION = eINSTANCE.getClassDefinition();
4604
4605 /**
4606 * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature.
4607 * <!-- begin-user-doc -->
4608 * <!-- end-user-doc -->
4609 * @generated
4610 */
4611 EAttribute CLASS_DEFINITION__ABSTRACT = eINSTANCE.getClassDefinition_Abstract();
4612
4613 /**
4614 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4615 * <!-- begin-user-doc -->
4616 * <!-- end-user-doc -->
4617 * @generated
4618 */
4619 EAttribute CLASS_DEFINITION__NAME = eINSTANCE.getClassDefinition_Name();
4620
4621 /**
4622 * The meta object literal for the '<em><b>Superclasses</b></em>' reference list feature.
4623 * <!-- begin-user-doc -->
4624 * <!-- end-user-doc -->
4625 * @generated
4626 */
4627 EReference CLASS_DEFINITION__SUPERCLASSES = eINSTANCE.getClassDefinition_Superclasses();
4628
4629 /**
4630 * The meta object literal for the '<em><b>Members</b></em>' containment reference list feature.
4631 * <!-- begin-user-doc -->
4632 * <!-- end-user-doc -->
4633 * @generated
4634 */
4635 EReference CLASS_DEFINITION__MEMBERS = eINSTANCE.getClassDefinition_Members();
4636
4637 /**
4638 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class.
4639 * <!-- begin-user-doc -->
4640 * <!-- end-user-doc -->
4641 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl
4642 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition()
4643 * @generated
4644 */
4645 EClass MEMBER_DEFINITION = eINSTANCE.getMemberDefinition();
4646
4647 /**
4648 * The meta object literal for the '<em><b>Containment</b></em>' attribute feature.
4649 * <!-- begin-user-doc -->
4650 * <!-- end-user-doc -->
4651 * @generated
4652 */
4653 EAttribute MEMBER_DEFINITION__CONTAINMENT = eINSTANCE.getMemberDefinition_Containment();
4654
4655 /**
4656 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4657 * <!-- begin-user-doc -->
4658 * <!-- end-user-doc -->
4659 * @generated
4660 */
4661 EReference MEMBER_DEFINITION__TYPE = eINSTANCE.getMemberDefinition_Type();
4662
4663 /**
4664 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
4665 * <!-- begin-user-doc -->
4666 * <!-- end-user-doc -->
4667 * @generated
4668 */
4669 EReference MEMBER_DEFINITION__MULTIPLICITY = eINSTANCE.getMemberDefinition_Multiplicity();
4670
4671 /**
4672 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
4673 * <!-- begin-user-doc -->
4674 * <!-- end-user-doc -->
4675 * @generated
4676 */
4677 EAttribute MEMBER_DEFINITION__NAME = eINSTANCE.getMemberDefinition_Name();
4678
4679 /**
4680 * The meta object literal for the '<em><b>Opposite</b></em>' reference feature.
4681 * <!-- begin-user-doc -->
4682 * <!-- end-user-doc -->
4683 * @generated
4684 */
4685 EReference MEMBER_DEFINITION__OPPOSITE = eINSTANCE.getMemberDefinition_Opposite();
4686
4687 /**
4688 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
4689 * <!-- begin-user-doc -->
4690 * <!-- end-user-doc -->
4691 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl
4692 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity()
4693 * @generated
4694 */
4695 EClass MULTIPLICITY = eINSTANCE.getMultiplicity();
4696
4697 /**
4698 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl <em>Many Multiplicity</em>}' class.
4699 * <!-- begin-user-doc -->
4700 * <!-- end-user-doc -->
4701 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl
4702 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity()
4703 * @generated
4704 */
4705 EClass MANY_MULTIPLICITY = eINSTANCE.getManyMultiplicity();
4706
4707 /**
4708 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
4709 * <!-- begin-user-doc -->
4710 * <!-- end-user-doc -->
4711 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl
4712 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity()
4713 * @generated
4714 */
4715 EClass EXACT_MULTIPLICITY = eINSTANCE.getExactMultiplicity();
4716
4717 /**
4718 * The meta object literal for the '<em><b>Multiplicity</b></em>' attribute feature.
4719 * <!-- begin-user-doc -->
4720 * <!-- end-user-doc -->
4721 * @generated
4722 */
4723 EAttribute EXACT_MULTIPLICITY__MULTIPLICITY = eINSTANCE.getExactMultiplicity_Multiplicity();
4724
4725 /**
4726 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl <em>Bounded Multiplicity</em>}' class.
4727 * <!-- begin-user-doc -->
4728 * <!-- end-user-doc -->
4729 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl
4730 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity()
4731 * @generated
4732 */
4733 EClass BOUNDED_MULTIPLICITY = eINSTANCE.getBoundedMultiplicity();
4734
4735 /**
4736 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
4737 * <!-- begin-user-doc -->
4738 * <!-- end-user-doc -->
4739 * @generated
4740 */
4741 EAttribute BOUNDED_MULTIPLICITY__LOWER_BOUND = eINSTANCE.getBoundedMultiplicity_LowerBound();
4742
4743 /**
4744 * The meta object literal for the '<em><b>Upper Bound</b></em>' attribute feature.
4745 * <!-- begin-user-doc -->
4746 * <!-- end-user-doc -->
4747 * @generated
4748 */
4749 EAttribute BOUNDED_MULTIPLICITY__UPPER_BOUND = eINSTANCE.getBoundedMultiplicity_UpperBound();
4750
4751 /**
4752 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl <em>Scope Definition</em>}' class.
4753 * <!-- begin-user-doc -->
4754 * <!-- end-user-doc -->
4755 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl
4756 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition()
4757 * @generated
4758 */
4759 EClass SCOPE_DEFINITION = eINSTANCE.getScopeDefinition();
4760
4761 /**
4762 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4763 * <!-- begin-user-doc -->
4764 * <!-- end-user-doc -->
4765 * @generated
4766 */
4767 EReference SCOPE_DEFINITION__TYPE = eINSTANCE.getScopeDefinition_Type();
4768
4769 /**
4770 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl <em>Exact Scope Definition</em>}' class.
4771 * <!-- begin-user-doc -->
4772 * <!-- end-user-doc -->
4773 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl
4774 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition()
4775 * @generated
4776 */
4777 EClass EXACT_SCOPE_DEFINITION = eINSTANCE.getExactScopeDefinition();
4778
4779 /**
4780 * The meta object literal for the '<em><b>Exact Scope</b></em>' attribute feature.
4781 * <!-- begin-user-doc -->
4782 * <!-- end-user-doc -->
4783 * @generated
4784 */
4785 EAttribute EXACT_SCOPE_DEFINITION__EXACT_SCOPE = eINSTANCE.getExactScopeDefinition_ExactScope();
4786
4787 /**
4788 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl <em>Bounded Scope Definition</em>}' class.
4789 * <!-- begin-user-doc -->
4790 * <!-- end-user-doc -->
4791 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl
4792 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition()
4793 * @generated
4794 */
4795 EClass BOUNDED_SCOPE_DEFINITION = eINSTANCE.getBoundedScopeDefinition();
4796
4797 /**
4798 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
4799 * <!-- begin-user-doc -->
4800 * <!-- end-user-doc -->
4801 * @generated
4802 */
4803 EAttribute BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = eINSTANCE.getBoundedScopeDefinition_LowerBound();
4804
4805 /**
4806 * The meta object literal for the '<em><b>Upper Bound</b></em>' attribute feature.
4807 * <!-- begin-user-doc -->
4808 * <!-- end-user-doc -->
4809 * @generated
4810 */
4811 EAttribute BOUNDED_SCOPE_DEFINITION__UPPER_BOUND = eINSTANCE.getBoundedScopeDefinition_UpperBound();
4812
4813 /**
4814 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl <em>Lower Bounded Scope Definition</em>}' class.
4815 * <!-- begin-user-doc -->
4816 * <!-- end-user-doc -->
4817 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl
4818 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition()
4819 * @generated
4820 */
4821 EClass LOWER_BOUNDED_SCOPE_DEFINITION = eINSTANCE.getLowerBoundedScopeDefinition();
4822
4823 /**
4824 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
4825 * <!-- begin-user-doc -->
4826 * <!-- end-user-doc -->
4827 * @generated
4828 */
4829 EAttribute LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = eINSTANCE.getLowerBoundedScopeDefinition_LowerBound();
4830
4831 /**
4832 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl <em>Objective Definition</em>}' class.
4833 * <!-- begin-user-doc -->
4834 * <!-- end-user-doc -->
4835 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl
4836 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition()
4837 * @generated
4838 */
4839 EClass OBJECTIVE_DEFINITION = eINSTANCE.getObjectiveDefinition();
4840
4841 /**
4842 * The meta object literal for the '<em><b>Kind</b></em>' attribute feature.
4843 * <!-- begin-user-doc -->
4844 * <!-- end-user-doc -->
4845 * @generated
4846 */
4847 EAttribute OBJECTIVE_DEFINITION__KIND = eINSTANCE.getObjectiveDefinition_Kind();
4848
4849 /**
4850 * The meta object literal for the '<em><b>Objective</b></em>' containment reference feature.
4851 * <!-- begin-user-doc -->
4852 * <!-- end-user-doc -->
4853 * @generated
4854 */
4855 EReference OBJECTIVE_DEFINITION__OBJECTIVE = eINSTANCE.getObjectiveDefinition_Objective();
4856
4857 /**
4858 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl <em>Interpretation</em>}' class.
4859 * <!-- begin-user-doc -->
4860 * <!-- end-user-doc -->
4861 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InterpretationImpl
4862 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterpretation()
4863 * @generated
4864 */
4865 EClass INTERPRETATION = eINSTANCE.getInterpretation();
4866
4867 /**
4868 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4869 * <!-- begin-user-doc -->
4870 * <!-- end-user-doc -->
4871 * @generated
4872 */
4873 EReference INTERPRETATION__BODY = eINSTANCE.getInterpretation_Body();
4874
4875 /**
4876 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
4877 * <!-- begin-user-doc -->
4878 * <!-- end-user-doc -->
4879 * @generated
4880 */
4881 EReference INTERPRETATION__RANGE = eINSTANCE.getInterpretation_Range();
4882
4883 /**
4884 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl <em>Variable</em>}' class.
4885 * <!-- begin-user-doc -->
4886 * <!-- end-user-doc -->
4887 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.VariableImpl
4888 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable()
4889 * @generated
4890 */
4891 EClass VARIABLE = eINSTANCE.getVariable();
4892
4893 /**
4894 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
4895 * <!-- begin-user-doc -->
4896 * <!-- end-user-doc -->
4897 * @generated
4898 */
4899 EReference VARIABLE__TYPE = eINSTANCE.getVariable_Type();
4900
4901 /**
4902 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl <em>Disjunction</em>}' class.
4903 * <!-- begin-user-doc -->
4904 * <!-- end-user-doc -->
4905 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl
4906 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction()
4907 * @generated
4908 */
4909 EClass DISJUNCTION = eINSTANCE.getDisjunction();
4910
4911 /**
4912 * The meta object literal for the '<em><b>Children</b></em>' containment reference list feature.
4913 * <!-- begin-user-doc -->
4914 * <!-- end-user-doc -->
4915 * @generated
4916 */
4917 EReference DISJUNCTION__CHILDREN = eINSTANCE.getDisjunction_Children();
4918
4919 /**
4920 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl <em>Switch</em>}' class.
4921 * <!-- begin-user-doc -->
4922 * <!-- end-user-doc -->
4923 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl
4924 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch()
4925 * @generated
4926 */
4927 EClass SWITCH = eINSTANCE.getSwitch();
4928
4929 /**
4930 * The meta object literal for the '<em><b>Cases</b></em>' containment reference list feature.
4931 * <!-- begin-user-doc -->
4932 * <!-- end-user-doc -->
4933 * @generated
4934 */
4935 EReference SWITCH__CASES = eINSTANCE.getSwitch_Cases();
4936
4937 /**
4938 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl <em>Conjunction</em>}' class.
4939 * <!-- begin-user-doc -->
4940 * <!-- end-user-doc -->
4941 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl
4942 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction()
4943 * @generated
4944 */
4945 EClass CONJUNCTION = eINSTANCE.getConjunction();
4946
4947 /**
4948 * The meta object literal for the '<em><b>Children</b></em>' containment reference list feature.
4949 * <!-- begin-user-doc -->
4950 * <!-- end-user-doc -->
4951 * @generated
4952 */
4953 EReference CONJUNCTION__CHILDREN = eINSTANCE.getConjunction_Children();
4954
4955 /**
4956 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl <em>Comparison</em>}' class.
4957 * <!-- begin-user-doc -->
4958 * <!-- end-user-doc -->
4959 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl
4960 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison()
4961 * @generated
4962 */
4963 EClass COMPARISON = eINSTANCE.getComparison();
4964
4965 /**
4966 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
4967 * <!-- begin-user-doc -->
4968 * <!-- end-user-doc -->
4969 * @generated
4970 */
4971 EReference COMPARISON__LEFT = eINSTANCE.getComparison_Left();
4972
4973 /**
4974 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
4975 * <!-- begin-user-doc -->
4976 * <!-- end-user-doc -->
4977 * @generated
4978 */
4979 EAttribute COMPARISON__OP = eINSTANCE.getComparison_Op();
4980
4981 /**
4982 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
4983 * <!-- begin-user-doc -->
4984 * <!-- end-user-doc -->
4985 * @generated
4986 */
4987 EReference COMPARISON__RIGHT = eINSTANCE.getComparison_Right();
4988
4989 /**
4990 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl <em>Binary Expression</em>}' class.
4991 * <!-- begin-user-doc -->
4992 * <!-- end-user-doc -->
4993 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl
4994 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression()
4995 * @generated
4996 */
4997 EClass BINARY_EXPRESSION = eINSTANCE.getBinaryExpression();
4998
4999 /**
5000 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
5001 * <!-- begin-user-doc -->
5002 * <!-- end-user-doc -->
5003 * @generated
5004 */
5005 EReference BINARY_EXPRESSION__LEFT = eINSTANCE.getBinaryExpression_Left();
5006
5007 /**
5008 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
5009 * <!-- begin-user-doc -->
5010 * <!-- end-user-doc -->
5011 * @generated
5012 */
5013 EAttribute BINARY_EXPRESSION__OP = eINSTANCE.getBinaryExpression_Op();
5014
5015 /**
5016 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
5017 * <!-- begin-user-doc -->
5018 * <!-- end-user-doc -->
5019 * @generated
5020 */
5021 EReference BINARY_EXPRESSION__RIGHT = eINSTANCE.getBinaryExpression_Right();
5022
5023 /**
5024 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CastExpressionImpl <em>Cast Expression</em>}' class.
5025 * <!-- begin-user-doc -->
5026 * <!-- end-user-doc -->
5027 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CastExpressionImpl
5028 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCastExpression()
5029 * @generated
5030 */
5031 EClass CAST_EXPRESSION = eINSTANCE.getCastExpression();
5032
5033 /**
5034 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
5035 * <!-- begin-user-doc -->
5036 * <!-- end-user-doc -->
5037 * @generated
5038 */
5039 EReference CAST_EXPRESSION__BODY = eINSTANCE.getCastExpression_Body();
5040
5041 /**
5042 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
5043 * <!-- begin-user-doc -->
5044 * <!-- end-user-doc -->
5045 * @generated
5046 */
5047 EReference CAST_EXPRESSION__TYPE = eINSTANCE.getCastExpression_Type();
5048
5049 /**
5050 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl <em>Unary Expression</em>}' class.
5051 * <!-- begin-user-doc -->
5052 * <!-- end-user-doc -->
5053 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl
5054 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression()
5055 * @generated
5056 */
5057 EClass UNARY_EXPRESSION = eINSTANCE.getUnaryExpression();
5058
5059 /**
5060 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
5061 * <!-- begin-user-doc -->
5062 * <!-- end-user-doc -->
5063 * @generated
5064 */
5065 EAttribute UNARY_EXPRESSION__OP = eINSTANCE.getUnaryExpression_Op();
5066
5067 /**
5068 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
5069 * <!-- begin-user-doc -->
5070 * <!-- end-user-doc -->
5071 * @generated
5072 */
5073 EReference UNARY_EXPRESSION__BODY = eINSTANCE.getUnaryExpression_Body();
5074
5075 /**
5076 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NodeImpl <em>Node</em>}' class.
5077 * <!-- begin-user-doc -->
5078 * <!-- end-user-doc -->
5079 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NodeImpl
5080 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNode()
5081 * @generated
5082 */
5083 EClass NODE = eINSTANCE.getNode();
5084
5085 /**
5086 * The meta object literal for the '<em><b>With Id</b></em>' attribute feature.
5087 * <!-- begin-user-doc -->
5088 * <!-- end-user-doc -->
5089 * @generated
5090 */
5091 EAttribute NODE__WITH_ID = eINSTANCE.getNode_WithId();
5092
5093 /**
5094 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl <em>Functor</em>}' class.
5095 * <!-- begin-user-doc -->
5096 * <!-- end-user-doc -->
5097 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.FunctorImpl
5098 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFunctor()
5099 * @generated
5100 */
5101 EClass FUNCTOR = eINSTANCE.getFunctor();
5102
5103 /**
5104 * The meta object literal for the '<em><b>Parameters</b></em>' reference list feature.
5105 * <!-- begin-user-doc -->
5106 * <!-- end-user-doc -->
5107 * @generated
5108 */
5109 EReference FUNCTOR__PARAMETERS = eINSTANCE.getFunctor_Parameters();
5110
5111 /**
5112 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl <em>Predicate</em>}' class.
5113 * <!-- begin-user-doc -->
5114 * <!-- end-user-doc -->
5115 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateImpl
5116 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicate()
5117 * @generated
5118 */
5119 EClass PREDICATE = eINSTANCE.getPredicate();
5120
5121 /**
5122 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl <em>Metric</em>}' class.
5123 * <!-- begin-user-doc -->
5124 * <!-- end-user-doc -->
5125 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricImpl
5126 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetric()
5127 * @generated
5128 */
5129 EClass METRIC = eINSTANCE.getMetric();
5130
5131 /**
5132 * The meta object literal for the '<em><b>Return Type</b></em>' reference feature.
5133 * <!-- begin-user-doc -->
5134 * <!-- end-user-doc -->
5135 * @generated
5136 */
5137 EReference METRIC__RETURN_TYPE = eINSTANCE.getMetric_ReturnType();
5138
5139 /**
5140 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}' enum.
5141 * <!-- begin-user-doc -->
5142 * <!-- end-user-doc -->
5143 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator
5144 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator()
5145 * @generated
5146 */
5147 EEnum BINARY_OPERATOR = eINSTANCE.getBinaryOperator();
5148
5149 /**
5150 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}' enum.
5151 * <!-- begin-user-doc -->
5152 * <!-- end-user-doc -->
5153 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp
5154 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp()
5155 * @generated
5156 */
5157 EEnum UNARY_OP = eINSTANCE.getUnaryOp();
5158
5159 /**
5160 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}' enum.
5161 * <!-- begin-user-doc -->
5162 * <!-- end-user-doc -->
5163 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue
5164 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue()
5165 * @generated
5166 */
5167 EEnum LOGIC_VALUE = eINSTANCE.getLogicValue();
5168
5169 /**
5170 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}' enum.
5171 * <!-- begin-user-doc -->
5172 * <!-- end-user-doc -->
5173 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind
5174 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind()
5175 * @generated
5176 */
5177 EEnum OBJECTIVE_KIND = eINSTANCE.getObjectiveKind();
5178
5179 /**
5180 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.Quantifier <em>Quantifier</em>}' enum.
5181 * <!-- begin-user-doc -->
5182 * <!-- end-user-doc -->
5183 * @see org.eclipse.viatra.solver.language.solverLanguage.Quantifier
5184 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getQuantifier()
5185 * @generated
5186 */
5187 EEnum QUANTIFIER = eINSTANCE.getQuantifier();
5188
5189 }
5190
5191} //SolverLanguagePackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 11:39:12 +0000