aboutsummaryrefslogtreecommitdiffstats
path: root/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java
diff options
context:
space:
mode:
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java')
-rw-r--r--language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java2432
1 files changed, 2432 insertions, 0 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java
new file mode 100644
index 00000000..ec96501d
--- /dev/null
+++ b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java
@@ -0,0 +1,2432 @@
1/**
2 */
3package org.eclipse.viatra.solver.language.model.problem;
4
5import org.eclipse.emf.ecore.EAttribute;
6import org.eclipse.emf.ecore.EClass;
7import org.eclipse.emf.ecore.EEnum;
8import org.eclipse.emf.ecore.EPackage;
9import org.eclipse.emf.ecore.EReference;
10
11/**
12 * <!-- begin-user-doc -->
13 * The <b>Package</b> for the model.
14 * It contains accessors for the meta objects to represent
15 * <ul>
16 * <li>each class,</li>
17 * <li>each feature of each class,</li>
18 * <li>each operation 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.model.problem.ProblemFactory
24 * @model kind="package"
25 * @generated
26 */
27public interface ProblemPackage extends EPackage {
28 /**
29 * The package name.
30 * <!-- begin-user-doc -->
31 * <!-- end-user-doc -->
32 * @generated
33 */
34 String eNAME = "problem";
35
36 /**
37 * The package namespace URI.
38 * <!-- begin-user-doc -->
39 * <!-- end-user-doc -->
40 * @generated
41 */
42 String eNS_URI = "http://www.eclipse.org/viatra/solver/language/model/Problem";
43
44 /**
45 * The package namespace name.
46 * <!-- begin-user-doc -->
47 * <!-- end-user-doc -->
48 * @generated
49 */
50 String eNS_PREFIX = "problem";
51
52 /**
53 * The singleton instance of the package.
54 * <!-- begin-user-doc -->
55 * <!-- end-user-doc -->
56 * @generated
57 */
58 ProblemPackage eINSTANCE = org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl.init();
59
60 /**
61 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl <em>Named Element</em>}' class.
62 * <!-- begin-user-doc -->
63 * <!-- end-user-doc -->
64 * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl
65 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement()
66 * @generated
67 */
68 int NAMED_ELEMENT = 4;
69
70 /**
71 * The feature id for the '<em><b>Name</b></em>' attribute.
72 * <!-- begin-user-doc -->
73 * <!-- end-user-doc -->
74 * @generated
75 * @ordered
76 */
77 int NAMED_ELEMENT__NAME = 0;
78
79 /**
80 * The number of structural features of the '<em>Named Element</em>' class.
81 * <!-- begin-user-doc -->
82 * <!-- end-user-doc -->
83 * @generated
84 * @ordered
85 */
86 int NAMED_ELEMENT_FEATURE_COUNT = 1;
87
88 /**
89 * The number of operations of the '<em>Named Element</em>' class.
90 * <!-- begin-user-doc -->
91 * <!-- end-user-doc -->
92 * @generated
93 * @ordered
94 */
95 int NAMED_ELEMENT_OPERATION_COUNT = 0;
96
97 /**
98 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl <em>Problem</em>}' class.
99 * <!-- begin-user-doc -->
100 * <!-- end-user-doc -->
101 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl
102 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem()
103 * @generated
104 */
105 int PROBLEM = 0;
106
107 /**
108 * The feature id for the '<em><b>Name</b></em>' attribute.
109 * <!-- begin-user-doc -->
110 * <!-- end-user-doc -->
111 * @generated
112 * @ordered
113 */
114 int PROBLEM__NAME = NAMED_ELEMENT__NAME;
115
116 /**
117 * The feature id for the '<em><b>Nodes</b></em>' containment reference list.
118 * <!-- begin-user-doc -->
119 * <!-- end-user-doc -->
120 * @generated
121 * @ordered
122 */
123 int PROBLEM__NODES = NAMED_ELEMENT_FEATURE_COUNT + 0;
124
125 /**
126 * The feature id for the '<em><b>Statements</b></em>' containment reference list.
127 * <!-- begin-user-doc -->
128 * <!-- end-user-doc -->
129 * @generated
130 * @ordered
131 */
132 int PROBLEM__STATEMENTS = NAMED_ELEMENT_FEATURE_COUNT + 1;
133
134 /**
135 * The number of structural features of the '<em>Problem</em>' class.
136 * <!-- begin-user-doc -->
137 * <!-- end-user-doc -->
138 * @generated
139 * @ordered
140 */
141 int PROBLEM_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 2;
142
143 /**
144 * The number of operations of the '<em>Problem</em>' class.
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 * @ordered
149 */
150 int PROBLEM_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0;
151
152 /**
153 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl <em>Relation</em>}' class.
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @see org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl
157 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRelation()
158 * @generated
159 */
160 int RELATION = 1;
161
162 /**
163 * The feature id for the '<em><b>Name</b></em>' attribute.
164 * <!-- begin-user-doc -->
165 * <!-- end-user-doc -->
166 * @generated
167 * @ordered
168 */
169 int RELATION__NAME = NAMED_ELEMENT__NAME;
170
171 /**
172 * The number of structural features of the '<em>Relation</em>' class.
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 * @ordered
177 */
178 int RELATION_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0;
179
180 /**
181 * The number of operations of the '<em>Relation</em>' class.
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 * @ordered
186 */
187 int RELATION_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0;
188
189 /**
190 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl <em>Class Declaration</em>}' class.
191 * <!-- begin-user-doc -->
192 * <!-- end-user-doc -->
193 * @see org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl
194 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getClassDeclaration()
195 * @generated
196 */
197 int CLASS_DECLARATION = 2;
198
199 /**
200 * The feature id for the '<em><b>Name</b></em>' attribute.
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 * @ordered
205 */
206 int CLASS_DECLARATION__NAME = RELATION__NAME;
207
208 /**
209 * The feature id for the '<em><b>Abstract</b></em>' attribute.
210 * <!-- begin-user-doc -->
211 * <!-- end-user-doc -->
212 * @generated
213 * @ordered
214 */
215 int CLASS_DECLARATION__ABSTRACT = RELATION_FEATURE_COUNT + 0;
216
217 /**
218 * The feature id for the '<em><b>Super Types</b></em>' reference list.
219 * <!-- begin-user-doc -->
220 * <!-- end-user-doc -->
221 * @generated
222 * @ordered
223 */
224 int CLASS_DECLARATION__SUPER_TYPES = RELATION_FEATURE_COUNT + 1;
225
226 /**
227 * The feature id for the '<em><b>Reference Declarations</b></em>' containment reference list.
228 * <!-- begin-user-doc -->
229 * <!-- end-user-doc -->
230 * @generated
231 * @ordered
232 */
233 int CLASS_DECLARATION__REFERENCE_DECLARATIONS = RELATION_FEATURE_COUNT + 2;
234
235 /**
236 * The feature id for the '<em><b>New Node</b></em>' containment reference.
237 * <!-- begin-user-doc -->
238 * <!-- end-user-doc -->
239 * @generated
240 * @ordered
241 */
242 int CLASS_DECLARATION__NEW_NODE = RELATION_FEATURE_COUNT + 3;
243
244 /**
245 * The number of structural features of the '<em>Class Declaration</em>' class.
246 * <!-- begin-user-doc -->
247 * <!-- end-user-doc -->
248 * @generated
249 * @ordered
250 */
251 int CLASS_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 4;
252
253 /**
254 * The number of operations of the '<em>Class Declaration</em>' class.
255 * <!-- begin-user-doc -->
256 * <!-- end-user-doc -->
257 * @generated
258 * @ordered
259 */
260 int CLASS_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
261
262 /**
263 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl <em>Reference Declaration</em>}' class.
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @see org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl
267 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getReferenceDeclaration()
268 * @generated
269 */
270 int REFERENCE_DECLARATION = 3;
271
272 /**
273 * The feature id for the '<em><b>Name</b></em>' attribute.
274 * <!-- begin-user-doc -->
275 * <!-- end-user-doc -->
276 * @generated
277 * @ordered
278 */
279 int REFERENCE_DECLARATION__NAME = RELATION__NAME;
280
281 /**
282 * The feature id for the '<em><b>Reference Type</b></em>' reference.
283 * <!-- begin-user-doc -->
284 * <!-- end-user-doc -->
285 * @generated
286 * @ordered
287 */
288 int REFERENCE_DECLARATION__REFERENCE_TYPE = RELATION_FEATURE_COUNT + 0;
289
290 /**
291 * The feature id for the '<em><b>Opposite</b></em>' reference.
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 * @ordered
296 */
297 int REFERENCE_DECLARATION__OPPOSITE = RELATION_FEATURE_COUNT + 1;
298
299 /**
300 * The feature id for the '<em><b>Containment</b></em>' attribute.
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 * @ordered
305 */
306 int REFERENCE_DECLARATION__CONTAINMENT = RELATION_FEATURE_COUNT + 2;
307
308 /**
309 * The feature id for the '<em><b>Multiplicity</b></em>' containment reference.
310 * <!-- begin-user-doc -->
311 * <!-- end-user-doc -->
312 * @generated
313 * @ordered
314 */
315 int REFERENCE_DECLARATION__MULTIPLICITY = RELATION_FEATURE_COUNT + 3;
316
317 /**
318 * The number of structural features of the '<em>Reference Declaration</em>' class.
319 * <!-- begin-user-doc -->
320 * <!-- end-user-doc -->
321 * @generated
322 * @ordered
323 */
324 int REFERENCE_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 4;
325
326 /**
327 * The number of operations of the '<em>Reference Declaration</em>' class.
328 * <!-- begin-user-doc -->
329 * <!-- end-user-doc -->
330 * @generated
331 * @ordered
332 */
333 int REFERENCE_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
334
335 /**
336 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
337 * <!-- begin-user-doc -->
338 * <!-- end-user-doc -->
339 * @see org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl
340 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getPredicateDefinition()
341 * @generated
342 */
343 int PREDICATE_DEFINITION = 5;
344
345 /**
346 * The feature id for the '<em><b>Name</b></em>' attribute.
347 * <!-- begin-user-doc -->
348 * <!-- end-user-doc -->
349 * @generated
350 * @ordered
351 */
352 int PREDICATE_DEFINITION__NAME = RELATION__NAME;
353
354 /**
355 * The feature id for the '<em><b>Error</b></em>' attribute.
356 * <!-- begin-user-doc -->
357 * <!-- end-user-doc -->
358 * @generated
359 * @ordered
360 */
361 int PREDICATE_DEFINITION__ERROR = RELATION_FEATURE_COUNT + 0;
362
363 /**
364 * The feature id for the '<em><b>Parameters</b></em>' containment reference list.
365 * <!-- begin-user-doc -->
366 * <!-- end-user-doc -->
367 * @generated
368 * @ordered
369 */
370 int PREDICATE_DEFINITION__PARAMETERS = RELATION_FEATURE_COUNT + 1;
371
372 /**
373 * The feature id for the '<em><b>Bodies</b></em>' containment reference list.
374 * <!-- begin-user-doc -->
375 * <!-- end-user-doc -->
376 * @generated
377 * @ordered
378 */
379 int PREDICATE_DEFINITION__BODIES = RELATION_FEATURE_COUNT + 2;
380
381 /**
382 * The number of structural features of the '<em>Predicate Definition</em>' class.
383 * <!-- begin-user-doc -->
384 * <!-- end-user-doc -->
385 * @generated
386 * @ordered
387 */
388 int PREDICATE_DEFINITION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 3;
389
390 /**
391 * The number of operations of the '<em>Predicate Definition</em>' class.
392 * <!-- begin-user-doc -->
393 * <!-- end-user-doc -->
394 * @generated
395 * @ordered
396 */
397 int PREDICATE_DEFINITION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
398
399 /**
400 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl <em>Variable Or Node</em>}' class.
401 * <!-- begin-user-doc -->
402 * <!-- end-user-doc -->
403 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl
404 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode()
405 * @generated
406 */
407 int VARIABLE_OR_NODE = 25;
408
409 /**
410 * The feature id for the '<em><b>Name</b></em>' attribute.
411 * <!-- begin-user-doc -->
412 * <!-- end-user-doc -->
413 * @generated
414 * @ordered
415 */
416 int VARIABLE_OR_NODE__NAME = NAMED_ELEMENT__NAME;
417
418 /**
419 * The number of structural features of the '<em>Variable Or Node</em>' class.
420 * <!-- begin-user-doc -->
421 * <!-- end-user-doc -->
422 * @generated
423 * @ordered
424 */
425 int VARIABLE_OR_NODE_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 0;
426
427 /**
428 * The number of operations of the '<em>Variable Or Node</em>' class.
429 * <!-- begin-user-doc -->
430 * <!-- end-user-doc -->
431 * @generated
432 * @ordered
433 */
434 int VARIABLE_OR_NODE_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0;
435
436 /**
437 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl <em>Variable</em>}' class.
438 * <!-- begin-user-doc -->
439 * <!-- end-user-doc -->
440 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl
441 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariable()
442 * @generated
443 */
444 int VARIABLE = 7;
445
446 /**
447 * The feature id for the '<em><b>Name</b></em>' attribute.
448 * <!-- begin-user-doc -->
449 * <!-- end-user-doc -->
450 * @generated
451 * @ordered
452 */
453 int VARIABLE__NAME = VARIABLE_OR_NODE__NAME;
454
455 /**
456 * The number of structural features of the '<em>Variable</em>' class.
457 * <!-- begin-user-doc -->
458 * <!-- end-user-doc -->
459 * @generated
460 * @ordered
461 */
462 int VARIABLE_FEATURE_COUNT = VARIABLE_OR_NODE_FEATURE_COUNT + 0;
463
464 /**
465 * The number of operations of the '<em>Variable</em>' class.
466 * <!-- begin-user-doc -->
467 * <!-- end-user-doc -->
468 * @generated
469 * @ordered
470 */
471 int VARIABLE_OPERATION_COUNT = VARIABLE_OR_NODE_OPERATION_COUNT + 0;
472
473 /**
474 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl <em>Parameter</em>}' class.
475 * <!-- begin-user-doc -->
476 * <!-- end-user-doc -->
477 * @see org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl
478 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getParameter()
479 * @generated
480 */
481 int PARAMETER = 6;
482
483 /**
484 * The feature id for the '<em><b>Name</b></em>' attribute.
485 * <!-- begin-user-doc -->
486 * <!-- end-user-doc -->
487 * @generated
488 * @ordered
489 */
490 int PARAMETER__NAME = VARIABLE__NAME;
491
492 /**
493 * The feature id for the '<em><b>Parameter Type</b></em>' reference.
494 * <!-- begin-user-doc -->
495 * <!-- end-user-doc -->
496 * @generated
497 * @ordered
498 */
499 int PARAMETER__PARAMETER_TYPE = VARIABLE_FEATURE_COUNT + 0;
500
501 /**
502 * The number of structural features of the '<em>Parameter</em>' class.
503 * <!-- begin-user-doc -->
504 * <!-- end-user-doc -->
505 * @generated
506 * @ordered
507 */
508 int PARAMETER_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 1;
509
510 /**
511 * The number of operations of the '<em>Parameter</em>' class.
512 * <!-- begin-user-doc -->
513 * <!-- end-user-doc -->
514 * @generated
515 * @ordered
516 */
517 int PARAMETER_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0;
518
519 /**
520 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier <em>Existential Quantifier</em>}' class.
521 * <!-- begin-user-doc -->
522 * <!-- end-user-doc -->
523 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier
524 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExistentialQuantifier()
525 * @generated
526 */
527 int EXISTENTIAL_QUANTIFIER = 13;
528
529 /**
530 * The feature id for the '<em><b>Implicit Variables</b></em>' containment reference list.
531 * <!-- begin-user-doc -->
532 * <!-- end-user-doc -->
533 * @generated
534 * @ordered
535 */
536 int EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES = 0;
537
538 /**
539 * The number of structural features of the '<em>Existential Quantifier</em>' class.
540 * <!-- begin-user-doc -->
541 * <!-- end-user-doc -->
542 * @generated
543 * @ordered
544 */
545 int EXISTENTIAL_QUANTIFIER_FEATURE_COUNT = 1;
546
547 /**
548 * The number of operations of the '<em>Existential Quantifier</em>' class.
549 * <!-- begin-user-doc -->
550 * <!-- end-user-doc -->
551 * @generated
552 * @ordered
553 */
554 int EXISTENTIAL_QUANTIFIER_OPERATION_COUNT = 0;
555
556 /**
557 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl <em>Conjunction</em>}' class.
558 * <!-- begin-user-doc -->
559 * <!-- end-user-doc -->
560 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl
561 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConjunction()
562 * @generated
563 */
564 int CONJUNCTION = 8;
565
566 /**
567 * The feature id for the '<em><b>Implicit Variables</b></em>' containment reference list.
568 * <!-- begin-user-doc -->
569 * <!-- end-user-doc -->
570 * @generated
571 * @ordered
572 */
573 int CONJUNCTION__IMPLICIT_VARIABLES = EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES;
574
575 /**
576 * The feature id for the '<em><b>Literals</b></em>' containment reference list.
577 * <!-- begin-user-doc -->
578 * <!-- end-user-doc -->
579 * @generated
580 * @ordered
581 */
582 int CONJUNCTION__LITERALS = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 0;
583
584 /**
585 * The number of structural features of the '<em>Conjunction</em>' class.
586 * <!-- begin-user-doc -->
587 * <!-- end-user-doc -->
588 * @generated
589 * @ordered
590 */
591 int CONJUNCTION_FEATURE_COUNT = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 1;
592
593 /**
594 * The number of operations of the '<em>Conjunction</em>' class.
595 * <!-- begin-user-doc -->
596 * <!-- end-user-doc -->
597 * @generated
598 * @ordered
599 */
600 int CONJUNCTION_OPERATION_COUNT = EXISTENTIAL_QUANTIFIER_OPERATION_COUNT + 0;
601
602 /**
603 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl <em>Literal</em>}' class.
604 * <!-- begin-user-doc -->
605 * <!-- end-user-doc -->
606 * @see org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl
607 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLiteral()
608 * @generated
609 */
610 int LITERAL = 9;
611
612 /**
613 * The number of structural features of the '<em>Literal</em>' class.
614 * <!-- begin-user-doc -->
615 * <!-- end-user-doc -->
616 * @generated
617 * @ordered
618 */
619 int LITERAL_FEATURE_COUNT = 0;
620
621 /**
622 * The number of operations of the '<em>Literal</em>' class.
623 * <!-- begin-user-doc -->
624 * <!-- end-user-doc -->
625 * @generated
626 * @ordered
627 */
628 int LITERAL_OPERATION_COUNT = 0;
629
630 /**
631 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl <em>Atom</em>}' class.
632 * <!-- begin-user-doc -->
633 * <!-- end-user-doc -->
634 * @see org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl
635 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAtom()
636 * @generated
637 */
638 int ATOM = 10;
639
640 /**
641 * The feature id for the '<em><b>Relation</b></em>' reference.
642 * <!-- begin-user-doc -->
643 * <!-- end-user-doc -->
644 * @generated
645 * @ordered
646 */
647 int ATOM__RELATION = LITERAL_FEATURE_COUNT + 0;
648
649 /**
650 * The feature id for the '<em><b>Transitive Closure</b></em>' attribute.
651 * <!-- begin-user-doc -->
652 * <!-- end-user-doc -->
653 * @generated
654 * @ordered
655 */
656 int ATOM__TRANSITIVE_CLOSURE = LITERAL_FEATURE_COUNT + 1;
657
658 /**
659 * The feature id for the '<em><b>Arguments</b></em>' containment reference list.
660 * <!-- begin-user-doc -->
661 * <!-- end-user-doc -->
662 * @generated
663 * @ordered
664 */
665 int ATOM__ARGUMENTS = LITERAL_FEATURE_COUNT + 2;
666
667 /**
668 * The number of structural features of the '<em>Atom</em>' class.
669 * <!-- begin-user-doc -->
670 * <!-- end-user-doc -->
671 * @generated
672 * @ordered
673 */
674 int ATOM_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 3;
675
676 /**
677 * The number of operations of the '<em>Atom</em>' class.
678 * <!-- begin-user-doc -->
679 * <!-- end-user-doc -->
680 * @generated
681 * @ordered
682 */
683 int ATOM_OPERATION_COUNT = LITERAL_OPERATION_COUNT + 0;
684
685 /**
686 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl <em>Implicit Variable</em>}' class.
687 * <!-- begin-user-doc -->
688 * <!-- end-user-doc -->
689 * @see org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl
690 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getImplicitVariable()
691 * @generated
692 */
693 int IMPLICIT_VARIABLE = 11;
694
695 /**
696 * The feature id for the '<em><b>Name</b></em>' attribute.
697 * <!-- begin-user-doc -->
698 * <!-- end-user-doc -->
699 * @generated
700 * @ordered
701 */
702 int IMPLICIT_VARIABLE__NAME = VARIABLE__NAME;
703
704 /**
705 * The number of structural features of the '<em>Implicit Variable</em>' class.
706 * <!-- begin-user-doc -->
707 * <!-- end-user-doc -->
708 * @generated
709 * @ordered
710 */
711 int IMPLICIT_VARIABLE_FEATURE_COUNT = VARIABLE_FEATURE_COUNT + 0;
712
713 /**
714 * The number of operations of the '<em>Implicit Variable</em>' class.
715 * <!-- begin-user-doc -->
716 * <!-- end-user-doc -->
717 * @generated
718 * @ordered
719 */
720 int IMPLICIT_VARIABLE_OPERATION_COUNT = VARIABLE_OPERATION_COUNT + 0;
721
722 /**
723 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl <em>Negative Literal</em>}' class.
724 * <!-- begin-user-doc -->
725 * <!-- end-user-doc -->
726 * @see org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl
727 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNegativeLiteral()
728 * @generated
729 */
730 int NEGATIVE_LITERAL = 12;
731
732 /**
733 * The feature id for the '<em><b>Implicit Variables</b></em>' containment reference list.
734 * <!-- begin-user-doc -->
735 * <!-- end-user-doc -->
736 * @generated
737 * @ordered
738 */
739 int NEGATIVE_LITERAL__IMPLICIT_VARIABLES = EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES;
740
741 /**
742 * The feature id for the '<em><b>Atom</b></em>' containment reference.
743 * <!-- begin-user-doc -->
744 * <!-- end-user-doc -->
745 * @generated
746 * @ordered
747 */
748 int NEGATIVE_LITERAL__ATOM = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 0;
749
750 /**
751 * The number of structural features of the '<em>Negative Literal</em>' class.
752 * <!-- begin-user-doc -->
753 * <!-- end-user-doc -->
754 * @generated
755 * @ordered
756 */
757 int NEGATIVE_LITERAL_FEATURE_COUNT = EXISTENTIAL_QUANTIFIER_FEATURE_COUNT + 1;
758
759 /**
760 * The number of operations of the '<em>Negative Literal</em>' class.
761 * <!-- begin-user-doc -->
762 * <!-- end-user-doc -->
763 * @generated
764 * @ordered
765 */
766 int NEGATIVE_LITERAL_OPERATION_COUNT = EXISTENTIAL_QUANTIFIER_OPERATION_COUNT + 0;
767
768 /**
769 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.Statement <em>Statement</em>}' class.
770 * <!-- begin-user-doc -->
771 * <!-- end-user-doc -->
772 * @see org.eclipse.viatra.solver.language.model.problem.Statement
773 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStatement()
774 * @generated
775 */
776 int STATEMENT = 17;
777
778 /**
779 * The number of structural features of the '<em>Statement</em>' class.
780 * <!-- begin-user-doc -->
781 * <!-- end-user-doc -->
782 * @generated
783 * @ordered
784 */
785 int STATEMENT_FEATURE_COUNT = 0;
786
787 /**
788 * The number of operations of the '<em>Statement</em>' class.
789 * <!-- begin-user-doc -->
790 * <!-- end-user-doc -->
791 * @generated
792 * @ordered
793 */
794 int STATEMENT_OPERATION_COUNT = 0;
795
796 /**
797 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl <em>Assertion</em>}' class.
798 * <!-- begin-user-doc -->
799 * <!-- end-user-doc -->
800 * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl
801 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertion()
802 * @generated
803 */
804 int ASSERTION = 14;
805
806 /**
807 * The feature id for the '<em><b>Relation</b></em>' reference.
808 * <!-- begin-user-doc -->
809 * <!-- end-user-doc -->
810 * @generated
811 * @ordered
812 */
813 int ASSERTION__RELATION = STATEMENT_FEATURE_COUNT + 0;
814
815 /**
816 * The feature id for the '<em><b>Arguments</b></em>' reference list.
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 * @ordered
821 */
822 int ASSERTION__ARGUMENTS = STATEMENT_FEATURE_COUNT + 1;
823
824 /**
825 * The feature id for the '<em><b>Value</b></em>' attribute.
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 * @ordered
830 */
831 int ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 2;
832
833 /**
834 * The number of structural features of the '<em>Assertion</em>' class.
835 * <!-- begin-user-doc -->
836 * <!-- end-user-doc -->
837 * @generated
838 * @ordered
839 */
840 int ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 3;
841
842 /**
843 * The number of operations of the '<em>Assertion</em>' class.
844 * <!-- begin-user-doc -->
845 * <!-- end-user-doc -->
846 * @generated
847 * @ordered
848 */
849 int ASSERTION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
850
851 /**
852 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl <em>Node</em>}' class.
853 * <!-- begin-user-doc -->
854 * <!-- end-user-doc -->
855 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl
856 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNode()
857 * @generated
858 */
859 int NODE = 15;
860
861 /**
862 * The feature id for the '<em><b>Name</b></em>' attribute.
863 * <!-- begin-user-doc -->
864 * <!-- end-user-doc -->
865 * @generated
866 * @ordered
867 */
868 int NODE__NAME = VARIABLE_OR_NODE__NAME;
869
870 /**
871 * The number of structural features of the '<em>Node</em>' class.
872 * <!-- begin-user-doc -->
873 * <!-- end-user-doc -->
874 * @generated
875 * @ordered
876 */
877 int NODE_FEATURE_COUNT = VARIABLE_OR_NODE_FEATURE_COUNT + 0;
878
879 /**
880 * The number of operations of the '<em>Node</em>' class.
881 * <!-- begin-user-doc -->
882 * <!-- end-user-doc -->
883 * @generated
884 * @ordered
885 */
886 int NODE_OPERATION_COUNT = VARIABLE_OR_NODE_OPERATION_COUNT + 0;
887
888 /**
889 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class.
890 * <!-- begin-user-doc -->
891 * <!-- end-user-doc -->
892 * @see org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl
893 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getScopeDeclaration()
894 * @generated
895 */
896 int SCOPE_DECLARATION = 16;
897
898 /**
899 * The feature id for the '<em><b>Type Scopes</b></em>' containment reference list.
900 * <!-- begin-user-doc -->
901 * <!-- end-user-doc -->
902 * @generated
903 * @ordered
904 */
905 int SCOPE_DECLARATION__TYPE_SCOPES = STATEMENT_FEATURE_COUNT + 0;
906
907 /**
908 * The number of structural features of the '<em>Scope Declaration</em>' class.
909 * <!-- begin-user-doc -->
910 * <!-- end-user-doc -->
911 * @generated
912 * @ordered
913 */
914 int SCOPE_DECLARATION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 1;
915
916 /**
917 * The number of operations of the '<em>Scope Declaration</em>' class.
918 * <!-- begin-user-doc -->
919 * <!-- end-user-doc -->
920 * @generated
921 * @ordered
922 */
923 int SCOPE_DECLARATION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
924
925 /**
926 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl <em>Type Scope</em>}' class.
927 * <!-- begin-user-doc -->
928 * <!-- end-user-doc -->
929 * @see org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl
930 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getTypeScope()
931 * @generated
932 */
933 int TYPE_SCOPE = 18;
934
935 /**
936 * The feature id for the '<em><b>Target Type</b></em>' reference.
937 * <!-- begin-user-doc -->
938 * <!-- end-user-doc -->
939 * @generated
940 * @ordered
941 */
942 int TYPE_SCOPE__TARGET_TYPE = 0;
943
944 /**
945 * The feature id for the '<em><b>Increment</b></em>' attribute.
946 * <!-- begin-user-doc -->
947 * <!-- end-user-doc -->
948 * @generated
949 * @ordered
950 */
951 int TYPE_SCOPE__INCREMENT = 1;
952
953 /**
954 * The feature id for the '<em><b>Multiplicity</b></em>' containment reference.
955 * <!-- begin-user-doc -->
956 * <!-- end-user-doc -->
957 * @generated
958 * @ordered
959 */
960 int TYPE_SCOPE__MULTIPLICITY = 2;
961
962 /**
963 * The number of structural features of the '<em>Type Scope</em>' class.
964 * <!-- begin-user-doc -->
965 * <!-- end-user-doc -->
966 * @generated
967 * @ordered
968 */
969 int TYPE_SCOPE_FEATURE_COUNT = 3;
970
971 /**
972 * The number of operations of the '<em>Type Scope</em>' class.
973 * <!-- begin-user-doc -->
974 * <!-- end-user-doc -->
975 * @generated
976 * @ordered
977 */
978 int TYPE_SCOPE_OPERATION_COUNT = 0;
979
980 /**
981 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
982 * <!-- begin-user-doc -->
983 * <!-- end-user-doc -->
984 * @see org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl
985 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getMultiplicity()
986 * @generated
987 */
988 int MULTIPLICITY = 19;
989
990 /**
991 * The number of structural features of the '<em>Multiplicity</em>' class.
992 * <!-- begin-user-doc -->
993 * <!-- end-user-doc -->
994 * @generated
995 * @ordered
996 */
997 int MULTIPLICITY_FEATURE_COUNT = 0;
998
999 /**
1000 * The number of operations of the '<em>Multiplicity</em>' class.
1001 * <!-- begin-user-doc -->
1002 * <!-- end-user-doc -->
1003 * @generated
1004 * @ordered
1005 */
1006 int MULTIPLICITY_OPERATION_COUNT = 0;
1007
1008 /**
1009 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl <em>Range Multiplicity</em>}' class.
1010 * <!-- begin-user-doc -->
1011 * <!-- end-user-doc -->
1012 * @see org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl
1013 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRangeMultiplicity()
1014 * @generated
1015 */
1016 int RANGE_MULTIPLICITY = 20;
1017
1018 /**
1019 * The feature id for the '<em><b>Lower Bound</b></em>' attribute.
1020 * <!-- begin-user-doc -->
1021 * <!-- end-user-doc -->
1022 * @generated
1023 * @ordered
1024 */
1025 int RANGE_MULTIPLICITY__LOWER_BOUND = MULTIPLICITY_FEATURE_COUNT + 0;
1026
1027 /**
1028 * The feature id for the '<em><b>Upper Bound</b></em>' attribute.
1029 * <!-- begin-user-doc -->
1030 * <!-- end-user-doc -->
1031 * @generated
1032 * @ordered
1033 */
1034 int RANGE_MULTIPLICITY__UPPER_BOUND = MULTIPLICITY_FEATURE_COUNT + 1;
1035
1036 /**
1037 * The number of structural features of the '<em>Range Multiplicity</em>' class.
1038 * <!-- begin-user-doc -->
1039 * <!-- end-user-doc -->
1040 * @generated
1041 * @ordered
1042 */
1043 int RANGE_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 2;
1044
1045 /**
1046 * The number of operations of the '<em>Range Multiplicity</em>' class.
1047 * <!-- begin-user-doc -->
1048 * <!-- end-user-doc -->
1049 * @generated
1050 * @ordered
1051 */
1052 int RANGE_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0;
1053
1054 /**
1055 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
1056 * <!-- begin-user-doc -->
1057 * <!-- end-user-doc -->
1058 * @see org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl
1059 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExactMultiplicity()
1060 * @generated
1061 */
1062 int EXACT_MULTIPLICITY = 21;
1063
1064 /**
1065 * The feature id for the '<em><b>Exact Value</b></em>' attribute.
1066 * <!-- begin-user-doc -->
1067 * <!-- end-user-doc -->
1068 * @generated
1069 * @ordered
1070 */
1071 int EXACT_MULTIPLICITY__EXACT_VALUE = MULTIPLICITY_FEATURE_COUNT + 0;
1072
1073 /**
1074 * The number of structural features of the '<em>Exact Multiplicity</em>' class.
1075 * <!-- begin-user-doc -->
1076 * <!-- end-user-doc -->
1077 * @generated
1078 * @ordered
1079 */
1080 int EXACT_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 1;
1081
1082 /**
1083 * The number of operations of the '<em>Exact Multiplicity</em>' class.
1084 * <!-- begin-user-doc -->
1085 * <!-- end-user-doc -->
1086 * @generated
1087 * @ordered
1088 */
1089 int EXACT_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0;
1090
1091 /**
1092 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl <em>Unbounded Multiplicity</em>}' class.
1093 * <!-- begin-user-doc -->
1094 * <!-- end-user-doc -->
1095 * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl
1096 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity()
1097 * @generated
1098 */
1099 int UNBOUNDED_MULTIPLICITY = 22;
1100
1101 /**
1102 * The number of structural features of the '<em>Unbounded Multiplicity</em>' class.
1103 * <!-- begin-user-doc -->
1104 * <!-- end-user-doc -->
1105 * @generated
1106 * @ordered
1107 */
1108 int UNBOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0;
1109
1110 /**
1111 * The number of operations of the '<em>Unbounded Multiplicity</em>' class.
1112 * <!-- begin-user-doc -->
1113 * <!-- end-user-doc -->
1114 * @generated
1115 * @ordered
1116 */
1117 int UNBOUNDED_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0;
1118
1119 /**
1120 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class.
1121 * <!-- begin-user-doc -->
1122 * <!-- end-user-doc -->
1123 * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl
1124 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument()
1125 * @generated
1126 */
1127 int ARGUMENT = 23;
1128
1129 /**
1130 * The feature id for the '<em><b>Variable Or Node</b></em>' reference.
1131 * <!-- begin-user-doc -->
1132 * <!-- end-user-doc -->
1133 * @generated
1134 * @ordered
1135 */
1136 int ARGUMENT__VARIABLE_OR_NODE = 0;
1137
1138 /**
1139 * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference.
1140 * <!-- begin-user-doc -->
1141 * <!-- end-user-doc -->
1142 * @generated
1143 * @ordered
1144 */
1145 int ARGUMENT__SINGLETON_VARIABLE = 1;
1146
1147 /**
1148 * The number of structural features of the '<em>Argument</em>' class.
1149 * <!-- begin-user-doc -->
1150 * <!-- end-user-doc -->
1151 * @generated
1152 * @ordered
1153 */
1154 int ARGUMENT_FEATURE_COUNT = 2;
1155
1156 /**
1157 * The number of operations of the '<em>Argument</em>' class.
1158 * <!-- begin-user-doc -->
1159 * <!-- end-user-doc -->
1160 * @generated
1161 * @ordered
1162 */
1163 int ARGUMENT_OPERATION_COUNT = 0;
1164
1165 /**
1166 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class.
1167 * <!-- begin-user-doc -->
1168 * <!-- end-user-doc -->
1169 * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl
1170 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration()
1171 * @generated
1172 */
1173 int ENUM_DECLARATION = 24;
1174
1175 /**
1176 * The feature id for the '<em><b>Name</b></em>' attribute.
1177 * <!-- begin-user-doc -->
1178 * <!-- end-user-doc -->
1179 * @generated
1180 * @ordered
1181 */
1182 int ENUM_DECLARATION__NAME = RELATION__NAME;
1183
1184 /**
1185 * The feature id for the '<em><b>Literals</b></em>' containment reference list.
1186 * <!-- begin-user-doc -->
1187 * <!-- end-user-doc -->
1188 * @generated
1189 * @ordered
1190 */
1191 int ENUM_DECLARATION__LITERALS = RELATION_FEATURE_COUNT + 0;
1192
1193 /**
1194 * The number of structural features of the '<em>Enum Declaration</em>' class.
1195 * <!-- begin-user-doc -->
1196 * <!-- end-user-doc -->
1197 * @generated
1198 * @ordered
1199 */
1200 int ENUM_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 1;
1201
1202 /**
1203 * The number of operations of the '<em>Enum Declaration</em>' class.
1204 * <!-- begin-user-doc -->
1205 * <!-- end-user-doc -->
1206 * @generated
1207 * @ordered
1208 */
1209 int ENUM_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
1210
1211 /**
1212 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum.
1213 * <!-- begin-user-doc -->
1214 * <!-- end-user-doc -->
1215 * @see org.eclipse.viatra.solver.language.model.problem.LogicValue
1216 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue()
1217 * @generated
1218 */
1219 int LOGIC_VALUE = 26;
1220
1221 /**
1222 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'.
1223 * <!-- begin-user-doc -->
1224 * <!-- end-user-doc -->
1225 * @return the meta object for class '<em>Problem</em>'.
1226 * @see org.eclipse.viatra.solver.language.model.problem.Problem
1227 * @generated
1228 */
1229 EClass getProblem();
1230
1231 /**
1232 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Problem#getNodes <em>Nodes</em>}'.
1233 * <!-- begin-user-doc -->
1234 * <!-- end-user-doc -->
1235 * @return the meta object for the containment reference list '<em>Nodes</em>'.
1236 * @see org.eclipse.viatra.solver.language.model.problem.Problem#getNodes()
1237 * @see #getProblem()
1238 * @generated
1239 */
1240 EReference getProblem_Nodes();
1241
1242 /**
1243 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Problem#getStatements <em>Statements</em>}'.
1244 * <!-- begin-user-doc -->
1245 * <!-- end-user-doc -->
1246 * @return the meta object for the containment reference list '<em>Statements</em>'.
1247 * @see org.eclipse.viatra.solver.language.model.problem.Problem#getStatements()
1248 * @see #getProblem()
1249 * @generated
1250 */
1251 EReference getProblem_Statements();
1252
1253 /**
1254 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Relation <em>Relation</em>}'.
1255 * <!-- begin-user-doc -->
1256 * <!-- end-user-doc -->
1257 * @return the meta object for class '<em>Relation</em>'.
1258 * @see org.eclipse.viatra.solver.language.model.problem.Relation
1259 * @generated
1260 */
1261 EClass getRelation();
1262
1263 /**
1264 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration <em>Class Declaration</em>}'.
1265 * <!-- begin-user-doc -->
1266 * <!-- end-user-doc -->
1267 * @return the meta object for class '<em>Class Declaration</em>'.
1268 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration
1269 * @generated
1270 */
1271 EClass getClassDeclaration();
1272
1273 /**
1274 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#isAbstract <em>Abstract</em>}'.
1275 * <!-- begin-user-doc -->
1276 * <!-- end-user-doc -->
1277 * @return the meta object for the attribute '<em>Abstract</em>'.
1278 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#isAbstract()
1279 * @see #getClassDeclaration()
1280 * @generated
1281 */
1282 EAttribute getClassDeclaration_Abstract();
1283
1284 /**
1285 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getSuperTypes <em>Super Types</em>}'.
1286 * <!-- begin-user-doc -->
1287 * <!-- end-user-doc -->
1288 * @return the meta object for the reference list '<em>Super Types</em>'.
1289 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getSuperTypes()
1290 * @see #getClassDeclaration()
1291 * @generated
1292 */
1293 EReference getClassDeclaration_SuperTypes();
1294
1295 /**
1296 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getReferenceDeclarations <em>Reference Declarations</em>}'.
1297 * <!-- begin-user-doc -->
1298 * <!-- end-user-doc -->
1299 * @return the meta object for the containment reference list '<em>Reference Declarations</em>'.
1300 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getReferenceDeclarations()
1301 * @see #getClassDeclaration()
1302 * @generated
1303 */
1304 EReference getClassDeclaration_ReferenceDeclarations();
1305
1306 /**
1307 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode <em>New Node</em>}'.
1308 * <!-- begin-user-doc -->
1309 * <!-- end-user-doc -->
1310 * @return the meta object for the containment reference '<em>New Node</em>'.
1311 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode()
1312 * @see #getClassDeclaration()
1313 * @generated
1314 */
1315 EReference getClassDeclaration_NewNode();
1316
1317 /**
1318 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration <em>Reference Declaration</em>}'.
1319 * <!-- begin-user-doc -->
1320 * <!-- end-user-doc -->
1321 * @return the meta object for class '<em>Reference Declaration</em>'.
1322 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration
1323 * @generated
1324 */
1325 EClass getReferenceDeclaration();
1326
1327 /**
1328 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getReferenceType <em>Reference Type</em>}'.
1329 * <!-- begin-user-doc -->
1330 * <!-- end-user-doc -->
1331 * @return the meta object for the reference '<em>Reference Type</em>'.
1332 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getReferenceType()
1333 * @see #getReferenceDeclaration()
1334 * @generated
1335 */
1336 EReference getReferenceDeclaration_ReferenceType();
1337
1338 /**
1339 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getOpposite <em>Opposite</em>}'.
1340 * <!-- begin-user-doc -->
1341 * <!-- end-user-doc -->
1342 * @return the meta object for the reference '<em>Opposite</em>'.
1343 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getOpposite()
1344 * @see #getReferenceDeclaration()
1345 * @generated
1346 */
1347 EReference getReferenceDeclaration_Opposite();
1348
1349 /**
1350 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#isContainment <em>Containment</em>}'.
1351 * <!-- begin-user-doc -->
1352 * <!-- end-user-doc -->
1353 * @return the meta object for the attribute '<em>Containment</em>'.
1354 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#isContainment()
1355 * @see #getReferenceDeclaration()
1356 * @generated
1357 */
1358 EAttribute getReferenceDeclaration_Containment();
1359
1360 /**
1361 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getMultiplicity <em>Multiplicity</em>}'.
1362 * <!-- begin-user-doc -->
1363 * <!-- end-user-doc -->
1364 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
1365 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getMultiplicity()
1366 * @see #getReferenceDeclaration()
1367 * @generated
1368 */
1369 EReference getReferenceDeclaration_Multiplicity();
1370
1371 /**
1372 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NamedElement <em>Named Element</em>}'.
1373 * <!-- begin-user-doc -->
1374 * <!-- end-user-doc -->
1375 * @return the meta object for class '<em>Named Element</em>'.
1376 * @see org.eclipse.viatra.solver.language.model.problem.NamedElement
1377 * @generated
1378 */
1379 EClass getNamedElement();
1380
1381 /**
1382 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.NamedElement#getName <em>Name</em>}'.
1383 * <!-- begin-user-doc -->
1384 * <!-- end-user-doc -->
1385 * @return the meta object for the attribute '<em>Name</em>'.
1386 * @see org.eclipse.viatra.solver.language.model.problem.NamedElement#getName()
1387 * @see #getNamedElement()
1388 * @generated
1389 */
1390 EAttribute getNamedElement_Name();
1391
1392 /**
1393 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition <em>Predicate Definition</em>}'.
1394 * <!-- begin-user-doc -->
1395 * <!-- end-user-doc -->
1396 * @return the meta object for class '<em>Predicate Definition</em>'.
1397 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition
1398 * @generated
1399 */
1400 EClass getPredicateDefinition();
1401
1402 /**
1403 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#isError <em>Error</em>}'.
1404 * <!-- begin-user-doc -->
1405 * <!-- end-user-doc -->
1406 * @return the meta object for the attribute '<em>Error</em>'.
1407 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#isError()
1408 * @see #getPredicateDefinition()
1409 * @generated
1410 */
1411 EAttribute getPredicateDefinition_Error();
1412
1413 /**
1414 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getParameters <em>Parameters</em>}'.
1415 * <!-- begin-user-doc -->
1416 * <!-- end-user-doc -->
1417 * @return the meta object for the containment reference list '<em>Parameters</em>'.
1418 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getParameters()
1419 * @see #getPredicateDefinition()
1420 * @generated
1421 */
1422 EReference getPredicateDefinition_Parameters();
1423
1424 /**
1425 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getBodies <em>Bodies</em>}'.
1426 * <!-- begin-user-doc -->
1427 * <!-- end-user-doc -->
1428 * @return the meta object for the containment reference list '<em>Bodies</em>'.
1429 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getBodies()
1430 * @see #getPredicateDefinition()
1431 * @generated
1432 */
1433 EReference getPredicateDefinition_Bodies();
1434
1435 /**
1436 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Parameter <em>Parameter</em>}'.
1437 * <!-- begin-user-doc -->
1438 * <!-- end-user-doc -->
1439 * @return the meta object for class '<em>Parameter</em>'.
1440 * @see org.eclipse.viatra.solver.language.model.problem.Parameter
1441 * @generated
1442 */
1443 EClass getParameter();
1444
1445 /**
1446 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Parameter#getParameterType <em>Parameter Type</em>}'.
1447 * <!-- begin-user-doc -->
1448 * <!-- end-user-doc -->
1449 * @return the meta object for the reference '<em>Parameter Type</em>'.
1450 * @see org.eclipse.viatra.solver.language.model.problem.Parameter#getParameterType()
1451 * @see #getParameter()
1452 * @generated
1453 */
1454 EReference getParameter_ParameterType();
1455
1456 /**
1457 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Variable <em>Variable</em>}'.
1458 * <!-- begin-user-doc -->
1459 * <!-- end-user-doc -->
1460 * @return the meta object for class '<em>Variable</em>'.
1461 * @see org.eclipse.viatra.solver.language.model.problem.Variable
1462 * @generated
1463 */
1464 EClass getVariable();
1465
1466 /**
1467 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Conjunction <em>Conjunction</em>}'.
1468 * <!-- begin-user-doc -->
1469 * <!-- end-user-doc -->
1470 * @return the meta object for class '<em>Conjunction</em>'.
1471 * @see org.eclipse.viatra.solver.language.model.problem.Conjunction
1472 * @generated
1473 */
1474 EClass getConjunction();
1475
1476 /**
1477 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Conjunction#getLiterals <em>Literals</em>}'.
1478 * <!-- begin-user-doc -->
1479 * <!-- end-user-doc -->
1480 * @return the meta object for the containment reference list '<em>Literals</em>'.
1481 * @see org.eclipse.viatra.solver.language.model.problem.Conjunction#getLiterals()
1482 * @see #getConjunction()
1483 * @generated
1484 */
1485 EReference getConjunction_Literals();
1486
1487 /**
1488 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Literal <em>Literal</em>}'.
1489 * <!-- begin-user-doc -->
1490 * <!-- end-user-doc -->
1491 * @return the meta object for class '<em>Literal</em>'.
1492 * @see org.eclipse.viatra.solver.language.model.problem.Literal
1493 * @generated
1494 */
1495 EClass getLiteral();
1496
1497 /**
1498 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Atom <em>Atom</em>}'.
1499 * <!-- begin-user-doc -->
1500 * <!-- end-user-doc -->
1501 * @return the meta object for class '<em>Atom</em>'.
1502 * @see org.eclipse.viatra.solver.language.model.problem.Atom
1503 * @generated
1504 */
1505 EClass getAtom();
1506
1507 /**
1508 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getRelation <em>Relation</em>}'.
1509 * <!-- begin-user-doc -->
1510 * <!-- end-user-doc -->
1511 * @return the meta object for the reference '<em>Relation</em>'.
1512 * @see org.eclipse.viatra.solver.language.model.problem.Atom#getRelation()
1513 * @see #getAtom()
1514 * @generated
1515 */
1516 EReference getAtom_Relation();
1517
1518 /**
1519 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments <em>Arguments</em>}'.
1520 * <!-- begin-user-doc -->
1521 * <!-- end-user-doc -->
1522 * @return the meta object for the containment reference list '<em>Arguments</em>'.
1523 * @see org.eclipse.viatra.solver.language.model.problem.Atom#getArguments()
1524 * @see #getAtom()
1525 * @generated
1526 */
1527 EReference getAtom_Arguments();
1528
1529 /**
1530 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure <em>Transitive Closure</em>}'.
1531 * <!-- begin-user-doc -->
1532 * <!-- end-user-doc -->
1533 * @return the meta object for the attribute '<em>Transitive Closure</em>'.
1534 * @see org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure()
1535 * @see #getAtom()
1536 * @generated
1537 */
1538 EAttribute getAtom_TransitiveClosure();
1539
1540 /**
1541 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ImplicitVariable <em>Implicit Variable</em>}'.
1542 * <!-- begin-user-doc -->
1543 * <!-- end-user-doc -->
1544 * @return the meta object for class '<em>Implicit Variable</em>'.
1545 * @see org.eclipse.viatra.solver.language.model.problem.ImplicitVariable
1546 * @generated
1547 */
1548 EClass getImplicitVariable();
1549
1550 /**
1551 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NegativeLiteral <em>Negative Literal</em>}'.
1552 * <!-- begin-user-doc -->
1553 * <!-- end-user-doc -->
1554 * @return the meta object for class '<em>Negative Literal</em>'.
1555 * @see org.eclipse.viatra.solver.language.model.problem.NegativeLiteral
1556 * @generated
1557 */
1558 EClass getNegativeLiteral();
1559
1560 /**
1561 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.NegativeLiteral#getAtom <em>Atom</em>}'.
1562 * <!-- begin-user-doc -->
1563 * <!-- end-user-doc -->
1564 * @return the meta object for the containment reference '<em>Atom</em>'.
1565 * @see org.eclipse.viatra.solver.language.model.problem.NegativeLiteral#getAtom()
1566 * @see #getNegativeLiteral()
1567 * @generated
1568 */
1569 EReference getNegativeLiteral_Atom();
1570
1571 /**
1572 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier <em>Existential Quantifier</em>}'.
1573 * <!-- begin-user-doc -->
1574 * <!-- end-user-doc -->
1575 * @return the meta object for class '<em>Existential Quantifier</em>'.
1576 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier
1577 * @generated
1578 */
1579 EClass getExistentialQuantifier();
1580
1581 /**
1582 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables <em>Implicit Variables</em>}'.
1583 * <!-- begin-user-doc -->
1584 * <!-- end-user-doc -->
1585 * @return the meta object for the containment reference list '<em>Implicit Variables</em>'.
1586 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables()
1587 * @see #getExistentialQuantifier()
1588 * @generated
1589 */
1590 EReference getExistentialQuantifier_ImplicitVariables();
1591
1592 /**
1593 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Assertion <em>Assertion</em>}'.
1594 * <!-- begin-user-doc -->
1595 * <!-- end-user-doc -->
1596 * @return the meta object for class '<em>Assertion</em>'.
1597 * @see org.eclipse.viatra.solver.language.model.problem.Assertion
1598 * @generated
1599 */
1600 EClass getAssertion();
1601
1602 /**
1603 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation <em>Relation</em>}'.
1604 * <!-- begin-user-doc -->
1605 * <!-- end-user-doc -->
1606 * @return the meta object for the reference '<em>Relation</em>'.
1607 * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation()
1608 * @see #getAssertion()
1609 * @generated
1610 */
1611 EReference getAssertion_Relation();
1612
1613 /**
1614 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments <em>Arguments</em>}'.
1615 * <!-- begin-user-doc -->
1616 * <!-- end-user-doc -->
1617 * @return the meta object for the reference list '<em>Arguments</em>'.
1618 * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments()
1619 * @see #getAssertion()
1620 * @generated
1621 */
1622 EReference getAssertion_Arguments();
1623
1624 /**
1625 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getValue <em>Value</em>}'.
1626 * <!-- begin-user-doc -->
1627 * <!-- end-user-doc -->
1628 * @return the meta object for the attribute '<em>Value</em>'.
1629 * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getValue()
1630 * @see #getAssertion()
1631 * @generated
1632 */
1633 EAttribute getAssertion_Value();
1634
1635 /**
1636 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Node <em>Node</em>}'.
1637 * <!-- begin-user-doc -->
1638 * <!-- end-user-doc -->
1639 * @return the meta object for class '<em>Node</em>'.
1640 * @see org.eclipse.viatra.solver.language.model.problem.Node
1641 * @generated
1642 */
1643 EClass getNode();
1644
1645 /**
1646 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration <em>Scope Declaration</em>}'.
1647 * <!-- begin-user-doc -->
1648 * <!-- end-user-doc -->
1649 * @return the meta object for class '<em>Scope Declaration</em>'.
1650 * @see org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration
1651 * @generated
1652 */
1653 EClass getScopeDeclaration();
1654
1655 /**
1656 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration#getTypeScopes <em>Type Scopes</em>}'.
1657 * <!-- begin-user-doc -->
1658 * <!-- end-user-doc -->
1659 * @return the meta object for the containment reference list '<em>Type Scopes</em>'.
1660 * @see org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration#getTypeScopes()
1661 * @see #getScopeDeclaration()
1662 * @generated
1663 */
1664 EReference getScopeDeclaration_TypeScopes();
1665
1666 /**
1667 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Statement <em>Statement</em>}'.
1668 * <!-- begin-user-doc -->
1669 * <!-- end-user-doc -->
1670 * @return the meta object for class '<em>Statement</em>'.
1671 * @see org.eclipse.viatra.solver.language.model.problem.Statement
1672 * @generated
1673 */
1674 EClass getStatement();
1675
1676 /**
1677 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope <em>Type Scope</em>}'.
1678 * <!-- begin-user-doc -->
1679 * <!-- end-user-doc -->
1680 * @return the meta object for class '<em>Type Scope</em>'.
1681 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope
1682 * @generated
1683 */
1684 EClass getTypeScope();
1685
1686 /**
1687 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#getTargetType <em>Target Type</em>}'.
1688 * <!-- begin-user-doc -->
1689 * <!-- end-user-doc -->
1690 * @return the meta object for the reference '<em>Target Type</em>'.
1691 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#getTargetType()
1692 * @see #getTypeScope()
1693 * @generated
1694 */
1695 EReference getTypeScope_TargetType();
1696
1697 /**
1698 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#isIncrement <em>Increment</em>}'.
1699 * <!-- begin-user-doc -->
1700 * <!-- end-user-doc -->
1701 * @return the meta object for the attribute '<em>Increment</em>'.
1702 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#isIncrement()
1703 * @see #getTypeScope()
1704 * @generated
1705 */
1706 EAttribute getTypeScope_Increment();
1707
1708 /**
1709 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#getMultiplicity <em>Multiplicity</em>}'.
1710 * <!-- begin-user-doc -->
1711 * <!-- end-user-doc -->
1712 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
1713 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#getMultiplicity()
1714 * @see #getTypeScope()
1715 * @generated
1716 */
1717 EReference getTypeScope_Multiplicity();
1718
1719 /**
1720 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Multiplicity <em>Multiplicity</em>}'.
1721 * <!-- begin-user-doc -->
1722 * <!-- end-user-doc -->
1723 * @return the meta object for class '<em>Multiplicity</em>'.
1724 * @see org.eclipse.viatra.solver.language.model.problem.Multiplicity
1725 * @generated
1726 */
1727 EClass getMultiplicity();
1728
1729 /**
1730 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity <em>Range Multiplicity</em>}'.
1731 * <!-- begin-user-doc -->
1732 * <!-- end-user-doc -->
1733 * @return the meta object for class '<em>Range Multiplicity</em>'.
1734 * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity
1735 * @generated
1736 */
1737 EClass getRangeMultiplicity();
1738
1739 /**
1740 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getLowerBound <em>Lower Bound</em>}'.
1741 * <!-- begin-user-doc -->
1742 * <!-- end-user-doc -->
1743 * @return the meta object for the attribute '<em>Lower Bound</em>'.
1744 * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getLowerBound()
1745 * @see #getRangeMultiplicity()
1746 * @generated
1747 */
1748 EAttribute getRangeMultiplicity_LowerBound();
1749
1750 /**
1751 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getUpperBound <em>Upper Bound</em>}'.
1752 * <!-- begin-user-doc -->
1753 * <!-- end-user-doc -->
1754 * @return the meta object for the attribute '<em>Upper Bound</em>'.
1755 * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getUpperBound()
1756 * @see #getRangeMultiplicity()
1757 * @generated
1758 */
1759 EAttribute getRangeMultiplicity_UpperBound();
1760
1761 /**
1762 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity <em>Exact Multiplicity</em>}'.
1763 * <!-- begin-user-doc -->
1764 * <!-- end-user-doc -->
1765 * @return the meta object for class '<em>Exact Multiplicity</em>'.
1766 * @see org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity
1767 * @generated
1768 */
1769 EClass getExactMultiplicity();
1770
1771 /**
1772 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity#getExactValue <em>Exact Value</em>}'.
1773 * <!-- begin-user-doc -->
1774 * <!-- end-user-doc -->
1775 * @return the meta object for the attribute '<em>Exact Value</em>'.
1776 * @see org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity#getExactValue()
1777 * @see #getExactMultiplicity()
1778 * @generated
1779 */
1780 EAttribute getExactMultiplicity_ExactValue();
1781
1782 /**
1783 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity <em>Unbounded Multiplicity</em>}'.
1784 * <!-- begin-user-doc -->
1785 * <!-- end-user-doc -->
1786 * @return the meta object for class '<em>Unbounded Multiplicity</em>'.
1787 * @see org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity
1788 * @generated
1789 */
1790 EClass getUnboundedMultiplicity();
1791
1792 /**
1793 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Argument <em>Argument</em>}'.
1794 * <!-- begin-user-doc -->
1795 * <!-- end-user-doc -->
1796 * @return the meta object for class '<em>Argument</em>'.
1797 * @see org.eclipse.viatra.solver.language.model.problem.Argument
1798 * @generated
1799 */
1800 EClass getArgument();
1801
1802 /**
1803 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode <em>Variable Or Node</em>}'.
1804 * <!-- begin-user-doc -->
1805 * <!-- end-user-doc -->
1806 * @return the meta object for the reference '<em>Variable Or Node</em>'.
1807 * @see org.eclipse.viatra.solver.language.model.problem.Argument#getVariableOrNode()
1808 * @see #getArgument()
1809 * @generated
1810 */
1811 EReference getArgument_VariableOrNode();
1812
1813 /**
1814 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable <em>Singleton Variable</em>}'.
1815 * <!-- begin-user-doc -->
1816 * <!-- end-user-doc -->
1817 * @return the meta object for the containment reference '<em>Singleton Variable</em>'.
1818 * @see org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable()
1819 * @see #getArgument()
1820 * @generated
1821 */
1822 EReference getArgument_SingletonVariable();
1823
1824 /**
1825 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration <em>Enum Declaration</em>}'.
1826 * <!-- begin-user-doc -->
1827 * <!-- end-user-doc -->
1828 * @return the meta object for class '<em>Enum Declaration</em>'.
1829 * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration
1830 * @generated
1831 */
1832 EClass getEnumDeclaration();
1833
1834 /**
1835 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals <em>Literals</em>}'.
1836 * <!-- begin-user-doc -->
1837 * <!-- end-user-doc -->
1838 * @return the meta object for the containment reference list '<em>Literals</em>'.
1839 * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals()
1840 * @see #getEnumDeclaration()
1841 * @generated
1842 */
1843 EReference getEnumDeclaration_Literals();
1844
1845 /**
1846 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNode <em>Variable Or Node</em>}'.
1847 * <!-- begin-user-doc -->
1848 * <!-- end-user-doc -->
1849 * @return the meta object for class '<em>Variable Or Node</em>'.
1850 * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNode
1851 * @generated
1852 */
1853 EClass getVariableOrNode();
1854
1855 /**
1856 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'.
1857 * <!-- begin-user-doc -->
1858 * <!-- end-user-doc -->
1859 * @return the meta object for enum '<em>Logic Value</em>'.
1860 * @see org.eclipse.viatra.solver.language.model.problem.LogicValue
1861 * @generated
1862 */
1863 EEnum getLogicValue();
1864
1865 /**
1866 * Returns the factory that creates the instances of the model.
1867 * <!-- begin-user-doc -->
1868 * <!-- end-user-doc -->
1869 * @return the factory that creates the instances of the model.
1870 * @generated
1871 */
1872 ProblemFactory getProblemFactory();
1873
1874 /**
1875 * <!-- begin-user-doc -->
1876 * Defines literals for the meta objects that represent
1877 * <ul>
1878 * <li>each class,</li>
1879 * <li>each feature of each class,</li>
1880 * <li>each operation of each class,</li>
1881 * <li>each enum,</li>
1882 * <li>and each data type</li>
1883 * </ul>
1884 * <!-- end-user-doc -->
1885 * @generated
1886 */
1887 interface Literals {
1888 /**
1889 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl <em>Problem</em>}' class.
1890 * <!-- begin-user-doc -->
1891 * <!-- end-user-doc -->
1892 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl
1893 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem()
1894 * @generated
1895 */
1896 EClass PROBLEM = eINSTANCE.getProblem();
1897
1898 /**
1899 * The meta object literal for the '<em><b>Nodes</b></em>' containment reference list feature.
1900 * <!-- begin-user-doc -->
1901 * <!-- end-user-doc -->
1902 * @generated
1903 */
1904 EReference PROBLEM__NODES = eINSTANCE.getProblem_Nodes();
1905
1906 /**
1907 * The meta object literal for the '<em><b>Statements</b></em>' containment reference list feature.
1908 * <!-- begin-user-doc -->
1909 * <!-- end-user-doc -->
1910 * @generated
1911 */
1912 EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
1913
1914 /**
1915 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl <em>Relation</em>}' class.
1916 * <!-- begin-user-doc -->
1917 * <!-- end-user-doc -->
1918 * @see org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl
1919 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRelation()
1920 * @generated
1921 */
1922 EClass RELATION = eINSTANCE.getRelation();
1923
1924 /**
1925 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl <em>Class Declaration</em>}' class.
1926 * <!-- begin-user-doc -->
1927 * <!-- end-user-doc -->
1928 * @see org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl
1929 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getClassDeclaration()
1930 * @generated
1931 */
1932 EClass CLASS_DECLARATION = eINSTANCE.getClassDeclaration();
1933
1934 /**
1935 * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature.
1936 * <!-- begin-user-doc -->
1937 * <!-- end-user-doc -->
1938 * @generated
1939 */
1940 EAttribute CLASS_DECLARATION__ABSTRACT = eINSTANCE.getClassDeclaration_Abstract();
1941
1942 /**
1943 * The meta object literal for the '<em><b>Super Types</b></em>' reference list feature.
1944 * <!-- begin-user-doc -->
1945 * <!-- end-user-doc -->
1946 * @generated
1947 */
1948 EReference CLASS_DECLARATION__SUPER_TYPES = eINSTANCE.getClassDeclaration_SuperTypes();
1949
1950 /**
1951 * The meta object literal for the '<em><b>Reference Declarations</b></em>' containment reference list feature.
1952 * <!-- begin-user-doc -->
1953 * <!-- end-user-doc -->
1954 * @generated
1955 */
1956 EReference CLASS_DECLARATION__REFERENCE_DECLARATIONS = eINSTANCE.getClassDeclaration_ReferenceDeclarations();
1957
1958 /**
1959 * The meta object literal for the '<em><b>New Node</b></em>' containment reference feature.
1960 * <!-- begin-user-doc -->
1961 * <!-- end-user-doc -->
1962 * @generated
1963 */
1964 EReference CLASS_DECLARATION__NEW_NODE = eINSTANCE.getClassDeclaration_NewNode();
1965
1966 /**
1967 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl <em>Reference Declaration</em>}' class.
1968 * <!-- begin-user-doc -->
1969 * <!-- end-user-doc -->
1970 * @see org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl
1971 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getReferenceDeclaration()
1972 * @generated
1973 */
1974 EClass REFERENCE_DECLARATION = eINSTANCE.getReferenceDeclaration();
1975
1976 /**
1977 * The meta object literal for the '<em><b>Reference Type</b></em>' reference feature.
1978 * <!-- begin-user-doc -->
1979 * <!-- end-user-doc -->
1980 * @generated
1981 */
1982 EReference REFERENCE_DECLARATION__REFERENCE_TYPE = eINSTANCE.getReferenceDeclaration_ReferenceType();
1983
1984 /**
1985 * The meta object literal for the '<em><b>Opposite</b></em>' reference feature.
1986 * <!-- begin-user-doc -->
1987 * <!-- end-user-doc -->
1988 * @generated
1989 */
1990 EReference REFERENCE_DECLARATION__OPPOSITE = eINSTANCE.getReferenceDeclaration_Opposite();
1991
1992 /**
1993 * The meta object literal for the '<em><b>Containment</b></em>' attribute feature.
1994 * <!-- begin-user-doc -->
1995 * <!-- end-user-doc -->
1996 * @generated
1997 */
1998 EAttribute REFERENCE_DECLARATION__CONTAINMENT = eINSTANCE.getReferenceDeclaration_Containment();
1999
2000 /**
2001 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
2002 * <!-- begin-user-doc -->
2003 * <!-- end-user-doc -->
2004 * @generated
2005 */
2006 EReference REFERENCE_DECLARATION__MULTIPLICITY = eINSTANCE.getReferenceDeclaration_Multiplicity();
2007
2008 /**
2009 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl <em>Named Element</em>}' class.
2010 * <!-- begin-user-doc -->
2011 * <!-- end-user-doc -->
2012 * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl
2013 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement()
2014 * @generated
2015 */
2016 EClass NAMED_ELEMENT = eINSTANCE.getNamedElement();
2017
2018 /**
2019 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2020 * <!-- begin-user-doc -->
2021 * <!-- end-user-doc -->
2022 * @generated
2023 */
2024 EAttribute NAMED_ELEMENT__NAME = eINSTANCE.getNamedElement_Name();
2025
2026 /**
2027 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
2028 * <!-- begin-user-doc -->
2029 * <!-- end-user-doc -->
2030 * @see org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl
2031 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getPredicateDefinition()
2032 * @generated
2033 */
2034 EClass PREDICATE_DEFINITION = eINSTANCE.getPredicateDefinition();
2035
2036 /**
2037 * The meta object literal for the '<em><b>Error</b></em>' attribute feature.
2038 * <!-- begin-user-doc -->
2039 * <!-- end-user-doc -->
2040 * @generated
2041 */
2042 EAttribute PREDICATE_DEFINITION__ERROR = eINSTANCE.getPredicateDefinition_Error();
2043
2044 /**
2045 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
2046 * <!-- begin-user-doc -->
2047 * <!-- end-user-doc -->
2048 * @generated
2049 */
2050 EReference PREDICATE_DEFINITION__PARAMETERS = eINSTANCE.getPredicateDefinition_Parameters();
2051
2052 /**
2053 * The meta object literal for the '<em><b>Bodies</b></em>' containment reference list feature.
2054 * <!-- begin-user-doc -->
2055 * <!-- end-user-doc -->
2056 * @generated
2057 */
2058 EReference PREDICATE_DEFINITION__BODIES = eINSTANCE.getPredicateDefinition_Bodies();
2059
2060 /**
2061 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl <em>Parameter</em>}' class.
2062 * <!-- begin-user-doc -->
2063 * <!-- end-user-doc -->
2064 * @see org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl
2065 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getParameter()
2066 * @generated
2067 */
2068 EClass PARAMETER = eINSTANCE.getParameter();
2069
2070 /**
2071 * The meta object literal for the '<em><b>Parameter Type</b></em>' reference feature.
2072 * <!-- begin-user-doc -->
2073 * <!-- end-user-doc -->
2074 * @generated
2075 */
2076 EReference PARAMETER__PARAMETER_TYPE = eINSTANCE.getParameter_ParameterType();
2077
2078 /**
2079 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl <em>Variable</em>}' class.
2080 * <!-- begin-user-doc -->
2081 * <!-- end-user-doc -->
2082 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl
2083 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariable()
2084 * @generated
2085 */
2086 EClass VARIABLE = eINSTANCE.getVariable();
2087
2088 /**
2089 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl <em>Conjunction</em>}' class.
2090 * <!-- begin-user-doc -->
2091 * <!-- end-user-doc -->
2092 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl
2093 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConjunction()
2094 * @generated
2095 */
2096 EClass CONJUNCTION = eINSTANCE.getConjunction();
2097
2098 /**
2099 * The meta object literal for the '<em><b>Literals</b></em>' containment reference list feature.
2100 * <!-- begin-user-doc -->
2101 * <!-- end-user-doc -->
2102 * @generated
2103 */
2104 EReference CONJUNCTION__LITERALS = eINSTANCE.getConjunction_Literals();
2105
2106 /**
2107 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl <em>Literal</em>}' class.
2108 * <!-- begin-user-doc -->
2109 * <!-- end-user-doc -->
2110 * @see org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl
2111 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLiteral()
2112 * @generated
2113 */
2114 EClass LITERAL = eINSTANCE.getLiteral();
2115
2116 /**
2117 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl <em>Atom</em>}' class.
2118 * <!-- begin-user-doc -->
2119 * <!-- end-user-doc -->
2120 * @see org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl
2121 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAtom()
2122 * @generated
2123 */
2124 EClass ATOM = eINSTANCE.getAtom();
2125
2126 /**
2127 * The meta object literal for the '<em><b>Relation</b></em>' reference feature.
2128 * <!-- begin-user-doc -->
2129 * <!-- end-user-doc -->
2130 * @generated
2131 */
2132 EReference ATOM__RELATION = eINSTANCE.getAtom_Relation();
2133
2134 /**
2135 * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature.
2136 * <!-- begin-user-doc -->
2137 * <!-- end-user-doc -->
2138 * @generated
2139 */
2140 EReference ATOM__ARGUMENTS = eINSTANCE.getAtom_Arguments();
2141
2142 /**
2143 * The meta object literal for the '<em><b>Transitive Closure</b></em>' attribute feature.
2144 * <!-- begin-user-doc -->
2145 * <!-- end-user-doc -->
2146 * @generated
2147 */
2148 EAttribute ATOM__TRANSITIVE_CLOSURE = eINSTANCE.getAtom_TransitiveClosure();
2149
2150 /**
2151 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl <em>Implicit Variable</em>}' class.
2152 * <!-- begin-user-doc -->
2153 * <!-- end-user-doc -->
2154 * @see org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl
2155 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getImplicitVariable()
2156 * @generated
2157 */
2158 EClass IMPLICIT_VARIABLE = eINSTANCE.getImplicitVariable();
2159
2160 /**
2161 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl <em>Negative Literal</em>}' class.
2162 * <!-- begin-user-doc -->
2163 * <!-- end-user-doc -->
2164 * @see org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl
2165 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNegativeLiteral()
2166 * @generated
2167 */
2168 EClass NEGATIVE_LITERAL = eINSTANCE.getNegativeLiteral();
2169
2170 /**
2171 * The meta object literal for the '<em><b>Atom</b></em>' containment reference feature.
2172 * <!-- begin-user-doc -->
2173 * <!-- end-user-doc -->
2174 * @generated
2175 */
2176 EReference NEGATIVE_LITERAL__ATOM = eINSTANCE.getNegativeLiteral_Atom();
2177
2178 /**
2179 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier <em>Existential Quantifier</em>}' class.
2180 * <!-- begin-user-doc -->
2181 * <!-- end-user-doc -->
2182 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier
2183 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExistentialQuantifier()
2184 * @generated
2185 */
2186 EClass EXISTENTIAL_QUANTIFIER = eINSTANCE.getExistentialQuantifier();
2187
2188 /**
2189 * The meta object literal for the '<em><b>Implicit Variables</b></em>' containment reference list feature.
2190 * <!-- begin-user-doc -->
2191 * <!-- end-user-doc -->
2192 * @generated
2193 */
2194 EReference EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES = eINSTANCE.getExistentialQuantifier_ImplicitVariables();
2195
2196 /**
2197 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl <em>Assertion</em>}' class.
2198 * <!-- begin-user-doc -->
2199 * <!-- end-user-doc -->
2200 * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl
2201 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertion()
2202 * @generated
2203 */
2204 EClass ASSERTION = eINSTANCE.getAssertion();
2205
2206 /**
2207 * The meta object literal for the '<em><b>Relation</b></em>' reference feature.
2208 * <!-- begin-user-doc -->
2209 * <!-- end-user-doc -->
2210 * @generated
2211 */
2212 EReference ASSERTION__RELATION = eINSTANCE.getAssertion_Relation();
2213
2214 /**
2215 * The meta object literal for the '<em><b>Arguments</b></em>' reference list feature.
2216 * <!-- begin-user-doc -->
2217 * <!-- end-user-doc -->
2218 * @generated
2219 */
2220 EReference ASSERTION__ARGUMENTS = eINSTANCE.getAssertion_Arguments();
2221
2222 /**
2223 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
2224 * <!-- begin-user-doc -->
2225 * <!-- end-user-doc -->
2226 * @generated
2227 */
2228 EAttribute ASSERTION__VALUE = eINSTANCE.getAssertion_Value();
2229
2230 /**
2231 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl <em>Node</em>}' class.
2232 * <!-- begin-user-doc -->
2233 * <!-- end-user-doc -->
2234 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl
2235 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNode()
2236 * @generated
2237 */
2238 EClass NODE = eINSTANCE.getNode();
2239
2240 /**
2241 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class.
2242 * <!-- begin-user-doc -->
2243 * <!-- end-user-doc -->
2244 * @see org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl
2245 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getScopeDeclaration()
2246 * @generated
2247 */
2248 EClass SCOPE_DECLARATION = eINSTANCE.getScopeDeclaration();
2249
2250 /**
2251 * The meta object literal for the '<em><b>Type Scopes</b></em>' containment reference list feature.
2252 * <!-- begin-user-doc -->
2253 * <!-- end-user-doc -->
2254 * @generated
2255 */
2256 EReference SCOPE_DECLARATION__TYPE_SCOPES = eINSTANCE.getScopeDeclaration_TypeScopes();
2257
2258 /**
2259 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.Statement <em>Statement</em>}' class.
2260 * <!-- begin-user-doc -->
2261 * <!-- end-user-doc -->
2262 * @see org.eclipse.viatra.solver.language.model.problem.Statement
2263 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStatement()
2264 * @generated
2265 */
2266 EClass STATEMENT = eINSTANCE.getStatement();
2267
2268 /**
2269 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl <em>Type Scope</em>}' class.
2270 * <!-- begin-user-doc -->
2271 * <!-- end-user-doc -->
2272 * @see org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl
2273 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getTypeScope()
2274 * @generated
2275 */
2276 EClass TYPE_SCOPE = eINSTANCE.getTypeScope();
2277
2278 /**
2279 * The meta object literal for the '<em><b>Target Type</b></em>' reference feature.
2280 * <!-- begin-user-doc -->
2281 * <!-- end-user-doc -->
2282 * @generated
2283 */
2284 EReference TYPE_SCOPE__TARGET_TYPE = eINSTANCE.getTypeScope_TargetType();
2285
2286 /**
2287 * The meta object literal for the '<em><b>Increment</b></em>' attribute feature.
2288 * <!-- begin-user-doc -->
2289 * <!-- end-user-doc -->
2290 * @generated
2291 */
2292 EAttribute TYPE_SCOPE__INCREMENT = eINSTANCE.getTypeScope_Increment();
2293
2294 /**
2295 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
2296 * <!-- begin-user-doc -->
2297 * <!-- end-user-doc -->
2298 * @generated
2299 */
2300 EReference TYPE_SCOPE__MULTIPLICITY = eINSTANCE.getTypeScope_Multiplicity();
2301
2302 /**
2303 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
2304 * <!-- begin-user-doc -->
2305 * <!-- end-user-doc -->
2306 * @see org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl
2307 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getMultiplicity()
2308 * @generated
2309 */
2310 EClass MULTIPLICITY = eINSTANCE.getMultiplicity();
2311
2312 /**
2313 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl <em>Range Multiplicity</em>}' class.
2314 * <!-- begin-user-doc -->
2315 * <!-- end-user-doc -->
2316 * @see org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl
2317 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRangeMultiplicity()
2318 * @generated
2319 */
2320 EClass RANGE_MULTIPLICITY = eINSTANCE.getRangeMultiplicity();
2321
2322 /**
2323 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
2324 * <!-- begin-user-doc -->
2325 * <!-- end-user-doc -->
2326 * @generated
2327 */
2328 EAttribute RANGE_MULTIPLICITY__LOWER_BOUND = eINSTANCE.getRangeMultiplicity_LowerBound();
2329
2330 /**
2331 * The meta object literal for the '<em><b>Upper Bound</b></em>' attribute feature.
2332 * <!-- begin-user-doc -->
2333 * <!-- end-user-doc -->
2334 * @generated
2335 */
2336 EAttribute RANGE_MULTIPLICITY__UPPER_BOUND = eINSTANCE.getRangeMultiplicity_UpperBound();
2337
2338 /**
2339 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
2340 * <!-- begin-user-doc -->
2341 * <!-- end-user-doc -->
2342 * @see org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl
2343 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExactMultiplicity()
2344 * @generated
2345 */
2346 EClass EXACT_MULTIPLICITY = eINSTANCE.getExactMultiplicity();
2347
2348 /**
2349 * The meta object literal for the '<em><b>Exact Value</b></em>' attribute feature.
2350 * <!-- begin-user-doc -->
2351 * <!-- end-user-doc -->
2352 * @generated
2353 */
2354 EAttribute EXACT_MULTIPLICITY__EXACT_VALUE = eINSTANCE.getExactMultiplicity_ExactValue();
2355
2356 /**
2357 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl <em>Unbounded Multiplicity</em>}' class.
2358 * <!-- begin-user-doc -->
2359 * <!-- end-user-doc -->
2360 * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl
2361 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity()
2362 * @generated
2363 */
2364 EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity();
2365
2366 /**
2367 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class.
2368 * <!-- begin-user-doc -->
2369 * <!-- end-user-doc -->
2370 * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl
2371 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument()
2372 * @generated
2373 */
2374 EClass ARGUMENT = eINSTANCE.getArgument();
2375
2376 /**
2377 * The meta object literal for the '<em><b>Variable Or Node</b></em>' reference feature.
2378 * <!-- begin-user-doc -->
2379 * <!-- end-user-doc -->
2380 * @generated
2381 */
2382 EReference ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getArgument_VariableOrNode();
2383
2384 /**
2385 * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature.
2386 * <!-- begin-user-doc -->
2387 * <!-- end-user-doc -->
2388 * @generated
2389 */
2390 EReference ARGUMENT__SINGLETON_VARIABLE = eINSTANCE.getArgument_SingletonVariable();
2391
2392 /**
2393 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class.
2394 * <!-- begin-user-doc -->
2395 * <!-- end-user-doc -->
2396 * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl
2397 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration()
2398 * @generated
2399 */
2400 EClass ENUM_DECLARATION = eINSTANCE.getEnumDeclaration();
2401
2402 /**
2403 * The meta object literal for the '<em><b>Literals</b></em>' containment reference list feature.
2404 * <!-- begin-user-doc -->
2405 * <!-- end-user-doc -->
2406 * @generated
2407 */
2408 EReference ENUM_DECLARATION__LITERALS = eINSTANCE.getEnumDeclaration_Literals();
2409
2410 /**
2411 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl <em>Variable Or Node</em>}' class.
2412 * <!-- begin-user-doc -->
2413 * <!-- end-user-doc -->
2414 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl
2415 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode()
2416 * @generated
2417 */
2418 EClass VARIABLE_OR_NODE = eINSTANCE.getVariableOrNode();
2419
2420 /**
2421 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum.
2422 * <!-- begin-user-doc -->
2423 * <!-- end-user-doc -->
2424 * @see org.eclipse.viatra.solver.language.model.problem.LogicValue
2425 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue()
2426 * @generated
2427 */
2428 EEnum LOGIC_VALUE = eINSTANCE.getLogicValue();
2429
2430 }
2431
2432} //ProblemPackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-19 18:40:30 +0000