aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java4143
1 files changed, 0 insertions, 4143 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
deleted file mode 100644
index ac9279c3..00000000
--- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java
+++ /dev/null
@@ -1,4143 +0,0 @@
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 /**
30 * The package name.
31 * <!-- begin-user-doc -->
32 * <!-- end-user-doc -->
33 * @generated
34 */
35 String eNAME = "solverLanguage";
36
37 /**
38 * The package namespace URI.
39 * <!-- begin-user-doc -->
40 * <!-- end-user-doc -->
41 * @generated
42 */
43 String eNS_URI = "http://www.eclipse.org/viatra/solver/language/SolverLanguage";
44
45 /**
46 * The package namespace name.
47 * <!-- begin-user-doc -->
48 * <!-- end-user-doc -->
49 * @generated
50 */
51 String eNS_PREFIX = "solverLanguage";
52
53 /**
54 * The singleton instance of the package.
55 * <!-- begin-user-doc -->
56 * <!-- end-user-doc -->
57 * @generated
58 */
59 SolverLanguagePackage eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl.init();
60
61 /**
62 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl <em>Problem</em>}' class.
63 * <!-- begin-user-doc -->
64 * <!-- end-user-doc -->
65 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
66 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
67 * @generated
68 */
69 int PROBLEM = 0;
70
71 /**
72 * The feature id for the '<em><b>Statements</b></em>' containment reference list.
73 * <!-- begin-user-doc -->
74 * <!-- end-user-doc -->
75 * @generated
76 * @ordered
77 */
78 int PROBLEM__STATEMENTS = 0;
79
80 /**
81 * The number of structural features of the '<em>Problem</em>' class.
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 * @ordered
86 */
87 int PROBLEM_FEATURE_COUNT = 1;
88
89 /**
90 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl <em>Statement</em>}' class.
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
94 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
95 * @generated
96 */
97 int STATEMENT = 1;
98
99 /**
100 * The number of structural features of the '<em>Statement</em>' class.
101 * <!-- begin-user-doc -->
102 * <!-- end-user-doc -->
103 * @generated
104 * @ordered
105 */
106 int STATEMENT_FEATURE_COUNT = 0;
107
108 /**
109 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
110 * <!-- begin-user-doc -->
111 * <!-- end-user-doc -->
112 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl
113 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateDefinition()
114 * @generated
115 */
116 int PREDICATE_DEFINITION = 2;
117
118 /**
119 * The feature id for the '<em><b>Head</b></em>' containment reference.
120 * <!-- begin-user-doc -->
121 * <!-- end-user-doc -->
122 * @generated
123 * @ordered
124 */
125 int PREDICATE_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
126
127 /**
128 * The feature id for the '<em><b>Body</b></em>' containment reference.
129 * <!-- begin-user-doc -->
130 * <!-- end-user-doc -->
131 * @generated
132 * @ordered
133 */
134 int PREDICATE_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1;
135
136 /**
137 * The feature id for the '<em><b>Functional</b></em>' attribute.
138 * <!-- begin-user-doc -->
139 * <!-- end-user-doc -->
140 * @generated
141 * @ordered
142 */
143 int PREDICATE_DEFINITION__FUNCTIONAL = STATEMENT_FEATURE_COUNT + 2;
144
145 /**
146 * The feature id for the '<em><b>Error</b></em>' attribute.
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 * @ordered
151 */
152 int PREDICATE_DEFINITION__ERROR = STATEMENT_FEATURE_COUNT + 3;
153
154 /**
155 * The number of structural features of the '<em>Predicate Definition</em>' class.
156 * <!-- begin-user-doc -->
157 * <!-- end-user-doc -->
158 * @generated
159 * @ordered
160 */
161 int PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4;
162
163 /**
164 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl <em>Unnamed Error Prediate Definition</em>}' class.
165 * <!-- begin-user-doc -->
166 * <!-- end-user-doc -->
167 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl
168 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPrediateDefinition()
169 * @generated
170 */
171 int UNNAMED_ERROR_PREDIATE_DEFINITION = 3;
172
173 /**
174 * The feature id for the '<em><b>Argument List</b></em>' containment reference.
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 * @ordered
179 */
180 int UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST = STATEMENT_FEATURE_COUNT + 0;
181
182 /**
183 * The feature id for the '<em><b>Body</b></em>' containment reference.
184 * <!-- begin-user-doc -->
185 * <!-- end-user-doc -->
186 * @generated
187 * @ordered
188 */
189 int UNNAMED_ERROR_PREDIATE_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1;
190
191 /**
192 * The number of structural features of the '<em>Unnamed Error Prediate Definition</em>' class.
193 * <!-- begin-user-doc -->
194 * <!-- end-user-doc -->
195 * @generated
196 * @ordered
197 */
198 int UNNAMED_ERROR_PREDIATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
199
200 /**
201 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl <em>Default Definition</em>}' class.
202 * <!-- begin-user-doc -->
203 * <!-- end-user-doc -->
204 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl
205 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultDefinition()
206 * @generated
207 */
208 int DEFAULT_DEFINITION = 4;
209
210 /**
211 * The feature id for the '<em><b>Head</b></em>' containment reference.
212 * <!-- begin-user-doc -->
213 * <!-- end-user-doc -->
214 * @generated
215 * @ordered
216 */
217 int DEFAULT_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
218
219 /**
220 * The feature id for the '<em><b>Range</b></em>' containment reference.
221 * <!-- begin-user-doc -->
222 * <!-- end-user-doc -->
223 * @generated
224 * @ordered
225 */
226 int DEFAULT_DEFINITION__RANGE = STATEMENT_FEATURE_COUNT + 1;
227
228 /**
229 * The number of structural features of the '<em>Default Definition</em>' class.
230 * <!-- begin-user-doc -->
231 * <!-- end-user-doc -->
232 * @generated
233 * @ordered
234 */
235 int DEFAULT_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
236
237 /**
238 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl <em>Extern Predicate Definition</em>}' class.
239 * <!-- begin-user-doc -->
240 * <!-- end-user-doc -->
241 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl
242 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDefinition()
243 * @generated
244 */
245 int EXTERN_PREDICATE_DEFINITION = 5;
246
247 /**
248 * The feature id for the '<em><b>Head</b></em>' containment reference.
249 * <!-- begin-user-doc -->
250 * <!-- end-user-doc -->
251 * @generated
252 * @ordered
253 */
254 int EXTERN_PREDICATE_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
255
256 /**
257 * The number of structural features of the '<em>Extern Predicate Definition</em>' class.
258 * <!-- begin-user-doc -->
259 * <!-- end-user-doc -->
260 * @generated
261 * @ordered
262 */
263 int EXTERN_PREDICATE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
264
265 /**
266 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl <em>Metric Definition</em>}' class.
267 * <!-- begin-user-doc -->
268 * <!-- end-user-doc -->
269 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl
270 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricDefinition()
271 * @generated
272 */
273 int METRIC_DEFINITION = 6;
274
275 /**
276 * The feature id for the '<em><b>Head</b></em>' containment reference.
277 * <!-- begin-user-doc -->
278 * <!-- end-user-doc -->
279 * @generated
280 * @ordered
281 */
282 int METRIC_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 0;
283
284 /**
285 * The feature id for the '<em><b>Body</b></em>' containment reference.
286 * <!-- begin-user-doc -->
287 * <!-- end-user-doc -->
288 * @generated
289 * @ordered
290 */
291 int METRIC_DEFINITION__BODY = STATEMENT_FEATURE_COUNT + 1;
292
293 /**
294 * The feature id for the '<em><b>Type</b></em>' attribute.
295 * <!-- begin-user-doc -->
296 * <!-- end-user-doc -->
297 * @generated
298 * @ordered
299 */
300 int METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 2;
301
302 /**
303 * The number of structural features of the '<em>Metric Definition</em>' class.
304 * <!-- begin-user-doc -->
305 * <!-- end-user-doc -->
306 * @generated
307 * @ordered
308 */
309 int METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
310
311 /**
312 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl <em>Extern Metric Definition</em>}' class.
313 * <!-- begin-user-doc -->
314 * <!-- end-user-doc -->
315 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl
316 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternMetricDefinition()
317 * @generated
318 */
319 int EXTERN_METRIC_DEFINITION = 7;
320
321 /**
322 * The feature id for the '<em><b>Type</b></em>' attribute.
323 * <!-- begin-user-doc -->
324 * <!-- end-user-doc -->
325 * @generated
326 * @ordered
327 */
328 int EXTERN_METRIC_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
329
330 /**
331 * The feature id for the '<em><b>Head</b></em>' containment reference.
332 * <!-- begin-user-doc -->
333 * <!-- end-user-doc -->
334 * @generated
335 * @ordered
336 */
337 int EXTERN_METRIC_DEFINITION__HEAD = STATEMENT_FEATURE_COUNT + 1;
338
339 /**
340 * The number of structural features of the '<em>Extern Metric Definition</em>' class.
341 * <!-- begin-user-doc -->
342 * <!-- end-user-doc -->
343 * @generated
344 * @ordered
345 */
346 int EXTERN_METRIC_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
347
348 /**
349 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl <em>Expression</em>}' class.
350 * <!-- begin-user-doc -->
351 * <!-- end-user-doc -->
352 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl
353 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpression()
354 * @generated
355 */
356 int EXPRESSION = 8;
357
358 /**
359 * The number of structural features of the '<em>Expression</em>' class.
360 * <!-- begin-user-doc -->
361 * <!-- end-user-doc -->
362 * @generated
363 * @ordered
364 */
365 int EXPRESSION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 0;
366
367 /**
368 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl <em>If Else</em>}' class.
369 * <!-- begin-user-doc -->
370 * <!-- end-user-doc -->
371 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl
372 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIfElse()
373 * @generated
374 */
375 int IF_ELSE = 9;
376
377 /**
378 * The feature id for the '<em><b>Condition</b></em>' containment reference.
379 * <!-- begin-user-doc -->
380 * <!-- end-user-doc -->
381 * @generated
382 * @ordered
383 */
384 int IF_ELSE__CONDITION = EXPRESSION_FEATURE_COUNT + 0;
385
386 /**
387 * The feature id for the '<em><b>Then</b></em>' containment reference.
388 * <!-- begin-user-doc -->
389 * <!-- end-user-doc -->
390 * @generated
391 * @ordered
392 */
393 int IF_ELSE__THEN = EXPRESSION_FEATURE_COUNT + 1;
394
395 /**
396 * The feature id for the '<em><b>Else</b></em>' containment reference.
397 * <!-- begin-user-doc -->
398 * <!-- end-user-doc -->
399 * @generated
400 * @ordered
401 */
402 int IF_ELSE__ELSE = EXPRESSION_FEATURE_COUNT + 2;
403
404 /**
405 * The number of structural features of the '<em>If Else</em>' class.
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @generated
409 * @ordered
410 */
411 int IF_ELSE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
412
413 /**
414 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl <em>Case</em>}' class.
415 * <!-- begin-user-doc -->
416 * <!-- end-user-doc -->
417 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl
418 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase()
419 * @generated
420 */
421 int CASE = 10;
422
423 /**
424 * The feature id for the '<em><b>Condition</b></em>' containment reference.
425 * <!-- begin-user-doc -->
426 * <!-- end-user-doc -->
427 * @generated
428 * @ordered
429 */
430 int CASE__CONDITION = EXPRESSION_FEATURE_COUNT + 0;
431
432 /**
433 * The feature id for the '<em><b>Body</b></em>' containment reference.
434 * <!-- begin-user-doc -->
435 * <!-- end-user-doc -->
436 * @generated
437 * @ordered
438 */
439 int CASE__BODY = EXPRESSION_FEATURE_COUNT + 1;
440
441 /**
442 * The number of structural features of the '<em>Case</em>' class.
443 * <!-- begin-user-doc -->
444 * <!-- end-user-doc -->
445 * @generated
446 * @ordered
447 */
448 int CASE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
449
450 /**
451 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl <em>Count</em>}' class.
452 * <!-- begin-user-doc -->
453 * <!-- end-user-doc -->
454 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl
455 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCount()
456 * @generated
457 */
458 int COUNT = 11;
459
460 /**
461 * The feature id for the '<em><b>Body</b></em>' containment reference.
462 * <!-- begin-user-doc -->
463 * <!-- end-user-doc -->
464 * @generated
465 * @ordered
466 */
467 int COUNT__BODY = EXPRESSION_FEATURE_COUNT + 0;
468
469 /**
470 * The number of structural features of the '<em>Count</em>' class.
471 * <!-- begin-user-doc -->
472 * <!-- end-user-doc -->
473 * @generated
474 * @ordered
475 */
476 int COUNT_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
477
478 /**
479 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl <em>Aggregation</em>}' class.
480 * <!-- begin-user-doc -->
481 * <!-- end-user-doc -->
482 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl
483 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregation()
484 * @generated
485 */
486 int AGGREGATION = 12;
487
488 /**
489 * The feature id for the '<em><b>Op</b></em>' attribute.
490 * <!-- begin-user-doc -->
491 * <!-- end-user-doc -->
492 * @generated
493 * @ordered
494 */
495 int AGGREGATION__OP = EXPRESSION_FEATURE_COUNT + 0;
496
497 /**
498 * The feature id for the '<em><b>Body</b></em>' containment reference.
499 * <!-- begin-user-doc -->
500 * <!-- end-user-doc -->
501 * @generated
502 * @ordered
503 */
504 int AGGREGATION__BODY = EXPRESSION_FEATURE_COUNT + 1;
505
506 /**
507 * The feature id for the '<em><b>Condition</b></em>' containment reference.
508 * <!-- begin-user-doc -->
509 * <!-- end-user-doc -->
510 * @generated
511 * @ordered
512 */
513 int AGGREGATION__CONDITION = EXPRESSION_FEATURE_COUNT + 2;
514
515 /**
516 * The number of structural features of the '<em>Aggregation</em>' class.
517 * <!-- begin-user-doc -->
518 * <!-- end-user-doc -->
519 * @generated
520 * @ordered
521 */
522 int AGGREGATION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
523
524 /**
525 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl <em>Call</em>}' class.
526 * <!-- begin-user-doc -->
527 * <!-- end-user-doc -->
528 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl
529 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall()
530 * @generated
531 */
532 int CALL = 13;
533
534 /**
535 * The feature id for the '<em><b>Functor</b></em>' containment reference.
536 * <!-- begin-user-doc -->
537 * <!-- end-user-doc -->
538 * @generated
539 * @ordered
540 */
541 int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0;
542
543 /**
544 * The feature id for the '<em><b>Transitive Closure</b></em>' attribute.
545 * <!-- begin-user-doc -->
546 * <!-- end-user-doc -->
547 * @generated
548 * @ordered
549 */
550 int CALL__TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 1;
551
552 /**
553 * The feature id for the '<em><b>Reflexive Transitive Closure</b></em>' attribute.
554 * <!-- begin-user-doc -->
555 * <!-- end-user-doc -->
556 * @generated
557 * @ordered
558 */
559 int CALL__REFLEXIVE_TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 2;
560
561 /**
562 * The feature id for the '<em><b>Argument List</b></em>' containment reference.
563 * <!-- begin-user-doc -->
564 * <!-- end-user-doc -->
565 * @generated
566 * @ordered
567 */
568 int CALL__ARGUMENT_LIST = EXPRESSION_FEATURE_COUNT + 3;
569
570 /**
571 * The number of structural features of the '<em>Call</em>' class.
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 * @ordered
576 */
577 int CALL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 4;
578
579 /**
580 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl <em>Argument List</em>}' class.
581 * <!-- begin-user-doc -->
582 * <!-- end-user-doc -->
583 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl
584 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgumentList()
585 * @generated
586 */
587 int ARGUMENT_LIST = 14;
588
589 /**
590 * The feature id for the '<em><b>Arguments</b></em>' containment reference list.
591 * <!-- begin-user-doc -->
592 * <!-- end-user-doc -->
593 * @generated
594 * @ordered
595 */
596 int ARGUMENT_LIST__ARGUMENTS = 0;
597
598 /**
599 * The number of structural features of the '<em>Argument List</em>' class.
600 * <!-- begin-user-doc -->
601 * <!-- end-user-doc -->
602 * @generated
603 * @ordered
604 */
605 int ARGUMENT_LIST_FEATURE_COUNT = 1;
606
607 /**
608 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl <em>Argument</em>}' class.
609 * <!-- begin-user-doc -->
610 * <!-- end-user-doc -->
611 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl
612 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgument()
613 * @generated
614 */
615 int ARGUMENT = 15;
616
617 /**
618 * The number of structural features of the '<em>Argument</em>' class.
619 * <!-- begin-user-doc -->
620 * <!-- end-user-doc -->
621 * @generated
622 * @ordered
623 */
624 int ARGUMENT_FEATURE_COUNT = 0;
625
626 /**
627 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl <em>Expression Argument</em>}' class.
628 * <!-- begin-user-doc -->
629 * <!-- end-user-doc -->
630 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl
631 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpressionArgument()
632 * @generated
633 */
634 int EXPRESSION_ARGUMENT = 16;
635
636 /**
637 * The feature id for the '<em><b>Body</b></em>' containment reference.
638 * <!-- begin-user-doc -->
639 * <!-- end-user-doc -->
640 * @generated
641 * @ordered
642 */
643 int EXPRESSION_ARGUMENT__BODY = ARGUMENT_FEATURE_COUNT + 0;
644
645 /**
646 * The number of structural features of the '<em>Expression Argument</em>' class.
647 * <!-- begin-user-doc -->
648 * <!-- end-user-doc -->
649 * @generated
650 * @ordered
651 */
652 int EXPRESSION_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
653
654 /**
655 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl <em>Star Argument</em>}' class.
656 * <!-- begin-user-doc -->
657 * <!-- end-user-doc -->
658 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl
659 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStarArgument()
660 * @generated
661 */
662 int STAR_ARGUMENT = 17;
663
664 /**
665 * The number of structural features of the '<em>Star Argument</em>' class.
666 * <!-- begin-user-doc -->
667 * <!-- end-user-doc -->
668 * @generated
669 * @ordered
670 */
671 int STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 0;
672
673 /**
674 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl <em>Typed Argument</em>}' class.
675 * <!-- begin-user-doc -->
676 * <!-- end-user-doc -->
677 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl
678 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedArgument()
679 * @generated
680 */
681 int TYPED_ARGUMENT = 18;
682
683 /**
684 * The feature id for the '<em><b>Type</b></em>' reference.
685 * <!-- begin-user-doc -->
686 * <!-- end-user-doc -->
687 * @generated
688 * @ordered
689 */
690 int TYPED_ARGUMENT__TYPE = ARGUMENT_FEATURE_COUNT + 0;
691
692 /**
693 * The feature id for the '<em><b>Variable</b></em>' reference.
694 * <!-- begin-user-doc -->
695 * <!-- end-user-doc -->
696 * @generated
697 * @ordered
698 */
699 int TYPED_ARGUMENT__VARIABLE = ARGUMENT_FEATURE_COUNT + 1;
700
701 /**
702 * The number of structural features of the '<em>Typed Argument</em>' class.
703 * <!-- begin-user-doc -->
704 * <!-- end-user-doc -->
705 * @generated
706 * @ordered
707 */
708 int TYPED_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 2;
709
710 /**
711 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl <em>Typed Star Argument</em>}' class.
712 * <!-- begin-user-doc -->
713 * <!-- end-user-doc -->
714 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl
715 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedStarArgument()
716 * @generated
717 */
718 int TYPED_STAR_ARGUMENT = 19;
719
720 /**
721 * The feature id for the '<em><b>Type</b></em>' reference.
722 * <!-- begin-user-doc -->
723 * <!-- end-user-doc -->
724 * @generated
725 * @ordered
726 */
727 int TYPED_STAR_ARGUMENT__TYPE = ARGUMENT_FEATURE_COUNT + 0;
728
729 /**
730 * The number of structural features of the '<em>Typed Star Argument</em>' class.
731 * <!-- begin-user-doc -->
732 * <!-- end-user-doc -->
733 * @generated
734 * @ordered
735 */
736 int TYPED_STAR_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
737
738 /**
739 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl <em>Reference</em>}' class.
740 * <!-- begin-user-doc -->
741 * <!-- end-user-doc -->
742 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl
743 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReference()
744 * @generated
745 */
746 int REFERENCE = 20;
747
748 /**
749 * The feature id for the '<em><b>Referred</b></em>' reference.
750 * <!-- begin-user-doc -->
751 * <!-- end-user-doc -->
752 * @generated
753 * @ordered
754 */
755 int REFERENCE__REFERRED = EXPRESSION_FEATURE_COUNT + 0;
756
757 /**
758 * The number of structural features of the '<em>Reference</em>' class.
759 * <!-- begin-user-doc -->
760 * <!-- end-user-doc -->
761 * @generated
762 * @ordered
763 */
764 int REFERENCE_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
765
766 /**
767 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl <em>Interval</em>}' class.
768 * <!-- begin-user-doc -->
769 * <!-- end-user-doc -->
770 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl
771 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterval()
772 * @generated
773 */
774 int INTERVAL = 21;
775
776 /**
777 * The feature id for the '<em><b>Lower Bound</b></em>' containment reference.
778 * <!-- begin-user-doc -->
779 * <!-- end-user-doc -->
780 * @generated
781 * @ordered
782 */
783 int INTERVAL__LOWER_BOUND = EXPRESSION_FEATURE_COUNT + 0;
784
785 /**
786 * The feature id for the '<em><b>Upper Bound</b></em>' containment reference.
787 * <!-- begin-user-doc -->
788 * <!-- end-user-doc -->
789 * @generated
790 * @ordered
791 */
792 int INTERVAL__UPPER_BOUND = EXPRESSION_FEATURE_COUNT + 1;
793
794 /**
795 * The number of structural features of the '<em>Interval</em>' class.
796 * <!-- begin-user-doc -->
797 * <!-- end-user-doc -->
798 * @generated
799 * @ordered
800 */
801 int INTERVAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
802
803 /**
804 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl <em>Literal</em>}' class.
805 * <!-- begin-user-doc -->
806 * <!-- end-user-doc -->
807 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
808 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
809 * @generated
810 */
811 int LITERAL = 22;
812
813 /**
814 * The number of structural features of the '<em>Literal</em>' class.
815 * <!-- begin-user-doc -->
816 * <!-- end-user-doc -->
817 * @generated
818 * @ordered
819 */
820 int LITERAL_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 0;
821
822 /**
823 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl <em>Logic Literal</em>}' class.
824 * <!-- begin-user-doc -->
825 * <!-- end-user-doc -->
826 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl
827 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicLiteral()
828 * @generated
829 */
830 int LOGIC_LITERAL = 23;
831
832 /**
833 * The feature id for the '<em><b>Value</b></em>' attribute.
834 * <!-- begin-user-doc -->
835 * <!-- end-user-doc -->
836 * @generated
837 * @ordered
838 */
839 int LOGIC_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
840
841 /**
842 * The number of structural features of the '<em>Logic Literal</em>' class.
843 * <!-- begin-user-doc -->
844 * <!-- end-user-doc -->
845 * @generated
846 * @ordered
847 */
848 int LOGIC_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
849
850 /**
851 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl <em>Numeric Literal</em>}' class.
852 * <!-- begin-user-doc -->
853 * <!-- end-user-doc -->
854 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl
855 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNumericLiteral()
856 * @generated
857 */
858 int NUMERIC_LITERAL = 24;
859
860 /**
861 * The feature id for the '<em><b>Value</b></em>' attribute.
862 * <!-- begin-user-doc -->
863 * <!-- end-user-doc -->
864 * @generated
865 * @ordered
866 */
867 int NUMERIC_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
868
869 /**
870 * The number of structural features of the '<em>Numeric Literal</em>' class.
871 * <!-- begin-user-doc -->
872 * <!-- end-user-doc -->
873 * @generated
874 * @ordered
875 */
876 int NUMERIC_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
877
878 /**
879 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl <em>Infinity Literal</em>}' class.
880 * <!-- begin-user-doc -->
881 * <!-- end-user-doc -->
882 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl
883 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInfinityLiteral()
884 * @generated
885 */
886 int INFINITY_LITERAL = 25;
887
888 /**
889 * The number of structural features of the '<em>Infinity Literal</em>' class.
890 * <!-- begin-user-doc -->
891 * <!-- end-user-doc -->
892 * @generated
893 * @ordered
894 */
895 int INFINITY_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0;
896
897 /**
898 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl <em>Empty Interval Literal</em>}' class.
899 * <!-- begin-user-doc -->
900 * <!-- end-user-doc -->
901 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl
902 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyIntervalLiteral()
903 * @generated
904 */
905 int EMPTY_INTERVAL_LITERAL = 26;
906
907 /**
908 * The number of structural features of the '<em>Empty Interval Literal</em>' class.
909 * <!-- begin-user-doc -->
910 * <!-- end-user-doc -->
911 * @generated
912 * @ordered
913 */
914 int EMPTY_INTERVAL_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0;
915
916 /**
917 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl <em>String Literal</em>}' class.
918 * <!-- begin-user-doc -->
919 * <!-- end-user-doc -->
920 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl
921 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral()
922 * @generated
923 */
924 int STRING_LITERAL = 27;
925
926 /**
927 * The feature id for the '<em><b>Value</b></em>' attribute.
928 * <!-- begin-user-doc -->
929 * <!-- end-user-doc -->
930 * @generated
931 * @ordered
932 */
933 int STRING_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0;
934
935 /**
936 * The number of structural features of the '<em>String Literal</em>' class.
937 * <!-- begin-user-doc -->
938 * <!-- end-user-doc -->
939 * @generated
940 * @ordered
941 */
942 int STRING_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1;
943
944 /**
945 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl <em>Class Definition</em>}' class.
946 * <!-- begin-user-doc -->
947 * <!-- end-user-doc -->
948 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl
949 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition()
950 * @generated
951 */
952 int CLASS_DEFINITION = 28;
953
954 /**
955 * The feature id for the '<em><b>Abstract</b></em>' attribute.
956 * <!-- begin-user-doc -->
957 * <!-- end-user-doc -->
958 * @generated
959 * @ordered
960 */
961 int CLASS_DEFINITION__ABSTRACT = STATEMENT_FEATURE_COUNT + 0;
962
963 /**
964 * The feature id for the '<em><b>Name</b></em>' attribute.
965 * <!-- begin-user-doc -->
966 * <!-- end-user-doc -->
967 * @generated
968 * @ordered
969 */
970 int CLASS_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1;
971
972 /**
973 * The feature id for the '<em><b>Superclasses</b></em>' reference list.
974 * <!-- begin-user-doc -->
975 * <!-- end-user-doc -->
976 * @generated
977 * @ordered
978 */
979 int CLASS_DEFINITION__SUPERCLASSES = STATEMENT_FEATURE_COUNT + 2;
980
981 /**
982 * The feature id for the '<em><b>Members</b></em>' containment reference list.
983 * <!-- begin-user-doc -->
984 * <!-- end-user-doc -->
985 * @generated
986 * @ordered
987 */
988 int CLASS_DEFINITION__MEMBERS = STATEMENT_FEATURE_COUNT + 3;
989
990 /**
991 * The number of structural features of the '<em>Class Definition</em>' class.
992 * <!-- begin-user-doc -->
993 * <!-- end-user-doc -->
994 * @generated
995 * @ordered
996 */
997 int CLASS_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4;
998
999 /**
1000 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class.
1001 * <!-- begin-user-doc -->
1002 * <!-- end-user-doc -->
1003 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl
1004 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition()
1005 * @generated
1006 */
1007 int MEMBER_DEFINITION = 29;
1008
1009 /**
1010 * The feature id for the '<em><b>Containment</b></em>' attribute.
1011 * <!-- begin-user-doc -->
1012 * <!-- end-user-doc -->
1013 * @generated
1014 * @ordered
1015 */
1016 int MEMBER_DEFINITION__CONTAINMENT = 0;
1017
1018 /**
1019 * The feature id for the '<em><b>Type</b></em>' reference.
1020 * <!-- begin-user-doc -->
1021 * <!-- end-user-doc -->
1022 * @generated
1023 * @ordered
1024 */
1025 int MEMBER_DEFINITION__TYPE = 1;
1026
1027 /**
1028 * The feature id for the '<em><b>Multiplicity</b></em>' containment reference.
1029 * <!-- begin-user-doc -->
1030 * <!-- end-user-doc -->
1031 * @generated
1032 * @ordered
1033 */
1034 int MEMBER_DEFINITION__MULTIPLICITY = 2;
1035
1036 /**
1037 * The feature id for the '<em><b>Name</b></em>' attribute.
1038 * <!-- begin-user-doc -->
1039 * <!-- end-user-doc -->
1040 * @generated
1041 * @ordered
1042 */
1043 int MEMBER_DEFINITION__NAME = 3;
1044
1045 /**
1046 * The feature id for the '<em><b>Opposite</b></em>' reference.
1047 * <!-- begin-user-doc -->
1048 * <!-- end-user-doc -->
1049 * @generated
1050 * @ordered
1051 */
1052 int MEMBER_DEFINITION__OPPOSITE = 4;
1053
1054 /**
1055 * The number of structural features of the '<em>Member Definition</em>' class.
1056 * <!-- begin-user-doc -->
1057 * <!-- end-user-doc -->
1058 * @generated
1059 * @ordered
1060 */
1061 int MEMBER_DEFINITION_FEATURE_COUNT = 5;
1062
1063 /**
1064 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
1065 * <!-- begin-user-doc -->
1066 * <!-- end-user-doc -->
1067 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl
1068 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity()
1069 * @generated
1070 */
1071 int MULTIPLICITY = 30;
1072
1073 /**
1074 * The number of structural features of the '<em>Multiplicity</em>' class.
1075 * <!-- begin-user-doc -->
1076 * <!-- end-user-doc -->
1077 * @generated
1078 * @ordered
1079 */
1080 int MULTIPLICITY_FEATURE_COUNT = 0;
1081
1082 /**
1083 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl <em>Many Multiplicity</em>}' class.
1084 * <!-- begin-user-doc -->
1085 * <!-- end-user-doc -->
1086 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl
1087 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity()
1088 * @generated
1089 */
1090 int MANY_MULTIPLICITY = 31;
1091
1092 /**
1093 * The number of structural features of the '<em>Many Multiplicity</em>' class.
1094 * <!-- begin-user-doc -->
1095 * <!-- end-user-doc -->
1096 * @generated
1097 * @ordered
1098 */
1099 int MANY_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0;
1100
1101 /**
1102 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
1103 * <!-- begin-user-doc -->
1104 * <!-- end-user-doc -->
1105 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl
1106 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity()
1107 * @generated
1108 */
1109 int EXACT_MULTIPLICITY = 32;
1110
1111 /**
1112 * The feature id for the '<em><b>Multiplicity</b></em>' attribute.
1113 * <!-- begin-user-doc -->
1114 * <!-- end-user-doc -->
1115 * @generated
1116 * @ordered
1117 */
1118 int EXACT_MULTIPLICITY__MULTIPLICITY = MULTIPLICITY_FEATURE_COUNT + 0;
1119
1120 /**
1121 * The number of structural features of the '<em>Exact Multiplicity</em>' class.
1122 * <!-- begin-user-doc -->
1123 * <!-- end-user-doc -->
1124 * @generated
1125 * @ordered
1126 */
1127 int EXACT_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 1;
1128
1129 /**
1130 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl <em>Bounded Multiplicity</em>}' class.
1131 * <!-- begin-user-doc -->
1132 * <!-- end-user-doc -->
1133 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl
1134 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity()
1135 * @generated
1136 */
1137 int BOUNDED_MULTIPLICITY = 33;
1138
1139 /**
1140 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1141 * <!-- begin-user-doc -->
1142 * <!-- end-user-doc -->
1143 * @generated
1144 * @ordered
1145 */
1146 int BOUNDED_MULTIPLICITY__LOWER_BOUND = MULTIPLICITY_FEATURE_COUNT + 0;
1147
1148 /**
1149 * The feature id for the '<em><b>Upper Bound</b></em>' attribute.
1150 * <!-- begin-user-doc -->
1151 * <!-- end-user-doc -->
1152 * @generated
1153 * @ordered
1154 */
1155 int BOUNDED_MULTIPLICITY__UPPER_BOUND = MULTIPLICITY_FEATURE_COUNT + 1;
1156
1157 /**
1158 * The number of structural features of the '<em>Bounded Multiplicity</em>' class.
1159 * <!-- begin-user-doc -->
1160 * <!-- end-user-doc -->
1161 * @generated
1162 * @ordered
1163 */
1164 int BOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 2;
1165
1166 /**
1167 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl <em>Scope Definition</em>}' class.
1168 * <!-- begin-user-doc -->
1169 * <!-- end-user-doc -->
1170 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl
1171 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition()
1172 * @generated
1173 */
1174 int SCOPE_DEFINITION = 34;
1175
1176 /**
1177 * The feature id for the '<em><b>Type</b></em>' reference.
1178 * <!-- begin-user-doc -->
1179 * <!-- end-user-doc -->
1180 * @generated
1181 * @ordered
1182 */
1183 int SCOPE_DEFINITION__TYPE = STATEMENT_FEATURE_COUNT + 0;
1184
1185 /**
1186 * The number of structural features of the '<em>Scope Definition</em>' class.
1187 * <!-- begin-user-doc -->
1188 * <!-- end-user-doc -->
1189 * @generated
1190 * @ordered
1191 */
1192 int SCOPE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
1193
1194 /**
1195 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl <em>Exact Scope Definition</em>}' class.
1196 * <!-- begin-user-doc -->
1197 * <!-- end-user-doc -->
1198 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl
1199 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition()
1200 * @generated
1201 */
1202 int EXACT_SCOPE_DEFINITION = 35;
1203
1204 /**
1205 * The feature id for the '<em><b>Type</b></em>' reference.
1206 * <!-- begin-user-doc -->
1207 * <!-- end-user-doc -->
1208 * @generated
1209 * @ordered
1210 */
1211 int EXACT_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE;
1212
1213 /**
1214 * The feature id for the '<em><b>Exact Scope</b></em>' attribute.
1215 * <!-- begin-user-doc -->
1216 * <!-- end-user-doc -->
1217 * @generated
1218 * @ordered
1219 */
1220 int EXACT_SCOPE_DEFINITION__EXACT_SCOPE = SCOPE_DEFINITION_FEATURE_COUNT + 0;
1221
1222 /**
1223 * The number of structural features of the '<em>Exact Scope Definition</em>' class.
1224 * <!-- begin-user-doc -->
1225 * <!-- end-user-doc -->
1226 * @generated
1227 * @ordered
1228 */
1229 int EXACT_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 1;
1230
1231 /**
1232 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl <em>Bounded Scope Definition</em>}' class.
1233 * <!-- begin-user-doc -->
1234 * <!-- end-user-doc -->
1235 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl
1236 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition()
1237 * @generated
1238 */
1239 int BOUNDED_SCOPE_DEFINITION = 36;
1240
1241 /**
1242 * The feature id for the '<em><b>Type</b></em>' reference.
1243 * <!-- begin-user-doc -->
1244 * <!-- end-user-doc -->
1245 * @generated
1246 * @ordered
1247 */
1248 int BOUNDED_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE;
1249
1250 /**
1251 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1252 * <!-- begin-user-doc -->
1253 * <!-- end-user-doc -->
1254 * @generated
1255 * @ordered
1256 */
1257 int BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 0;
1258
1259 /**
1260 * The feature id for the '<em><b>Upper Bound</b></em>' attribute.
1261 * <!-- begin-user-doc -->
1262 * <!-- end-user-doc -->
1263 * @generated
1264 * @ordered
1265 */
1266 int BOUNDED_SCOPE_DEFINITION__UPPER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 1;
1267
1268 /**
1269 * The number of structural features of the '<em>Bounded Scope Definition</em>' class.
1270 * <!-- begin-user-doc -->
1271 * <!-- end-user-doc -->
1272 * @generated
1273 * @ordered
1274 */
1275 int BOUNDED_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 2;
1276
1277 /**
1278 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl <em>Lower Bounded Scope Definition</em>}' class.
1279 * <!-- begin-user-doc -->
1280 * <!-- end-user-doc -->
1281 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl
1282 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition()
1283 * @generated
1284 */
1285 int LOWER_BOUNDED_SCOPE_DEFINITION = 37;
1286
1287 /**
1288 * The feature id for the '<em><b>Type</b></em>' reference.
1289 * <!-- begin-user-doc -->
1290 * <!-- end-user-doc -->
1291 * @generated
1292 * @ordered
1293 */
1294 int LOWER_BOUNDED_SCOPE_DEFINITION__TYPE = SCOPE_DEFINITION__TYPE;
1295
1296 /**
1297 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1298 * <!-- begin-user-doc -->
1299 * <!-- end-user-doc -->
1300 * @generated
1301 * @ordered
1302 */
1303 int LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = SCOPE_DEFINITION_FEATURE_COUNT + 0;
1304
1305 /**
1306 * The number of structural features of the '<em>Lower Bounded Scope Definition</em>' class.
1307 * <!-- begin-user-doc -->
1308 * <!-- end-user-doc -->
1309 * @generated
1310 * @ordered
1311 */
1312 int LOWER_BOUNDED_SCOPE_DEFINITION_FEATURE_COUNT = SCOPE_DEFINITION_FEATURE_COUNT + 1;
1313
1314 /**
1315 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl <em>Objective Definition</em>}' class.
1316 * <!-- begin-user-doc -->
1317 * <!-- end-user-doc -->
1318 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl
1319 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition()
1320 * @generated
1321 */
1322 int OBJECTIVE_DEFINITION = 38;
1323
1324 /**
1325 * The feature id for the '<em><b>Kind</b></em>' attribute.
1326 * <!-- begin-user-doc -->
1327 * <!-- end-user-doc -->
1328 * @generated
1329 * @ordered
1330 */
1331 int OBJECTIVE_DEFINITION__KIND = STATEMENT_FEATURE_COUNT + 0;
1332
1333 /**
1334 * The feature id for the '<em><b>Objective</b></em>' containment reference.
1335 * <!-- begin-user-doc -->
1336 * <!-- end-user-doc -->
1337 * @generated
1338 * @ordered
1339 */
1340 int OBJECTIVE_DEFINITION__OBJECTIVE = STATEMENT_FEATURE_COUNT + 1;
1341
1342 /**
1343 * The number of structural features of the '<em>Objective Definition</em>' class.
1344 * <!-- begin-user-doc -->
1345 * <!-- end-user-doc -->
1346 * @generated
1347 * @ordered
1348 */
1349 int OBJECTIVE_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
1350
1351 /**
1352 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl <em>Named Element</em>}' class.
1353 * <!-- begin-user-doc -->
1354 * <!-- end-user-doc -->
1355 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl
1356 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement()
1357 * @generated
1358 */
1359 int NAMED_ELEMENT = 39;
1360
1361 /**
1362 * The feature id for the '<em><b>Name</b></em>' attribute.
1363 * <!-- begin-user-doc -->
1364 * <!-- end-user-doc -->
1365 * @generated
1366 * @ordered
1367 */
1368 int NAMED_ELEMENT__NAME = 0;
1369
1370 /**
1371 * The number of structural features of the '<em>Named Element</em>' class.
1372 * <!-- begin-user-doc -->
1373 * <!-- end-user-doc -->
1374 * @generated
1375 * @ordered
1376 */
1377 int NAMED_ELEMENT_FEATURE_COUNT = 1;
1378
1379 /**
1380 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl <em>Assertion</em>}' class.
1381 * <!-- begin-user-doc -->
1382 * <!-- end-user-doc -->
1383 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl
1384 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion()
1385 * @generated
1386 */
1387 int ASSERTION = 40;
1388
1389 /**
1390 * The feature id for the '<em><b>Body</b></em>' containment reference.
1391 * <!-- begin-user-doc -->
1392 * <!-- end-user-doc -->
1393 * @generated
1394 * @ordered
1395 */
1396 int ASSERTION__BODY = STATEMENT_FEATURE_COUNT + 0;
1397
1398 /**
1399 * The feature id for the '<em><b>Range</b></em>' containment reference.
1400 * <!-- begin-user-doc -->
1401 * <!-- end-user-doc -->
1402 * @generated
1403 * @ordered
1404 */
1405 int ASSERTION__RANGE = STATEMENT_FEATURE_COUNT + 1;
1406
1407 /**
1408 * The number of structural features of the '<em>Assertion</em>' class.
1409 * <!-- begin-user-doc -->
1410 * <!-- end-user-doc -->
1411 * @generated
1412 * @ordered
1413 */
1414 int ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
1415
1416 /**
1417 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl <em>Disjunction</em>}' class.
1418 * <!-- begin-user-doc -->
1419 * <!-- end-user-doc -->
1420 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl
1421 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction()
1422 * @generated
1423 */
1424 int DISJUNCTION = 41;
1425
1426 /**
1427 * The feature id for the '<em><b>Children</b></em>' containment reference list.
1428 * <!-- begin-user-doc -->
1429 * <!-- end-user-doc -->
1430 * @generated
1431 * @ordered
1432 */
1433 int DISJUNCTION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0;
1434
1435 /**
1436 * The number of structural features of the '<em>Disjunction</em>' class.
1437 * <!-- begin-user-doc -->
1438 * <!-- end-user-doc -->
1439 * @generated
1440 * @ordered
1441 */
1442 int DISJUNCTION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1443
1444 /**
1445 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl <em>Switch</em>}' class.
1446 * <!-- begin-user-doc -->
1447 * <!-- end-user-doc -->
1448 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl
1449 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch()
1450 * @generated
1451 */
1452 int SWITCH = 42;
1453
1454 /**
1455 * The feature id for the '<em><b>Cases</b></em>' containment reference list.
1456 * <!-- begin-user-doc -->
1457 * <!-- end-user-doc -->
1458 * @generated
1459 * @ordered
1460 */
1461 int SWITCH__CASES = EXPRESSION_FEATURE_COUNT + 0;
1462
1463 /**
1464 * The number of structural features of the '<em>Switch</em>' class.
1465 * <!-- begin-user-doc -->
1466 * <!-- end-user-doc -->
1467 * @generated
1468 * @ordered
1469 */
1470 int SWITCH_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1471
1472 /**
1473 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl <em>Conjunction</em>}' class.
1474 * <!-- begin-user-doc -->
1475 * <!-- end-user-doc -->
1476 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl
1477 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction()
1478 * @generated
1479 */
1480 int CONJUNCTION = 43;
1481
1482 /**
1483 * The feature id for the '<em><b>Children</b></em>' containment reference list.
1484 * <!-- begin-user-doc -->
1485 * <!-- end-user-doc -->
1486 * @generated
1487 * @ordered
1488 */
1489 int CONJUNCTION__CHILDREN = EXPRESSION_FEATURE_COUNT + 0;
1490
1491 /**
1492 * The number of structural features of the '<em>Conjunction</em>' class.
1493 * <!-- begin-user-doc -->
1494 * <!-- end-user-doc -->
1495 * @generated
1496 * @ordered
1497 */
1498 int CONJUNCTION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 1;
1499
1500 /**
1501 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl <em>Comparison</em>}' class.
1502 * <!-- begin-user-doc -->
1503 * <!-- end-user-doc -->
1504 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl
1505 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison()
1506 * @generated
1507 */
1508 int COMPARISON = 44;
1509
1510 /**
1511 * The feature id for the '<em><b>Left</b></em>' containment reference.
1512 * <!-- begin-user-doc -->
1513 * <!-- end-user-doc -->
1514 * @generated
1515 * @ordered
1516 */
1517 int COMPARISON__LEFT = EXPRESSION_FEATURE_COUNT + 0;
1518
1519 /**
1520 * The feature id for the '<em><b>Op</b></em>' attribute.
1521 * <!-- begin-user-doc -->
1522 * <!-- end-user-doc -->
1523 * @generated
1524 * @ordered
1525 */
1526 int COMPARISON__OP = EXPRESSION_FEATURE_COUNT + 1;
1527
1528 /**
1529 * The feature id for the '<em><b>Right</b></em>' containment reference.
1530 * <!-- begin-user-doc -->
1531 * <!-- end-user-doc -->
1532 * @generated
1533 * @ordered
1534 */
1535 int COMPARISON__RIGHT = EXPRESSION_FEATURE_COUNT + 2;
1536
1537 /**
1538 * The number of structural features of the '<em>Comparison</em>' class.
1539 * <!-- begin-user-doc -->
1540 * <!-- end-user-doc -->
1541 * @generated
1542 * @ordered
1543 */
1544 int COMPARISON_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
1545
1546 /**
1547 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl <em>Binary Expression</em>}' class.
1548 * <!-- begin-user-doc -->
1549 * <!-- end-user-doc -->
1550 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl
1551 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression()
1552 * @generated
1553 */
1554 int BINARY_EXPRESSION = 45;
1555
1556 /**
1557 * The feature id for the '<em><b>Left</b></em>' containment reference.
1558 * <!-- begin-user-doc -->
1559 * <!-- end-user-doc -->
1560 * @generated
1561 * @ordered
1562 */
1563 int BINARY_EXPRESSION__LEFT = EXPRESSION_FEATURE_COUNT + 0;
1564
1565 /**
1566 * The feature id for the '<em><b>Op</b></em>' attribute.
1567 * <!-- begin-user-doc -->
1568 * <!-- end-user-doc -->
1569 * @generated
1570 * @ordered
1571 */
1572 int BINARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 1;
1573
1574 /**
1575 * The feature id for the '<em><b>Right</b></em>' containment reference.
1576 * <!-- begin-user-doc -->
1577 * <!-- end-user-doc -->
1578 * @generated
1579 * @ordered
1580 */
1581 int BINARY_EXPRESSION__RIGHT = EXPRESSION_FEATURE_COUNT + 2;
1582
1583 /**
1584 * The number of structural features of the '<em>Binary Expression</em>' class.
1585 * <!-- begin-user-doc -->
1586 * <!-- end-user-doc -->
1587 * @generated
1588 * @ordered
1589 */
1590 int BINARY_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 3;
1591
1592 /**
1593 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl <em>Unary Expression</em>}' class.
1594 * <!-- begin-user-doc -->
1595 * <!-- end-user-doc -->
1596 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl
1597 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression()
1598 * @generated
1599 */
1600 int UNARY_EXPRESSION = 46;
1601
1602 /**
1603 * The feature id for the '<em><b>Op</b></em>' attribute.
1604 * <!-- begin-user-doc -->
1605 * <!-- end-user-doc -->
1606 * @generated
1607 * @ordered
1608 */
1609 int UNARY_EXPRESSION__OP = EXPRESSION_FEATURE_COUNT + 0;
1610
1611 /**
1612 * The feature id for the '<em><b>Body</b></em>' containment reference.
1613 * <!-- begin-user-doc -->
1614 * <!-- end-user-doc -->
1615 * @generated
1616 * @ordered
1617 */
1618 int UNARY_EXPRESSION__BODY = EXPRESSION_FEATURE_COUNT + 1;
1619
1620 /**
1621 * The number of structural features of the '<em>Unary Expression</em>' class.
1622 * <!-- begin-user-doc -->
1623 * <!-- end-user-doc -->
1624 * @generated
1625 * @ordered
1626 */
1627 int UNARY_EXPRESSION_FEATURE_COUNT = EXPRESSION_FEATURE_COUNT + 2;
1628
1629 /**
1630 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricType <em>Metric Type</em>}' enum.
1631 * <!-- begin-user-doc -->
1632 * <!-- end-user-doc -->
1633 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricType
1634 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricType()
1635 * @generated
1636 */
1637 int METRIC_TYPE = 47;
1638
1639 /**
1640 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}' enum.
1641 * <!-- begin-user-doc -->
1642 * <!-- end-user-doc -->
1643 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator
1644 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator()
1645 * @generated
1646 */
1647 int BINARY_OPERATOR = 48;
1648
1649 /**
1650 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}' enum.
1651 * <!-- begin-user-doc -->
1652 * <!-- end-user-doc -->
1653 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp
1654 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp()
1655 * @generated
1656 */
1657 int UNARY_OP = 49;
1658
1659 /**
1660 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp <em>Aggregation Op</em>}' enum.
1661 * <!-- begin-user-doc -->
1662 * <!-- end-user-doc -->
1663 * @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOp
1664 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOp()
1665 * @generated
1666 */
1667 int AGGREGATION_OP = 50;
1668
1669 /**
1670 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}' enum.
1671 * <!-- begin-user-doc -->
1672 * <!-- end-user-doc -->
1673 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue
1674 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue()
1675 * @generated
1676 */
1677 int LOGIC_VALUE = 51;
1678
1679 /**
1680 * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}' enum.
1681 * <!-- begin-user-doc -->
1682 * <!-- end-user-doc -->
1683 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind
1684 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind()
1685 * @generated
1686 */
1687 int OBJECTIVE_KIND = 52;
1688
1689
1690 /**
1691 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem <em>Problem</em>}'.
1692 * <!-- begin-user-doc -->
1693 * <!-- end-user-doc -->
1694 * @return the meta object for class '<em>Problem</em>'.
1695 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem
1696 * @generated
1697 */
1698 EClass getProblem();
1699
1700 /**
1701 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements <em>Statements</em>}'.
1702 * <!-- begin-user-doc -->
1703 * <!-- end-user-doc -->
1704 * @return the meta object for the containment reference list '<em>Statements</em>'.
1705 * @see org.eclipse.viatra.solver.language.solverLanguage.Problem#getStatements()
1706 * @see #getProblem()
1707 * @generated
1708 */
1709 EReference getProblem_Statements();
1710
1711 /**
1712 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement <em>Statement</em>}'.
1713 * <!-- begin-user-doc -->
1714 * <!-- end-user-doc -->
1715 * @return the meta object for class '<em>Statement</em>'.
1716 * @see org.eclipse.viatra.solver.language.solverLanguage.Statement
1717 * @generated
1718 */
1719 EClass getStatement();
1720
1721 /**
1722 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'.
1723 * <!-- begin-user-doc -->
1724 * <!-- end-user-doc -->
1725 * @return the meta object for class '<em>Predicate Definition</em>'.
1726 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition
1727 * @generated
1728 */
1729 EClass getPredicateDefinition();
1730
1731 /**
1732 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getHead <em>Head</em>}'.
1733 * <!-- begin-user-doc -->
1734 * <!-- end-user-doc -->
1735 * @return the meta object for the containment reference '<em>Head</em>'.
1736 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getHead()
1737 * @see #getPredicateDefinition()
1738 * @generated
1739 */
1740 EReference getPredicateDefinition_Head();
1741
1742 /**
1743 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getBody <em>Body</em>}'.
1744 * <!-- begin-user-doc -->
1745 * <!-- end-user-doc -->
1746 * @return the meta object for the containment reference '<em>Body</em>'.
1747 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#getBody()
1748 * @see #getPredicateDefinition()
1749 * @generated
1750 */
1751 EReference getPredicateDefinition_Body();
1752
1753 /**
1754 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isFunctional <em>Functional</em>}'.
1755 * <!-- begin-user-doc -->
1756 * <!-- end-user-doc -->
1757 * @return the meta object for the attribute '<em>Functional</em>'.
1758 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isFunctional()
1759 * @see #getPredicateDefinition()
1760 * @generated
1761 */
1762 EAttribute getPredicateDefinition_Functional();
1763
1764 /**
1765 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isError <em>Error</em>}'.
1766 * <!-- begin-user-doc -->
1767 * <!-- end-user-doc -->
1768 * @return the meta object for the attribute '<em>Error</em>'.
1769 * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition#isError()
1770 * @see #getPredicateDefinition()
1771 * @generated
1772 */
1773 EAttribute getPredicateDefinition_Error();
1774
1775 /**
1776 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition <em>Unnamed Error Prediate Definition</em>}'.
1777 * <!-- begin-user-doc -->
1778 * <!-- end-user-doc -->
1779 * @return the meta object for class '<em>Unnamed Error Prediate Definition</em>'.
1780 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition
1781 * @generated
1782 */
1783 EClass getUnnamedErrorPrediateDefinition();
1784
1785 /**
1786 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getArgumentList <em>Argument List</em>}'.
1787 * <!-- begin-user-doc -->
1788 * <!-- end-user-doc -->
1789 * @return the meta object for the containment reference '<em>Argument List</em>'.
1790 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getArgumentList()
1791 * @see #getUnnamedErrorPrediateDefinition()
1792 * @generated
1793 */
1794 EReference getUnnamedErrorPrediateDefinition_ArgumentList();
1795
1796 /**
1797 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getBody <em>Body</em>}'.
1798 * <!-- begin-user-doc -->
1799 * <!-- end-user-doc -->
1800 * @return the meta object for the containment reference '<em>Body</em>'.
1801 * @see org.eclipse.viatra.solver.language.solverLanguage.UnnamedErrorPrediateDefinition#getBody()
1802 * @see #getUnnamedErrorPrediateDefinition()
1803 * @generated
1804 */
1805 EReference getUnnamedErrorPrediateDefinition_Body();
1806
1807 /**
1808 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition <em>Default Definition</em>}'.
1809 * <!-- begin-user-doc -->
1810 * <!-- end-user-doc -->
1811 * @return the meta object for class '<em>Default Definition</em>'.
1812 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition
1813 * @generated
1814 */
1815 EClass getDefaultDefinition();
1816
1817 /**
1818 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getHead <em>Head</em>}'.
1819 * <!-- begin-user-doc -->
1820 * <!-- end-user-doc -->
1821 * @return the meta object for the containment reference '<em>Head</em>'.
1822 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getHead()
1823 * @see #getDefaultDefinition()
1824 * @generated
1825 */
1826 EReference getDefaultDefinition_Head();
1827
1828 /**
1829 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getRange <em>Range</em>}'.
1830 * <!-- begin-user-doc -->
1831 * <!-- end-user-doc -->
1832 * @return the meta object for the containment reference '<em>Range</em>'.
1833 * @see org.eclipse.viatra.solver.language.solverLanguage.DefaultDefinition#getRange()
1834 * @see #getDefaultDefinition()
1835 * @generated
1836 */
1837 EReference getDefaultDefinition_Range();
1838
1839 /**
1840 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition <em>Extern Predicate Definition</em>}'.
1841 * <!-- begin-user-doc -->
1842 * <!-- end-user-doc -->
1843 * @return the meta object for class '<em>Extern Predicate Definition</em>'.
1844 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition
1845 * @generated
1846 */
1847 EClass getExternPredicateDefinition();
1848
1849 /**
1850 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getHead <em>Head</em>}'.
1851 * <!-- begin-user-doc -->
1852 * <!-- end-user-doc -->
1853 * @return the meta object for the containment reference '<em>Head</em>'.
1854 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternPredicateDefinition#getHead()
1855 * @see #getExternPredicateDefinition()
1856 * @generated
1857 */
1858 EReference getExternPredicateDefinition_Head();
1859
1860 /**
1861 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition <em>Metric Definition</em>}'.
1862 * <!-- begin-user-doc -->
1863 * <!-- end-user-doc -->
1864 * @return the meta object for class '<em>Metric Definition</em>'.
1865 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition
1866 * @generated
1867 */
1868 EClass getMetricDefinition();
1869
1870 /**
1871 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getHead <em>Head</em>}'.
1872 * <!-- begin-user-doc -->
1873 * <!-- end-user-doc -->
1874 * @return the meta object for the containment reference '<em>Head</em>'.
1875 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getHead()
1876 * @see #getMetricDefinition()
1877 * @generated
1878 */
1879 EReference getMetricDefinition_Head();
1880
1881 /**
1882 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getBody <em>Body</em>}'.
1883 * <!-- begin-user-doc -->
1884 * <!-- end-user-doc -->
1885 * @return the meta object for the containment reference '<em>Body</em>'.
1886 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getBody()
1887 * @see #getMetricDefinition()
1888 * @generated
1889 */
1890 EReference getMetricDefinition_Body();
1891
1892 /**
1893 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType <em>Type</em>}'.
1894 * <!-- begin-user-doc -->
1895 * <!-- end-user-doc -->
1896 * @return the meta object for the attribute '<em>Type</em>'.
1897 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricDefinition#getType()
1898 * @see #getMetricDefinition()
1899 * @generated
1900 */
1901 EAttribute getMetricDefinition_Type();
1902
1903 /**
1904 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition <em>Extern Metric Definition</em>}'.
1905 * <!-- begin-user-doc -->
1906 * <!-- end-user-doc -->
1907 * @return the meta object for class '<em>Extern Metric Definition</em>'.
1908 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition
1909 * @generated
1910 */
1911 EClass getExternMetricDefinition();
1912
1913 /**
1914 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType <em>Type</em>}'.
1915 * <!-- begin-user-doc -->
1916 * <!-- end-user-doc -->
1917 * @return the meta object for the attribute '<em>Type</em>'.
1918 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getType()
1919 * @see #getExternMetricDefinition()
1920 * @generated
1921 */
1922 EAttribute getExternMetricDefinition_Type();
1923
1924 /**
1925 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getHead <em>Head</em>}'.
1926 * <!-- begin-user-doc -->
1927 * <!-- end-user-doc -->
1928 * @return the meta object for the containment reference '<em>Head</em>'.
1929 * @see org.eclipse.viatra.solver.language.solverLanguage.ExternMetricDefinition#getHead()
1930 * @see #getExternMetricDefinition()
1931 * @generated
1932 */
1933 EReference getExternMetricDefinition_Head();
1934
1935 /**
1936 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Expression <em>Expression</em>}'.
1937 * <!-- begin-user-doc -->
1938 * <!-- end-user-doc -->
1939 * @return the meta object for class '<em>Expression</em>'.
1940 * @see org.eclipse.viatra.solver.language.solverLanguage.Expression
1941 * @generated
1942 */
1943 EClass getExpression();
1944
1945 /**
1946 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse <em>If Else</em>}'.
1947 * <!-- begin-user-doc -->
1948 * <!-- end-user-doc -->
1949 * @return the meta object for class '<em>If Else</em>'.
1950 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse
1951 * @generated
1952 */
1953 EClass getIfElse();
1954
1955 /**
1956 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getCondition <em>Condition</em>}'.
1957 * <!-- begin-user-doc -->
1958 * <!-- end-user-doc -->
1959 * @return the meta object for the containment reference '<em>Condition</em>'.
1960 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getCondition()
1961 * @see #getIfElse()
1962 * @generated
1963 */
1964 EReference getIfElse_Condition();
1965
1966 /**
1967 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getThen <em>Then</em>}'.
1968 * <!-- begin-user-doc -->
1969 * <!-- end-user-doc -->
1970 * @return the meta object for the containment reference '<em>Then</em>'.
1971 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getThen()
1972 * @see #getIfElse()
1973 * @generated
1974 */
1975 EReference getIfElse_Then();
1976
1977 /**
1978 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.IfElse#getElse <em>Else</em>}'.
1979 * <!-- begin-user-doc -->
1980 * <!-- end-user-doc -->
1981 * @return the meta object for the containment reference '<em>Else</em>'.
1982 * @see org.eclipse.viatra.solver.language.solverLanguage.IfElse#getElse()
1983 * @see #getIfElse()
1984 * @generated
1985 */
1986 EReference getIfElse_Else();
1987
1988 /**
1989 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Case <em>Case</em>}'.
1990 * <!-- begin-user-doc -->
1991 * <!-- end-user-doc -->
1992 * @return the meta object for class '<em>Case</em>'.
1993 * @see org.eclipse.viatra.solver.language.solverLanguage.Case
1994 * @generated
1995 */
1996 EClass getCase();
1997
1998 /**
1999 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition <em>Condition</em>}'.
2000 * <!-- begin-user-doc -->
2001 * <!-- end-user-doc -->
2002 * @return the meta object for the containment reference '<em>Condition</em>'.
2003 * @see org.eclipse.viatra.solver.language.solverLanguage.Case#getCondition()
2004 * @see #getCase()
2005 * @generated
2006 */
2007 EReference getCase_Condition();
2008
2009 /**
2010 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Case#getBody <em>Body</em>}'.
2011 * <!-- begin-user-doc -->
2012 * <!-- end-user-doc -->
2013 * @return the meta object for the containment reference '<em>Body</em>'.
2014 * @see org.eclipse.viatra.solver.language.solverLanguage.Case#getBody()
2015 * @see #getCase()
2016 * @generated
2017 */
2018 EReference getCase_Body();
2019
2020 /**
2021 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Count <em>Count</em>}'.
2022 * <!-- begin-user-doc -->
2023 * <!-- end-user-doc -->
2024 * @return the meta object for class '<em>Count</em>'.
2025 * @see org.eclipse.viatra.solver.language.solverLanguage.Count
2026 * @generated
2027 */
2028 EClass getCount();
2029
2030 /**
2031 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Count#getBody <em>Body</em>}'.
2032 * <!-- begin-user-doc -->
2033 * <!-- end-user-doc -->
2034 * @return the meta object for the containment reference '<em>Body</em>'.
2035 * @see org.eclipse.viatra.solver.language.solverLanguage.Count#getBody()
2036 * @see #getCount()
2037 * @generated
2038 */
2039 EReference getCount_Body();
2040
2041 /**
2042 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation <em>Aggregation</em>}'.
2043 * <!-- begin-user-doc -->
2044 * <!-- end-user-doc -->
2045 * @return the meta object for class '<em>Aggregation</em>'.
2046 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation
2047 * @generated
2048 */
2049 EClass getAggregation();
2050
2051 /**
2052 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp <em>Op</em>}'.
2053 * <!-- begin-user-doc -->
2054 * <!-- end-user-doc -->
2055 * @return the meta object for the attribute '<em>Op</em>'.
2056 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getOp()
2057 * @see #getAggregation()
2058 * @generated
2059 */
2060 EAttribute getAggregation_Op();
2061
2062 /**
2063 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getBody <em>Body</em>}'.
2064 * <!-- begin-user-doc -->
2065 * <!-- end-user-doc -->
2066 * @return the meta object for the containment reference '<em>Body</em>'.
2067 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getBody()
2068 * @see #getAggregation()
2069 * @generated
2070 */
2071 EReference getAggregation_Body();
2072
2073 /**
2074 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getCondition <em>Condition</em>}'.
2075 * <!-- begin-user-doc -->
2076 * <!-- end-user-doc -->
2077 * @return the meta object for the containment reference '<em>Condition</em>'.
2078 * @see org.eclipse.viatra.solver.language.solverLanguage.Aggregation#getCondition()
2079 * @see #getAggregation()
2080 * @generated
2081 */
2082 EReference getAggregation_Condition();
2083
2084 /**
2085 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Call <em>Call</em>}'.
2086 * <!-- begin-user-doc -->
2087 * <!-- end-user-doc -->
2088 * @return the meta object for class '<em>Call</em>'.
2089 * @see org.eclipse.viatra.solver.language.solverLanguage.Call
2090 * @generated
2091 */
2092 EClass getCall();
2093
2094 /**
2095 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor <em>Functor</em>}'.
2096 * <!-- begin-user-doc -->
2097 * <!-- end-user-doc -->
2098 * @return the meta object for the containment reference '<em>Functor</em>'.
2099 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getFunctor()
2100 * @see #getCall()
2101 * @generated
2102 */
2103 EReference getCall_Functor();
2104
2105 /**
2106 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure <em>Transitive Closure</em>}'.
2107 * <!-- begin-user-doc -->
2108 * <!-- end-user-doc -->
2109 * @return the meta object for the attribute '<em>Transitive Closure</em>'.
2110 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure()
2111 * @see #getCall()
2112 * @generated
2113 */
2114 EAttribute getCall_TransitiveClosure();
2115
2116 /**
2117 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure <em>Reflexive Transitive Closure</em>}'.
2118 * <!-- begin-user-doc -->
2119 * <!-- end-user-doc -->
2120 * @return the meta object for the attribute '<em>Reflexive Transitive Closure</em>'.
2121 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#isReflexiveTransitiveClosure()
2122 * @see #getCall()
2123 * @generated
2124 */
2125 EAttribute getCall_ReflexiveTransitiveClosure();
2126
2127 /**
2128 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}'.
2129 * <!-- begin-user-doc -->
2130 * <!-- end-user-doc -->
2131 * @return the meta object for the containment reference '<em>Argument List</em>'.
2132 * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList()
2133 * @see #getCall()
2134 * @generated
2135 */
2136 EReference getCall_ArgumentList();
2137
2138 /**
2139 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'.
2140 * <!-- begin-user-doc -->
2141 * <!-- end-user-doc -->
2142 * @return the meta object for class '<em>Argument List</em>'.
2143 * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList
2144 * @generated
2145 */
2146 EClass getArgumentList();
2147
2148 /**
2149 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList#getArguments <em>Arguments</em>}'.
2150 * <!-- begin-user-doc -->
2151 * <!-- end-user-doc -->
2152 * @return the meta object for the containment reference list '<em>Arguments</em>'.
2153 * @see org.eclipse.viatra.solver.language.solverLanguage.ArgumentList#getArguments()
2154 * @see #getArgumentList()
2155 * @generated
2156 */
2157 EReference getArgumentList_Arguments();
2158
2159 /**
2160 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Argument <em>Argument</em>}'.
2161 * <!-- begin-user-doc -->
2162 * <!-- end-user-doc -->
2163 * @return the meta object for class '<em>Argument</em>'.
2164 * @see org.eclipse.viatra.solver.language.solverLanguage.Argument
2165 * @generated
2166 */
2167 EClass getArgument();
2168
2169 /**
2170 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument <em>Expression Argument</em>}'.
2171 * <!-- begin-user-doc -->
2172 * <!-- end-user-doc -->
2173 * @return the meta object for class '<em>Expression Argument</em>'.
2174 * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument
2175 * @generated
2176 */
2177 EClass getExpressionArgument();
2178
2179 /**
2180 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getBody <em>Body</em>}'.
2181 * <!-- begin-user-doc -->
2182 * <!-- end-user-doc -->
2183 * @return the meta object for the containment reference '<em>Body</em>'.
2184 * @see org.eclipse.viatra.solver.language.solverLanguage.ExpressionArgument#getBody()
2185 * @see #getExpressionArgument()
2186 * @generated
2187 */
2188 EReference getExpressionArgument_Body();
2189
2190 /**
2191 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StarArgument <em>Star Argument</em>}'.
2192 * <!-- begin-user-doc -->
2193 * <!-- end-user-doc -->
2194 * @return the meta object for class '<em>Star Argument</em>'.
2195 * @see org.eclipse.viatra.solver.language.solverLanguage.StarArgument
2196 * @generated
2197 */
2198 EClass getStarArgument();
2199
2200 /**
2201 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument <em>Typed Argument</em>}'.
2202 * <!-- begin-user-doc -->
2203 * <!-- end-user-doc -->
2204 * @return the meta object for class '<em>Typed Argument</em>'.
2205 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument
2206 * @generated
2207 */
2208 EClass getTypedArgument();
2209
2210 /**
2211 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getType <em>Type</em>}'.
2212 * <!-- begin-user-doc -->
2213 * <!-- end-user-doc -->
2214 * @return the meta object for the reference '<em>Type</em>'.
2215 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getType()
2216 * @see #getTypedArgument()
2217 * @generated
2218 */
2219 EReference getTypedArgument_Type();
2220
2221 /**
2222 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getVariable <em>Variable</em>}'.
2223 * <!-- begin-user-doc -->
2224 * <!-- end-user-doc -->
2225 * @return the meta object for the reference '<em>Variable</em>'.
2226 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedArgument#getVariable()
2227 * @see #getTypedArgument()
2228 * @generated
2229 */
2230 EReference getTypedArgument_Variable();
2231
2232 /**
2233 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument <em>Typed Star Argument</em>}'.
2234 * <!-- begin-user-doc -->
2235 * <!-- end-user-doc -->
2236 * @return the meta object for class '<em>Typed Star Argument</em>'.
2237 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument
2238 * @generated
2239 */
2240 EClass getTypedStarArgument();
2241
2242 /**
2243 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument#getType <em>Type</em>}'.
2244 * <!-- begin-user-doc -->
2245 * <!-- end-user-doc -->
2246 * @return the meta object for the reference '<em>Type</em>'.
2247 * @see org.eclipse.viatra.solver.language.solverLanguage.TypedStarArgument#getType()
2248 * @see #getTypedStarArgument()
2249 * @generated
2250 */
2251 EReference getTypedStarArgument_Type();
2252
2253 /**
2254 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference <em>Reference</em>}'.
2255 * <!-- begin-user-doc -->
2256 * <!-- end-user-doc -->
2257 * @return the meta object for class '<em>Reference</em>'.
2258 * @see org.eclipse.viatra.solver.language.solverLanguage.Reference
2259 * @generated
2260 */
2261 EClass getReference();
2262
2263 /**
2264 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Reference#getReferred <em>Referred</em>}'.
2265 * <!-- begin-user-doc -->
2266 * <!-- end-user-doc -->
2267 * @return the meta object for the reference '<em>Referred</em>'.
2268 * @see org.eclipse.viatra.solver.language.solverLanguage.Reference#getReferred()
2269 * @see #getReference()
2270 * @generated
2271 */
2272 EReference getReference_Referred();
2273
2274 /**
2275 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval <em>Interval</em>}'.
2276 * <!-- begin-user-doc -->
2277 * <!-- end-user-doc -->
2278 * @return the meta object for class '<em>Interval</em>'.
2279 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval
2280 * @generated
2281 */
2282 EClass getInterval();
2283
2284 /**
2285 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval#getLowerBound <em>Lower Bound</em>}'.
2286 * <!-- begin-user-doc -->
2287 * <!-- end-user-doc -->
2288 * @return the meta object for the containment reference '<em>Lower Bound</em>'.
2289 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval#getLowerBound()
2290 * @see #getInterval()
2291 * @generated
2292 */
2293 EReference getInterval_LowerBound();
2294
2295 /**
2296 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Interval#getUpperBound <em>Upper Bound</em>}'.
2297 * <!-- begin-user-doc -->
2298 * <!-- end-user-doc -->
2299 * @return the meta object for the containment reference '<em>Upper Bound</em>'.
2300 * @see org.eclipse.viatra.solver.language.solverLanguage.Interval#getUpperBound()
2301 * @see #getInterval()
2302 * @generated
2303 */
2304 EReference getInterval_UpperBound();
2305
2306 /**
2307 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Literal <em>Literal</em>}'.
2308 * <!-- begin-user-doc -->
2309 * <!-- end-user-doc -->
2310 * @return the meta object for class '<em>Literal</em>'.
2311 * @see org.eclipse.viatra.solver.language.solverLanguage.Literal
2312 * @generated
2313 */
2314 EClass getLiteral();
2315
2316 /**
2317 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral <em>Logic Literal</em>}'.
2318 * <!-- begin-user-doc -->
2319 * <!-- end-user-doc -->
2320 * @return the meta object for class '<em>Logic Literal</em>'.
2321 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral
2322 * @generated
2323 */
2324 EClass getLogicLiteral();
2325
2326 /**
2327 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral#getValue <em>Value</em>}'.
2328 * <!-- begin-user-doc -->
2329 * <!-- end-user-doc -->
2330 * @return the meta object for the attribute '<em>Value</em>'.
2331 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicLiteral#getValue()
2332 * @see #getLogicLiteral()
2333 * @generated
2334 */
2335 EAttribute getLogicLiteral_Value();
2336
2337 /**
2338 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral <em>Numeric Literal</em>}'.
2339 * <!-- begin-user-doc -->
2340 * <!-- end-user-doc -->
2341 * @return the meta object for class '<em>Numeric Literal</em>'.
2342 * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral
2343 * @generated
2344 */
2345 EClass getNumericLiteral();
2346
2347 /**
2348 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral#getValue <em>Value</em>}'.
2349 * <!-- begin-user-doc -->
2350 * <!-- end-user-doc -->
2351 * @return the meta object for the attribute '<em>Value</em>'.
2352 * @see org.eclipse.viatra.solver.language.solverLanguage.NumericLiteral#getValue()
2353 * @see #getNumericLiteral()
2354 * @generated
2355 */
2356 EAttribute getNumericLiteral_Value();
2357
2358 /**
2359 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral <em>Infinity Literal</em>}'.
2360 * <!-- begin-user-doc -->
2361 * <!-- end-user-doc -->
2362 * @return the meta object for class '<em>Infinity Literal</em>'.
2363 * @see org.eclipse.viatra.solver.language.solverLanguage.InfinityLiteral
2364 * @generated
2365 */
2366 EClass getInfinityLiteral();
2367
2368 /**
2369 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral <em>Empty Interval Literal</em>}'.
2370 * <!-- begin-user-doc -->
2371 * <!-- end-user-doc -->
2372 * @return the meta object for class '<em>Empty Interval Literal</em>'.
2373 * @see org.eclipse.viatra.solver.language.solverLanguage.EmptyIntervalLiteral
2374 * @generated
2375 */
2376 EClass getEmptyIntervalLiteral();
2377
2378 /**
2379 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral <em>String Literal</em>}'.
2380 * <!-- begin-user-doc -->
2381 * <!-- end-user-doc -->
2382 * @return the meta object for class '<em>String Literal</em>'.
2383 * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral
2384 * @generated
2385 */
2386 EClass getStringLiteral();
2387
2388 /**
2389 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.StringLiteral#getValue <em>Value</em>}'.
2390 * <!-- begin-user-doc -->
2391 * <!-- end-user-doc -->
2392 * @return the meta object for the attribute '<em>Value</em>'.
2393 * @see org.eclipse.viatra.solver.language.solverLanguage.StringLiteral#getValue()
2394 * @see #getStringLiteral()
2395 * @generated
2396 */
2397 EAttribute getStringLiteral_Value();
2398
2399 /**
2400 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition <em>Class Definition</em>}'.
2401 * <!-- begin-user-doc -->
2402 * <!-- end-user-doc -->
2403 * @return the meta object for class '<em>Class Definition</em>'.
2404 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition
2405 * @generated
2406 */
2407 EClass getClassDefinition();
2408
2409 /**
2410 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract <em>Abstract</em>}'.
2411 * <!-- begin-user-doc -->
2412 * <!-- end-user-doc -->
2413 * @return the meta object for the attribute '<em>Abstract</em>'.
2414 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract()
2415 * @see #getClassDefinition()
2416 * @generated
2417 */
2418 EAttribute getClassDefinition_Abstract();
2419
2420 /**
2421 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName <em>Name</em>}'.
2422 * <!-- begin-user-doc -->
2423 * <!-- end-user-doc -->
2424 * @return the meta object for the attribute '<em>Name</em>'.
2425 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName()
2426 * @see #getClassDefinition()
2427 * @generated
2428 */
2429 EAttribute getClassDefinition_Name();
2430
2431 /**
2432 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses <em>Superclasses</em>}'.
2433 * <!-- begin-user-doc -->
2434 * <!-- end-user-doc -->
2435 * @return the meta object for the reference list '<em>Superclasses</em>'.
2436 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses()
2437 * @see #getClassDefinition()
2438 * @generated
2439 */
2440 EReference getClassDefinition_Superclasses();
2441
2442 /**
2443 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers <em>Members</em>}'.
2444 * <!-- begin-user-doc -->
2445 * <!-- end-user-doc -->
2446 * @return the meta object for the containment reference list '<em>Members</em>'.
2447 * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers()
2448 * @see #getClassDefinition()
2449 * @generated
2450 */
2451 EReference getClassDefinition_Members();
2452
2453 /**
2454 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'.
2455 * <!-- begin-user-doc -->
2456 * <!-- end-user-doc -->
2457 * @return the meta object for class '<em>Member Definition</em>'.
2458 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition
2459 * @generated
2460 */
2461 EClass getMemberDefinition();
2462
2463 /**
2464 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#isContainment <em>Containment</em>}'.
2465 * <!-- begin-user-doc -->
2466 * <!-- end-user-doc -->
2467 * @return the meta object for the attribute '<em>Containment</em>'.
2468 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#isContainment()
2469 * @see #getMemberDefinition()
2470 * @generated
2471 */
2472 EAttribute getMemberDefinition_Containment();
2473
2474 /**
2475 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getType <em>Type</em>}'.
2476 * <!-- begin-user-doc -->
2477 * <!-- end-user-doc -->
2478 * @return the meta object for the reference '<em>Type</em>'.
2479 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getType()
2480 * @see #getMemberDefinition()
2481 * @generated
2482 */
2483 EReference getMemberDefinition_Type();
2484
2485 /**
2486 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getMultiplicity <em>Multiplicity</em>}'.
2487 * <!-- begin-user-doc -->
2488 * <!-- end-user-doc -->
2489 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
2490 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getMultiplicity()
2491 * @see #getMemberDefinition()
2492 * @generated
2493 */
2494 EReference getMemberDefinition_Multiplicity();
2495
2496 /**
2497 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getName <em>Name</em>}'.
2498 * <!-- begin-user-doc -->
2499 * <!-- end-user-doc -->
2500 * @return the meta object for the attribute '<em>Name</em>'.
2501 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getName()
2502 * @see #getMemberDefinition()
2503 * @generated
2504 */
2505 EAttribute getMemberDefinition_Name();
2506
2507 /**
2508 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getOpposite <em>Opposite</em>}'.
2509 * <!-- begin-user-doc -->
2510 * <!-- end-user-doc -->
2511 * @return the meta object for the reference '<em>Opposite</em>'.
2512 * @see org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition#getOpposite()
2513 * @see #getMemberDefinition()
2514 * @generated
2515 */
2516 EReference getMemberDefinition_Opposite();
2517
2518 /**
2519 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Multiplicity <em>Multiplicity</em>}'.
2520 * <!-- begin-user-doc -->
2521 * <!-- end-user-doc -->
2522 * @return the meta object for class '<em>Multiplicity</em>'.
2523 * @see org.eclipse.viatra.solver.language.solverLanguage.Multiplicity
2524 * @generated
2525 */
2526 EClass getMultiplicity();
2527
2528 /**
2529 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity <em>Many Multiplicity</em>}'.
2530 * <!-- begin-user-doc -->
2531 * <!-- end-user-doc -->
2532 * @return the meta object for class '<em>Many Multiplicity</em>'.
2533 * @see org.eclipse.viatra.solver.language.solverLanguage.ManyMultiplicity
2534 * @generated
2535 */
2536 EClass getManyMultiplicity();
2537
2538 /**
2539 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity <em>Exact Multiplicity</em>}'.
2540 * <!-- begin-user-doc -->
2541 * <!-- end-user-doc -->
2542 * @return the meta object for class '<em>Exact Multiplicity</em>'.
2543 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity
2544 * @generated
2545 */
2546 EClass getExactMultiplicity();
2547
2548 /**
2549 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getMultiplicity <em>Multiplicity</em>}'.
2550 * <!-- begin-user-doc -->
2551 * <!-- end-user-doc -->
2552 * @return the meta object for the attribute '<em>Multiplicity</em>'.
2553 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactMultiplicity#getMultiplicity()
2554 * @see #getExactMultiplicity()
2555 * @generated
2556 */
2557 EAttribute getExactMultiplicity_Multiplicity();
2558
2559 /**
2560 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity <em>Bounded Multiplicity</em>}'.
2561 * <!-- begin-user-doc -->
2562 * <!-- end-user-doc -->
2563 * @return the meta object for class '<em>Bounded Multiplicity</em>'.
2564 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity
2565 * @generated
2566 */
2567 EClass getBoundedMultiplicity();
2568
2569 /**
2570 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getLowerBound <em>Lower Bound</em>}'.
2571 * <!-- begin-user-doc -->
2572 * <!-- end-user-doc -->
2573 * @return the meta object for the attribute '<em>Lower Bound</em>'.
2574 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getLowerBound()
2575 * @see #getBoundedMultiplicity()
2576 * @generated
2577 */
2578 EAttribute getBoundedMultiplicity_LowerBound();
2579
2580 /**
2581 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getUpperBound <em>Upper Bound</em>}'.
2582 * <!-- begin-user-doc -->
2583 * <!-- end-user-doc -->
2584 * @return the meta object for the attribute '<em>Upper Bound</em>'.
2585 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedMultiplicity#getUpperBound()
2586 * @see #getBoundedMultiplicity()
2587 * @generated
2588 */
2589 EAttribute getBoundedMultiplicity_UpperBound();
2590
2591 /**
2592 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition <em>Scope Definition</em>}'.
2593 * <!-- begin-user-doc -->
2594 * <!-- end-user-doc -->
2595 * @return the meta object for class '<em>Scope Definition</em>'.
2596 * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition
2597 * @generated
2598 */
2599 EClass getScopeDefinition();
2600
2601 /**
2602 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition#getType <em>Type</em>}'.
2603 * <!-- begin-user-doc -->
2604 * <!-- end-user-doc -->
2605 * @return the meta object for the reference '<em>Type</em>'.
2606 * @see org.eclipse.viatra.solver.language.solverLanguage.ScopeDefinition#getType()
2607 * @see #getScopeDefinition()
2608 * @generated
2609 */
2610 EReference getScopeDefinition_Type();
2611
2612 /**
2613 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition <em>Exact Scope Definition</em>}'.
2614 * <!-- begin-user-doc -->
2615 * <!-- end-user-doc -->
2616 * @return the meta object for class '<em>Exact Scope Definition</em>'.
2617 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition
2618 * @generated
2619 */
2620 EClass getExactScopeDefinition();
2621
2622 /**
2623 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition#getExactScope <em>Exact Scope</em>}'.
2624 * <!-- begin-user-doc -->
2625 * <!-- end-user-doc -->
2626 * @return the meta object for the attribute '<em>Exact Scope</em>'.
2627 * @see org.eclipse.viatra.solver.language.solverLanguage.ExactScopeDefinition#getExactScope()
2628 * @see #getExactScopeDefinition()
2629 * @generated
2630 */
2631 EAttribute getExactScopeDefinition_ExactScope();
2632
2633 /**
2634 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition <em>Bounded Scope Definition</em>}'.
2635 * <!-- begin-user-doc -->
2636 * <!-- end-user-doc -->
2637 * @return the meta object for class '<em>Bounded Scope Definition</em>'.
2638 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition
2639 * @generated
2640 */
2641 EClass getBoundedScopeDefinition();
2642
2643 /**
2644 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getLowerBound <em>Lower Bound</em>}'.
2645 * <!-- begin-user-doc -->
2646 * <!-- end-user-doc -->
2647 * @return the meta object for the attribute '<em>Lower Bound</em>'.
2648 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getLowerBound()
2649 * @see #getBoundedScopeDefinition()
2650 * @generated
2651 */
2652 EAttribute getBoundedScopeDefinition_LowerBound();
2653
2654 /**
2655 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getUpperBound <em>Upper Bound</em>}'.
2656 * <!-- begin-user-doc -->
2657 * <!-- end-user-doc -->
2658 * @return the meta object for the attribute '<em>Upper Bound</em>'.
2659 * @see org.eclipse.viatra.solver.language.solverLanguage.BoundedScopeDefinition#getUpperBound()
2660 * @see #getBoundedScopeDefinition()
2661 * @generated
2662 */
2663 EAttribute getBoundedScopeDefinition_UpperBound();
2664
2665 /**
2666 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition <em>Lower Bounded Scope Definition</em>}'.
2667 * <!-- begin-user-doc -->
2668 * <!-- end-user-doc -->
2669 * @return the meta object for class '<em>Lower Bounded Scope Definition</em>'.
2670 * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition
2671 * @generated
2672 */
2673 EClass getLowerBoundedScopeDefinition();
2674
2675 /**
2676 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition#getLowerBound <em>Lower Bound</em>}'.
2677 * <!-- begin-user-doc -->
2678 * <!-- end-user-doc -->
2679 * @return the meta object for the attribute '<em>Lower Bound</em>'.
2680 * @see org.eclipse.viatra.solver.language.solverLanguage.LowerBoundedScopeDefinition#getLowerBound()
2681 * @see #getLowerBoundedScopeDefinition()
2682 * @generated
2683 */
2684 EAttribute getLowerBoundedScopeDefinition_LowerBound();
2685
2686 /**
2687 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition <em>Objective Definition</em>}'.
2688 * <!-- begin-user-doc -->
2689 * <!-- end-user-doc -->
2690 * @return the meta object for class '<em>Objective Definition</em>'.
2691 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition
2692 * @generated
2693 */
2694 EClass getObjectiveDefinition();
2695
2696 /**
2697 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getKind <em>Kind</em>}'.
2698 * <!-- begin-user-doc -->
2699 * <!-- end-user-doc -->
2700 * @return the meta object for the attribute '<em>Kind</em>'.
2701 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getKind()
2702 * @see #getObjectiveDefinition()
2703 * @generated
2704 */
2705 EAttribute getObjectiveDefinition_Kind();
2706
2707 /**
2708 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getObjective <em>Objective</em>}'.
2709 * <!-- begin-user-doc -->
2710 * <!-- end-user-doc -->
2711 * @return the meta object for the containment reference '<em>Objective</em>'.
2712 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveDefinition#getObjective()
2713 * @see #getObjectiveDefinition()
2714 * @generated
2715 */
2716 EReference getObjectiveDefinition_Objective();
2717
2718 /**
2719 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement <em>Named Element</em>}'.
2720 * <!-- begin-user-doc -->
2721 * <!-- end-user-doc -->
2722 * @return the meta object for class '<em>Named Element</em>'.
2723 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement
2724 * @generated
2725 */
2726 EClass getNamedElement();
2727
2728 /**
2729 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.NamedElement#getName <em>Name</em>}'.
2730 * <!-- begin-user-doc -->
2731 * <!-- end-user-doc -->
2732 * @return the meta object for the attribute '<em>Name</em>'.
2733 * @see org.eclipse.viatra.solver.language.solverLanguage.NamedElement#getName()
2734 * @see #getNamedElement()
2735 * @generated
2736 */
2737 EAttribute getNamedElement_Name();
2738
2739 /**
2740 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion <em>Assertion</em>}'.
2741 * <!-- begin-user-doc -->
2742 * <!-- end-user-doc -->
2743 * @return the meta object for class '<em>Assertion</em>'.
2744 * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion
2745 * @generated
2746 */
2747 EClass getAssertion();
2748
2749 /**
2750 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion#getBody <em>Body</em>}'.
2751 * <!-- begin-user-doc -->
2752 * <!-- end-user-doc -->
2753 * @return the meta object for the containment reference '<em>Body</em>'.
2754 * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion#getBody()
2755 * @see #getAssertion()
2756 * @generated
2757 */
2758 EReference getAssertion_Body();
2759
2760 /**
2761 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Assertion#getRange <em>Range</em>}'.
2762 * <!-- begin-user-doc -->
2763 * <!-- end-user-doc -->
2764 * @return the meta object for the containment reference '<em>Range</em>'.
2765 * @see org.eclipse.viatra.solver.language.solverLanguage.Assertion#getRange()
2766 * @see #getAssertion()
2767 * @generated
2768 */
2769 EReference getAssertion_Range();
2770
2771 /**
2772 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction <em>Disjunction</em>}'.
2773 * <!-- begin-user-doc -->
2774 * <!-- end-user-doc -->
2775 * @return the meta object for class '<em>Disjunction</em>'.
2776 * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction
2777 * @generated
2778 */
2779 EClass getDisjunction();
2780
2781 /**
2782 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Disjunction#getChildren <em>Children</em>}'.
2783 * <!-- begin-user-doc -->
2784 * <!-- end-user-doc -->
2785 * @return the meta object for the containment reference list '<em>Children</em>'.
2786 * @see org.eclipse.viatra.solver.language.solverLanguage.Disjunction#getChildren()
2787 * @see #getDisjunction()
2788 * @generated
2789 */
2790 EReference getDisjunction_Children();
2791
2792 /**
2793 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch <em>Switch</em>}'.
2794 * <!-- begin-user-doc -->
2795 * <!-- end-user-doc -->
2796 * @return the meta object for class '<em>Switch</em>'.
2797 * @see org.eclipse.viatra.solver.language.solverLanguage.Switch
2798 * @generated
2799 */
2800 EClass getSwitch();
2801
2802 /**
2803 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Switch#getCases <em>Cases</em>}'.
2804 * <!-- begin-user-doc -->
2805 * <!-- end-user-doc -->
2806 * @return the meta object for the containment reference list '<em>Cases</em>'.
2807 * @see org.eclipse.viatra.solver.language.solverLanguage.Switch#getCases()
2808 * @see #getSwitch()
2809 * @generated
2810 */
2811 EReference getSwitch_Cases();
2812
2813 /**
2814 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction <em>Conjunction</em>}'.
2815 * <!-- begin-user-doc -->
2816 * <!-- end-user-doc -->
2817 * @return the meta object for class '<em>Conjunction</em>'.
2818 * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction
2819 * @generated
2820 */
2821 EClass getConjunction();
2822
2823 /**
2824 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Conjunction#getChildren <em>Children</em>}'.
2825 * <!-- begin-user-doc -->
2826 * <!-- end-user-doc -->
2827 * @return the meta object for the containment reference list '<em>Children</em>'.
2828 * @see org.eclipse.viatra.solver.language.solverLanguage.Conjunction#getChildren()
2829 * @see #getConjunction()
2830 * @generated
2831 */
2832 EReference getConjunction_Children();
2833
2834 /**
2835 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison <em>Comparison</em>}'.
2836 * <!-- begin-user-doc -->
2837 * <!-- end-user-doc -->
2838 * @return the meta object for class '<em>Comparison</em>'.
2839 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison
2840 * @generated
2841 */
2842 EClass getComparison();
2843
2844 /**
2845 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getLeft <em>Left</em>}'.
2846 * <!-- begin-user-doc -->
2847 * <!-- end-user-doc -->
2848 * @return the meta object for the containment reference '<em>Left</em>'.
2849 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getLeft()
2850 * @see #getComparison()
2851 * @generated
2852 */
2853 EReference getComparison_Left();
2854
2855 /**
2856 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getOp <em>Op</em>}'.
2857 * <!-- begin-user-doc -->
2858 * <!-- end-user-doc -->
2859 * @return the meta object for the attribute '<em>Op</em>'.
2860 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getOp()
2861 * @see #getComparison()
2862 * @generated
2863 */
2864 EAttribute getComparison_Op();
2865
2866 /**
2867 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Comparison#getRight <em>Right</em>}'.
2868 * <!-- begin-user-doc -->
2869 * <!-- end-user-doc -->
2870 * @return the meta object for the containment reference '<em>Right</em>'.
2871 * @see org.eclipse.viatra.solver.language.solverLanguage.Comparison#getRight()
2872 * @see #getComparison()
2873 * @generated
2874 */
2875 EReference getComparison_Right();
2876
2877 /**
2878 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression <em>Binary Expression</em>}'.
2879 * <!-- begin-user-doc -->
2880 * <!-- end-user-doc -->
2881 * @return the meta object for class '<em>Binary Expression</em>'.
2882 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression
2883 * @generated
2884 */
2885 EClass getBinaryExpression();
2886
2887 /**
2888 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getLeft <em>Left</em>}'.
2889 * <!-- begin-user-doc -->
2890 * <!-- end-user-doc -->
2891 * @return the meta object for the containment reference '<em>Left</em>'.
2892 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getLeft()
2893 * @see #getBinaryExpression()
2894 * @generated
2895 */
2896 EReference getBinaryExpression_Left();
2897
2898 /**
2899 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getOp <em>Op</em>}'.
2900 * <!-- begin-user-doc -->
2901 * <!-- end-user-doc -->
2902 * @return the meta object for the attribute '<em>Op</em>'.
2903 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getOp()
2904 * @see #getBinaryExpression()
2905 * @generated
2906 */
2907 EAttribute getBinaryExpression_Op();
2908
2909 /**
2910 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getRight <em>Right</em>}'.
2911 * <!-- begin-user-doc -->
2912 * <!-- end-user-doc -->
2913 * @return the meta object for the containment reference '<em>Right</em>'.
2914 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryExpression#getRight()
2915 * @see #getBinaryExpression()
2916 * @generated
2917 */
2918 EReference getBinaryExpression_Right();
2919
2920 /**
2921 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression <em>Unary Expression</em>}'.
2922 * <!-- begin-user-doc -->
2923 * <!-- end-user-doc -->
2924 * @return the meta object for class '<em>Unary Expression</em>'.
2925 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression
2926 * @generated
2927 */
2928 EClass getUnaryExpression();
2929
2930 /**
2931 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getOp <em>Op</em>}'.
2932 * <!-- begin-user-doc -->
2933 * <!-- end-user-doc -->
2934 * @return the meta object for the attribute '<em>Op</em>'.
2935 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getOp()
2936 * @see #getUnaryExpression()
2937 * @generated
2938 */
2939 EAttribute getUnaryExpression_Op();
2940
2941 /**
2942 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getBody <em>Body</em>}'.
2943 * <!-- begin-user-doc -->
2944 * <!-- end-user-doc -->
2945 * @return the meta object for the containment reference '<em>Body</em>'.
2946 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryExpression#getBody()
2947 * @see #getUnaryExpression()
2948 * @generated
2949 */
2950 EReference getUnaryExpression_Body();
2951
2952 /**
2953 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricType <em>Metric Type</em>}'.
2954 * <!-- begin-user-doc -->
2955 * <!-- end-user-doc -->
2956 * @return the meta object for enum '<em>Metric Type</em>'.
2957 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricType
2958 * @generated
2959 */
2960 EEnum getMetricType();
2961
2962 /**
2963 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}'.
2964 * <!-- begin-user-doc -->
2965 * <!-- end-user-doc -->
2966 * @return the meta object for enum '<em>Binary Operator</em>'.
2967 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator
2968 * @generated
2969 */
2970 EEnum getBinaryOperator();
2971
2972 /**
2973 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}'.
2974 * <!-- begin-user-doc -->
2975 * <!-- end-user-doc -->
2976 * @return the meta object for enum '<em>Unary Op</em>'.
2977 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp
2978 * @generated
2979 */
2980 EEnum getUnaryOp();
2981
2982 /**
2983 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp <em>Aggregation Op</em>}'.
2984 * <!-- begin-user-doc -->
2985 * <!-- end-user-doc -->
2986 * @return the meta object for enum '<em>Aggregation Op</em>'.
2987 * @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOp
2988 * @generated
2989 */
2990 EEnum getAggregationOp();
2991
2992 /**
2993 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}'.
2994 * <!-- begin-user-doc -->
2995 * <!-- end-user-doc -->
2996 * @return the meta object for enum '<em>Logic Value</em>'.
2997 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue
2998 * @generated
2999 */
3000 EEnum getLogicValue();
3001
3002 /**
3003 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}'.
3004 * <!-- begin-user-doc -->
3005 * <!-- end-user-doc -->
3006 * @return the meta object for enum '<em>Objective Kind</em>'.
3007 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind
3008 * @generated
3009 */
3010 EEnum getObjectiveKind();
3011
3012 /**
3013 * Returns the factory that creates the instances of the model.
3014 * <!-- begin-user-doc -->
3015 * <!-- end-user-doc -->
3016 * @return the factory that creates the instances of the model.
3017 * @generated
3018 */
3019 SolverLanguageFactory getSolverLanguageFactory();
3020
3021 /**
3022 * <!-- begin-user-doc -->
3023 * Defines literals for the meta objects that represent
3024 * <ul>
3025 * <li>each class,</li>
3026 * <li>each feature of each class,</li>
3027 * <li>each enum,</li>
3028 * <li>and each data type</li>
3029 * </ul>
3030 * <!-- end-user-doc -->
3031 * @generated
3032 */
3033 interface Literals
3034 {
3035 /**
3036 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl <em>Problem</em>}' class.
3037 * <!-- begin-user-doc -->
3038 * <!-- end-user-doc -->
3039 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ProblemImpl
3040 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getProblem()
3041 * @generated
3042 */
3043 EClass PROBLEM = eINSTANCE.getProblem();
3044
3045 /**
3046 * The meta object literal for the '<em><b>Statements</b></em>' containment reference list feature.
3047 * <!-- begin-user-doc -->
3048 * <!-- end-user-doc -->
3049 * @generated
3050 */
3051 EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
3052
3053 /**
3054 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl <em>Statement</em>}' class.
3055 * <!-- begin-user-doc -->
3056 * <!-- end-user-doc -->
3057 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StatementImpl
3058 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStatement()
3059 * @generated
3060 */
3061 EClass STATEMENT = eINSTANCE.getStatement();
3062
3063 /**
3064 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
3065 * <!-- begin-user-doc -->
3066 * <!-- end-user-doc -->
3067 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl
3068 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateDefinition()
3069 * @generated
3070 */
3071 EClass PREDICATE_DEFINITION = eINSTANCE.getPredicateDefinition();
3072
3073 /**
3074 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3075 * <!-- begin-user-doc -->
3076 * <!-- end-user-doc -->
3077 * @generated
3078 */
3079 EReference PREDICATE_DEFINITION__HEAD = eINSTANCE.getPredicateDefinition_Head();
3080
3081 /**
3082 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3083 * <!-- begin-user-doc -->
3084 * <!-- end-user-doc -->
3085 * @generated
3086 */
3087 EReference PREDICATE_DEFINITION__BODY = eINSTANCE.getPredicateDefinition_Body();
3088
3089 /**
3090 * The meta object literal for the '<em><b>Functional</b></em>' attribute feature.
3091 * <!-- begin-user-doc -->
3092 * <!-- end-user-doc -->
3093 * @generated
3094 */
3095 EAttribute PREDICATE_DEFINITION__FUNCTIONAL = eINSTANCE.getPredicateDefinition_Functional();
3096
3097 /**
3098 * The meta object literal for the '<em><b>Error</b></em>' attribute feature.
3099 * <!-- begin-user-doc -->
3100 * <!-- end-user-doc -->
3101 * @generated
3102 */
3103 EAttribute PREDICATE_DEFINITION__ERROR = eINSTANCE.getPredicateDefinition_Error();
3104
3105 /**
3106 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl <em>Unnamed Error Prediate Definition</em>}' class.
3107 * <!-- begin-user-doc -->
3108 * <!-- end-user-doc -->
3109 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnnamedErrorPrediateDefinitionImpl
3110 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnnamedErrorPrediateDefinition()
3111 * @generated
3112 */
3113 EClass UNNAMED_ERROR_PREDIATE_DEFINITION = eINSTANCE.getUnnamedErrorPrediateDefinition();
3114
3115 /**
3116 * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature.
3117 * <!-- begin-user-doc -->
3118 * <!-- end-user-doc -->
3119 * @generated
3120 */
3121 EReference UNNAMED_ERROR_PREDIATE_DEFINITION__ARGUMENT_LIST = eINSTANCE.getUnnamedErrorPrediateDefinition_ArgumentList();
3122
3123 /**
3124 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3125 * <!-- begin-user-doc -->
3126 * <!-- end-user-doc -->
3127 * @generated
3128 */
3129 EReference UNNAMED_ERROR_PREDIATE_DEFINITION__BODY = eINSTANCE.getUnnamedErrorPrediateDefinition_Body();
3130
3131 /**
3132 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl <em>Default Definition</em>}' class.
3133 * <!-- begin-user-doc -->
3134 * <!-- end-user-doc -->
3135 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DefaultDefinitionImpl
3136 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultDefinition()
3137 * @generated
3138 */
3139 EClass DEFAULT_DEFINITION = eINSTANCE.getDefaultDefinition();
3140
3141 /**
3142 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3143 * <!-- begin-user-doc -->
3144 * <!-- end-user-doc -->
3145 * @generated
3146 */
3147 EReference DEFAULT_DEFINITION__HEAD = eINSTANCE.getDefaultDefinition_Head();
3148
3149 /**
3150 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
3151 * <!-- begin-user-doc -->
3152 * <!-- end-user-doc -->
3153 * @generated
3154 */
3155 EReference DEFAULT_DEFINITION__RANGE = eINSTANCE.getDefaultDefinition_Range();
3156
3157 /**
3158 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl <em>Extern Predicate Definition</em>}' class.
3159 * <!-- begin-user-doc -->
3160 * <!-- end-user-doc -->
3161 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternPredicateDefinitionImpl
3162 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternPredicateDefinition()
3163 * @generated
3164 */
3165 EClass EXTERN_PREDICATE_DEFINITION = eINSTANCE.getExternPredicateDefinition();
3166
3167 /**
3168 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3169 * <!-- begin-user-doc -->
3170 * <!-- end-user-doc -->
3171 * @generated
3172 */
3173 EReference EXTERN_PREDICATE_DEFINITION__HEAD = eINSTANCE.getExternPredicateDefinition_Head();
3174
3175 /**
3176 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl <em>Metric Definition</em>}' class.
3177 * <!-- begin-user-doc -->
3178 * <!-- end-user-doc -->
3179 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MetricDefinitionImpl
3180 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricDefinition()
3181 * @generated
3182 */
3183 EClass METRIC_DEFINITION = eINSTANCE.getMetricDefinition();
3184
3185 /**
3186 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3187 * <!-- begin-user-doc -->
3188 * <!-- end-user-doc -->
3189 * @generated
3190 */
3191 EReference METRIC_DEFINITION__HEAD = eINSTANCE.getMetricDefinition_Head();
3192
3193 /**
3194 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3195 * <!-- begin-user-doc -->
3196 * <!-- end-user-doc -->
3197 * @generated
3198 */
3199 EReference METRIC_DEFINITION__BODY = eINSTANCE.getMetricDefinition_Body();
3200
3201 /**
3202 * The meta object literal for the '<em><b>Type</b></em>' attribute feature.
3203 * <!-- begin-user-doc -->
3204 * <!-- end-user-doc -->
3205 * @generated
3206 */
3207 EAttribute METRIC_DEFINITION__TYPE = eINSTANCE.getMetricDefinition_Type();
3208
3209 /**
3210 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl <em>Extern Metric Definition</em>}' class.
3211 * <!-- begin-user-doc -->
3212 * <!-- end-user-doc -->
3213 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExternMetricDefinitionImpl
3214 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExternMetricDefinition()
3215 * @generated
3216 */
3217 EClass EXTERN_METRIC_DEFINITION = eINSTANCE.getExternMetricDefinition();
3218
3219 /**
3220 * The meta object literal for the '<em><b>Type</b></em>' attribute feature.
3221 * <!-- begin-user-doc -->
3222 * <!-- end-user-doc -->
3223 * @generated
3224 */
3225 EAttribute EXTERN_METRIC_DEFINITION__TYPE = eINSTANCE.getExternMetricDefinition_Type();
3226
3227 /**
3228 * The meta object literal for the '<em><b>Head</b></em>' containment reference feature.
3229 * <!-- begin-user-doc -->
3230 * <!-- end-user-doc -->
3231 * @generated
3232 */
3233 EReference EXTERN_METRIC_DEFINITION__HEAD = eINSTANCE.getExternMetricDefinition_Head();
3234
3235 /**
3236 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl <em>Expression</em>}' class.
3237 * <!-- begin-user-doc -->
3238 * <!-- end-user-doc -->
3239 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionImpl
3240 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpression()
3241 * @generated
3242 */
3243 EClass EXPRESSION = eINSTANCE.getExpression();
3244
3245 /**
3246 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl <em>If Else</em>}' class.
3247 * <!-- begin-user-doc -->
3248 * <!-- end-user-doc -->
3249 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IfElseImpl
3250 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIfElse()
3251 * @generated
3252 */
3253 EClass IF_ELSE = eINSTANCE.getIfElse();
3254
3255 /**
3256 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
3257 * <!-- begin-user-doc -->
3258 * <!-- end-user-doc -->
3259 * @generated
3260 */
3261 EReference IF_ELSE__CONDITION = eINSTANCE.getIfElse_Condition();
3262
3263 /**
3264 * The meta object literal for the '<em><b>Then</b></em>' containment reference feature.
3265 * <!-- begin-user-doc -->
3266 * <!-- end-user-doc -->
3267 * @generated
3268 */
3269 EReference IF_ELSE__THEN = eINSTANCE.getIfElse_Then();
3270
3271 /**
3272 * The meta object literal for the '<em><b>Else</b></em>' containment reference feature.
3273 * <!-- begin-user-doc -->
3274 * <!-- end-user-doc -->
3275 * @generated
3276 */
3277 EReference IF_ELSE__ELSE = eINSTANCE.getIfElse_Else();
3278
3279 /**
3280 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl <em>Case</em>}' class.
3281 * <!-- begin-user-doc -->
3282 * <!-- end-user-doc -->
3283 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CaseImpl
3284 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCase()
3285 * @generated
3286 */
3287 EClass CASE = eINSTANCE.getCase();
3288
3289 /**
3290 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
3291 * <!-- begin-user-doc -->
3292 * <!-- end-user-doc -->
3293 * @generated
3294 */
3295 EReference CASE__CONDITION = eINSTANCE.getCase_Condition();
3296
3297 /**
3298 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3299 * <!-- begin-user-doc -->
3300 * <!-- end-user-doc -->
3301 * @generated
3302 */
3303 EReference CASE__BODY = eINSTANCE.getCase_Body();
3304
3305 /**
3306 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl <em>Count</em>}' class.
3307 * <!-- begin-user-doc -->
3308 * <!-- end-user-doc -->
3309 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CountImpl
3310 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCount()
3311 * @generated
3312 */
3313 EClass COUNT = eINSTANCE.getCount();
3314
3315 /**
3316 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3317 * <!-- begin-user-doc -->
3318 * <!-- end-user-doc -->
3319 * @generated
3320 */
3321 EReference COUNT__BODY = eINSTANCE.getCount_Body();
3322
3323 /**
3324 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl <em>Aggregation</em>}' class.
3325 * <!-- begin-user-doc -->
3326 * <!-- end-user-doc -->
3327 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AggregationImpl
3328 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregation()
3329 * @generated
3330 */
3331 EClass AGGREGATION = eINSTANCE.getAggregation();
3332
3333 /**
3334 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
3335 * <!-- begin-user-doc -->
3336 * <!-- end-user-doc -->
3337 * @generated
3338 */
3339 EAttribute AGGREGATION__OP = eINSTANCE.getAggregation_Op();
3340
3341 /**
3342 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3343 * <!-- begin-user-doc -->
3344 * <!-- end-user-doc -->
3345 * @generated
3346 */
3347 EReference AGGREGATION__BODY = eINSTANCE.getAggregation_Body();
3348
3349 /**
3350 * The meta object literal for the '<em><b>Condition</b></em>' containment reference feature.
3351 * <!-- begin-user-doc -->
3352 * <!-- end-user-doc -->
3353 * @generated
3354 */
3355 EReference AGGREGATION__CONDITION = eINSTANCE.getAggregation_Condition();
3356
3357 /**
3358 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl <em>Call</em>}' class.
3359 * <!-- begin-user-doc -->
3360 * <!-- end-user-doc -->
3361 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.CallImpl
3362 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCall()
3363 * @generated
3364 */
3365 EClass CALL = eINSTANCE.getCall();
3366
3367 /**
3368 * The meta object literal for the '<em><b>Functor</b></em>' containment reference feature.
3369 * <!-- begin-user-doc -->
3370 * <!-- end-user-doc -->
3371 * @generated
3372 */
3373 EReference CALL__FUNCTOR = eINSTANCE.getCall_Functor();
3374
3375 /**
3376 * The meta object literal for the '<em><b>Transitive Closure</b></em>' attribute feature.
3377 * <!-- begin-user-doc -->
3378 * <!-- end-user-doc -->
3379 * @generated
3380 */
3381 EAttribute CALL__TRANSITIVE_CLOSURE = eINSTANCE.getCall_TransitiveClosure();
3382
3383 /**
3384 * The meta object literal for the '<em><b>Reflexive Transitive Closure</b></em>' attribute feature.
3385 * <!-- begin-user-doc -->
3386 * <!-- end-user-doc -->
3387 * @generated
3388 */
3389 EAttribute CALL__REFLEXIVE_TRANSITIVE_CLOSURE = eINSTANCE.getCall_ReflexiveTransitiveClosure();
3390
3391 /**
3392 * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature.
3393 * <!-- begin-user-doc -->
3394 * <!-- end-user-doc -->
3395 * @generated
3396 */
3397 EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList();
3398
3399 /**
3400 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl <em>Argument List</em>}' class.
3401 * <!-- begin-user-doc -->
3402 * <!-- end-user-doc -->
3403 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl
3404 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgumentList()
3405 * @generated
3406 */
3407 EClass ARGUMENT_LIST = eINSTANCE.getArgumentList();
3408
3409 /**
3410 * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature.
3411 * <!-- begin-user-doc -->
3412 * <!-- end-user-doc -->
3413 * @generated
3414 */
3415 EReference ARGUMENT_LIST__ARGUMENTS = eINSTANCE.getArgumentList_Arguments();
3416
3417 /**
3418 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl <em>Argument</em>}' class.
3419 * <!-- begin-user-doc -->
3420 * <!-- end-user-doc -->
3421 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentImpl
3422 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getArgument()
3423 * @generated
3424 */
3425 EClass ARGUMENT = eINSTANCE.getArgument();
3426
3427 /**
3428 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl <em>Expression Argument</em>}' class.
3429 * <!-- begin-user-doc -->
3430 * <!-- end-user-doc -->
3431 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExpressionArgumentImpl
3432 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExpressionArgument()
3433 * @generated
3434 */
3435 EClass EXPRESSION_ARGUMENT = eINSTANCE.getExpressionArgument();
3436
3437 /**
3438 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3439 * <!-- begin-user-doc -->
3440 * <!-- end-user-doc -->
3441 * @generated
3442 */
3443 EReference EXPRESSION_ARGUMENT__BODY = eINSTANCE.getExpressionArgument_Body();
3444
3445 /**
3446 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl <em>Star Argument</em>}' class.
3447 * <!-- begin-user-doc -->
3448 * <!-- end-user-doc -->
3449 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StarArgumentImpl
3450 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStarArgument()
3451 * @generated
3452 */
3453 EClass STAR_ARGUMENT = eINSTANCE.getStarArgument();
3454
3455 /**
3456 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl <em>Typed Argument</em>}' class.
3457 * <!-- begin-user-doc -->
3458 * <!-- end-user-doc -->
3459 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedArgumentImpl
3460 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedArgument()
3461 * @generated
3462 */
3463 EClass TYPED_ARGUMENT = eINSTANCE.getTypedArgument();
3464
3465 /**
3466 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
3467 * <!-- begin-user-doc -->
3468 * <!-- end-user-doc -->
3469 * @generated
3470 */
3471 EReference TYPED_ARGUMENT__TYPE = eINSTANCE.getTypedArgument_Type();
3472
3473 /**
3474 * The meta object literal for the '<em><b>Variable</b></em>' reference feature.
3475 * <!-- begin-user-doc -->
3476 * <!-- end-user-doc -->
3477 * @generated
3478 */
3479 EReference TYPED_ARGUMENT__VARIABLE = eINSTANCE.getTypedArgument_Variable();
3480
3481 /**
3482 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl <em>Typed Star Argument</em>}' class.
3483 * <!-- begin-user-doc -->
3484 * <!-- end-user-doc -->
3485 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.TypedStarArgumentImpl
3486 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTypedStarArgument()
3487 * @generated
3488 */
3489 EClass TYPED_STAR_ARGUMENT = eINSTANCE.getTypedStarArgument();
3490
3491 /**
3492 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
3493 * <!-- begin-user-doc -->
3494 * <!-- end-user-doc -->
3495 * @generated
3496 */
3497 EReference TYPED_STAR_ARGUMENT__TYPE = eINSTANCE.getTypedStarArgument_Type();
3498
3499 /**
3500 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl <em>Reference</em>}' class.
3501 * <!-- begin-user-doc -->
3502 * <!-- end-user-doc -->
3503 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ReferenceImpl
3504 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReference()
3505 * @generated
3506 */
3507 EClass REFERENCE = eINSTANCE.getReference();
3508
3509 /**
3510 * The meta object literal for the '<em><b>Referred</b></em>' reference feature.
3511 * <!-- begin-user-doc -->
3512 * <!-- end-user-doc -->
3513 * @generated
3514 */
3515 EReference REFERENCE__REFERRED = eINSTANCE.getReference_Referred();
3516
3517 /**
3518 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl <em>Interval</em>}' class.
3519 * <!-- begin-user-doc -->
3520 * <!-- end-user-doc -->
3521 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.IntervalImpl
3522 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInterval()
3523 * @generated
3524 */
3525 EClass INTERVAL = eINSTANCE.getInterval();
3526
3527 /**
3528 * The meta object literal for the '<em><b>Lower Bound</b></em>' containment reference feature.
3529 * <!-- begin-user-doc -->
3530 * <!-- end-user-doc -->
3531 * @generated
3532 */
3533 EReference INTERVAL__LOWER_BOUND = eINSTANCE.getInterval_LowerBound();
3534
3535 /**
3536 * The meta object literal for the '<em><b>Upper Bound</b></em>' containment reference feature.
3537 * <!-- begin-user-doc -->
3538 * <!-- end-user-doc -->
3539 * @generated
3540 */
3541 EReference INTERVAL__UPPER_BOUND = eINSTANCE.getInterval_UpperBound();
3542
3543 /**
3544 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl <em>Literal</em>}' class.
3545 * <!-- begin-user-doc -->
3546 * <!-- end-user-doc -->
3547 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LiteralImpl
3548 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral()
3549 * @generated
3550 */
3551 EClass LITERAL = eINSTANCE.getLiteral();
3552
3553 /**
3554 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl <em>Logic Literal</em>}' class.
3555 * <!-- begin-user-doc -->
3556 * <!-- end-user-doc -->
3557 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LogicLiteralImpl
3558 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicLiteral()
3559 * @generated
3560 */
3561 EClass LOGIC_LITERAL = eINSTANCE.getLogicLiteral();
3562
3563 /**
3564 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
3565 * <!-- begin-user-doc -->
3566 * <!-- end-user-doc -->
3567 * @generated
3568 */
3569 EAttribute LOGIC_LITERAL__VALUE = eINSTANCE.getLogicLiteral_Value();
3570
3571 /**
3572 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl <em>Numeric Literal</em>}' class.
3573 * <!-- begin-user-doc -->
3574 * <!-- end-user-doc -->
3575 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NumericLiteralImpl
3576 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNumericLiteral()
3577 * @generated
3578 */
3579 EClass NUMERIC_LITERAL = eINSTANCE.getNumericLiteral();
3580
3581 /**
3582 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
3583 * <!-- begin-user-doc -->
3584 * <!-- end-user-doc -->
3585 * @generated
3586 */
3587 EAttribute NUMERIC_LITERAL__VALUE = eINSTANCE.getNumericLiteral_Value();
3588
3589 /**
3590 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl <em>Infinity Literal</em>}' class.
3591 * <!-- begin-user-doc -->
3592 * <!-- end-user-doc -->
3593 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.InfinityLiteralImpl
3594 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getInfinityLiteral()
3595 * @generated
3596 */
3597 EClass INFINITY_LITERAL = eINSTANCE.getInfinityLiteral();
3598
3599 /**
3600 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl <em>Empty Interval Literal</em>}' class.
3601 * <!-- begin-user-doc -->
3602 * <!-- end-user-doc -->
3603 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.EmptyIntervalLiteralImpl
3604 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEmptyIntervalLiteral()
3605 * @generated
3606 */
3607 EClass EMPTY_INTERVAL_LITERAL = eINSTANCE.getEmptyIntervalLiteral();
3608
3609 /**
3610 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl <em>String Literal</em>}' class.
3611 * <!-- begin-user-doc -->
3612 * <!-- end-user-doc -->
3613 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl
3614 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral()
3615 * @generated
3616 */
3617 EClass STRING_LITERAL = eINSTANCE.getStringLiteral();
3618
3619 /**
3620 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
3621 * <!-- begin-user-doc -->
3622 * <!-- end-user-doc -->
3623 * @generated
3624 */
3625 EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value();
3626
3627 /**
3628 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl <em>Class Definition</em>}' class.
3629 * <!-- begin-user-doc -->
3630 * <!-- end-user-doc -->
3631 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl
3632 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition()
3633 * @generated
3634 */
3635 EClass CLASS_DEFINITION = eINSTANCE.getClassDefinition();
3636
3637 /**
3638 * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature.
3639 * <!-- begin-user-doc -->
3640 * <!-- end-user-doc -->
3641 * @generated
3642 */
3643 EAttribute CLASS_DEFINITION__ABSTRACT = eINSTANCE.getClassDefinition_Abstract();
3644
3645 /**
3646 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
3647 * <!-- begin-user-doc -->
3648 * <!-- end-user-doc -->
3649 * @generated
3650 */
3651 EAttribute CLASS_DEFINITION__NAME = eINSTANCE.getClassDefinition_Name();
3652
3653 /**
3654 * The meta object literal for the '<em><b>Superclasses</b></em>' reference list feature.
3655 * <!-- begin-user-doc -->
3656 * <!-- end-user-doc -->
3657 * @generated
3658 */
3659 EReference CLASS_DEFINITION__SUPERCLASSES = eINSTANCE.getClassDefinition_Superclasses();
3660
3661 /**
3662 * The meta object literal for the '<em><b>Members</b></em>' containment reference list feature.
3663 * <!-- begin-user-doc -->
3664 * <!-- end-user-doc -->
3665 * @generated
3666 */
3667 EReference CLASS_DEFINITION__MEMBERS = eINSTANCE.getClassDefinition_Members();
3668
3669 /**
3670 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class.
3671 * <!-- begin-user-doc -->
3672 * <!-- end-user-doc -->
3673 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl
3674 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition()
3675 * @generated
3676 */
3677 EClass MEMBER_DEFINITION = eINSTANCE.getMemberDefinition();
3678
3679 /**
3680 * The meta object literal for the '<em><b>Containment</b></em>' attribute feature.
3681 * <!-- begin-user-doc -->
3682 * <!-- end-user-doc -->
3683 * @generated
3684 */
3685 EAttribute MEMBER_DEFINITION__CONTAINMENT = eINSTANCE.getMemberDefinition_Containment();
3686
3687 /**
3688 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
3689 * <!-- begin-user-doc -->
3690 * <!-- end-user-doc -->
3691 * @generated
3692 */
3693 EReference MEMBER_DEFINITION__TYPE = eINSTANCE.getMemberDefinition_Type();
3694
3695 /**
3696 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
3697 * <!-- begin-user-doc -->
3698 * <!-- end-user-doc -->
3699 * @generated
3700 */
3701 EReference MEMBER_DEFINITION__MULTIPLICITY = eINSTANCE.getMemberDefinition_Multiplicity();
3702
3703 /**
3704 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
3705 * <!-- begin-user-doc -->
3706 * <!-- end-user-doc -->
3707 * @generated
3708 */
3709 EAttribute MEMBER_DEFINITION__NAME = eINSTANCE.getMemberDefinition_Name();
3710
3711 /**
3712 * The meta object literal for the '<em><b>Opposite</b></em>' reference feature.
3713 * <!-- begin-user-doc -->
3714 * <!-- end-user-doc -->
3715 * @generated
3716 */
3717 EReference MEMBER_DEFINITION__OPPOSITE = eINSTANCE.getMemberDefinition_Opposite();
3718
3719 /**
3720 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
3721 * <!-- begin-user-doc -->
3722 * <!-- end-user-doc -->
3723 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.MultiplicityImpl
3724 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity()
3725 * @generated
3726 */
3727 EClass MULTIPLICITY = eINSTANCE.getMultiplicity();
3728
3729 /**
3730 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl <em>Many Multiplicity</em>}' class.
3731 * <!-- begin-user-doc -->
3732 * <!-- end-user-doc -->
3733 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ManyMultiplicityImpl
3734 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity()
3735 * @generated
3736 */
3737 EClass MANY_MULTIPLICITY = eINSTANCE.getManyMultiplicity();
3738
3739 /**
3740 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
3741 * <!-- begin-user-doc -->
3742 * <!-- end-user-doc -->
3743 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactMultiplicityImpl
3744 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity()
3745 * @generated
3746 */
3747 EClass EXACT_MULTIPLICITY = eINSTANCE.getExactMultiplicity();
3748
3749 /**
3750 * The meta object literal for the '<em><b>Multiplicity</b></em>' attribute feature.
3751 * <!-- begin-user-doc -->
3752 * <!-- end-user-doc -->
3753 * @generated
3754 */
3755 EAttribute EXACT_MULTIPLICITY__MULTIPLICITY = eINSTANCE.getExactMultiplicity_Multiplicity();
3756
3757 /**
3758 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl <em>Bounded Multiplicity</em>}' class.
3759 * <!-- begin-user-doc -->
3760 * <!-- end-user-doc -->
3761 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedMultiplicityImpl
3762 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity()
3763 * @generated
3764 */
3765 EClass BOUNDED_MULTIPLICITY = eINSTANCE.getBoundedMultiplicity();
3766
3767 /**
3768 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
3769 * <!-- begin-user-doc -->
3770 * <!-- end-user-doc -->
3771 * @generated
3772 */
3773 EAttribute BOUNDED_MULTIPLICITY__LOWER_BOUND = eINSTANCE.getBoundedMultiplicity_LowerBound();
3774
3775 /**
3776 * The meta object literal for the '<em><b>Upper Bound</b></em>' attribute feature.
3777 * <!-- begin-user-doc -->
3778 * <!-- end-user-doc -->
3779 * @generated
3780 */
3781 EAttribute BOUNDED_MULTIPLICITY__UPPER_BOUND = eINSTANCE.getBoundedMultiplicity_UpperBound();
3782
3783 /**
3784 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl <em>Scope Definition</em>}' class.
3785 * <!-- begin-user-doc -->
3786 * <!-- end-user-doc -->
3787 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ScopeDefinitionImpl
3788 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition()
3789 * @generated
3790 */
3791 EClass SCOPE_DEFINITION = eINSTANCE.getScopeDefinition();
3792
3793 /**
3794 * The meta object literal for the '<em><b>Type</b></em>' reference feature.
3795 * <!-- begin-user-doc -->
3796 * <!-- end-user-doc -->
3797 * @generated
3798 */
3799 EReference SCOPE_DEFINITION__TYPE = eINSTANCE.getScopeDefinition_Type();
3800
3801 /**
3802 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl <em>Exact Scope Definition</em>}' class.
3803 * <!-- begin-user-doc -->
3804 * <!-- end-user-doc -->
3805 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ExactScopeDefinitionImpl
3806 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition()
3807 * @generated
3808 */
3809 EClass EXACT_SCOPE_DEFINITION = eINSTANCE.getExactScopeDefinition();
3810
3811 /**
3812 * The meta object literal for the '<em><b>Exact Scope</b></em>' attribute feature.
3813 * <!-- begin-user-doc -->
3814 * <!-- end-user-doc -->
3815 * @generated
3816 */
3817 EAttribute EXACT_SCOPE_DEFINITION__EXACT_SCOPE = eINSTANCE.getExactScopeDefinition_ExactScope();
3818
3819 /**
3820 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl <em>Bounded Scope Definition</em>}' class.
3821 * <!-- begin-user-doc -->
3822 * <!-- end-user-doc -->
3823 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BoundedScopeDefinitionImpl
3824 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition()
3825 * @generated
3826 */
3827 EClass BOUNDED_SCOPE_DEFINITION = eINSTANCE.getBoundedScopeDefinition();
3828
3829 /**
3830 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
3831 * <!-- begin-user-doc -->
3832 * <!-- end-user-doc -->
3833 * @generated
3834 */
3835 EAttribute BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = eINSTANCE.getBoundedScopeDefinition_LowerBound();
3836
3837 /**
3838 * The meta object literal for the '<em><b>Upper Bound</b></em>' attribute feature.
3839 * <!-- begin-user-doc -->
3840 * <!-- end-user-doc -->
3841 * @generated
3842 */
3843 EAttribute BOUNDED_SCOPE_DEFINITION__UPPER_BOUND = eINSTANCE.getBoundedScopeDefinition_UpperBound();
3844
3845 /**
3846 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl <em>Lower Bounded Scope Definition</em>}' class.
3847 * <!-- begin-user-doc -->
3848 * <!-- end-user-doc -->
3849 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.LowerBoundedScopeDefinitionImpl
3850 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition()
3851 * @generated
3852 */
3853 EClass LOWER_BOUNDED_SCOPE_DEFINITION = eINSTANCE.getLowerBoundedScopeDefinition();
3854
3855 /**
3856 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
3857 * <!-- begin-user-doc -->
3858 * <!-- end-user-doc -->
3859 * @generated
3860 */
3861 EAttribute LOWER_BOUNDED_SCOPE_DEFINITION__LOWER_BOUND = eINSTANCE.getLowerBoundedScopeDefinition_LowerBound();
3862
3863 /**
3864 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl <em>Objective Definition</em>}' class.
3865 * <!-- begin-user-doc -->
3866 * <!-- end-user-doc -->
3867 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ObjectiveDefinitionImpl
3868 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition()
3869 * @generated
3870 */
3871 EClass OBJECTIVE_DEFINITION = eINSTANCE.getObjectiveDefinition();
3872
3873 /**
3874 * The meta object literal for the '<em><b>Kind</b></em>' attribute feature.
3875 * <!-- begin-user-doc -->
3876 * <!-- end-user-doc -->
3877 * @generated
3878 */
3879 EAttribute OBJECTIVE_DEFINITION__KIND = eINSTANCE.getObjectiveDefinition_Kind();
3880
3881 /**
3882 * The meta object literal for the '<em><b>Objective</b></em>' containment reference feature.
3883 * <!-- begin-user-doc -->
3884 * <!-- end-user-doc -->
3885 * @generated
3886 */
3887 EReference OBJECTIVE_DEFINITION__OBJECTIVE = eINSTANCE.getObjectiveDefinition_Objective();
3888
3889 /**
3890 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl <em>Named Element</em>}' class.
3891 * <!-- begin-user-doc -->
3892 * <!-- end-user-doc -->
3893 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.NamedElementImpl
3894 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement()
3895 * @generated
3896 */
3897 EClass NAMED_ELEMENT = eINSTANCE.getNamedElement();
3898
3899 /**
3900 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
3901 * <!-- begin-user-doc -->
3902 * <!-- end-user-doc -->
3903 * @generated
3904 */
3905 EAttribute NAMED_ELEMENT__NAME = eINSTANCE.getNamedElement_Name();
3906
3907 /**
3908 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl <em>Assertion</em>}' class.
3909 * <!-- begin-user-doc -->
3910 * <!-- end-user-doc -->
3911 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.AssertionImpl
3912 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion()
3913 * @generated
3914 */
3915 EClass ASSERTION = eINSTANCE.getAssertion();
3916
3917 /**
3918 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
3919 * <!-- begin-user-doc -->
3920 * <!-- end-user-doc -->
3921 * @generated
3922 */
3923 EReference ASSERTION__BODY = eINSTANCE.getAssertion_Body();
3924
3925 /**
3926 * The meta object literal for the '<em><b>Range</b></em>' containment reference feature.
3927 * <!-- begin-user-doc -->
3928 * <!-- end-user-doc -->
3929 * @generated
3930 */
3931 EReference ASSERTION__RANGE = eINSTANCE.getAssertion_Range();
3932
3933 /**
3934 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl <em>Disjunction</em>}' class.
3935 * <!-- begin-user-doc -->
3936 * <!-- end-user-doc -->
3937 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.DisjunctionImpl
3938 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction()
3939 * @generated
3940 */
3941 EClass DISJUNCTION = eINSTANCE.getDisjunction();
3942
3943 /**
3944 * The meta object literal for the '<em><b>Children</b></em>' containment reference list feature.
3945 * <!-- begin-user-doc -->
3946 * <!-- end-user-doc -->
3947 * @generated
3948 */
3949 EReference DISJUNCTION__CHILDREN = eINSTANCE.getDisjunction_Children();
3950
3951 /**
3952 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl <em>Switch</em>}' class.
3953 * <!-- begin-user-doc -->
3954 * <!-- end-user-doc -->
3955 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SwitchImpl
3956 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch()
3957 * @generated
3958 */
3959 EClass SWITCH = eINSTANCE.getSwitch();
3960
3961 /**
3962 * The meta object literal for the '<em><b>Cases</b></em>' containment reference list feature.
3963 * <!-- begin-user-doc -->
3964 * <!-- end-user-doc -->
3965 * @generated
3966 */
3967 EReference SWITCH__CASES = eINSTANCE.getSwitch_Cases();
3968
3969 /**
3970 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl <em>Conjunction</em>}' class.
3971 * <!-- begin-user-doc -->
3972 * <!-- end-user-doc -->
3973 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ConjunctionImpl
3974 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction()
3975 * @generated
3976 */
3977 EClass CONJUNCTION = eINSTANCE.getConjunction();
3978
3979 /**
3980 * The meta object literal for the '<em><b>Children</b></em>' containment reference list feature.
3981 * <!-- begin-user-doc -->
3982 * <!-- end-user-doc -->
3983 * @generated
3984 */
3985 EReference CONJUNCTION__CHILDREN = eINSTANCE.getConjunction_Children();
3986
3987 /**
3988 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl <em>Comparison</em>}' class.
3989 * <!-- begin-user-doc -->
3990 * <!-- end-user-doc -->
3991 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ComparisonImpl
3992 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison()
3993 * @generated
3994 */
3995 EClass COMPARISON = eINSTANCE.getComparison();
3996
3997 /**
3998 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
3999 * <!-- begin-user-doc -->
4000 * <!-- end-user-doc -->
4001 * @generated
4002 */
4003 EReference COMPARISON__LEFT = eINSTANCE.getComparison_Left();
4004
4005 /**
4006 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
4007 * <!-- begin-user-doc -->
4008 * <!-- end-user-doc -->
4009 * @generated
4010 */
4011 EAttribute COMPARISON__OP = eINSTANCE.getComparison_Op();
4012
4013 /**
4014 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
4015 * <!-- begin-user-doc -->
4016 * <!-- end-user-doc -->
4017 * @generated
4018 */
4019 EReference COMPARISON__RIGHT = eINSTANCE.getComparison_Right();
4020
4021 /**
4022 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl <em>Binary Expression</em>}' class.
4023 * <!-- begin-user-doc -->
4024 * <!-- end-user-doc -->
4025 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.BinaryExpressionImpl
4026 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression()
4027 * @generated
4028 */
4029 EClass BINARY_EXPRESSION = eINSTANCE.getBinaryExpression();
4030
4031 /**
4032 * The meta object literal for the '<em><b>Left</b></em>' containment reference feature.
4033 * <!-- begin-user-doc -->
4034 * <!-- end-user-doc -->
4035 * @generated
4036 */
4037 EReference BINARY_EXPRESSION__LEFT = eINSTANCE.getBinaryExpression_Left();
4038
4039 /**
4040 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
4041 * <!-- begin-user-doc -->
4042 * <!-- end-user-doc -->
4043 * @generated
4044 */
4045 EAttribute BINARY_EXPRESSION__OP = eINSTANCE.getBinaryExpression_Op();
4046
4047 /**
4048 * The meta object literal for the '<em><b>Right</b></em>' containment reference feature.
4049 * <!-- begin-user-doc -->
4050 * <!-- end-user-doc -->
4051 * @generated
4052 */
4053 EReference BINARY_EXPRESSION__RIGHT = eINSTANCE.getBinaryExpression_Right();
4054
4055 /**
4056 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl <em>Unary Expression</em>}' class.
4057 * <!-- begin-user-doc -->
4058 * <!-- end-user-doc -->
4059 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.UnaryExpressionImpl
4060 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression()
4061 * @generated
4062 */
4063 EClass UNARY_EXPRESSION = eINSTANCE.getUnaryExpression();
4064
4065 /**
4066 * The meta object literal for the '<em><b>Op</b></em>' attribute feature.
4067 * <!-- begin-user-doc -->
4068 * <!-- end-user-doc -->
4069 * @generated
4070 */
4071 EAttribute UNARY_EXPRESSION__OP = eINSTANCE.getUnaryExpression_Op();
4072
4073 /**
4074 * The meta object literal for the '<em><b>Body</b></em>' containment reference feature.
4075 * <!-- begin-user-doc -->
4076 * <!-- end-user-doc -->
4077 * @generated
4078 */
4079 EReference UNARY_EXPRESSION__BODY = eINSTANCE.getUnaryExpression_Body();
4080
4081 /**
4082 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.MetricType <em>Metric Type</em>}' enum.
4083 * <!-- begin-user-doc -->
4084 * <!-- end-user-doc -->
4085 * @see org.eclipse.viatra.solver.language.solverLanguage.MetricType
4086 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricType()
4087 * @generated
4088 */
4089 EEnum METRIC_TYPE = eINSTANCE.getMetricType();
4090
4091 /**
4092 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}' enum.
4093 * <!-- begin-user-doc -->
4094 * <!-- end-user-doc -->
4095 * @see org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator
4096 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator()
4097 * @generated
4098 */
4099 EEnum BINARY_OPERATOR = eINSTANCE.getBinaryOperator();
4100
4101 /**
4102 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}' enum.
4103 * <!-- begin-user-doc -->
4104 * <!-- end-user-doc -->
4105 * @see org.eclipse.viatra.solver.language.solverLanguage.UnaryOp
4106 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp()
4107 * @generated
4108 */
4109 EEnum UNARY_OP = eINSTANCE.getUnaryOp();
4110
4111 /**
4112 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp <em>Aggregation Op</em>}' enum.
4113 * <!-- begin-user-doc -->
4114 * <!-- end-user-doc -->
4115 * @see org.eclipse.viatra.solver.language.solverLanguage.AggregationOp
4116 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOp()
4117 * @generated
4118 */
4119 EEnum AGGREGATION_OP = eINSTANCE.getAggregationOp();
4120
4121 /**
4122 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}' enum.
4123 * <!-- begin-user-doc -->
4124 * <!-- end-user-doc -->
4125 * @see org.eclipse.viatra.solver.language.solverLanguage.LogicValue
4126 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue()
4127 * @generated
4128 */
4129 EEnum LOGIC_VALUE = eINSTANCE.getLogicValue();
4130
4131 /**
4132 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}' enum.
4133 * <!-- begin-user-doc -->
4134 * <!-- end-user-doc -->
4135 * @see org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind
4136 * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind()
4137 * @generated
4138 */
4139 EEnum OBJECTIVE_KIND = eINSTANCE.getObjectiveKind();
4140
4141 }
4142
4143} //SolverLanguagePackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 11:43:31 +0000