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