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.java3137
1 files changed, 0 insertions, 3137 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
deleted file mode 100644
index b711566a..00000000
--- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java
+++ /dev/null
@@ -1,3137 +0,0 @@
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>Value</b></em>' attribute.
817 * <!-- begin-user-doc -->
818 * <!-- end-user-doc -->
819 * @generated
820 * @ordered
821 */
822 int ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 1;
823
824 /**
825 * The feature id for the '<em><b>Arguments</b></em>' containment reference list.
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 * @ordered
830 */
831 int ASSERTION__ARGUMENTS = 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 = 31;
1128
1129 /**
1130 * The number of structural features of the '<em>Argument</em>' class.
1131 * <!-- begin-user-doc -->
1132 * <!-- end-user-doc -->
1133 * @generated
1134 * @ordered
1135 */
1136 int ARGUMENT_FEATURE_COUNT = 0;
1137
1138 /**
1139 * The number of operations of the '<em>Argument</em>' class.
1140 * <!-- begin-user-doc -->
1141 * <!-- end-user-doc -->
1142 * @generated
1143 * @ordered
1144 */
1145 int ARGUMENT_OPERATION_COUNT = 0;
1146
1147 /**
1148 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl <em>Variable Or Node Argument</em>}' class.
1149 * <!-- begin-user-doc -->
1150 * <!-- end-user-doc -->
1151 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl
1152 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNodeArgument()
1153 * @generated
1154 */
1155 int VARIABLE_OR_NODE_ARGUMENT = 23;
1156
1157 /**
1158 * The feature id for the '<em><b>Variable Or Node</b></em>' reference.
1159 * <!-- begin-user-doc -->
1160 * <!-- end-user-doc -->
1161 * @generated
1162 * @ordered
1163 */
1164 int VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE = ARGUMENT_FEATURE_COUNT + 0;
1165
1166 /**
1167 * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference.
1168 * <!-- begin-user-doc -->
1169 * <!-- end-user-doc -->
1170 * @generated
1171 * @ordered
1172 */
1173 int VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE = ARGUMENT_FEATURE_COUNT + 1;
1174
1175 /**
1176 * The number of structural features of the '<em>Variable Or Node Argument</em>' class.
1177 * <!-- begin-user-doc -->
1178 * <!-- end-user-doc -->
1179 * @generated
1180 * @ordered
1181 */
1182 int VARIABLE_OR_NODE_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 2;
1183
1184 /**
1185 * The number of operations of the '<em>Variable Or Node Argument</em>' class.
1186 * <!-- begin-user-doc -->
1187 * <!-- end-user-doc -->
1188 * @generated
1189 * @ordered
1190 */
1191 int VARIABLE_OR_NODE_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0;
1192
1193 /**
1194 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class.
1195 * <!-- begin-user-doc -->
1196 * <!-- end-user-doc -->
1197 * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl
1198 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration()
1199 * @generated
1200 */
1201 int ENUM_DECLARATION = 24;
1202
1203 /**
1204 * The feature id for the '<em><b>Name</b></em>' attribute.
1205 * <!-- begin-user-doc -->
1206 * <!-- end-user-doc -->
1207 * @generated
1208 * @ordered
1209 */
1210 int ENUM_DECLARATION__NAME = RELATION__NAME;
1211
1212 /**
1213 * The feature id for the '<em><b>Literals</b></em>' containment reference list.
1214 * <!-- begin-user-doc -->
1215 * <!-- end-user-doc -->
1216 * @generated
1217 * @ordered
1218 */
1219 int ENUM_DECLARATION__LITERALS = RELATION_FEATURE_COUNT + 0;
1220
1221 /**
1222 * The number of structural features of the '<em>Enum Declaration</em>' class.
1223 * <!-- begin-user-doc -->
1224 * <!-- end-user-doc -->
1225 * @generated
1226 * @ordered
1227 */
1228 int ENUM_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 1;
1229
1230 /**
1231 * The number of operations of the '<em>Enum Declaration</em>' class.
1232 * <!-- begin-user-doc -->
1233 * <!-- end-user-doc -->
1234 * @generated
1235 * @ordered
1236 */
1237 int ENUM_DECLARATION_OPERATION_COUNT = RELATION_OPERATION_COUNT + 0;
1238
1239 /**
1240 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl <em>Constant</em>}' class.
1241 * <!-- begin-user-doc -->
1242 * <!-- end-user-doc -->
1243 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl
1244 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstant()
1245 * @generated
1246 */
1247 int CONSTANT = 26;
1248
1249 /**
1250 * The number of structural features of the '<em>Constant</em>' class.
1251 * <!-- begin-user-doc -->
1252 * <!-- end-user-doc -->
1253 * @generated
1254 * @ordered
1255 */
1256 int CONSTANT_FEATURE_COUNT = 0;
1257
1258 /**
1259 * The number of operations of the '<em>Constant</em>' class.
1260 * <!-- begin-user-doc -->
1261 * <!-- end-user-doc -->
1262 * @generated
1263 * @ordered
1264 */
1265 int CONSTANT_OPERATION_COUNT = 0;
1266
1267 /**
1268 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl <em>Int Constant</em>}' class.
1269 * <!-- begin-user-doc -->
1270 * <!-- end-user-doc -->
1271 * @see org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl
1272 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getIntConstant()
1273 * @generated
1274 */
1275 int INT_CONSTANT = 27;
1276
1277 /**
1278 * The feature id for the '<em><b>Int Value</b></em>' attribute.
1279 * <!-- begin-user-doc -->
1280 * <!-- end-user-doc -->
1281 * @generated
1282 * @ordered
1283 */
1284 int INT_CONSTANT__INT_VALUE = CONSTANT_FEATURE_COUNT + 0;
1285
1286 /**
1287 * The number of structural features of the '<em>Int Constant</em>' class.
1288 * <!-- begin-user-doc -->
1289 * <!-- end-user-doc -->
1290 * @generated
1291 * @ordered
1292 */
1293 int INT_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1;
1294
1295 /**
1296 * The number of operations of the '<em>Int Constant</em>' class.
1297 * <!-- begin-user-doc -->
1298 * <!-- end-user-doc -->
1299 * @generated
1300 * @ordered
1301 */
1302 int INT_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
1303
1304 /**
1305 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl <em>Real Constant</em>}' class.
1306 * <!-- begin-user-doc -->
1307 * <!-- end-user-doc -->
1308 * @see org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl
1309 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRealConstant()
1310 * @generated
1311 */
1312 int REAL_CONSTANT = 28;
1313
1314 /**
1315 * The feature id for the '<em><b>Real Value</b></em>' attribute.
1316 * <!-- begin-user-doc -->
1317 * <!-- end-user-doc -->
1318 * @generated
1319 * @ordered
1320 */
1321 int REAL_CONSTANT__REAL_VALUE = CONSTANT_FEATURE_COUNT + 0;
1322
1323 /**
1324 * The number of structural features of the '<em>Real Constant</em>' class.
1325 * <!-- begin-user-doc -->
1326 * <!-- end-user-doc -->
1327 * @generated
1328 * @ordered
1329 */
1330 int REAL_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1;
1331
1332 /**
1333 * The number of operations of the '<em>Real Constant</em>' class.
1334 * <!-- begin-user-doc -->
1335 * <!-- end-user-doc -->
1336 * @generated
1337 * @ordered
1338 */
1339 int REAL_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
1340
1341 /**
1342 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl <em>String Constant</em>}' class.
1343 * <!-- begin-user-doc -->
1344 * <!-- end-user-doc -->
1345 * @see org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl
1346 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStringConstant()
1347 * @generated
1348 */
1349 int STRING_CONSTANT = 29;
1350
1351 /**
1352 * The feature id for the '<em><b>String Value</b></em>' attribute.
1353 * <!-- begin-user-doc -->
1354 * <!-- end-user-doc -->
1355 * @generated
1356 * @ordered
1357 */
1358 int STRING_CONSTANT__STRING_VALUE = CONSTANT_FEATURE_COUNT + 0;
1359
1360 /**
1361 * The number of structural features of the '<em>String Constant</em>' class.
1362 * <!-- begin-user-doc -->
1363 * <!-- end-user-doc -->
1364 * @generated
1365 * @ordered
1366 */
1367 int STRING_CONSTANT_FEATURE_COUNT = CONSTANT_FEATURE_COUNT + 1;
1368
1369 /**
1370 * The number of operations of the '<em>String Constant</em>' class.
1371 * <!-- begin-user-doc -->
1372 * <!-- end-user-doc -->
1373 * @generated
1374 * @ordered
1375 */
1376 int STRING_CONSTANT_OPERATION_COUNT = CONSTANT_OPERATION_COUNT + 0;
1377
1378 /**
1379 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl <em>Constant Argument</em>}' class.
1380 * <!-- begin-user-doc -->
1381 * <!-- end-user-doc -->
1382 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl
1383 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantArgument()
1384 * @generated
1385 */
1386 int CONSTANT_ARGUMENT = 30;
1387
1388 /**
1389 * The feature id for the '<em><b>Constant</b></em>' containment reference.
1390 * <!-- begin-user-doc -->
1391 * <!-- end-user-doc -->
1392 * @generated
1393 * @ordered
1394 */
1395 int CONSTANT_ARGUMENT__CONSTANT = ARGUMENT_FEATURE_COUNT + 0;
1396
1397 /**
1398 * The number of structural features of the '<em>Constant Argument</em>' class.
1399 * <!-- begin-user-doc -->
1400 * <!-- end-user-doc -->
1401 * @generated
1402 * @ordered
1403 */
1404 int CONSTANT_ARGUMENT_FEATURE_COUNT = ARGUMENT_FEATURE_COUNT + 1;
1405
1406 /**
1407 * The number of operations of the '<em>Constant Argument</em>' class.
1408 * <!-- begin-user-doc -->
1409 * <!-- end-user-doc -->
1410 * @generated
1411 * @ordered
1412 */
1413 int CONSTANT_ARGUMENT_OPERATION_COUNT = ARGUMENT_OPERATION_COUNT + 0;
1414
1415 /**
1416 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl <em>Assertion Argument</em>}' class.
1417 * <!-- begin-user-doc -->
1418 * <!-- end-user-doc -->
1419 * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl
1420 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertionArgument()
1421 * @generated
1422 */
1423 int ASSERTION_ARGUMENT = 33;
1424
1425 /**
1426 * The number of structural features of the '<em>Assertion Argument</em>' class.
1427 * <!-- begin-user-doc -->
1428 * <!-- end-user-doc -->
1429 * @generated
1430 * @ordered
1431 */
1432 int ASSERTION_ARGUMENT_FEATURE_COUNT = 0;
1433
1434 /**
1435 * The number of operations of the '<em>Assertion Argument</em>' class.
1436 * <!-- begin-user-doc -->
1437 * <!-- end-user-doc -->
1438 * @generated
1439 * @ordered
1440 */
1441 int ASSERTION_ARGUMENT_OPERATION_COUNT = 0;
1442
1443 /**
1444 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl <em>Node Assertion Argument</em>}' class.
1445 * <!-- begin-user-doc -->
1446 * <!-- end-user-doc -->
1447 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl
1448 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeAssertionArgument()
1449 * @generated
1450 */
1451 int NODE_ASSERTION_ARGUMENT = 32;
1452
1453 /**
1454 * The feature id for the '<em><b>Node</b></em>' reference.
1455 * <!-- begin-user-doc -->
1456 * <!-- end-user-doc -->
1457 * @generated
1458 * @ordered
1459 */
1460 int NODE_ASSERTION_ARGUMENT__NODE = ASSERTION_ARGUMENT_FEATURE_COUNT + 0;
1461
1462 /**
1463 * The number of structural features of the '<em>Node Assertion Argument</em>' class.
1464 * <!-- begin-user-doc -->
1465 * <!-- end-user-doc -->
1466 * @generated
1467 * @ordered
1468 */
1469 int NODE_ASSERTION_ARGUMENT_FEATURE_COUNT = ASSERTION_ARGUMENT_FEATURE_COUNT + 1;
1470
1471 /**
1472 * The number of operations of the '<em>Node Assertion Argument</em>' class.
1473 * <!-- begin-user-doc -->
1474 * <!-- end-user-doc -->
1475 * @generated
1476 * @ordered
1477 */
1478 int NODE_ASSERTION_ARGUMENT_OPERATION_COUNT = ASSERTION_ARGUMENT_OPERATION_COUNT + 0;
1479
1480 /**
1481 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl <em>Constant Assertion Argument</em>}' class.
1482 * <!-- begin-user-doc -->
1483 * <!-- end-user-doc -->
1484 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl
1485 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantAssertionArgument()
1486 * @generated
1487 */
1488 int CONSTANT_ASSERTION_ARGUMENT = 34;
1489
1490 /**
1491 * The feature id for the '<em><b>Constant</b></em>' containment reference.
1492 * <!-- begin-user-doc -->
1493 * <!-- end-user-doc -->
1494 * @generated
1495 * @ordered
1496 */
1497 int CONSTANT_ASSERTION_ARGUMENT__CONSTANT = ASSERTION_ARGUMENT_FEATURE_COUNT + 0;
1498
1499 /**
1500 * The number of structural features of the '<em>Constant Assertion Argument</em>' class.
1501 * <!-- begin-user-doc -->
1502 * <!-- end-user-doc -->
1503 * @generated
1504 * @ordered
1505 */
1506 int CONSTANT_ASSERTION_ARGUMENT_FEATURE_COUNT = ASSERTION_ARGUMENT_FEATURE_COUNT + 1;
1507
1508 /**
1509 * The number of operations of the '<em>Constant Assertion Argument</em>' class.
1510 * <!-- begin-user-doc -->
1511 * <!-- end-user-doc -->
1512 * @generated
1513 * @ordered
1514 */
1515 int CONSTANT_ASSERTION_ARGUMENT_OPERATION_COUNT = ASSERTION_ARGUMENT_OPERATION_COUNT + 0;
1516
1517 /**
1518 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl <em>Node Value Assertion</em>}' class.
1519 * <!-- begin-user-doc -->
1520 * <!-- end-user-doc -->
1521 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl
1522 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeValueAssertion()
1523 * @generated
1524 */
1525 int NODE_VALUE_ASSERTION = 35;
1526
1527 /**
1528 * The feature id for the '<em><b>Node</b></em>' reference.
1529 * <!-- begin-user-doc -->
1530 * <!-- end-user-doc -->
1531 * @generated
1532 * @ordered
1533 */
1534 int NODE_VALUE_ASSERTION__NODE = STATEMENT_FEATURE_COUNT + 0;
1535
1536 /**
1537 * The feature id for the '<em><b>Value</b></em>' containment reference.
1538 * <!-- begin-user-doc -->
1539 * <!-- end-user-doc -->
1540 * @generated
1541 * @ordered
1542 */
1543 int NODE_VALUE_ASSERTION__VALUE = STATEMENT_FEATURE_COUNT + 1;
1544
1545 /**
1546 * The number of structural features of the '<em>Node Value Assertion</em>' class.
1547 * <!-- begin-user-doc -->
1548 * <!-- end-user-doc -->
1549 * @generated
1550 * @ordered
1551 */
1552 int NODE_VALUE_ASSERTION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2;
1553
1554 /**
1555 * The number of operations of the '<em>Node Value Assertion</em>' class.
1556 * <!-- begin-user-doc -->
1557 * <!-- end-user-doc -->
1558 * @generated
1559 * @ordered
1560 */
1561 int NODE_VALUE_ASSERTION_OPERATION_COUNT = STATEMENT_OPERATION_COUNT + 0;
1562
1563 /**
1564 * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum.
1565 * <!-- begin-user-doc -->
1566 * <!-- end-user-doc -->
1567 * @see org.eclipse.viatra.solver.language.model.problem.LogicValue
1568 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue()
1569 * @generated
1570 */
1571 int LOGIC_VALUE = 36;
1572
1573 /**
1574 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'.
1575 * <!-- begin-user-doc -->
1576 * <!-- end-user-doc -->
1577 * @return the meta object for class '<em>Problem</em>'.
1578 * @see org.eclipse.viatra.solver.language.model.problem.Problem
1579 * @generated
1580 */
1581 EClass getProblem();
1582
1583 /**
1584 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Problem#getNodes <em>Nodes</em>}'.
1585 * <!-- begin-user-doc -->
1586 * <!-- end-user-doc -->
1587 * @return the meta object for the containment reference list '<em>Nodes</em>'.
1588 * @see org.eclipse.viatra.solver.language.model.problem.Problem#getNodes()
1589 * @see #getProblem()
1590 * @generated
1591 */
1592 EReference getProblem_Nodes();
1593
1594 /**
1595 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Problem#getStatements <em>Statements</em>}'.
1596 * <!-- begin-user-doc -->
1597 * <!-- end-user-doc -->
1598 * @return the meta object for the containment reference list '<em>Statements</em>'.
1599 * @see org.eclipse.viatra.solver.language.model.problem.Problem#getStatements()
1600 * @see #getProblem()
1601 * @generated
1602 */
1603 EReference getProblem_Statements();
1604
1605 /**
1606 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Relation <em>Relation</em>}'.
1607 * <!-- begin-user-doc -->
1608 * <!-- end-user-doc -->
1609 * @return the meta object for class '<em>Relation</em>'.
1610 * @see org.eclipse.viatra.solver.language.model.problem.Relation
1611 * @generated
1612 */
1613 EClass getRelation();
1614
1615 /**
1616 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration <em>Class Declaration</em>}'.
1617 * <!-- begin-user-doc -->
1618 * <!-- end-user-doc -->
1619 * @return the meta object for class '<em>Class Declaration</em>'.
1620 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration
1621 * @generated
1622 */
1623 EClass getClassDeclaration();
1624
1625 /**
1626 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#isAbstract <em>Abstract</em>}'.
1627 * <!-- begin-user-doc -->
1628 * <!-- end-user-doc -->
1629 * @return the meta object for the attribute '<em>Abstract</em>'.
1630 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#isAbstract()
1631 * @see #getClassDeclaration()
1632 * @generated
1633 */
1634 EAttribute getClassDeclaration_Abstract();
1635
1636 /**
1637 * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getSuperTypes <em>Super Types</em>}'.
1638 * <!-- begin-user-doc -->
1639 * <!-- end-user-doc -->
1640 * @return the meta object for the reference list '<em>Super Types</em>'.
1641 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getSuperTypes()
1642 * @see #getClassDeclaration()
1643 * @generated
1644 */
1645 EReference getClassDeclaration_SuperTypes();
1646
1647 /**
1648 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getReferenceDeclarations <em>Reference Declarations</em>}'.
1649 * <!-- begin-user-doc -->
1650 * <!-- end-user-doc -->
1651 * @return the meta object for the containment reference list '<em>Reference Declarations</em>'.
1652 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getReferenceDeclarations()
1653 * @see #getClassDeclaration()
1654 * @generated
1655 */
1656 EReference getClassDeclaration_ReferenceDeclarations();
1657
1658 /**
1659 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode <em>New Node</em>}'.
1660 * <!-- begin-user-doc -->
1661 * <!-- end-user-doc -->
1662 * @return the meta object for the containment reference '<em>New Node</em>'.
1663 * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode()
1664 * @see #getClassDeclaration()
1665 * @generated
1666 */
1667 EReference getClassDeclaration_NewNode();
1668
1669 /**
1670 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration <em>Reference Declaration</em>}'.
1671 * <!-- begin-user-doc -->
1672 * <!-- end-user-doc -->
1673 * @return the meta object for class '<em>Reference Declaration</em>'.
1674 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration
1675 * @generated
1676 */
1677 EClass getReferenceDeclaration();
1678
1679 /**
1680 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getReferenceType <em>Reference Type</em>}'.
1681 * <!-- begin-user-doc -->
1682 * <!-- end-user-doc -->
1683 * @return the meta object for the reference '<em>Reference Type</em>'.
1684 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getReferenceType()
1685 * @see #getReferenceDeclaration()
1686 * @generated
1687 */
1688 EReference getReferenceDeclaration_ReferenceType();
1689
1690 /**
1691 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getOpposite <em>Opposite</em>}'.
1692 * <!-- begin-user-doc -->
1693 * <!-- end-user-doc -->
1694 * @return the meta object for the reference '<em>Opposite</em>'.
1695 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getOpposite()
1696 * @see #getReferenceDeclaration()
1697 * @generated
1698 */
1699 EReference getReferenceDeclaration_Opposite();
1700
1701 /**
1702 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#isContainment <em>Containment</em>}'.
1703 * <!-- begin-user-doc -->
1704 * <!-- end-user-doc -->
1705 * @return the meta object for the attribute '<em>Containment</em>'.
1706 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#isContainment()
1707 * @see #getReferenceDeclaration()
1708 * @generated
1709 */
1710 EAttribute getReferenceDeclaration_Containment();
1711
1712 /**
1713 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getMultiplicity <em>Multiplicity</em>}'.
1714 * <!-- begin-user-doc -->
1715 * <!-- end-user-doc -->
1716 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
1717 * @see org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration#getMultiplicity()
1718 * @see #getReferenceDeclaration()
1719 * @generated
1720 */
1721 EReference getReferenceDeclaration_Multiplicity();
1722
1723 /**
1724 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NamedElement <em>Named Element</em>}'.
1725 * <!-- begin-user-doc -->
1726 * <!-- end-user-doc -->
1727 * @return the meta object for class '<em>Named Element</em>'.
1728 * @see org.eclipse.viatra.solver.language.model.problem.NamedElement
1729 * @generated
1730 */
1731 EClass getNamedElement();
1732
1733 /**
1734 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.NamedElement#getName <em>Name</em>}'.
1735 * <!-- begin-user-doc -->
1736 * <!-- end-user-doc -->
1737 * @return the meta object for the attribute '<em>Name</em>'.
1738 * @see org.eclipse.viatra.solver.language.model.problem.NamedElement#getName()
1739 * @see #getNamedElement()
1740 * @generated
1741 */
1742 EAttribute getNamedElement_Name();
1743
1744 /**
1745 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition <em>Predicate Definition</em>}'.
1746 * <!-- begin-user-doc -->
1747 * <!-- end-user-doc -->
1748 * @return the meta object for class '<em>Predicate Definition</em>'.
1749 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition
1750 * @generated
1751 */
1752 EClass getPredicateDefinition();
1753
1754 /**
1755 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#isError <em>Error</em>}'.
1756 * <!-- begin-user-doc -->
1757 * <!-- end-user-doc -->
1758 * @return the meta object for the attribute '<em>Error</em>'.
1759 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#isError()
1760 * @see #getPredicateDefinition()
1761 * @generated
1762 */
1763 EAttribute getPredicateDefinition_Error();
1764
1765 /**
1766 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getParameters <em>Parameters</em>}'.
1767 * <!-- begin-user-doc -->
1768 * <!-- end-user-doc -->
1769 * @return the meta object for the containment reference list '<em>Parameters</em>'.
1770 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getParameters()
1771 * @see #getPredicateDefinition()
1772 * @generated
1773 */
1774 EReference getPredicateDefinition_Parameters();
1775
1776 /**
1777 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getBodies <em>Bodies</em>}'.
1778 * <!-- begin-user-doc -->
1779 * <!-- end-user-doc -->
1780 * @return the meta object for the containment reference list '<em>Bodies</em>'.
1781 * @see org.eclipse.viatra.solver.language.model.problem.PredicateDefinition#getBodies()
1782 * @see #getPredicateDefinition()
1783 * @generated
1784 */
1785 EReference getPredicateDefinition_Bodies();
1786
1787 /**
1788 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Parameter <em>Parameter</em>}'.
1789 * <!-- begin-user-doc -->
1790 * <!-- end-user-doc -->
1791 * @return the meta object for class '<em>Parameter</em>'.
1792 * @see org.eclipse.viatra.solver.language.model.problem.Parameter
1793 * @generated
1794 */
1795 EClass getParameter();
1796
1797 /**
1798 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Parameter#getParameterType <em>Parameter Type</em>}'.
1799 * <!-- begin-user-doc -->
1800 * <!-- end-user-doc -->
1801 * @return the meta object for the reference '<em>Parameter Type</em>'.
1802 * @see org.eclipse.viatra.solver.language.model.problem.Parameter#getParameterType()
1803 * @see #getParameter()
1804 * @generated
1805 */
1806 EReference getParameter_ParameterType();
1807
1808 /**
1809 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Variable <em>Variable</em>}'.
1810 * <!-- begin-user-doc -->
1811 * <!-- end-user-doc -->
1812 * @return the meta object for class '<em>Variable</em>'.
1813 * @see org.eclipse.viatra.solver.language.model.problem.Variable
1814 * @generated
1815 */
1816 EClass getVariable();
1817
1818 /**
1819 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Conjunction <em>Conjunction</em>}'.
1820 * <!-- begin-user-doc -->
1821 * <!-- end-user-doc -->
1822 * @return the meta object for class '<em>Conjunction</em>'.
1823 * @see org.eclipse.viatra.solver.language.model.problem.Conjunction
1824 * @generated
1825 */
1826 EClass getConjunction();
1827
1828 /**
1829 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Conjunction#getLiterals <em>Literals</em>}'.
1830 * <!-- begin-user-doc -->
1831 * <!-- end-user-doc -->
1832 * @return the meta object for the containment reference list '<em>Literals</em>'.
1833 * @see org.eclipse.viatra.solver.language.model.problem.Conjunction#getLiterals()
1834 * @see #getConjunction()
1835 * @generated
1836 */
1837 EReference getConjunction_Literals();
1838
1839 /**
1840 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Literal <em>Literal</em>}'.
1841 * <!-- begin-user-doc -->
1842 * <!-- end-user-doc -->
1843 * @return the meta object for class '<em>Literal</em>'.
1844 * @see org.eclipse.viatra.solver.language.model.problem.Literal
1845 * @generated
1846 */
1847 EClass getLiteral();
1848
1849 /**
1850 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Atom <em>Atom</em>}'.
1851 * <!-- begin-user-doc -->
1852 * <!-- end-user-doc -->
1853 * @return the meta object for class '<em>Atom</em>'.
1854 * @see org.eclipse.viatra.solver.language.model.problem.Atom
1855 * @generated
1856 */
1857 EClass getAtom();
1858
1859 /**
1860 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getRelation <em>Relation</em>}'.
1861 * <!-- begin-user-doc -->
1862 * <!-- end-user-doc -->
1863 * @return the meta object for the reference '<em>Relation</em>'.
1864 * @see org.eclipse.viatra.solver.language.model.problem.Atom#getRelation()
1865 * @see #getAtom()
1866 * @generated
1867 */
1868 EReference getAtom_Relation();
1869
1870 /**
1871 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments <em>Arguments</em>}'.
1872 * <!-- begin-user-doc -->
1873 * <!-- end-user-doc -->
1874 * @return the meta object for the containment reference list '<em>Arguments</em>'.
1875 * @see org.eclipse.viatra.solver.language.model.problem.Atom#getArguments()
1876 * @see #getAtom()
1877 * @generated
1878 */
1879 EReference getAtom_Arguments();
1880
1881 /**
1882 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure <em>Transitive Closure</em>}'.
1883 * <!-- begin-user-doc -->
1884 * <!-- end-user-doc -->
1885 * @return the meta object for the attribute '<em>Transitive Closure</em>'.
1886 * @see org.eclipse.viatra.solver.language.model.problem.Atom#isTransitiveClosure()
1887 * @see #getAtom()
1888 * @generated
1889 */
1890 EAttribute getAtom_TransitiveClosure();
1891
1892 /**
1893 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ImplicitVariable <em>Implicit Variable</em>}'.
1894 * <!-- begin-user-doc -->
1895 * <!-- end-user-doc -->
1896 * @return the meta object for class '<em>Implicit Variable</em>'.
1897 * @see org.eclipse.viatra.solver.language.model.problem.ImplicitVariable
1898 * @generated
1899 */
1900 EClass getImplicitVariable();
1901
1902 /**
1903 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NegativeLiteral <em>Negative Literal</em>}'.
1904 * <!-- begin-user-doc -->
1905 * <!-- end-user-doc -->
1906 * @return the meta object for class '<em>Negative Literal</em>'.
1907 * @see org.eclipse.viatra.solver.language.model.problem.NegativeLiteral
1908 * @generated
1909 */
1910 EClass getNegativeLiteral();
1911
1912 /**
1913 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.NegativeLiteral#getAtom <em>Atom</em>}'.
1914 * <!-- begin-user-doc -->
1915 * <!-- end-user-doc -->
1916 * @return the meta object for the containment reference '<em>Atom</em>'.
1917 * @see org.eclipse.viatra.solver.language.model.problem.NegativeLiteral#getAtom()
1918 * @see #getNegativeLiteral()
1919 * @generated
1920 */
1921 EReference getNegativeLiteral_Atom();
1922
1923 /**
1924 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier <em>Existential Quantifier</em>}'.
1925 * <!-- begin-user-doc -->
1926 * <!-- end-user-doc -->
1927 * @return the meta object for class '<em>Existential Quantifier</em>'.
1928 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier
1929 * @generated
1930 */
1931 EClass getExistentialQuantifier();
1932
1933 /**
1934 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables <em>Implicit Variables</em>}'.
1935 * <!-- begin-user-doc -->
1936 * <!-- end-user-doc -->
1937 * @return the meta object for the containment reference list '<em>Implicit Variables</em>'.
1938 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables()
1939 * @see #getExistentialQuantifier()
1940 * @generated
1941 */
1942 EReference getExistentialQuantifier_ImplicitVariables();
1943
1944 /**
1945 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Assertion <em>Assertion</em>}'.
1946 * <!-- begin-user-doc -->
1947 * <!-- end-user-doc -->
1948 * @return the meta object for class '<em>Assertion</em>'.
1949 * @see org.eclipse.viatra.solver.language.model.problem.Assertion
1950 * @generated
1951 */
1952 EClass getAssertion();
1953
1954 /**
1955 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation <em>Relation</em>}'.
1956 * <!-- begin-user-doc -->
1957 * <!-- end-user-doc -->
1958 * @return the meta object for the reference '<em>Relation</em>'.
1959 * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getRelation()
1960 * @see #getAssertion()
1961 * @generated
1962 */
1963 EReference getAssertion_Relation();
1964
1965 /**
1966 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments <em>Arguments</em>}'.
1967 * <!-- begin-user-doc -->
1968 * <!-- end-user-doc -->
1969 * @return the meta object for the containment reference list '<em>Arguments</em>'.
1970 * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getArguments()
1971 * @see #getAssertion()
1972 * @generated
1973 */
1974 EReference getAssertion_Arguments();
1975
1976 /**
1977 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.Assertion#getValue <em>Value</em>}'.
1978 * <!-- begin-user-doc -->
1979 * <!-- end-user-doc -->
1980 * @return the meta object for the attribute '<em>Value</em>'.
1981 * @see org.eclipse.viatra.solver.language.model.problem.Assertion#getValue()
1982 * @see #getAssertion()
1983 * @generated
1984 */
1985 EAttribute getAssertion_Value();
1986
1987 /**
1988 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Node <em>Node</em>}'.
1989 * <!-- begin-user-doc -->
1990 * <!-- end-user-doc -->
1991 * @return the meta object for class '<em>Node</em>'.
1992 * @see org.eclipse.viatra.solver.language.model.problem.Node
1993 * @generated
1994 */
1995 EClass getNode();
1996
1997 /**
1998 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration <em>Scope Declaration</em>}'.
1999 * <!-- begin-user-doc -->
2000 * <!-- end-user-doc -->
2001 * @return the meta object for class '<em>Scope Declaration</em>'.
2002 * @see org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration
2003 * @generated
2004 */
2005 EClass getScopeDeclaration();
2006
2007 /**
2008 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration#getTypeScopes <em>Type Scopes</em>}'.
2009 * <!-- begin-user-doc -->
2010 * <!-- end-user-doc -->
2011 * @return the meta object for the containment reference list '<em>Type Scopes</em>'.
2012 * @see org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration#getTypeScopes()
2013 * @see #getScopeDeclaration()
2014 * @generated
2015 */
2016 EReference getScopeDeclaration_TypeScopes();
2017
2018 /**
2019 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Statement <em>Statement</em>}'.
2020 * <!-- begin-user-doc -->
2021 * <!-- end-user-doc -->
2022 * @return the meta object for class '<em>Statement</em>'.
2023 * @see org.eclipse.viatra.solver.language.model.problem.Statement
2024 * @generated
2025 */
2026 EClass getStatement();
2027
2028 /**
2029 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope <em>Type Scope</em>}'.
2030 * <!-- begin-user-doc -->
2031 * <!-- end-user-doc -->
2032 * @return the meta object for class '<em>Type Scope</em>'.
2033 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope
2034 * @generated
2035 */
2036 EClass getTypeScope();
2037
2038 /**
2039 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#getTargetType <em>Target Type</em>}'.
2040 * <!-- begin-user-doc -->
2041 * <!-- end-user-doc -->
2042 * @return the meta object for the reference '<em>Target Type</em>'.
2043 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#getTargetType()
2044 * @see #getTypeScope()
2045 * @generated
2046 */
2047 EReference getTypeScope_TargetType();
2048
2049 /**
2050 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#isIncrement <em>Increment</em>}'.
2051 * <!-- begin-user-doc -->
2052 * <!-- end-user-doc -->
2053 * @return the meta object for the attribute '<em>Increment</em>'.
2054 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#isIncrement()
2055 * @see #getTypeScope()
2056 * @generated
2057 */
2058 EAttribute getTypeScope_Increment();
2059
2060 /**
2061 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.TypeScope#getMultiplicity <em>Multiplicity</em>}'.
2062 * <!-- begin-user-doc -->
2063 * <!-- end-user-doc -->
2064 * @return the meta object for the containment reference '<em>Multiplicity</em>'.
2065 * @see org.eclipse.viatra.solver.language.model.problem.TypeScope#getMultiplicity()
2066 * @see #getTypeScope()
2067 * @generated
2068 */
2069 EReference getTypeScope_Multiplicity();
2070
2071 /**
2072 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Multiplicity <em>Multiplicity</em>}'.
2073 * <!-- begin-user-doc -->
2074 * <!-- end-user-doc -->
2075 * @return the meta object for class '<em>Multiplicity</em>'.
2076 * @see org.eclipse.viatra.solver.language.model.problem.Multiplicity
2077 * @generated
2078 */
2079 EClass getMultiplicity();
2080
2081 /**
2082 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity <em>Range Multiplicity</em>}'.
2083 * <!-- begin-user-doc -->
2084 * <!-- end-user-doc -->
2085 * @return the meta object for class '<em>Range Multiplicity</em>'.
2086 * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity
2087 * @generated
2088 */
2089 EClass getRangeMultiplicity();
2090
2091 /**
2092 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getLowerBound <em>Lower Bound</em>}'.
2093 * <!-- begin-user-doc -->
2094 * <!-- end-user-doc -->
2095 * @return the meta object for the attribute '<em>Lower Bound</em>'.
2096 * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getLowerBound()
2097 * @see #getRangeMultiplicity()
2098 * @generated
2099 */
2100 EAttribute getRangeMultiplicity_LowerBound();
2101
2102 /**
2103 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getUpperBound <em>Upper Bound</em>}'.
2104 * <!-- begin-user-doc -->
2105 * <!-- end-user-doc -->
2106 * @return the meta object for the attribute '<em>Upper Bound</em>'.
2107 * @see org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity#getUpperBound()
2108 * @see #getRangeMultiplicity()
2109 * @generated
2110 */
2111 EAttribute getRangeMultiplicity_UpperBound();
2112
2113 /**
2114 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity <em>Exact Multiplicity</em>}'.
2115 * <!-- begin-user-doc -->
2116 * <!-- end-user-doc -->
2117 * @return the meta object for class '<em>Exact Multiplicity</em>'.
2118 * @see org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity
2119 * @generated
2120 */
2121 EClass getExactMultiplicity();
2122
2123 /**
2124 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity#getExactValue <em>Exact Value</em>}'.
2125 * <!-- begin-user-doc -->
2126 * <!-- end-user-doc -->
2127 * @return the meta object for the attribute '<em>Exact Value</em>'.
2128 * @see org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity#getExactValue()
2129 * @see #getExactMultiplicity()
2130 * @generated
2131 */
2132 EAttribute getExactMultiplicity_ExactValue();
2133
2134 /**
2135 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity <em>Unbounded Multiplicity</em>}'.
2136 * <!-- begin-user-doc -->
2137 * <!-- end-user-doc -->
2138 * @return the meta object for class '<em>Unbounded Multiplicity</em>'.
2139 * @see org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity
2140 * @generated
2141 */
2142 EClass getUnboundedMultiplicity();
2143
2144 /**
2145 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument <em>Variable Or Node Argument</em>}'.
2146 * <!-- begin-user-doc -->
2147 * <!-- end-user-doc -->
2148 * @return the meta object for class '<em>Variable Or Node Argument</em>'.
2149 * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument
2150 * @generated
2151 */
2152 EClass getVariableOrNodeArgument();
2153
2154 /**
2155 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode <em>Variable Or Node</em>}'.
2156 * <!-- begin-user-doc -->
2157 * <!-- end-user-doc -->
2158 * @return the meta object for the reference '<em>Variable Or Node</em>'.
2159 * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getVariableOrNode()
2160 * @see #getVariableOrNodeArgument()
2161 * @generated
2162 */
2163 EReference getVariableOrNodeArgument_VariableOrNode();
2164
2165 /**
2166 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable <em>Singleton Variable</em>}'.
2167 * <!-- begin-user-doc -->
2168 * <!-- end-user-doc -->
2169 * @return the meta object for the containment reference '<em>Singleton Variable</em>'.
2170 * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument#getSingletonVariable()
2171 * @see #getVariableOrNodeArgument()
2172 * @generated
2173 */
2174 EReference getVariableOrNodeArgument_SingletonVariable();
2175
2176 /**
2177 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Argument <em>Argument</em>}'.
2178 * <!-- begin-user-doc -->
2179 * <!-- end-user-doc -->
2180 * @return the meta object for class '<em>Argument</em>'.
2181 * @see org.eclipse.viatra.solver.language.model.problem.Argument
2182 * @generated
2183 */
2184 EClass getArgument();
2185
2186 /**
2187 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument <em>Node Assertion Argument</em>}'.
2188 * <!-- begin-user-doc -->
2189 * <!-- end-user-doc -->
2190 * @return the meta object for class '<em>Node Assertion Argument</em>'.
2191 * @see org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument
2192 * @generated
2193 */
2194 EClass getNodeAssertionArgument();
2195
2196 /**
2197 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument#getNode <em>Node</em>}'.
2198 * <!-- begin-user-doc -->
2199 * <!-- end-user-doc -->
2200 * @return the meta object for the reference '<em>Node</em>'.
2201 * @see org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument#getNode()
2202 * @see #getNodeAssertionArgument()
2203 * @generated
2204 */
2205 EReference getNodeAssertionArgument_Node();
2206
2207 /**
2208 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.AssertionArgument <em>Assertion Argument</em>}'.
2209 * <!-- begin-user-doc -->
2210 * <!-- end-user-doc -->
2211 * @return the meta object for class '<em>Assertion Argument</em>'.
2212 * @see org.eclipse.viatra.solver.language.model.problem.AssertionArgument
2213 * @generated
2214 */
2215 EClass getAssertionArgument();
2216
2217 /**
2218 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument <em>Constant Assertion Argument</em>}'.
2219 * <!-- begin-user-doc -->
2220 * <!-- end-user-doc -->
2221 * @return the meta object for class '<em>Constant Assertion Argument</em>'.
2222 * @see org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument
2223 * @generated
2224 */
2225 EClass getConstantAssertionArgument();
2226
2227 /**
2228 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument#getConstant <em>Constant</em>}'.
2229 * <!-- begin-user-doc -->
2230 * <!-- end-user-doc -->
2231 * @return the meta object for the containment reference '<em>Constant</em>'.
2232 * @see org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument#getConstant()
2233 * @see #getConstantAssertionArgument()
2234 * @generated
2235 */
2236 EReference getConstantAssertionArgument_Constant();
2237
2238 /**
2239 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion <em>Node Value Assertion</em>}'.
2240 * <!-- begin-user-doc -->
2241 * <!-- end-user-doc -->
2242 * @return the meta object for class '<em>Node Value Assertion</em>'.
2243 * @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion
2244 * @generated
2245 */
2246 EClass getNodeValueAssertion();
2247
2248 /**
2249 * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode <em>Node</em>}'.
2250 * <!-- begin-user-doc -->
2251 * <!-- end-user-doc -->
2252 * @return the meta object for the reference '<em>Node</em>'.
2253 * @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getNode()
2254 * @see #getNodeValueAssertion()
2255 * @generated
2256 */
2257 EReference getNodeValueAssertion_Node();
2258
2259 /**
2260 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue <em>Value</em>}'.
2261 * <!-- begin-user-doc -->
2262 * <!-- end-user-doc -->
2263 * @return the meta object for the containment reference '<em>Value</em>'.
2264 * @see org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion#getValue()
2265 * @see #getNodeValueAssertion()
2266 * @generated
2267 */
2268 EReference getNodeValueAssertion_Value();
2269
2270 /**
2271 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration <em>Enum Declaration</em>}'.
2272 * <!-- begin-user-doc -->
2273 * <!-- end-user-doc -->
2274 * @return the meta object for class '<em>Enum Declaration</em>'.
2275 * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration
2276 * @generated
2277 */
2278 EClass getEnumDeclaration();
2279
2280 /**
2281 * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals <em>Literals</em>}'.
2282 * <!-- begin-user-doc -->
2283 * <!-- end-user-doc -->
2284 * @return the meta object for the containment reference list '<em>Literals</em>'.
2285 * @see org.eclipse.viatra.solver.language.model.problem.EnumDeclaration#getLiterals()
2286 * @see #getEnumDeclaration()
2287 * @generated
2288 */
2289 EReference getEnumDeclaration_Literals();
2290
2291 /**
2292 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.VariableOrNode <em>Variable Or Node</em>}'.
2293 * <!-- begin-user-doc -->
2294 * <!-- end-user-doc -->
2295 * @return the meta object for class '<em>Variable Or Node</em>'.
2296 * @see org.eclipse.viatra.solver.language.model.problem.VariableOrNode
2297 * @generated
2298 */
2299 EClass getVariableOrNode();
2300
2301 /**
2302 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Constant <em>Constant</em>}'.
2303 * <!-- begin-user-doc -->
2304 * <!-- end-user-doc -->
2305 * @return the meta object for class '<em>Constant</em>'.
2306 * @see org.eclipse.viatra.solver.language.model.problem.Constant
2307 * @generated
2308 */
2309 EClass getConstant();
2310
2311 /**
2312 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.IntConstant <em>Int Constant</em>}'.
2313 * <!-- begin-user-doc -->
2314 * <!-- end-user-doc -->
2315 * @return the meta object for class '<em>Int Constant</em>'.
2316 * @see org.eclipse.viatra.solver.language.model.problem.IntConstant
2317 * @generated
2318 */
2319 EClass getIntConstant();
2320
2321 /**
2322 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.IntConstant#getIntValue <em>Int Value</em>}'.
2323 * <!-- begin-user-doc -->
2324 * <!-- end-user-doc -->
2325 * @return the meta object for the attribute '<em>Int Value</em>'.
2326 * @see org.eclipse.viatra.solver.language.model.problem.IntConstant#getIntValue()
2327 * @see #getIntConstant()
2328 * @generated
2329 */
2330 EAttribute getIntConstant_IntValue();
2331
2332 /**
2333 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.RealConstant <em>Real Constant</em>}'.
2334 * <!-- begin-user-doc -->
2335 * <!-- end-user-doc -->
2336 * @return the meta object for class '<em>Real Constant</em>'.
2337 * @see org.eclipse.viatra.solver.language.model.problem.RealConstant
2338 * @generated
2339 */
2340 EClass getRealConstant();
2341
2342 /**
2343 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.RealConstant#getRealValue <em>Real Value</em>}'.
2344 * <!-- begin-user-doc -->
2345 * <!-- end-user-doc -->
2346 * @return the meta object for the attribute '<em>Real Value</em>'.
2347 * @see org.eclipse.viatra.solver.language.model.problem.RealConstant#getRealValue()
2348 * @see #getRealConstant()
2349 * @generated
2350 */
2351 EAttribute getRealConstant_RealValue();
2352
2353 /**
2354 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.StringConstant <em>String Constant</em>}'.
2355 * <!-- begin-user-doc -->
2356 * <!-- end-user-doc -->
2357 * @return the meta object for class '<em>String Constant</em>'.
2358 * @see org.eclipse.viatra.solver.language.model.problem.StringConstant
2359 * @generated
2360 */
2361 EClass getStringConstant();
2362
2363 /**
2364 * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.model.problem.StringConstant#getStringValue <em>String Value</em>}'.
2365 * <!-- begin-user-doc -->
2366 * <!-- end-user-doc -->
2367 * @return the meta object for the attribute '<em>String Value</em>'.
2368 * @see org.eclipse.viatra.solver.language.model.problem.StringConstant#getStringValue()
2369 * @see #getStringConstant()
2370 * @generated
2371 */
2372 EAttribute getStringConstant_StringValue();
2373
2374 /**
2375 * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ConstantArgument <em>Constant Argument</em>}'.
2376 * <!-- begin-user-doc -->
2377 * <!-- end-user-doc -->
2378 * @return the meta object for class '<em>Constant Argument</em>'.
2379 * @see org.eclipse.viatra.solver.language.model.problem.ConstantArgument
2380 * @generated
2381 */
2382 EClass getConstantArgument();
2383
2384 /**
2385 * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ConstantArgument#getConstant <em>Constant</em>}'.
2386 * <!-- begin-user-doc -->
2387 * <!-- end-user-doc -->
2388 * @return the meta object for the containment reference '<em>Constant</em>'.
2389 * @see org.eclipse.viatra.solver.language.model.problem.ConstantArgument#getConstant()
2390 * @see #getConstantArgument()
2391 * @generated
2392 */
2393 EReference getConstantArgument_Constant();
2394
2395 /**
2396 * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'.
2397 * <!-- begin-user-doc -->
2398 * <!-- end-user-doc -->
2399 * @return the meta object for enum '<em>Logic Value</em>'.
2400 * @see org.eclipse.viatra.solver.language.model.problem.LogicValue
2401 * @generated
2402 */
2403 EEnum getLogicValue();
2404
2405 /**
2406 * Returns the factory that creates the instances of the model.
2407 * <!-- begin-user-doc -->
2408 * <!-- end-user-doc -->
2409 * @return the factory that creates the instances of the model.
2410 * @generated
2411 */
2412 ProblemFactory getProblemFactory();
2413
2414 /**
2415 * <!-- begin-user-doc -->
2416 * Defines literals for the meta objects that represent
2417 * <ul>
2418 * <li>each class,</li>
2419 * <li>each feature of each class,</li>
2420 * <li>each operation of each class,</li>
2421 * <li>each enum,</li>
2422 * <li>and each data type</li>
2423 * </ul>
2424 * <!-- end-user-doc -->
2425 * @generated
2426 */
2427 interface Literals {
2428 /**
2429 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl <em>Problem</em>}' class.
2430 * <!-- begin-user-doc -->
2431 * <!-- end-user-doc -->
2432 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl
2433 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem()
2434 * @generated
2435 */
2436 EClass PROBLEM = eINSTANCE.getProblem();
2437
2438 /**
2439 * The meta object literal for the '<em><b>Nodes</b></em>' containment reference list feature.
2440 * <!-- begin-user-doc -->
2441 * <!-- end-user-doc -->
2442 * @generated
2443 */
2444 EReference PROBLEM__NODES = eINSTANCE.getProblem_Nodes();
2445
2446 /**
2447 * The meta object literal for the '<em><b>Statements</b></em>' containment reference list feature.
2448 * <!-- begin-user-doc -->
2449 * <!-- end-user-doc -->
2450 * @generated
2451 */
2452 EReference PROBLEM__STATEMENTS = eINSTANCE.getProblem_Statements();
2453
2454 /**
2455 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl <em>Relation</em>}' class.
2456 * <!-- begin-user-doc -->
2457 * <!-- end-user-doc -->
2458 * @see org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl
2459 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRelation()
2460 * @generated
2461 */
2462 EClass RELATION = eINSTANCE.getRelation();
2463
2464 /**
2465 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl <em>Class Declaration</em>}' class.
2466 * <!-- begin-user-doc -->
2467 * <!-- end-user-doc -->
2468 * @see org.eclipse.viatra.solver.language.model.problem.impl.ClassDeclarationImpl
2469 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getClassDeclaration()
2470 * @generated
2471 */
2472 EClass CLASS_DECLARATION = eINSTANCE.getClassDeclaration();
2473
2474 /**
2475 * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature.
2476 * <!-- begin-user-doc -->
2477 * <!-- end-user-doc -->
2478 * @generated
2479 */
2480 EAttribute CLASS_DECLARATION__ABSTRACT = eINSTANCE.getClassDeclaration_Abstract();
2481
2482 /**
2483 * The meta object literal for the '<em><b>Super Types</b></em>' reference list feature.
2484 * <!-- begin-user-doc -->
2485 * <!-- end-user-doc -->
2486 * @generated
2487 */
2488 EReference CLASS_DECLARATION__SUPER_TYPES = eINSTANCE.getClassDeclaration_SuperTypes();
2489
2490 /**
2491 * The meta object literal for the '<em><b>Reference Declarations</b></em>' containment reference list feature.
2492 * <!-- begin-user-doc -->
2493 * <!-- end-user-doc -->
2494 * @generated
2495 */
2496 EReference CLASS_DECLARATION__REFERENCE_DECLARATIONS = eINSTANCE.getClassDeclaration_ReferenceDeclarations();
2497
2498 /**
2499 * The meta object literal for the '<em><b>New Node</b></em>' containment reference feature.
2500 * <!-- begin-user-doc -->
2501 * <!-- end-user-doc -->
2502 * @generated
2503 */
2504 EReference CLASS_DECLARATION__NEW_NODE = eINSTANCE.getClassDeclaration_NewNode();
2505
2506 /**
2507 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl <em>Reference Declaration</em>}' class.
2508 * <!-- begin-user-doc -->
2509 * <!-- end-user-doc -->
2510 * @see org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl
2511 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getReferenceDeclaration()
2512 * @generated
2513 */
2514 EClass REFERENCE_DECLARATION = eINSTANCE.getReferenceDeclaration();
2515
2516 /**
2517 * The meta object literal for the '<em><b>Reference Type</b></em>' reference feature.
2518 * <!-- begin-user-doc -->
2519 * <!-- end-user-doc -->
2520 * @generated
2521 */
2522 EReference REFERENCE_DECLARATION__REFERENCE_TYPE = eINSTANCE.getReferenceDeclaration_ReferenceType();
2523
2524 /**
2525 * The meta object literal for the '<em><b>Opposite</b></em>' reference feature.
2526 * <!-- begin-user-doc -->
2527 * <!-- end-user-doc -->
2528 * @generated
2529 */
2530 EReference REFERENCE_DECLARATION__OPPOSITE = eINSTANCE.getReferenceDeclaration_Opposite();
2531
2532 /**
2533 * The meta object literal for the '<em><b>Containment</b></em>' attribute feature.
2534 * <!-- begin-user-doc -->
2535 * <!-- end-user-doc -->
2536 * @generated
2537 */
2538 EAttribute REFERENCE_DECLARATION__CONTAINMENT = eINSTANCE.getReferenceDeclaration_Containment();
2539
2540 /**
2541 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
2542 * <!-- begin-user-doc -->
2543 * <!-- end-user-doc -->
2544 * @generated
2545 */
2546 EReference REFERENCE_DECLARATION__MULTIPLICITY = eINSTANCE.getReferenceDeclaration_Multiplicity();
2547
2548 /**
2549 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl <em>Named Element</em>}' class.
2550 * <!-- begin-user-doc -->
2551 * <!-- end-user-doc -->
2552 * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl
2553 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement()
2554 * @generated
2555 */
2556 EClass NAMED_ELEMENT = eINSTANCE.getNamedElement();
2557
2558 /**
2559 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
2560 * <!-- begin-user-doc -->
2561 * <!-- end-user-doc -->
2562 * @generated
2563 */
2564 EAttribute NAMED_ELEMENT__NAME = eINSTANCE.getNamedElement_Name();
2565
2566 /**
2567 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class.
2568 * <!-- begin-user-doc -->
2569 * <!-- end-user-doc -->
2570 * @see org.eclipse.viatra.solver.language.model.problem.impl.PredicateDefinitionImpl
2571 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getPredicateDefinition()
2572 * @generated
2573 */
2574 EClass PREDICATE_DEFINITION = eINSTANCE.getPredicateDefinition();
2575
2576 /**
2577 * The meta object literal for the '<em><b>Error</b></em>' attribute feature.
2578 * <!-- begin-user-doc -->
2579 * <!-- end-user-doc -->
2580 * @generated
2581 */
2582 EAttribute PREDICATE_DEFINITION__ERROR = eINSTANCE.getPredicateDefinition_Error();
2583
2584 /**
2585 * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature.
2586 * <!-- begin-user-doc -->
2587 * <!-- end-user-doc -->
2588 * @generated
2589 */
2590 EReference PREDICATE_DEFINITION__PARAMETERS = eINSTANCE.getPredicateDefinition_Parameters();
2591
2592 /**
2593 * The meta object literal for the '<em><b>Bodies</b></em>' containment reference list feature.
2594 * <!-- begin-user-doc -->
2595 * <!-- end-user-doc -->
2596 * @generated
2597 */
2598 EReference PREDICATE_DEFINITION__BODIES = eINSTANCE.getPredicateDefinition_Bodies();
2599
2600 /**
2601 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl <em>Parameter</em>}' class.
2602 * <!-- begin-user-doc -->
2603 * <!-- end-user-doc -->
2604 * @see org.eclipse.viatra.solver.language.model.problem.impl.ParameterImpl
2605 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getParameter()
2606 * @generated
2607 */
2608 EClass PARAMETER = eINSTANCE.getParameter();
2609
2610 /**
2611 * The meta object literal for the '<em><b>Parameter Type</b></em>' reference feature.
2612 * <!-- begin-user-doc -->
2613 * <!-- end-user-doc -->
2614 * @generated
2615 */
2616 EReference PARAMETER__PARAMETER_TYPE = eINSTANCE.getParameter_ParameterType();
2617
2618 /**
2619 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl <em>Variable</em>}' class.
2620 * <!-- begin-user-doc -->
2621 * <!-- end-user-doc -->
2622 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableImpl
2623 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariable()
2624 * @generated
2625 */
2626 EClass VARIABLE = eINSTANCE.getVariable();
2627
2628 /**
2629 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl <em>Conjunction</em>}' class.
2630 * <!-- begin-user-doc -->
2631 * <!-- end-user-doc -->
2632 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConjunctionImpl
2633 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConjunction()
2634 * @generated
2635 */
2636 EClass CONJUNCTION = eINSTANCE.getConjunction();
2637
2638 /**
2639 * The meta object literal for the '<em><b>Literals</b></em>' containment reference list feature.
2640 * <!-- begin-user-doc -->
2641 * <!-- end-user-doc -->
2642 * @generated
2643 */
2644 EReference CONJUNCTION__LITERALS = eINSTANCE.getConjunction_Literals();
2645
2646 /**
2647 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl <em>Literal</em>}' class.
2648 * <!-- begin-user-doc -->
2649 * <!-- end-user-doc -->
2650 * @see org.eclipse.viatra.solver.language.model.problem.impl.LiteralImpl
2651 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLiteral()
2652 * @generated
2653 */
2654 EClass LITERAL = eINSTANCE.getLiteral();
2655
2656 /**
2657 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl <em>Atom</em>}' class.
2658 * <!-- begin-user-doc -->
2659 * <!-- end-user-doc -->
2660 * @see org.eclipse.viatra.solver.language.model.problem.impl.AtomImpl
2661 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAtom()
2662 * @generated
2663 */
2664 EClass ATOM = eINSTANCE.getAtom();
2665
2666 /**
2667 * The meta object literal for the '<em><b>Relation</b></em>' reference feature.
2668 * <!-- begin-user-doc -->
2669 * <!-- end-user-doc -->
2670 * @generated
2671 */
2672 EReference ATOM__RELATION = eINSTANCE.getAtom_Relation();
2673
2674 /**
2675 * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature.
2676 * <!-- begin-user-doc -->
2677 * <!-- end-user-doc -->
2678 * @generated
2679 */
2680 EReference ATOM__ARGUMENTS = eINSTANCE.getAtom_Arguments();
2681
2682 /**
2683 * The meta object literal for the '<em><b>Transitive Closure</b></em>' attribute feature.
2684 * <!-- begin-user-doc -->
2685 * <!-- end-user-doc -->
2686 * @generated
2687 */
2688 EAttribute ATOM__TRANSITIVE_CLOSURE = eINSTANCE.getAtom_TransitiveClosure();
2689
2690 /**
2691 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl <em>Implicit Variable</em>}' class.
2692 * <!-- begin-user-doc -->
2693 * <!-- end-user-doc -->
2694 * @see org.eclipse.viatra.solver.language.model.problem.impl.ImplicitVariableImpl
2695 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getImplicitVariable()
2696 * @generated
2697 */
2698 EClass IMPLICIT_VARIABLE = eINSTANCE.getImplicitVariable();
2699
2700 /**
2701 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl <em>Negative Literal</em>}' class.
2702 * <!-- begin-user-doc -->
2703 * <!-- end-user-doc -->
2704 * @see org.eclipse.viatra.solver.language.model.problem.impl.NegativeLiteralImpl
2705 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNegativeLiteral()
2706 * @generated
2707 */
2708 EClass NEGATIVE_LITERAL = eINSTANCE.getNegativeLiteral();
2709
2710 /**
2711 * The meta object literal for the '<em><b>Atom</b></em>' containment reference feature.
2712 * <!-- begin-user-doc -->
2713 * <!-- end-user-doc -->
2714 * @generated
2715 */
2716 EReference NEGATIVE_LITERAL__ATOM = eINSTANCE.getNegativeLiteral_Atom();
2717
2718 /**
2719 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier <em>Existential Quantifier</em>}' class.
2720 * <!-- begin-user-doc -->
2721 * <!-- end-user-doc -->
2722 * @see org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier
2723 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExistentialQuantifier()
2724 * @generated
2725 */
2726 EClass EXISTENTIAL_QUANTIFIER = eINSTANCE.getExistentialQuantifier();
2727
2728 /**
2729 * The meta object literal for the '<em><b>Implicit Variables</b></em>' containment reference list feature.
2730 * <!-- begin-user-doc -->
2731 * <!-- end-user-doc -->
2732 * @generated
2733 */
2734 EReference EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES = eINSTANCE.getExistentialQuantifier_ImplicitVariables();
2735
2736 /**
2737 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl <em>Assertion</em>}' class.
2738 * <!-- begin-user-doc -->
2739 * <!-- end-user-doc -->
2740 * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionImpl
2741 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertion()
2742 * @generated
2743 */
2744 EClass ASSERTION = eINSTANCE.getAssertion();
2745
2746 /**
2747 * The meta object literal for the '<em><b>Relation</b></em>' reference feature.
2748 * <!-- begin-user-doc -->
2749 * <!-- end-user-doc -->
2750 * @generated
2751 */
2752 EReference ASSERTION__RELATION = eINSTANCE.getAssertion_Relation();
2753
2754 /**
2755 * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature.
2756 * <!-- begin-user-doc -->
2757 * <!-- end-user-doc -->
2758 * @generated
2759 */
2760 EReference ASSERTION__ARGUMENTS = eINSTANCE.getAssertion_Arguments();
2761
2762 /**
2763 * The meta object literal for the '<em><b>Value</b></em>' attribute feature.
2764 * <!-- begin-user-doc -->
2765 * <!-- end-user-doc -->
2766 * @generated
2767 */
2768 EAttribute ASSERTION__VALUE = eINSTANCE.getAssertion_Value();
2769
2770 /**
2771 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl <em>Node</em>}' class.
2772 * <!-- begin-user-doc -->
2773 * <!-- end-user-doc -->
2774 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeImpl
2775 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNode()
2776 * @generated
2777 */
2778 EClass NODE = eINSTANCE.getNode();
2779
2780 /**
2781 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl <em>Scope Declaration</em>}' class.
2782 * <!-- begin-user-doc -->
2783 * <!-- end-user-doc -->
2784 * @see org.eclipse.viatra.solver.language.model.problem.impl.ScopeDeclarationImpl
2785 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getScopeDeclaration()
2786 * @generated
2787 */
2788 EClass SCOPE_DECLARATION = eINSTANCE.getScopeDeclaration();
2789
2790 /**
2791 * The meta object literal for the '<em><b>Type Scopes</b></em>' containment reference list feature.
2792 * <!-- begin-user-doc -->
2793 * <!-- end-user-doc -->
2794 * @generated
2795 */
2796 EReference SCOPE_DECLARATION__TYPE_SCOPES = eINSTANCE.getScopeDeclaration_TypeScopes();
2797
2798 /**
2799 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.Statement <em>Statement</em>}' class.
2800 * <!-- begin-user-doc -->
2801 * <!-- end-user-doc -->
2802 * @see org.eclipse.viatra.solver.language.model.problem.Statement
2803 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStatement()
2804 * @generated
2805 */
2806 EClass STATEMENT = eINSTANCE.getStatement();
2807
2808 /**
2809 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl <em>Type Scope</em>}' class.
2810 * <!-- begin-user-doc -->
2811 * <!-- end-user-doc -->
2812 * @see org.eclipse.viatra.solver.language.model.problem.impl.TypeScopeImpl
2813 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getTypeScope()
2814 * @generated
2815 */
2816 EClass TYPE_SCOPE = eINSTANCE.getTypeScope();
2817
2818 /**
2819 * The meta object literal for the '<em><b>Target Type</b></em>' reference feature.
2820 * <!-- begin-user-doc -->
2821 * <!-- end-user-doc -->
2822 * @generated
2823 */
2824 EReference TYPE_SCOPE__TARGET_TYPE = eINSTANCE.getTypeScope_TargetType();
2825
2826 /**
2827 * The meta object literal for the '<em><b>Increment</b></em>' attribute feature.
2828 * <!-- begin-user-doc -->
2829 * <!-- end-user-doc -->
2830 * @generated
2831 */
2832 EAttribute TYPE_SCOPE__INCREMENT = eINSTANCE.getTypeScope_Increment();
2833
2834 /**
2835 * The meta object literal for the '<em><b>Multiplicity</b></em>' containment reference feature.
2836 * <!-- begin-user-doc -->
2837 * <!-- end-user-doc -->
2838 * @generated
2839 */
2840 EReference TYPE_SCOPE__MULTIPLICITY = eINSTANCE.getTypeScope_Multiplicity();
2841
2842 /**
2843 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl <em>Multiplicity</em>}' class.
2844 * <!-- begin-user-doc -->
2845 * <!-- end-user-doc -->
2846 * @see org.eclipse.viatra.solver.language.model.problem.impl.MultiplicityImpl
2847 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getMultiplicity()
2848 * @generated
2849 */
2850 EClass MULTIPLICITY = eINSTANCE.getMultiplicity();
2851
2852 /**
2853 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl <em>Range Multiplicity</em>}' class.
2854 * <!-- begin-user-doc -->
2855 * <!-- end-user-doc -->
2856 * @see org.eclipse.viatra.solver.language.model.problem.impl.RangeMultiplicityImpl
2857 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRangeMultiplicity()
2858 * @generated
2859 */
2860 EClass RANGE_MULTIPLICITY = eINSTANCE.getRangeMultiplicity();
2861
2862 /**
2863 * The meta object literal for the '<em><b>Lower Bound</b></em>' attribute feature.
2864 * <!-- begin-user-doc -->
2865 * <!-- end-user-doc -->
2866 * @generated
2867 */
2868 EAttribute RANGE_MULTIPLICITY__LOWER_BOUND = eINSTANCE.getRangeMultiplicity_LowerBound();
2869
2870 /**
2871 * The meta object literal for the '<em><b>Upper Bound</b></em>' attribute feature.
2872 * <!-- begin-user-doc -->
2873 * <!-- end-user-doc -->
2874 * @generated
2875 */
2876 EAttribute RANGE_MULTIPLICITY__UPPER_BOUND = eINSTANCE.getRangeMultiplicity_UpperBound();
2877
2878 /**
2879 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl <em>Exact Multiplicity</em>}' class.
2880 * <!-- begin-user-doc -->
2881 * <!-- end-user-doc -->
2882 * @see org.eclipse.viatra.solver.language.model.problem.impl.ExactMultiplicityImpl
2883 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getExactMultiplicity()
2884 * @generated
2885 */
2886 EClass EXACT_MULTIPLICITY = eINSTANCE.getExactMultiplicity();
2887
2888 /**
2889 * The meta object literal for the '<em><b>Exact Value</b></em>' attribute feature.
2890 * <!-- begin-user-doc -->
2891 * <!-- end-user-doc -->
2892 * @generated
2893 */
2894 EAttribute EXACT_MULTIPLICITY__EXACT_VALUE = eINSTANCE.getExactMultiplicity_ExactValue();
2895
2896 /**
2897 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl <em>Unbounded Multiplicity</em>}' class.
2898 * <!-- begin-user-doc -->
2899 * <!-- end-user-doc -->
2900 * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl
2901 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity()
2902 * @generated
2903 */
2904 EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity();
2905
2906 /**
2907 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl <em>Variable Or Node Argument</em>}' class.
2908 * <!-- begin-user-doc -->
2909 * <!-- end-user-doc -->
2910 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeArgumentImpl
2911 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNodeArgument()
2912 * @generated
2913 */
2914 EClass VARIABLE_OR_NODE_ARGUMENT = eINSTANCE.getVariableOrNodeArgument();
2915
2916 /**
2917 * The meta object literal for the '<em><b>Variable Or Node</b></em>' reference feature.
2918 * <!-- begin-user-doc -->
2919 * <!-- end-user-doc -->
2920 * @generated
2921 */
2922 EReference VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE = eINSTANCE.getVariableOrNodeArgument_VariableOrNode();
2923
2924 /**
2925 * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature.
2926 * <!-- begin-user-doc -->
2927 * <!-- end-user-doc -->
2928 * @generated
2929 */
2930 EReference VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE = eINSTANCE
2931 .getVariableOrNodeArgument_SingletonVariable();
2932
2933 /**
2934 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class.
2935 * <!-- begin-user-doc -->
2936 * <!-- end-user-doc -->
2937 * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl
2938 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument()
2939 * @generated
2940 */
2941 EClass ARGUMENT = eINSTANCE.getArgument();
2942
2943 /**
2944 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl <em>Node Assertion Argument</em>}' class.
2945 * <!-- begin-user-doc -->
2946 * <!-- end-user-doc -->
2947 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeAssertionArgumentImpl
2948 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeAssertionArgument()
2949 * @generated
2950 */
2951 EClass NODE_ASSERTION_ARGUMENT = eINSTANCE.getNodeAssertionArgument();
2952
2953 /**
2954 * The meta object literal for the '<em><b>Node</b></em>' reference feature.
2955 * <!-- begin-user-doc -->
2956 * <!-- end-user-doc -->
2957 * @generated
2958 */
2959 EReference NODE_ASSERTION_ARGUMENT__NODE = eINSTANCE.getNodeAssertionArgument_Node();
2960
2961 /**
2962 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl <em>Assertion Argument</em>}' class.
2963 * <!-- begin-user-doc -->
2964 * <!-- end-user-doc -->
2965 * @see org.eclipse.viatra.solver.language.model.problem.impl.AssertionArgumentImpl
2966 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getAssertionArgument()
2967 * @generated
2968 */
2969 EClass ASSERTION_ARGUMENT = eINSTANCE.getAssertionArgument();
2970
2971 /**
2972 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl <em>Constant Assertion Argument</em>}' class.
2973 * <!-- begin-user-doc -->
2974 * <!-- end-user-doc -->
2975 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantAssertionArgumentImpl
2976 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantAssertionArgument()
2977 * @generated
2978 */
2979 EClass CONSTANT_ASSERTION_ARGUMENT = eINSTANCE.getConstantAssertionArgument();
2980
2981 /**
2982 * The meta object literal for the '<em><b>Constant</b></em>' containment reference feature.
2983 * <!-- begin-user-doc -->
2984 * <!-- end-user-doc -->
2985 * @generated
2986 */
2987 EReference CONSTANT_ASSERTION_ARGUMENT__CONSTANT = eINSTANCE.getConstantAssertionArgument_Constant();
2988
2989 /**
2990 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl <em>Node Value Assertion</em>}' class.
2991 * <!-- begin-user-doc -->
2992 * <!-- end-user-doc -->
2993 * @see org.eclipse.viatra.solver.language.model.problem.impl.NodeValueAssertionImpl
2994 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNodeValueAssertion()
2995 * @generated
2996 */
2997 EClass NODE_VALUE_ASSERTION = eINSTANCE.getNodeValueAssertion();
2998
2999 /**
3000 * The meta object literal for the '<em><b>Node</b></em>' reference feature.
3001 * <!-- begin-user-doc -->
3002 * <!-- end-user-doc -->
3003 * @generated
3004 */
3005 EReference NODE_VALUE_ASSERTION__NODE = eINSTANCE.getNodeValueAssertion_Node();
3006
3007 /**
3008 * The meta object literal for the '<em><b>Value</b></em>' containment reference feature.
3009 * <!-- begin-user-doc -->
3010 * <!-- end-user-doc -->
3011 * @generated
3012 */
3013 EReference NODE_VALUE_ASSERTION__VALUE = eINSTANCE.getNodeValueAssertion_Value();
3014
3015 /**
3016 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl <em>Enum Declaration</em>}' class.
3017 * <!-- begin-user-doc -->
3018 * <!-- end-user-doc -->
3019 * @see org.eclipse.viatra.solver.language.model.problem.impl.EnumDeclarationImpl
3020 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getEnumDeclaration()
3021 * @generated
3022 */
3023 EClass ENUM_DECLARATION = eINSTANCE.getEnumDeclaration();
3024
3025 /**
3026 * The meta object literal for the '<em><b>Literals</b></em>' containment reference list feature.
3027 * <!-- begin-user-doc -->
3028 * <!-- end-user-doc -->
3029 * @generated
3030 */
3031 EReference ENUM_DECLARATION__LITERALS = eINSTANCE.getEnumDeclaration_Literals();
3032
3033 /**
3034 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl <em>Variable Or Node</em>}' class.
3035 * <!-- begin-user-doc -->
3036 * <!-- end-user-doc -->
3037 * @see org.eclipse.viatra.solver.language.model.problem.impl.VariableOrNodeImpl
3038 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getVariableOrNode()
3039 * @generated
3040 */
3041 EClass VARIABLE_OR_NODE = eINSTANCE.getVariableOrNode();
3042
3043 /**
3044 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl <em>Constant</em>}' class.
3045 * <!-- begin-user-doc -->
3046 * <!-- end-user-doc -->
3047 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantImpl
3048 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstant()
3049 * @generated
3050 */
3051 EClass CONSTANT = eINSTANCE.getConstant();
3052
3053 /**
3054 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl <em>Int Constant</em>}' class.
3055 * <!-- begin-user-doc -->
3056 * <!-- end-user-doc -->
3057 * @see org.eclipse.viatra.solver.language.model.problem.impl.IntConstantImpl
3058 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getIntConstant()
3059 * @generated
3060 */
3061 EClass INT_CONSTANT = eINSTANCE.getIntConstant();
3062
3063 /**
3064 * The meta object literal for the '<em><b>Int Value</b></em>' attribute feature.
3065 * <!-- begin-user-doc -->
3066 * <!-- end-user-doc -->
3067 * @generated
3068 */
3069 EAttribute INT_CONSTANT__INT_VALUE = eINSTANCE.getIntConstant_IntValue();
3070
3071 /**
3072 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl <em>Real Constant</em>}' class.
3073 * <!-- begin-user-doc -->
3074 * <!-- end-user-doc -->
3075 * @see org.eclipse.viatra.solver.language.model.problem.impl.RealConstantImpl
3076 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getRealConstant()
3077 * @generated
3078 */
3079 EClass REAL_CONSTANT = eINSTANCE.getRealConstant();
3080
3081 /**
3082 * The meta object literal for the '<em><b>Real Value</b></em>' attribute feature.
3083 * <!-- begin-user-doc -->
3084 * <!-- end-user-doc -->
3085 * @generated
3086 */
3087 EAttribute REAL_CONSTANT__REAL_VALUE = eINSTANCE.getRealConstant_RealValue();
3088
3089 /**
3090 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl <em>String Constant</em>}' class.
3091 * <!-- begin-user-doc -->
3092 * <!-- end-user-doc -->
3093 * @see org.eclipse.viatra.solver.language.model.problem.impl.StringConstantImpl
3094 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getStringConstant()
3095 * @generated
3096 */
3097 EClass STRING_CONSTANT = eINSTANCE.getStringConstant();
3098
3099 /**
3100 * The meta object literal for the '<em><b>String Value</b></em>' attribute feature.
3101 * <!-- begin-user-doc -->
3102 * <!-- end-user-doc -->
3103 * @generated
3104 */
3105 EAttribute STRING_CONSTANT__STRING_VALUE = eINSTANCE.getStringConstant_StringValue();
3106
3107 /**
3108 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl <em>Constant Argument</em>}' class.
3109 * <!-- begin-user-doc -->
3110 * <!-- end-user-doc -->
3111 * @see org.eclipse.viatra.solver.language.model.problem.impl.ConstantArgumentImpl
3112 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getConstantArgument()
3113 * @generated
3114 */
3115 EClass CONSTANT_ARGUMENT = eINSTANCE.getConstantArgument();
3116
3117 /**
3118 * The meta object literal for the '<em><b>Constant</b></em>' containment reference feature.
3119 * <!-- begin-user-doc -->
3120 * <!-- end-user-doc -->
3121 * @generated
3122 */
3123 EReference CONSTANT_ARGUMENT__CONSTANT = eINSTANCE.getConstantArgument_Constant();
3124
3125 /**
3126 * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum.
3127 * <!-- begin-user-doc -->
3128 * <!-- end-user-doc -->
3129 * @see org.eclipse.viatra.solver.language.model.problem.LogicValue
3130 * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue()
3131 * @generated
3132 */
3133 EEnum LOGIC_VALUE = eINSTANCE.getLogicValue();
3134
3135 }
3136
3137} //ProblemPackage
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-20 22:05:48 +0000