diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java | 1441 |
1 files changed, 164 insertions, 1277 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java index d34acdb8..ac9279c3 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java | |||
@@ -97,49 +97,13 @@ public interface SolverLanguagePackage extends EPackage | |||
97 | int STATEMENT = 1; | 97 | int STATEMENT = 1; |
98 | 98 | ||
99 | /** | 99 | /** |
100 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
101 | * <!-- begin-user-doc --> | ||
102 | * <!-- end-user-doc --> | ||
103 | * @generated | ||
104 | * @ordered | ||
105 | */ | ||
106 | int STATEMENT__ABSTRACT = 0; | ||
107 | |||
108 | /** | ||
109 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
110 | * <!-- begin-user-doc --> | ||
111 | * <!-- end-user-doc --> | ||
112 | * @generated | ||
113 | * @ordered | ||
114 | */ | ||
115 | int STATEMENT__NAME = 1; | ||
116 | |||
117 | /** | ||
118 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | * @ordered | ||
123 | */ | ||
124 | int STATEMENT__SUPERCLASSES = 2; | ||
125 | |||
126 | /** | ||
127 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
128 | * <!-- begin-user-doc --> | ||
129 | * <!-- end-user-doc --> | ||
130 | * @generated | ||
131 | * @ordered | ||
132 | */ | ||
133 | int STATEMENT__MEMBERS = 3; | ||
134 | |||
135 | /** | ||
136 | * The number of structural features of the '<em>Statement</em>' class. | 100 | * The number of structural features of the '<em>Statement</em>' class. |
137 | * <!-- begin-user-doc --> | 101 | * <!-- begin-user-doc --> |
138 | * <!-- end-user-doc --> | 102 | * <!-- end-user-doc --> |
139 | * @generated | 103 | * @generated |
140 | * @ordered | 104 | * @ordered |
141 | */ | 105 | */ |
142 | int STATEMENT_FEATURE_COUNT = 4; | 106 | int STATEMENT_FEATURE_COUNT = 0; |
143 | 107 | ||
144 | /** | 108 | /** |
145 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class. | 109 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class. |
@@ -152,42 +116,6 @@ public interface SolverLanguagePackage extends EPackage | |||
152 | int PREDICATE_DEFINITION = 2; | 116 | int PREDICATE_DEFINITION = 2; |
153 | 117 | ||
154 | /** | 118 | /** |
155 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
156 | * <!-- begin-user-doc --> | ||
157 | * <!-- end-user-doc --> | ||
158 | * @generated | ||
159 | * @ordered | ||
160 | */ | ||
161 | int PREDICATE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
162 | |||
163 | /** | ||
164 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
165 | * <!-- begin-user-doc --> | ||
166 | * <!-- end-user-doc --> | ||
167 | * @generated | ||
168 | * @ordered | ||
169 | */ | ||
170 | int PREDICATE_DEFINITION__NAME = STATEMENT__NAME; | ||
171 | |||
172 | /** | ||
173 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
174 | * <!-- begin-user-doc --> | ||
175 | * <!-- end-user-doc --> | ||
176 | * @generated | ||
177 | * @ordered | ||
178 | */ | ||
179 | int PREDICATE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
180 | |||
181 | /** | ||
182 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
183 | * <!-- begin-user-doc --> | ||
184 | * <!-- end-user-doc --> | ||
185 | * @generated | ||
186 | * @ordered | ||
187 | */ | ||
188 | int PREDICATE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
189 | |||
190 | /** | ||
191 | * The feature id for the '<em><b>Head</b></em>' containment reference. | 119 | * The feature id for the '<em><b>Head</b></em>' containment reference. |
192 | * <!-- begin-user-doc --> | 120 | * <!-- begin-user-doc --> |
193 | * <!-- end-user-doc --> | 121 | * <!-- end-user-doc --> |
@@ -243,42 +171,6 @@ public interface SolverLanguagePackage extends EPackage | |||
243 | int UNNAMED_ERROR_PREDIATE_DEFINITION = 3; | 171 | int UNNAMED_ERROR_PREDIATE_DEFINITION = 3; |
244 | 172 | ||
245 | /** | 173 | /** |
246 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
247 | * <!-- begin-user-doc --> | ||
248 | * <!-- end-user-doc --> | ||
249 | * @generated | ||
250 | * @ordered | ||
251 | */ | ||
252 | int UNNAMED_ERROR_PREDIATE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
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 UNNAMED_ERROR_PREDIATE_DEFINITION__NAME = STATEMENT__NAME; | ||
262 | |||
263 | /** | ||
264 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
265 | * <!-- begin-user-doc --> | ||
266 | * <!-- end-user-doc --> | ||
267 | * @generated | ||
268 | * @ordered | ||
269 | */ | ||
270 | int UNNAMED_ERROR_PREDIATE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
271 | |||
272 | /** | ||
273 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
274 | * <!-- begin-user-doc --> | ||
275 | * <!-- end-user-doc --> | ||
276 | * @generated | ||
277 | * @ordered | ||
278 | */ | ||
279 | int UNNAMED_ERROR_PREDIATE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
280 | |||
281 | /** | ||
282 | * The feature id for the '<em><b>Argument List</b></em>' containment reference. | 174 | * The feature id for the '<em><b>Argument List</b></em>' containment reference. |
283 | * <!-- begin-user-doc --> | 175 | * <!-- begin-user-doc --> |
284 | * <!-- end-user-doc --> | 176 | * <!-- end-user-doc --> |
@@ -316,42 +208,6 @@ public interface SolverLanguagePackage extends EPackage | |||
316 | int DEFAULT_DEFINITION = 4; | 208 | int DEFAULT_DEFINITION = 4; |
317 | 209 | ||
318 | /** | 210 | /** |
319 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
320 | * <!-- begin-user-doc --> | ||
321 | * <!-- end-user-doc --> | ||
322 | * @generated | ||
323 | * @ordered | ||
324 | */ | ||
325 | int DEFAULT_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
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 DEFAULT_DEFINITION__NAME = STATEMENT__NAME; | ||
335 | |||
336 | /** | ||
337 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
338 | * <!-- begin-user-doc --> | ||
339 | * <!-- end-user-doc --> | ||
340 | * @generated | ||
341 | * @ordered | ||
342 | */ | ||
343 | int DEFAULT_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
344 | |||
345 | /** | ||
346 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
347 | * <!-- begin-user-doc --> | ||
348 | * <!-- end-user-doc --> | ||
349 | * @generated | ||
350 | * @ordered | ||
351 | */ | ||
352 | int DEFAULT_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
353 | |||
354 | /** | ||
355 | * The feature id for the '<em><b>Head</b></em>' containment reference. | 211 | * The feature id for the '<em><b>Head</b></em>' containment reference. |
356 | * <!-- begin-user-doc --> | 212 | * <!-- begin-user-doc --> |
357 | * <!-- end-user-doc --> | 213 | * <!-- end-user-doc --> |
@@ -389,42 +245,6 @@ public interface SolverLanguagePackage extends EPackage | |||
389 | int EXTERN_PREDICATE_DEFINITION = 5; | 245 | int EXTERN_PREDICATE_DEFINITION = 5; |
390 | 246 | ||
391 | /** | 247 | /** |
392 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
393 | * <!-- begin-user-doc --> | ||
394 | * <!-- end-user-doc --> | ||
395 | * @generated | ||
396 | * @ordered | ||
397 | */ | ||
398 | int EXTERN_PREDICATE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
399 | |||
400 | /** | ||
401 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
402 | * <!-- begin-user-doc --> | ||
403 | * <!-- end-user-doc --> | ||
404 | * @generated | ||
405 | * @ordered | ||
406 | */ | ||
407 | int EXTERN_PREDICATE_DEFINITION__NAME = STATEMENT__NAME; | ||
408 | |||
409 | /** | ||
410 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
411 | * <!-- begin-user-doc --> | ||
412 | * <!-- end-user-doc --> | ||
413 | * @generated | ||
414 | * @ordered | ||
415 | */ | ||
416 | int EXTERN_PREDICATE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
417 | |||
418 | /** | ||
419 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
420 | * <!-- begin-user-doc --> | ||
421 | * <!-- end-user-doc --> | ||
422 | * @generated | ||
423 | * @ordered | ||
424 | */ | ||
425 | int EXTERN_PREDICATE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
426 | |||
427 | /** | ||
428 | * The feature id for the '<em><b>Head</b></em>' containment reference. | 248 | * The feature id for the '<em><b>Head</b></em>' containment reference. |
429 | * <!-- begin-user-doc --> | 249 | * <!-- begin-user-doc --> |
430 | * <!-- end-user-doc --> | 250 | * <!-- end-user-doc --> |
@@ -453,42 +273,6 @@ public interface SolverLanguagePackage extends EPackage | |||
453 | int METRIC_DEFINITION = 6; | 273 | int METRIC_DEFINITION = 6; |
454 | 274 | ||
455 | /** | 275 | /** |
456 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
457 | * <!-- begin-user-doc --> | ||
458 | * <!-- end-user-doc --> | ||
459 | * @generated | ||
460 | * @ordered | ||
461 | */ | ||
462 | int METRIC_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
463 | |||
464 | /** | ||
465 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
466 | * <!-- begin-user-doc --> | ||
467 | * <!-- end-user-doc --> | ||
468 | * @generated | ||
469 | * @ordered | ||
470 | */ | ||
471 | int METRIC_DEFINITION__NAME = STATEMENT__NAME; | ||
472 | |||
473 | /** | ||
474 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
475 | * <!-- begin-user-doc --> | ||
476 | * <!-- end-user-doc --> | ||
477 | * @generated | ||
478 | * @ordered | ||
479 | */ | ||
480 | int METRIC_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
481 | |||
482 | /** | ||
483 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
484 | * <!-- begin-user-doc --> | ||
485 | * <!-- end-user-doc --> | ||
486 | * @generated | ||
487 | * @ordered | ||
488 | */ | ||
489 | int METRIC_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
490 | |||
491 | /** | ||
492 | * The feature id for the '<em><b>Head</b></em>' containment reference. | 276 | * The feature id for the '<em><b>Head</b></em>' containment reference. |
493 | * <!-- begin-user-doc --> | 277 | * <!-- begin-user-doc --> |
494 | * <!-- end-user-doc --> | 278 | * <!-- end-user-doc --> |
@@ -535,42 +319,6 @@ public interface SolverLanguagePackage extends EPackage | |||
535 | int EXTERN_METRIC_DEFINITION = 7; | 319 | int EXTERN_METRIC_DEFINITION = 7; |
536 | 320 | ||
537 | /** | 321 | /** |
538 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
539 | * <!-- begin-user-doc --> | ||
540 | * <!-- end-user-doc --> | ||
541 | * @generated | ||
542 | * @ordered | ||
543 | */ | ||
544 | int EXTERN_METRIC_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
545 | |||
546 | /** | ||
547 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
548 | * <!-- begin-user-doc --> | ||
549 | * <!-- end-user-doc --> | ||
550 | * @generated | ||
551 | * @ordered | ||
552 | */ | ||
553 | int EXTERN_METRIC_DEFINITION__NAME = STATEMENT__NAME; | ||
554 | |||
555 | /** | ||
556 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
557 | * <!-- begin-user-doc --> | ||
558 | * <!-- end-user-doc --> | ||
559 | * @generated | ||
560 | * @ordered | ||
561 | */ | ||
562 | int EXTERN_METRIC_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
563 | |||
564 | /** | ||
565 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
566 | * <!-- begin-user-doc --> | ||
567 | * <!-- end-user-doc --> | ||
568 | * @generated | ||
569 | * @ordered | ||
570 | */ | ||
571 | int EXTERN_METRIC_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
572 | |||
573 | /** | ||
574 | * The feature id for the '<em><b>Type</b></em>' attribute. | 322 | * The feature id for the '<em><b>Type</b></em>' attribute. |
575 | * <!-- begin-user-doc --> | 323 | * <!-- begin-user-doc --> |
576 | * <!-- end-user-doc --> | 324 | * <!-- end-user-doc --> |
@@ -608,42 +356,6 @@ public interface SolverLanguagePackage extends EPackage | |||
608 | int EXPRESSION = 8; | 356 | int EXPRESSION = 8; |
609 | 357 | ||
610 | /** | 358 | /** |
611 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
612 | * <!-- begin-user-doc --> | ||
613 | * <!-- end-user-doc --> | ||
614 | * @generated | ||
615 | * @ordered | ||
616 | */ | ||
617 | int EXPRESSION__ABSTRACT = STATEMENT__ABSTRACT; | ||
618 | |||
619 | /** | ||
620 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
621 | * <!-- begin-user-doc --> | ||
622 | * <!-- end-user-doc --> | ||
623 | * @generated | ||
624 | * @ordered | ||
625 | */ | ||
626 | int EXPRESSION__NAME = STATEMENT__NAME; | ||
627 | |||
628 | /** | ||
629 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
630 | * <!-- begin-user-doc --> | ||
631 | * <!-- end-user-doc --> | ||
632 | * @generated | ||
633 | * @ordered | ||
634 | */ | ||
635 | int EXPRESSION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
636 | |||
637 | /** | ||
638 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
639 | * <!-- begin-user-doc --> | ||
640 | * <!-- end-user-doc --> | ||
641 | * @generated | ||
642 | * @ordered | ||
643 | */ | ||
644 | int EXPRESSION__MEMBERS = STATEMENT__MEMBERS; | ||
645 | |||
646 | /** | ||
647 | * The number of structural features of the '<em>Expression</em>' class. | 359 | * The number of structural features of the '<em>Expression</em>' class. |
648 | * <!-- begin-user-doc --> | 360 | * <!-- begin-user-doc --> |
649 | * <!-- end-user-doc --> | 361 | * <!-- end-user-doc --> |
@@ -663,42 +375,6 @@ public interface SolverLanguagePackage extends EPackage | |||
663 | int IF_ELSE = 9; | 375 | int IF_ELSE = 9; |
664 | 376 | ||
665 | /** | 377 | /** |
666 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
667 | * <!-- begin-user-doc --> | ||
668 | * <!-- end-user-doc --> | ||
669 | * @generated | ||
670 | * @ordered | ||
671 | */ | ||
672 | int IF_ELSE__ABSTRACT = EXPRESSION__ABSTRACT; | ||
673 | |||
674 | /** | ||
675 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
676 | * <!-- begin-user-doc --> | ||
677 | * <!-- end-user-doc --> | ||
678 | * @generated | ||
679 | * @ordered | ||
680 | */ | ||
681 | int IF_ELSE__NAME = EXPRESSION__NAME; | ||
682 | |||
683 | /** | ||
684 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
685 | * <!-- begin-user-doc --> | ||
686 | * <!-- end-user-doc --> | ||
687 | * @generated | ||
688 | * @ordered | ||
689 | */ | ||
690 | int IF_ELSE__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
691 | |||
692 | /** | ||
693 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
694 | * <!-- begin-user-doc --> | ||
695 | * <!-- end-user-doc --> | ||
696 | * @generated | ||
697 | * @ordered | ||
698 | */ | ||
699 | int IF_ELSE__MEMBERS = EXPRESSION__MEMBERS; | ||
700 | |||
701 | /** | ||
702 | * The feature id for the '<em><b>Condition</b></em>' containment reference. | 378 | * The feature id for the '<em><b>Condition</b></em>' containment reference. |
703 | * <!-- begin-user-doc --> | 379 | * <!-- begin-user-doc --> |
704 | * <!-- end-user-doc --> | 380 | * <!-- end-user-doc --> |
@@ -745,42 +421,6 @@ public interface SolverLanguagePackage extends EPackage | |||
745 | int CASE = 10; | 421 | int CASE = 10; |
746 | 422 | ||
747 | /** | 423 | /** |
748 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
749 | * <!-- begin-user-doc --> | ||
750 | * <!-- end-user-doc --> | ||
751 | * @generated | ||
752 | * @ordered | ||
753 | */ | ||
754 | int CASE__ABSTRACT = EXPRESSION__ABSTRACT; | ||
755 | |||
756 | /** | ||
757 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
758 | * <!-- begin-user-doc --> | ||
759 | * <!-- end-user-doc --> | ||
760 | * @generated | ||
761 | * @ordered | ||
762 | */ | ||
763 | int CASE__NAME = EXPRESSION__NAME; | ||
764 | |||
765 | /** | ||
766 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
767 | * <!-- begin-user-doc --> | ||
768 | * <!-- end-user-doc --> | ||
769 | * @generated | ||
770 | * @ordered | ||
771 | */ | ||
772 | int CASE__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
773 | |||
774 | /** | ||
775 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
776 | * <!-- begin-user-doc --> | ||
777 | * <!-- end-user-doc --> | ||
778 | * @generated | ||
779 | * @ordered | ||
780 | */ | ||
781 | int CASE__MEMBERS = EXPRESSION__MEMBERS; | ||
782 | |||
783 | /** | ||
784 | * The feature id for the '<em><b>Condition</b></em>' containment reference. | 424 | * The feature id for the '<em><b>Condition</b></em>' containment reference. |
785 | * <!-- begin-user-doc --> | 425 | * <!-- begin-user-doc --> |
786 | * <!-- end-user-doc --> | 426 | * <!-- end-user-doc --> |
@@ -818,42 +458,6 @@ public interface SolverLanguagePackage extends EPackage | |||
818 | int COUNT = 11; | 458 | int COUNT = 11; |
819 | 459 | ||
820 | /** | 460 | /** |
821 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
822 | * <!-- begin-user-doc --> | ||
823 | * <!-- end-user-doc --> | ||
824 | * @generated | ||
825 | * @ordered | ||
826 | */ | ||
827 | int COUNT__ABSTRACT = EXPRESSION__ABSTRACT; | ||
828 | |||
829 | /** | ||
830 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
831 | * <!-- begin-user-doc --> | ||
832 | * <!-- end-user-doc --> | ||
833 | * @generated | ||
834 | * @ordered | ||
835 | */ | ||
836 | int COUNT__NAME = EXPRESSION__NAME; | ||
837 | |||
838 | /** | ||
839 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
840 | * <!-- begin-user-doc --> | ||
841 | * <!-- end-user-doc --> | ||
842 | * @generated | ||
843 | * @ordered | ||
844 | */ | ||
845 | int COUNT__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
846 | |||
847 | /** | ||
848 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
849 | * <!-- begin-user-doc --> | ||
850 | * <!-- end-user-doc --> | ||
851 | * @generated | ||
852 | * @ordered | ||
853 | */ | ||
854 | int COUNT__MEMBERS = EXPRESSION__MEMBERS; | ||
855 | |||
856 | /** | ||
857 | * The feature id for the '<em><b>Body</b></em>' containment reference. | 461 | * The feature id for the '<em><b>Body</b></em>' containment reference. |
858 | * <!-- begin-user-doc --> | 462 | * <!-- begin-user-doc --> |
859 | * <!-- end-user-doc --> | 463 | * <!-- end-user-doc --> |
@@ -882,42 +486,6 @@ public interface SolverLanguagePackage extends EPackage | |||
882 | int AGGREGATION = 12; | 486 | int AGGREGATION = 12; |
883 | 487 | ||
884 | /** | 488 | /** |
885 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
886 | * <!-- begin-user-doc --> | ||
887 | * <!-- end-user-doc --> | ||
888 | * @generated | ||
889 | * @ordered | ||
890 | */ | ||
891 | int AGGREGATION__ABSTRACT = EXPRESSION__ABSTRACT; | ||
892 | |||
893 | /** | ||
894 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
895 | * <!-- begin-user-doc --> | ||
896 | * <!-- end-user-doc --> | ||
897 | * @generated | ||
898 | * @ordered | ||
899 | */ | ||
900 | int AGGREGATION__NAME = EXPRESSION__NAME; | ||
901 | |||
902 | /** | ||
903 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
904 | * <!-- begin-user-doc --> | ||
905 | * <!-- end-user-doc --> | ||
906 | * @generated | ||
907 | * @ordered | ||
908 | */ | ||
909 | int AGGREGATION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
910 | |||
911 | /** | ||
912 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
913 | * <!-- begin-user-doc --> | ||
914 | * <!-- end-user-doc --> | ||
915 | * @generated | ||
916 | * @ordered | ||
917 | */ | ||
918 | int AGGREGATION__MEMBERS = EXPRESSION__MEMBERS; | ||
919 | |||
920 | /** | ||
921 | * The feature id for the '<em><b>Op</b></em>' attribute. | 489 | * The feature id for the '<em><b>Op</b></em>' attribute. |
922 | * <!-- begin-user-doc --> | 490 | * <!-- begin-user-doc --> |
923 | * <!-- end-user-doc --> | 491 | * <!-- end-user-doc --> |
@@ -964,42 +532,6 @@ public interface SolverLanguagePackage extends EPackage | |||
964 | int CALL = 13; | 532 | int CALL = 13; |
965 | 533 | ||
966 | /** | 534 | /** |
967 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
968 | * <!-- begin-user-doc --> | ||
969 | * <!-- end-user-doc --> | ||
970 | * @generated | ||
971 | * @ordered | ||
972 | */ | ||
973 | int CALL__ABSTRACT = EXPRESSION__ABSTRACT; | ||
974 | |||
975 | /** | ||
976 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
977 | * <!-- begin-user-doc --> | ||
978 | * <!-- end-user-doc --> | ||
979 | * @generated | ||
980 | * @ordered | ||
981 | */ | ||
982 | int CALL__NAME = EXPRESSION__NAME; | ||
983 | |||
984 | /** | ||
985 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
986 | * <!-- begin-user-doc --> | ||
987 | * <!-- end-user-doc --> | ||
988 | * @generated | ||
989 | * @ordered | ||
990 | */ | ||
991 | int CALL__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
992 | |||
993 | /** | ||
994 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
995 | * <!-- begin-user-doc --> | ||
996 | * <!-- end-user-doc --> | ||
997 | * @generated | ||
998 | * @ordered | ||
999 | */ | ||
1000 | int CALL__MEMBERS = EXPRESSION__MEMBERS; | ||
1001 | |||
1002 | /** | ||
1003 | * The feature id for the '<em><b>Functor</b></em>' containment reference. | 535 | * The feature id for the '<em><b>Functor</b></em>' containment reference. |
1004 | * <!-- begin-user-doc --> | 536 | * <!-- begin-user-doc --> |
1005 | * <!-- end-user-doc --> | 537 | * <!-- end-user-doc --> |
@@ -1009,31 +541,31 @@ public interface SolverLanguagePackage extends EPackage | |||
1009 | int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0; | 541 | int CALL__FUNCTOR = EXPRESSION_FEATURE_COUNT + 0; |
1010 | 542 | ||
1011 | /** | 543 | /** |
1012 | * The feature id for the '<em><b>Argument List</b></em>' containment reference. | 544 | * The feature id for the '<em><b>Transitive Closure</b></em>' attribute. |
1013 | * <!-- begin-user-doc --> | 545 | * <!-- begin-user-doc --> |
1014 | * <!-- end-user-doc --> | 546 | * <!-- end-user-doc --> |
1015 | * @generated | 547 | * @generated |
1016 | * @ordered | 548 | * @ordered |
1017 | */ | 549 | */ |
1018 | int CALL__ARGUMENT_LIST = EXPRESSION_FEATURE_COUNT + 1; | 550 | int CALL__TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 1; |
1019 | 551 | ||
1020 | /** | 552 | /** |
1021 | * The feature id for the '<em><b>Transitive Closure</b></em>' attribute. | 553 | * The feature id for the '<em><b>Reflexive Transitive Closure</b></em>' attribute. |
1022 | * <!-- begin-user-doc --> | 554 | * <!-- begin-user-doc --> |
1023 | * <!-- end-user-doc --> | 555 | * <!-- end-user-doc --> |
1024 | * @generated | 556 | * @generated |
1025 | * @ordered | 557 | * @ordered |
1026 | */ | 558 | */ |
1027 | int CALL__TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 2; | 559 | int CALL__REFLEXIVE_TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 2; |
1028 | 560 | ||
1029 | /** | 561 | /** |
1030 | * The feature id for the '<em><b>Reflexive Transitive Closure</b></em>' attribute. | 562 | * The feature id for the '<em><b>Argument List</b></em>' containment reference. |
1031 | * <!-- begin-user-doc --> | 563 | * <!-- begin-user-doc --> |
1032 | * <!-- end-user-doc --> | 564 | * <!-- end-user-doc --> |
1033 | * @generated | 565 | * @generated |
1034 | * @ordered | 566 | * @ordered |
1035 | */ | 567 | */ |
1036 | int CALL__REFLEXIVE_TRANSITIVE_CLOSURE = EXPRESSION_FEATURE_COUNT + 3; | 568 | int CALL__ARGUMENT_LIST = EXPRESSION_FEATURE_COUNT + 3; |
1037 | 569 | ||
1038 | /** | 570 | /** |
1039 | * The number of structural features of the '<em>Call</em>' class. | 571 | * The number of structural features of the '<em>Call</em>' class. |
@@ -1214,42 +746,6 @@ public interface SolverLanguagePackage extends EPackage | |||
1214 | int REFERENCE = 20; | 746 | int REFERENCE = 20; |
1215 | 747 | ||
1216 | /** | 748 | /** |
1217 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1218 | * <!-- begin-user-doc --> | ||
1219 | * <!-- end-user-doc --> | ||
1220 | * @generated | ||
1221 | * @ordered | ||
1222 | */ | ||
1223 | int REFERENCE__ABSTRACT = EXPRESSION__ABSTRACT; | ||
1224 | |||
1225 | /** | ||
1226 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1227 | * <!-- begin-user-doc --> | ||
1228 | * <!-- end-user-doc --> | ||
1229 | * @generated | ||
1230 | * @ordered | ||
1231 | */ | ||
1232 | int REFERENCE__NAME = EXPRESSION__NAME; | ||
1233 | |||
1234 | /** | ||
1235 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1236 | * <!-- begin-user-doc --> | ||
1237 | * <!-- end-user-doc --> | ||
1238 | * @generated | ||
1239 | * @ordered | ||
1240 | */ | ||
1241 | int REFERENCE__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
1242 | |||
1243 | /** | ||
1244 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1245 | * <!-- begin-user-doc --> | ||
1246 | * <!-- end-user-doc --> | ||
1247 | * @generated | ||
1248 | * @ordered | ||
1249 | */ | ||
1250 | int REFERENCE__MEMBERS = EXPRESSION__MEMBERS; | ||
1251 | |||
1252 | /** | ||
1253 | * The feature id for the '<em><b>Referred</b></em>' reference. | 749 | * The feature id for the '<em><b>Referred</b></em>' reference. |
1254 | * <!-- begin-user-doc --> | 750 | * <!-- begin-user-doc --> |
1255 | * <!-- end-user-doc --> | 751 | * <!-- end-user-doc --> |
@@ -1278,42 +774,6 @@ public interface SolverLanguagePackage extends EPackage | |||
1278 | int INTERVAL = 21; | 774 | int INTERVAL = 21; |
1279 | 775 | ||
1280 | /** | 776 | /** |
1281 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1282 | * <!-- begin-user-doc --> | ||
1283 | * <!-- end-user-doc --> | ||
1284 | * @generated | ||
1285 | * @ordered | ||
1286 | */ | ||
1287 | int INTERVAL__ABSTRACT = EXPRESSION__ABSTRACT; | ||
1288 | |||
1289 | /** | ||
1290 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1291 | * <!-- begin-user-doc --> | ||
1292 | * <!-- end-user-doc --> | ||
1293 | * @generated | ||
1294 | * @ordered | ||
1295 | */ | ||
1296 | int INTERVAL__NAME = EXPRESSION__NAME; | ||
1297 | |||
1298 | /** | ||
1299 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1300 | * <!-- begin-user-doc --> | ||
1301 | * <!-- end-user-doc --> | ||
1302 | * @generated | ||
1303 | * @ordered | ||
1304 | */ | ||
1305 | int INTERVAL__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
1306 | |||
1307 | /** | ||
1308 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1309 | * <!-- begin-user-doc --> | ||
1310 | * <!-- end-user-doc --> | ||
1311 | * @generated | ||
1312 | * @ordered | ||
1313 | */ | ||
1314 | int INTERVAL__MEMBERS = EXPRESSION__MEMBERS; | ||
1315 | |||
1316 | /** | ||
1317 | * The feature id for the '<em><b>Lower Bound</b></em>' containment reference. | 777 | * The feature id for the '<em><b>Lower Bound</b></em>' containment reference. |
1318 | * <!-- begin-user-doc --> | 778 | * <!-- begin-user-doc --> |
1319 | * <!-- end-user-doc --> | 779 | * <!-- end-user-doc --> |
@@ -1351,42 +811,6 @@ public interface SolverLanguagePackage extends EPackage | |||
1351 | int LITERAL = 22; | 811 | int LITERAL = 22; |
1352 | 812 | ||
1353 | /** | 813 | /** |
1354 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1355 | * <!-- begin-user-doc --> | ||
1356 | * <!-- end-user-doc --> | ||
1357 | * @generated | ||
1358 | * @ordered | ||
1359 | */ | ||
1360 | int LITERAL__ABSTRACT = EXPRESSION__ABSTRACT; | ||
1361 | |||
1362 | /** | ||
1363 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1364 | * <!-- begin-user-doc --> | ||
1365 | * <!-- end-user-doc --> | ||
1366 | * @generated | ||
1367 | * @ordered | ||
1368 | */ | ||
1369 | int LITERAL__NAME = EXPRESSION__NAME; | ||
1370 | |||
1371 | /** | ||
1372 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1373 | * <!-- begin-user-doc --> | ||
1374 | * <!-- end-user-doc --> | ||
1375 | * @generated | ||
1376 | * @ordered | ||
1377 | */ | ||
1378 | int LITERAL__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
1379 | |||
1380 | /** | ||
1381 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1382 | * <!-- begin-user-doc --> | ||
1383 | * <!-- end-user-doc --> | ||
1384 | * @generated | ||
1385 | * @ordered | ||
1386 | */ | ||
1387 | int LITERAL__MEMBERS = EXPRESSION__MEMBERS; | ||
1388 | |||
1389 | /** | ||
1390 | * The number of structural features of the '<em>Literal</em>' class. | 814 | * The number of structural features of the '<em>Literal</em>' class. |
1391 | * <!-- begin-user-doc --> | 815 | * <!-- begin-user-doc --> |
1392 | * <!-- end-user-doc --> | 816 | * <!-- end-user-doc --> |
@@ -1406,42 +830,6 @@ public interface SolverLanguagePackage extends EPackage | |||
1406 | int LOGIC_LITERAL = 23; | 830 | int LOGIC_LITERAL = 23; |
1407 | 831 | ||
1408 | /** | 832 | /** |
1409 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1410 | * <!-- begin-user-doc --> | ||
1411 | * <!-- end-user-doc --> | ||
1412 | * @generated | ||
1413 | * @ordered | ||
1414 | */ | ||
1415 | int LOGIC_LITERAL__ABSTRACT = LITERAL__ABSTRACT; | ||
1416 | |||
1417 | /** | ||
1418 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1419 | * <!-- begin-user-doc --> | ||
1420 | * <!-- end-user-doc --> | ||
1421 | * @generated | ||
1422 | * @ordered | ||
1423 | */ | ||
1424 | int LOGIC_LITERAL__NAME = LITERAL__NAME; | ||
1425 | |||
1426 | /** | ||
1427 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1428 | * <!-- begin-user-doc --> | ||
1429 | * <!-- end-user-doc --> | ||
1430 | * @generated | ||
1431 | * @ordered | ||
1432 | */ | ||
1433 | int LOGIC_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; | ||
1434 | |||
1435 | /** | ||
1436 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1437 | * <!-- begin-user-doc --> | ||
1438 | * <!-- end-user-doc --> | ||
1439 | * @generated | ||
1440 | * @ordered | ||
1441 | */ | ||
1442 | int LOGIC_LITERAL__MEMBERS = LITERAL__MEMBERS; | ||
1443 | |||
1444 | /** | ||
1445 | * The feature id for the '<em><b>Value</b></em>' attribute. | 833 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1446 | * <!-- begin-user-doc --> | 834 | * <!-- begin-user-doc --> |
1447 | * <!-- end-user-doc --> | 835 | * <!-- end-user-doc --> |
@@ -1470,42 +858,6 @@ public interface SolverLanguagePackage extends EPackage | |||
1470 | int NUMERIC_LITERAL = 24; | 858 | int NUMERIC_LITERAL = 24; |
1471 | 859 | ||
1472 | /** | 860 | /** |
1473 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1474 | * <!-- begin-user-doc --> | ||
1475 | * <!-- end-user-doc --> | ||
1476 | * @generated | ||
1477 | * @ordered | ||
1478 | */ | ||
1479 | int NUMERIC_LITERAL__ABSTRACT = LITERAL__ABSTRACT; | ||
1480 | |||
1481 | /** | ||
1482 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1483 | * <!-- begin-user-doc --> | ||
1484 | * <!-- end-user-doc --> | ||
1485 | * @generated | ||
1486 | * @ordered | ||
1487 | */ | ||
1488 | int NUMERIC_LITERAL__NAME = LITERAL__NAME; | ||
1489 | |||
1490 | /** | ||
1491 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1492 | * <!-- begin-user-doc --> | ||
1493 | * <!-- end-user-doc --> | ||
1494 | * @generated | ||
1495 | * @ordered | ||
1496 | */ | ||
1497 | int NUMERIC_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; | ||
1498 | |||
1499 | /** | ||
1500 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1501 | * <!-- begin-user-doc --> | ||
1502 | * <!-- end-user-doc --> | ||
1503 | * @generated | ||
1504 | * @ordered | ||
1505 | */ | ||
1506 | int NUMERIC_LITERAL__MEMBERS = LITERAL__MEMBERS; | ||
1507 | |||
1508 | /** | ||
1509 | * The feature id for the '<em><b>Value</b></em>' attribute. | 861 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1510 | * <!-- begin-user-doc --> | 862 | * <!-- begin-user-doc --> |
1511 | * <!-- end-user-doc --> | 863 | * <!-- end-user-doc --> |
@@ -1534,42 +886,6 @@ public interface SolverLanguagePackage extends EPackage | |||
1534 | int INFINITY_LITERAL = 25; | 886 | int INFINITY_LITERAL = 25; |
1535 | 887 | ||
1536 | /** | 888 | /** |
1537 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1538 | * <!-- begin-user-doc --> | ||
1539 | * <!-- end-user-doc --> | ||
1540 | * @generated | ||
1541 | * @ordered | ||
1542 | */ | ||
1543 | int INFINITY_LITERAL__ABSTRACT = LITERAL__ABSTRACT; | ||
1544 | |||
1545 | /** | ||
1546 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1547 | * <!-- begin-user-doc --> | ||
1548 | * <!-- end-user-doc --> | ||
1549 | * @generated | ||
1550 | * @ordered | ||
1551 | */ | ||
1552 | int INFINITY_LITERAL__NAME = LITERAL__NAME; | ||
1553 | |||
1554 | /** | ||
1555 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1556 | * <!-- begin-user-doc --> | ||
1557 | * <!-- end-user-doc --> | ||
1558 | * @generated | ||
1559 | * @ordered | ||
1560 | */ | ||
1561 | int INFINITY_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; | ||
1562 | |||
1563 | /** | ||
1564 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1565 | * <!-- begin-user-doc --> | ||
1566 | * <!-- end-user-doc --> | ||
1567 | * @generated | ||
1568 | * @ordered | ||
1569 | */ | ||
1570 | int INFINITY_LITERAL__MEMBERS = LITERAL__MEMBERS; | ||
1571 | |||
1572 | /** | ||
1573 | * The number of structural features of the '<em>Infinity Literal</em>' class. | 889 | * The number of structural features of the '<em>Infinity Literal</em>' class. |
1574 | * <!-- begin-user-doc --> | 890 | * <!-- begin-user-doc --> |
1575 | * <!-- end-user-doc --> | 891 | * <!-- end-user-doc --> |
@@ -1589,59 +905,51 @@ public interface SolverLanguagePackage extends EPackage | |||
1589 | int EMPTY_INTERVAL_LITERAL = 26; | 905 | int EMPTY_INTERVAL_LITERAL = 26; |
1590 | 906 | ||
1591 | /** | 907 | /** |
1592 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | 908 | * The number of structural features of the '<em>Empty Interval Literal</em>' class. |
1593 | * <!-- begin-user-doc --> | ||
1594 | * <!-- end-user-doc --> | ||
1595 | * @generated | ||
1596 | * @ordered | ||
1597 | */ | ||
1598 | int EMPTY_INTERVAL_LITERAL__ABSTRACT = LITERAL__ABSTRACT; | ||
1599 | |||
1600 | /** | ||
1601 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1602 | * <!-- begin-user-doc --> | 909 | * <!-- begin-user-doc --> |
1603 | * <!-- end-user-doc --> | 910 | * <!-- end-user-doc --> |
1604 | * @generated | 911 | * @generated |
1605 | * @ordered | 912 | * @ordered |
1606 | */ | 913 | */ |
1607 | int EMPTY_INTERVAL_LITERAL__NAME = LITERAL__NAME; | 914 | int EMPTY_INTERVAL_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0; |
1608 | 915 | ||
1609 | /** | 916 | /** |
1610 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | 917 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl <em>String Literal</em>}' class. |
1611 | * <!-- begin-user-doc --> | 918 | * <!-- begin-user-doc --> |
1612 | * <!-- end-user-doc --> | 919 | * <!-- end-user-doc --> |
920 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl | ||
921 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral() | ||
1613 | * @generated | 922 | * @generated |
1614 | * @ordered | ||
1615 | */ | 923 | */ |
1616 | int EMPTY_INTERVAL_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; | 924 | int STRING_LITERAL = 27; |
1617 | 925 | ||
1618 | /** | 926 | /** |
1619 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | 927 | * The feature id for the '<em><b>Value</b></em>' attribute. |
1620 | * <!-- begin-user-doc --> | 928 | * <!-- begin-user-doc --> |
1621 | * <!-- end-user-doc --> | 929 | * <!-- end-user-doc --> |
1622 | * @generated | 930 | * @generated |
1623 | * @ordered | 931 | * @ordered |
1624 | */ | 932 | */ |
1625 | int EMPTY_INTERVAL_LITERAL__MEMBERS = LITERAL__MEMBERS; | 933 | int STRING_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0; |
1626 | 934 | ||
1627 | /** | 935 | /** |
1628 | * The number of structural features of the '<em>Empty Interval Literal</em>' class. | 936 | * The number of structural features of the '<em>String Literal</em>' class. |
1629 | * <!-- begin-user-doc --> | 937 | * <!-- begin-user-doc --> |
1630 | * <!-- end-user-doc --> | 938 | * <!-- end-user-doc --> |
1631 | * @generated | 939 | * @generated |
1632 | * @ordered | 940 | * @ordered |
1633 | */ | 941 | */ |
1634 | int EMPTY_INTERVAL_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 0; | 942 | int STRING_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1; |
1635 | 943 | ||
1636 | /** | 944 | /** |
1637 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl <em>String Literal</em>}' class. | 945 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl <em>Class Definition</em>}' class. |
1638 | * <!-- begin-user-doc --> | 946 | * <!-- begin-user-doc --> |
1639 | * <!-- end-user-doc --> | 947 | * <!-- end-user-doc --> |
1640 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.StringLiteralImpl | 948 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl |
1641 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getStringLiteral() | 949 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition() |
1642 | * @generated | 950 | * @generated |
1643 | */ | 951 | */ |
1644 | int STRING_LITERAL = 27; | 952 | int CLASS_DEFINITION = 28; |
1645 | 953 | ||
1646 | /** | 954 | /** |
1647 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | 955 | * The feature id for the '<em><b>Abstract</b></em>' attribute. |
@@ -1650,7 +958,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1650 | * @generated | 958 | * @generated |
1651 | * @ordered | 959 | * @ordered |
1652 | */ | 960 | */ |
1653 | int STRING_LITERAL__ABSTRACT = LITERAL__ABSTRACT; | 961 | int CLASS_DEFINITION__ABSTRACT = STATEMENT_FEATURE_COUNT + 0; |
1654 | 962 | ||
1655 | /** | 963 | /** |
1656 | * The feature id for the '<em><b>Name</b></em>' attribute. | 964 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1659,7 +967,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1659 | * @generated | 967 | * @generated |
1660 | * @ordered | 968 | * @ordered |
1661 | */ | 969 | */ |
1662 | int STRING_LITERAL__NAME = LITERAL__NAME; | 970 | int CLASS_DEFINITION__NAME = STATEMENT_FEATURE_COUNT + 1; |
1663 | 971 | ||
1664 | /** | 972 | /** |
1665 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | 973 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. |
@@ -1668,7 +976,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1668 | * @generated | 976 | * @generated |
1669 | * @ordered | 977 | * @ordered |
1670 | */ | 978 | */ |
1671 | int STRING_LITERAL__SUPERCLASSES = LITERAL__SUPERCLASSES; | 979 | int CLASS_DEFINITION__SUPERCLASSES = STATEMENT_FEATURE_COUNT + 2; |
1672 | 980 | ||
1673 | /** | 981 | /** |
1674 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | 982 | * The feature id for the '<em><b>Members</b></em>' containment reference list. |
@@ -1677,25 +985,16 @@ public interface SolverLanguagePackage extends EPackage | |||
1677 | * @generated | 985 | * @generated |
1678 | * @ordered | 986 | * @ordered |
1679 | */ | 987 | */ |
1680 | int STRING_LITERAL__MEMBERS = LITERAL__MEMBERS; | 988 | int CLASS_DEFINITION__MEMBERS = STATEMENT_FEATURE_COUNT + 3; |
1681 | 989 | ||
1682 | /** | 990 | /** |
1683 | * The feature id for the '<em><b>Value</b></em>' attribute. | 991 | * The number of structural features of the '<em>Class Definition</em>' class. |
1684 | * <!-- begin-user-doc --> | 992 | * <!-- begin-user-doc --> |
1685 | * <!-- end-user-doc --> | 993 | * <!-- end-user-doc --> |
1686 | * @generated | 994 | * @generated |
1687 | * @ordered | 995 | * @ordered |
1688 | */ | 996 | */ |
1689 | int STRING_LITERAL__VALUE = LITERAL_FEATURE_COUNT + 0; | 997 | int CLASS_DEFINITION_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4; |
1690 | |||
1691 | /** | ||
1692 | * The number of structural features of the '<em>String Literal</em>' class. | ||
1693 | * <!-- begin-user-doc --> | ||
1694 | * <!-- end-user-doc --> | ||
1695 | * @generated | ||
1696 | * @ordered | ||
1697 | */ | ||
1698 | int STRING_LITERAL_FEATURE_COUNT = LITERAL_FEATURE_COUNT + 1; | ||
1699 | 998 | ||
1700 | /** | 999 | /** |
1701 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class. | 1000 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class. |
@@ -1705,7 +1004,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1705 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition() | 1004 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMemberDefinition() |
1706 | * @generated | 1005 | * @generated |
1707 | */ | 1006 | */ |
1708 | int MEMBER_DEFINITION = 28; | 1007 | int MEMBER_DEFINITION = 29; |
1709 | 1008 | ||
1710 | /** | 1009 | /** |
1711 | * The feature id for the '<em><b>Containment</b></em>' attribute. | 1010 | * The feature id for the '<em><b>Containment</b></em>' attribute. |
@@ -1769,7 +1068,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1769 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity() | 1068 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicity() |
1770 | * @generated | 1069 | * @generated |
1771 | */ | 1070 | */ |
1772 | int MULTIPLICITY = 29; | 1071 | int MULTIPLICITY = 30; |
1773 | 1072 | ||
1774 | /** | 1073 | /** |
1775 | * The number of structural features of the '<em>Multiplicity</em>' class. | 1074 | * The number of structural features of the '<em>Multiplicity</em>' class. |
@@ -1788,7 +1087,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1788 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity() | 1087 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getManyMultiplicity() |
1789 | * @generated | 1088 | * @generated |
1790 | */ | 1089 | */ |
1791 | int MANY_MULTIPLICITY = 30; | 1090 | int MANY_MULTIPLICITY = 31; |
1792 | 1091 | ||
1793 | /** | 1092 | /** |
1794 | * The number of structural features of the '<em>Many Multiplicity</em>' class. | 1093 | * The number of structural features of the '<em>Many Multiplicity</em>' class. |
@@ -1807,7 +1106,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1807 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity() | 1106 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactMultiplicity() |
1808 | * @generated | 1107 | * @generated |
1809 | */ | 1108 | */ |
1810 | int EXACT_MULTIPLICITY = 31; | 1109 | int EXACT_MULTIPLICITY = 32; |
1811 | 1110 | ||
1812 | /** | 1111 | /** |
1813 | * The feature id for the '<em><b>Multiplicity</b></em>' attribute. | 1112 | * The feature id for the '<em><b>Multiplicity</b></em>' attribute. |
@@ -1835,7 +1134,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1835 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity() | 1134 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedMultiplicity() |
1836 | * @generated | 1135 | * @generated |
1837 | */ | 1136 | */ |
1838 | int BOUNDED_MULTIPLICITY = 32; | 1137 | int BOUNDED_MULTIPLICITY = 33; |
1839 | 1138 | ||
1840 | /** | 1139 | /** |
1841 | * The feature id for the '<em><b>Lower Bound</b></em>' attribute. | 1140 | * The feature id for the '<em><b>Lower Bound</b></em>' attribute. |
@@ -1872,43 +1171,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1872 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition() | 1171 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getScopeDefinition() |
1873 | * @generated | 1172 | * @generated |
1874 | */ | 1173 | */ |
1875 | int SCOPE_DEFINITION = 33; | 1174 | int SCOPE_DEFINITION = 34; |
1876 | |||
1877 | /** | ||
1878 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1879 | * <!-- begin-user-doc --> | ||
1880 | * <!-- end-user-doc --> | ||
1881 | * @generated | ||
1882 | * @ordered | ||
1883 | */ | ||
1884 | int SCOPE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
1885 | |||
1886 | /** | ||
1887 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1888 | * <!-- begin-user-doc --> | ||
1889 | * <!-- end-user-doc --> | ||
1890 | * @generated | ||
1891 | * @ordered | ||
1892 | */ | ||
1893 | int SCOPE_DEFINITION__NAME = STATEMENT__NAME; | ||
1894 | |||
1895 | /** | ||
1896 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1897 | * <!-- begin-user-doc --> | ||
1898 | * <!-- end-user-doc --> | ||
1899 | * @generated | ||
1900 | * @ordered | ||
1901 | */ | ||
1902 | int SCOPE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
1903 | |||
1904 | /** | ||
1905 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1906 | * <!-- begin-user-doc --> | ||
1907 | * <!-- end-user-doc --> | ||
1908 | * @generated | ||
1909 | * @ordered | ||
1910 | */ | ||
1911 | int SCOPE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
1912 | 1175 | ||
1913 | /** | 1176 | /** |
1914 | * The feature id for the '<em><b>Type</b></em>' reference. | 1177 | * The feature id for the '<em><b>Type</b></em>' reference. |
@@ -1936,43 +1199,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1936 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition() | 1199 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getExactScopeDefinition() |
1937 | * @generated | 1200 | * @generated |
1938 | */ | 1201 | */ |
1939 | int EXACT_SCOPE_DEFINITION = 34; | 1202 | int EXACT_SCOPE_DEFINITION = 35; |
1940 | |||
1941 | /** | ||
1942 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
1943 | * <!-- begin-user-doc --> | ||
1944 | * <!-- end-user-doc --> | ||
1945 | * @generated | ||
1946 | * @ordered | ||
1947 | */ | ||
1948 | int EXACT_SCOPE_DEFINITION__ABSTRACT = SCOPE_DEFINITION__ABSTRACT; | ||
1949 | |||
1950 | /** | ||
1951 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
1952 | * <!-- begin-user-doc --> | ||
1953 | * <!-- end-user-doc --> | ||
1954 | * @generated | ||
1955 | * @ordered | ||
1956 | */ | ||
1957 | int EXACT_SCOPE_DEFINITION__NAME = SCOPE_DEFINITION__NAME; | ||
1958 | |||
1959 | /** | ||
1960 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
1961 | * <!-- begin-user-doc --> | ||
1962 | * <!-- end-user-doc --> | ||
1963 | * @generated | ||
1964 | * @ordered | ||
1965 | */ | ||
1966 | int EXACT_SCOPE_DEFINITION__SUPERCLASSES = SCOPE_DEFINITION__SUPERCLASSES; | ||
1967 | |||
1968 | /** | ||
1969 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
1970 | * <!-- begin-user-doc --> | ||
1971 | * <!-- end-user-doc --> | ||
1972 | * @generated | ||
1973 | * @ordered | ||
1974 | */ | ||
1975 | int EXACT_SCOPE_DEFINITION__MEMBERS = SCOPE_DEFINITION__MEMBERS; | ||
1976 | 1203 | ||
1977 | /** | 1204 | /** |
1978 | * The feature id for the '<em><b>Type</b></em>' reference. | 1205 | * The feature id for the '<em><b>Type</b></em>' reference. |
@@ -2009,43 +1236,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2009 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition() | 1236 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBoundedScopeDefinition() |
2010 | * @generated | 1237 | * @generated |
2011 | */ | 1238 | */ |
2012 | int BOUNDED_SCOPE_DEFINITION = 35; | 1239 | int BOUNDED_SCOPE_DEFINITION = 36; |
2013 | |||
2014 | /** | ||
2015 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2016 | * <!-- begin-user-doc --> | ||
2017 | * <!-- end-user-doc --> | ||
2018 | * @generated | ||
2019 | * @ordered | ||
2020 | */ | ||
2021 | int BOUNDED_SCOPE_DEFINITION__ABSTRACT = SCOPE_DEFINITION__ABSTRACT; | ||
2022 | |||
2023 | /** | ||
2024 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2025 | * <!-- begin-user-doc --> | ||
2026 | * <!-- end-user-doc --> | ||
2027 | * @generated | ||
2028 | * @ordered | ||
2029 | */ | ||
2030 | int BOUNDED_SCOPE_DEFINITION__NAME = SCOPE_DEFINITION__NAME; | ||
2031 | |||
2032 | /** | ||
2033 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2034 | * <!-- begin-user-doc --> | ||
2035 | * <!-- end-user-doc --> | ||
2036 | * @generated | ||
2037 | * @ordered | ||
2038 | */ | ||
2039 | int BOUNDED_SCOPE_DEFINITION__SUPERCLASSES = SCOPE_DEFINITION__SUPERCLASSES; | ||
2040 | |||
2041 | /** | ||
2042 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2043 | * <!-- begin-user-doc --> | ||
2044 | * <!-- end-user-doc --> | ||
2045 | * @generated | ||
2046 | * @ordered | ||
2047 | */ | ||
2048 | int BOUNDED_SCOPE_DEFINITION__MEMBERS = SCOPE_DEFINITION__MEMBERS; | ||
2049 | 1240 | ||
2050 | /** | 1241 | /** |
2051 | * The feature id for the '<em><b>Type</b></em>' reference. | 1242 | * The feature id for the '<em><b>Type</b></em>' reference. |
@@ -2091,43 +1282,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2091 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition() | 1282 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLowerBoundedScopeDefinition() |
2092 | * @generated | 1283 | * @generated |
2093 | */ | 1284 | */ |
2094 | int LOWER_BOUNDED_SCOPE_DEFINITION = 36; | 1285 | int LOWER_BOUNDED_SCOPE_DEFINITION = 37; |
2095 | |||
2096 | /** | ||
2097 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2098 | * <!-- begin-user-doc --> | ||
2099 | * <!-- end-user-doc --> | ||
2100 | * @generated | ||
2101 | * @ordered | ||
2102 | */ | ||
2103 | int LOWER_BOUNDED_SCOPE_DEFINITION__ABSTRACT = SCOPE_DEFINITION__ABSTRACT; | ||
2104 | |||
2105 | /** | ||
2106 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2107 | * <!-- begin-user-doc --> | ||
2108 | * <!-- end-user-doc --> | ||
2109 | * @generated | ||
2110 | * @ordered | ||
2111 | */ | ||
2112 | int LOWER_BOUNDED_SCOPE_DEFINITION__NAME = SCOPE_DEFINITION__NAME; | ||
2113 | |||
2114 | /** | ||
2115 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2116 | * <!-- begin-user-doc --> | ||
2117 | * <!-- end-user-doc --> | ||
2118 | * @generated | ||
2119 | * @ordered | ||
2120 | */ | ||
2121 | int LOWER_BOUNDED_SCOPE_DEFINITION__SUPERCLASSES = SCOPE_DEFINITION__SUPERCLASSES; | ||
2122 | |||
2123 | /** | ||
2124 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2125 | * <!-- begin-user-doc --> | ||
2126 | * <!-- end-user-doc --> | ||
2127 | * @generated | ||
2128 | * @ordered | ||
2129 | */ | ||
2130 | int LOWER_BOUNDED_SCOPE_DEFINITION__MEMBERS = SCOPE_DEFINITION__MEMBERS; | ||
2131 | 1286 | ||
2132 | /** | 1287 | /** |
2133 | * The feature id for the '<em><b>Type</b></em>' reference. | 1288 | * The feature id for the '<em><b>Type</b></em>' reference. |
@@ -2164,43 +1319,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2164 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition() | 1319 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveDefinition() |
2165 | * @generated | 1320 | * @generated |
2166 | */ | 1321 | */ |
2167 | int OBJECTIVE_DEFINITION = 37; | 1322 | int OBJECTIVE_DEFINITION = 38; |
2168 | |||
2169 | /** | ||
2170 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2171 | * <!-- begin-user-doc --> | ||
2172 | * <!-- end-user-doc --> | ||
2173 | * @generated | ||
2174 | * @ordered | ||
2175 | */ | ||
2176 | int OBJECTIVE_DEFINITION__ABSTRACT = STATEMENT__ABSTRACT; | ||
2177 | |||
2178 | /** | ||
2179 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2180 | * <!-- begin-user-doc --> | ||
2181 | * <!-- end-user-doc --> | ||
2182 | * @generated | ||
2183 | * @ordered | ||
2184 | */ | ||
2185 | int OBJECTIVE_DEFINITION__NAME = STATEMENT__NAME; | ||
2186 | |||
2187 | /** | ||
2188 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2189 | * <!-- begin-user-doc --> | ||
2190 | * <!-- end-user-doc --> | ||
2191 | * @generated | ||
2192 | * @ordered | ||
2193 | */ | ||
2194 | int OBJECTIVE_DEFINITION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
2195 | |||
2196 | /** | ||
2197 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2198 | * <!-- begin-user-doc --> | ||
2199 | * <!-- end-user-doc --> | ||
2200 | * @generated | ||
2201 | * @ordered | ||
2202 | */ | ||
2203 | int OBJECTIVE_DEFINITION__MEMBERS = STATEMENT__MEMBERS; | ||
2204 | 1323 | ||
2205 | /** | 1324 | /** |
2206 | * The feature id for the '<em><b>Kind</b></em>' attribute. | 1325 | * The feature id for the '<em><b>Kind</b></em>' attribute. |
@@ -2237,7 +1356,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2237 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement() | 1356 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNamedElement() |
2238 | * @generated | 1357 | * @generated |
2239 | */ | 1358 | */ |
2240 | int NAMED_ELEMENT = 38; | 1359 | int NAMED_ELEMENT = 39; |
2241 | 1360 | ||
2242 | /** | 1361 | /** |
2243 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1362 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -2265,43 +1384,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2265 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion() | 1384 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAssertion() |
2266 | * @generated | 1385 | * @generated |
2267 | */ | 1386 | */ |
2268 | int ASSERTION = 39; | 1387 | int ASSERTION = 40; |
2269 | |||
2270 | /** | ||
2271 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2272 | * <!-- begin-user-doc --> | ||
2273 | * <!-- end-user-doc --> | ||
2274 | * @generated | ||
2275 | * @ordered | ||
2276 | */ | ||
2277 | int ASSERTION__ABSTRACT = STATEMENT__ABSTRACT; | ||
2278 | |||
2279 | /** | ||
2280 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2281 | * <!-- begin-user-doc --> | ||
2282 | * <!-- end-user-doc --> | ||
2283 | * @generated | ||
2284 | * @ordered | ||
2285 | */ | ||
2286 | int ASSERTION__NAME = STATEMENT__NAME; | ||
2287 | |||
2288 | /** | ||
2289 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2290 | * <!-- begin-user-doc --> | ||
2291 | * <!-- end-user-doc --> | ||
2292 | * @generated | ||
2293 | * @ordered | ||
2294 | */ | ||
2295 | int ASSERTION__SUPERCLASSES = STATEMENT__SUPERCLASSES; | ||
2296 | |||
2297 | /** | ||
2298 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2299 | * <!-- begin-user-doc --> | ||
2300 | * <!-- end-user-doc --> | ||
2301 | * @generated | ||
2302 | * @ordered | ||
2303 | */ | ||
2304 | int ASSERTION__MEMBERS = STATEMENT__MEMBERS; | ||
2305 | 1388 | ||
2306 | /** | 1389 | /** |
2307 | * The feature id for the '<em><b>Body</b></em>' containment reference. | 1390 | * The feature id for the '<em><b>Body</b></em>' containment reference. |
@@ -2338,43 +1421,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2338 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction() | 1421 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDisjunction() |
2339 | * @generated | 1422 | * @generated |
2340 | */ | 1423 | */ |
2341 | int DISJUNCTION = 40; | 1424 | int DISJUNCTION = 41; |
2342 | |||
2343 | /** | ||
2344 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2345 | * <!-- begin-user-doc --> | ||
2346 | * <!-- end-user-doc --> | ||
2347 | * @generated | ||
2348 | * @ordered | ||
2349 | */ | ||
2350 | int DISJUNCTION__ABSTRACT = EXPRESSION__ABSTRACT; | ||
2351 | |||
2352 | /** | ||
2353 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2354 | * <!-- begin-user-doc --> | ||
2355 | * <!-- end-user-doc --> | ||
2356 | * @generated | ||
2357 | * @ordered | ||
2358 | */ | ||
2359 | int DISJUNCTION__NAME = EXPRESSION__NAME; | ||
2360 | |||
2361 | /** | ||
2362 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2363 | * <!-- begin-user-doc --> | ||
2364 | * <!-- end-user-doc --> | ||
2365 | * @generated | ||
2366 | * @ordered | ||
2367 | */ | ||
2368 | int DISJUNCTION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
2369 | |||
2370 | /** | ||
2371 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2372 | * <!-- begin-user-doc --> | ||
2373 | * <!-- end-user-doc --> | ||
2374 | * @generated | ||
2375 | * @ordered | ||
2376 | */ | ||
2377 | int DISJUNCTION__MEMBERS = EXPRESSION__MEMBERS; | ||
2378 | 1425 | ||
2379 | /** | 1426 | /** |
2380 | * The feature id for the '<em><b>Children</b></em>' containment reference list. | 1427 | * The feature id for the '<em><b>Children</b></em>' containment reference list. |
@@ -2402,43 +1449,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2402 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch() | 1449 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getSwitch() |
2403 | * @generated | 1450 | * @generated |
2404 | */ | 1451 | */ |
2405 | int SWITCH = 41; | 1452 | int SWITCH = 42; |
2406 | |||
2407 | /** | ||
2408 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2409 | * <!-- begin-user-doc --> | ||
2410 | * <!-- end-user-doc --> | ||
2411 | * @generated | ||
2412 | * @ordered | ||
2413 | */ | ||
2414 | int SWITCH__ABSTRACT = EXPRESSION__ABSTRACT; | ||
2415 | |||
2416 | /** | ||
2417 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2418 | * <!-- begin-user-doc --> | ||
2419 | * <!-- end-user-doc --> | ||
2420 | * @generated | ||
2421 | * @ordered | ||
2422 | */ | ||
2423 | int SWITCH__NAME = EXPRESSION__NAME; | ||
2424 | |||
2425 | /** | ||
2426 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2427 | * <!-- begin-user-doc --> | ||
2428 | * <!-- end-user-doc --> | ||
2429 | * @generated | ||
2430 | * @ordered | ||
2431 | */ | ||
2432 | int SWITCH__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
2433 | |||
2434 | /** | ||
2435 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2436 | * <!-- begin-user-doc --> | ||
2437 | * <!-- end-user-doc --> | ||
2438 | * @generated | ||
2439 | * @ordered | ||
2440 | */ | ||
2441 | int SWITCH__MEMBERS = EXPRESSION__MEMBERS; | ||
2442 | 1453 | ||
2443 | /** | 1454 | /** |
2444 | * The feature id for the '<em><b>Cases</b></em>' containment reference list. | 1455 | * The feature id for the '<em><b>Cases</b></em>' containment reference list. |
@@ -2466,43 +1477,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2466 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction() | 1477 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConjunction() |
2467 | * @generated | 1478 | * @generated |
2468 | */ | 1479 | */ |
2469 | int CONJUNCTION = 42; | 1480 | int CONJUNCTION = 43; |
2470 | |||
2471 | /** | ||
2472 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2473 | * <!-- begin-user-doc --> | ||
2474 | * <!-- end-user-doc --> | ||
2475 | * @generated | ||
2476 | * @ordered | ||
2477 | */ | ||
2478 | int CONJUNCTION__ABSTRACT = EXPRESSION__ABSTRACT; | ||
2479 | |||
2480 | /** | ||
2481 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2482 | * <!-- begin-user-doc --> | ||
2483 | * <!-- end-user-doc --> | ||
2484 | * @generated | ||
2485 | * @ordered | ||
2486 | */ | ||
2487 | int CONJUNCTION__NAME = EXPRESSION__NAME; | ||
2488 | |||
2489 | /** | ||
2490 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2491 | * <!-- begin-user-doc --> | ||
2492 | * <!-- end-user-doc --> | ||
2493 | * @generated | ||
2494 | * @ordered | ||
2495 | */ | ||
2496 | int CONJUNCTION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
2497 | |||
2498 | /** | ||
2499 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2500 | * <!-- begin-user-doc --> | ||
2501 | * <!-- end-user-doc --> | ||
2502 | * @generated | ||
2503 | * @ordered | ||
2504 | */ | ||
2505 | int CONJUNCTION__MEMBERS = EXPRESSION__MEMBERS; | ||
2506 | 1481 | ||
2507 | /** | 1482 | /** |
2508 | * The feature id for the '<em><b>Children</b></em>' containment reference list. | 1483 | * The feature id for the '<em><b>Children</b></em>' containment reference list. |
@@ -2530,43 +1505,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2530 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison() | 1505 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getComparison() |
2531 | * @generated | 1506 | * @generated |
2532 | */ | 1507 | */ |
2533 | int COMPARISON = 43; | 1508 | int COMPARISON = 44; |
2534 | |||
2535 | /** | ||
2536 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2537 | * <!-- begin-user-doc --> | ||
2538 | * <!-- end-user-doc --> | ||
2539 | * @generated | ||
2540 | * @ordered | ||
2541 | */ | ||
2542 | int COMPARISON__ABSTRACT = EXPRESSION__ABSTRACT; | ||
2543 | |||
2544 | /** | ||
2545 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2546 | * <!-- begin-user-doc --> | ||
2547 | * <!-- end-user-doc --> | ||
2548 | * @generated | ||
2549 | * @ordered | ||
2550 | */ | ||
2551 | int COMPARISON__NAME = EXPRESSION__NAME; | ||
2552 | |||
2553 | /** | ||
2554 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2555 | * <!-- begin-user-doc --> | ||
2556 | * <!-- end-user-doc --> | ||
2557 | * @generated | ||
2558 | * @ordered | ||
2559 | */ | ||
2560 | int COMPARISON__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
2561 | |||
2562 | /** | ||
2563 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2564 | * <!-- begin-user-doc --> | ||
2565 | * <!-- end-user-doc --> | ||
2566 | * @generated | ||
2567 | * @ordered | ||
2568 | */ | ||
2569 | int COMPARISON__MEMBERS = EXPRESSION__MEMBERS; | ||
2570 | 1509 | ||
2571 | /** | 1510 | /** |
2572 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1511 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -2612,43 +1551,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2612 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression() | 1551 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryExpression() |
2613 | * @generated | 1552 | * @generated |
2614 | */ | 1553 | */ |
2615 | int BINARY_EXPRESSION = 44; | 1554 | int BINARY_EXPRESSION = 45; |
2616 | |||
2617 | /** | ||
2618 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2619 | * <!-- begin-user-doc --> | ||
2620 | * <!-- end-user-doc --> | ||
2621 | * @generated | ||
2622 | * @ordered | ||
2623 | */ | ||
2624 | int BINARY_EXPRESSION__ABSTRACT = EXPRESSION__ABSTRACT; | ||
2625 | |||
2626 | /** | ||
2627 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2628 | * <!-- begin-user-doc --> | ||
2629 | * <!-- end-user-doc --> | ||
2630 | * @generated | ||
2631 | * @ordered | ||
2632 | */ | ||
2633 | int BINARY_EXPRESSION__NAME = EXPRESSION__NAME; | ||
2634 | |||
2635 | /** | ||
2636 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2637 | * <!-- begin-user-doc --> | ||
2638 | * <!-- end-user-doc --> | ||
2639 | * @generated | ||
2640 | * @ordered | ||
2641 | */ | ||
2642 | int BINARY_EXPRESSION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
2643 | |||
2644 | /** | ||
2645 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2646 | * <!-- begin-user-doc --> | ||
2647 | * <!-- end-user-doc --> | ||
2648 | * @generated | ||
2649 | * @ordered | ||
2650 | */ | ||
2651 | int BINARY_EXPRESSION__MEMBERS = EXPRESSION__MEMBERS; | ||
2652 | 1555 | ||
2653 | /** | 1556 | /** |
2654 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1557 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -2694,43 +1597,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2694 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression() | 1597 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryExpression() |
2695 | * @generated | 1598 | * @generated |
2696 | */ | 1599 | */ |
2697 | int UNARY_EXPRESSION = 45; | 1600 | int UNARY_EXPRESSION = 46; |
2698 | |||
2699 | /** | ||
2700 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | ||
2701 | * <!-- begin-user-doc --> | ||
2702 | * <!-- end-user-doc --> | ||
2703 | * @generated | ||
2704 | * @ordered | ||
2705 | */ | ||
2706 | int UNARY_EXPRESSION__ABSTRACT = EXPRESSION__ABSTRACT; | ||
2707 | |||
2708 | /** | ||
2709 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
2710 | * <!-- begin-user-doc --> | ||
2711 | * <!-- end-user-doc --> | ||
2712 | * @generated | ||
2713 | * @ordered | ||
2714 | */ | ||
2715 | int UNARY_EXPRESSION__NAME = EXPRESSION__NAME; | ||
2716 | |||
2717 | /** | ||
2718 | * The feature id for the '<em><b>Superclasses</b></em>' reference list. | ||
2719 | * <!-- begin-user-doc --> | ||
2720 | * <!-- end-user-doc --> | ||
2721 | * @generated | ||
2722 | * @ordered | ||
2723 | */ | ||
2724 | int UNARY_EXPRESSION__SUPERCLASSES = EXPRESSION__SUPERCLASSES; | ||
2725 | |||
2726 | /** | ||
2727 | * The feature id for the '<em><b>Members</b></em>' containment reference list. | ||
2728 | * <!-- begin-user-doc --> | ||
2729 | * <!-- end-user-doc --> | ||
2730 | * @generated | ||
2731 | * @ordered | ||
2732 | */ | ||
2733 | int UNARY_EXPRESSION__MEMBERS = EXPRESSION__MEMBERS; | ||
2734 | 1601 | ||
2735 | /** | 1602 | /** |
2736 | * The feature id for the '<em><b>Op</b></em>' attribute. | 1603 | * The feature id for the '<em><b>Op</b></em>' attribute. |
@@ -2767,7 +1634,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2767 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricType() | 1634 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMetricType() |
2768 | * @generated | 1635 | * @generated |
2769 | */ | 1636 | */ |
2770 | int METRIC_TYPE = 46; | 1637 | int METRIC_TYPE = 47; |
2771 | 1638 | ||
2772 | /** | 1639 | /** |
2773 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}' enum. | 1640 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.BinaryOperator <em>Binary Operator</em>}' enum. |
@@ -2777,7 +1644,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2777 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator() | 1644 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBinaryOperator() |
2778 | * @generated | 1645 | * @generated |
2779 | */ | 1646 | */ |
2780 | int BINARY_OPERATOR = 47; | 1647 | int BINARY_OPERATOR = 48; |
2781 | 1648 | ||
2782 | /** | 1649 | /** |
2783 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}' enum. | 1650 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.UnaryOp <em>Unary Op</em>}' enum. |
@@ -2787,7 +1654,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2787 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp() | 1654 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnaryOp() |
2788 | * @generated | 1655 | * @generated |
2789 | */ | 1656 | */ |
2790 | int UNARY_OP = 48; | 1657 | int UNARY_OP = 49; |
2791 | 1658 | ||
2792 | /** | 1659 | /** |
2793 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp <em>Aggregation Op</em>}' enum. | 1660 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.AggregationOp <em>Aggregation Op</em>}' enum. |
@@ -2797,7 +1664,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2797 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOp() | 1664 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAggregationOp() |
2798 | * @generated | 1665 | * @generated |
2799 | */ | 1666 | */ |
2800 | int AGGREGATION_OP = 49; | 1667 | int AGGREGATION_OP = 50; |
2801 | 1668 | ||
2802 | /** | 1669 | /** |
2803 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}' enum. | 1670 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.LogicValue <em>Logic Value</em>}' enum. |
@@ -2807,7 +1674,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2807 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue() | 1674 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLogicValue() |
2808 | * @generated | 1675 | * @generated |
2809 | */ | 1676 | */ |
2810 | int LOGIC_VALUE = 50; | 1677 | int LOGIC_VALUE = 51; |
2811 | 1678 | ||
2812 | /** | 1679 | /** |
2813 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}' enum. | 1680 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.ObjectiveKind <em>Objective Kind</em>}' enum. |
@@ -2817,7 +1684,7 @@ public interface SolverLanguagePackage extends EPackage | |||
2817 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind() | 1684 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getObjectiveKind() |
2818 | * @generated | 1685 | * @generated |
2819 | */ | 1686 | */ |
2820 | int OBJECTIVE_KIND = 51; | 1687 | int OBJECTIVE_KIND = 52; |
2821 | 1688 | ||
2822 | 1689 | ||
2823 | /** | 1690 | /** |
@@ -2852,50 +1719,6 @@ public interface SolverLanguagePackage extends EPackage | |||
2852 | EClass getStatement(); | 1719 | EClass getStatement(); |
2853 | 1720 | ||
2854 | /** | 1721 | /** |
2855 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#isAbstract <em>Abstract</em>}'. | ||
2856 | * <!-- begin-user-doc --> | ||
2857 | * <!-- end-user-doc --> | ||
2858 | * @return the meta object for the attribute '<em>Abstract</em>'. | ||
2859 | * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#isAbstract() | ||
2860 | * @see #getStatement() | ||
2861 | * @generated | ||
2862 | */ | ||
2863 | EAttribute getStatement_Abstract(); | ||
2864 | |||
2865 | /** | ||
2866 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getName <em>Name</em>}'. | ||
2867 | * <!-- begin-user-doc --> | ||
2868 | * <!-- end-user-doc --> | ||
2869 | * @return the meta object for the attribute '<em>Name</em>'. | ||
2870 | * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#getName() | ||
2871 | * @see #getStatement() | ||
2872 | * @generated | ||
2873 | */ | ||
2874 | EAttribute getStatement_Name(); | ||
2875 | |||
2876 | /** | ||
2877 | * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getSuperclasses <em>Superclasses</em>}'. | ||
2878 | * <!-- begin-user-doc --> | ||
2879 | * <!-- end-user-doc --> | ||
2880 | * @return the meta object for the reference list '<em>Superclasses</em>'. | ||
2881 | * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#getSuperclasses() | ||
2882 | * @see #getStatement() | ||
2883 | * @generated | ||
2884 | */ | ||
2885 | EReference getStatement_Superclasses(); | ||
2886 | |||
2887 | /** | ||
2888 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Statement#getMembers <em>Members</em>}'. | ||
2889 | * <!-- begin-user-doc --> | ||
2890 | * <!-- end-user-doc --> | ||
2891 | * @return the meta object for the containment reference list '<em>Members</em>'. | ||
2892 | * @see org.eclipse.viatra.solver.language.solverLanguage.Statement#getMembers() | ||
2893 | * @see #getStatement() | ||
2894 | * @generated | ||
2895 | */ | ||
2896 | EReference getStatement_Members(); | ||
2897 | |||
2898 | /** | ||
2899 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'. | 1722 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateDefinition <em>Predicate Definition</em>}'. |
2900 | * <!-- begin-user-doc --> | 1723 | * <!-- begin-user-doc --> |
2901 | * <!-- end-user-doc --> | 1724 | * <!-- end-user-doc --> |
@@ -3280,17 +2103,6 @@ public interface SolverLanguagePackage extends EPackage | |||
3280 | EReference getCall_Functor(); | 2103 | EReference getCall_Functor(); |
3281 | 2104 | ||
3282 | /** | 2105 | /** |
3283 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}'. | ||
3284 | * <!-- begin-user-doc --> | ||
3285 | * <!-- end-user-doc --> | ||
3286 | * @return the meta object for the containment reference '<em>Argument List</em>'. | ||
3287 | * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList() | ||
3288 | * @see #getCall() | ||
3289 | * @generated | ||
3290 | */ | ||
3291 | EReference getCall_ArgumentList(); | ||
3292 | |||
3293 | /** | ||
3294 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure <em>Transitive Closure</em>}'. | 2106 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#isTransitiveClosure <em>Transitive Closure</em>}'. |
3295 | * <!-- begin-user-doc --> | 2107 | * <!-- begin-user-doc --> |
3296 | * <!-- end-user-doc --> | 2108 | * <!-- end-user-doc --> |
@@ -3313,6 +2125,17 @@ public interface SolverLanguagePackage extends EPackage | |||
3313 | EAttribute getCall_ReflexiveTransitiveClosure(); | 2125 | EAttribute getCall_ReflexiveTransitiveClosure(); |
3314 | 2126 | ||
3315 | /** | 2127 | /** |
2128 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList <em>Argument List</em>}'. | ||
2129 | * <!-- begin-user-doc --> | ||
2130 | * <!-- end-user-doc --> | ||
2131 | * @return the meta object for the containment reference '<em>Argument List</em>'. | ||
2132 | * @see org.eclipse.viatra.solver.language.solverLanguage.Call#getArgumentList() | ||
2133 | * @see #getCall() | ||
2134 | * @generated | ||
2135 | */ | ||
2136 | EReference getCall_ArgumentList(); | ||
2137 | |||
2138 | /** | ||
3316 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'. | 2139 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ArgumentList <em>Argument List</em>}'. |
3317 | * <!-- begin-user-doc --> | 2140 | * <!-- begin-user-doc --> |
3318 | * <!-- end-user-doc --> | 2141 | * <!-- end-user-doc --> |
@@ -3574,6 +2397,60 @@ public interface SolverLanguagePackage extends EPackage | |||
3574 | EAttribute getStringLiteral_Value(); | 2397 | EAttribute getStringLiteral_Value(); |
3575 | 2398 | ||
3576 | /** | 2399 | /** |
2400 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition <em>Class Definition</em>}'. | ||
2401 | * <!-- begin-user-doc --> | ||
2402 | * <!-- end-user-doc --> | ||
2403 | * @return the meta object for class '<em>Class Definition</em>'. | ||
2404 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition | ||
2405 | * @generated | ||
2406 | */ | ||
2407 | EClass getClassDefinition(); | ||
2408 | |||
2409 | /** | ||
2410 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract <em>Abstract</em>}'. | ||
2411 | * <!-- begin-user-doc --> | ||
2412 | * <!-- end-user-doc --> | ||
2413 | * @return the meta object for the attribute '<em>Abstract</em>'. | ||
2414 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#isAbstract() | ||
2415 | * @see #getClassDefinition() | ||
2416 | * @generated | ||
2417 | */ | ||
2418 | EAttribute getClassDefinition_Abstract(); | ||
2419 | |||
2420 | /** | ||
2421 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName <em>Name</em>}'. | ||
2422 | * <!-- begin-user-doc --> | ||
2423 | * <!-- end-user-doc --> | ||
2424 | * @return the meta object for the attribute '<em>Name</em>'. | ||
2425 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getName() | ||
2426 | * @see #getClassDefinition() | ||
2427 | * @generated | ||
2428 | */ | ||
2429 | EAttribute getClassDefinition_Name(); | ||
2430 | |||
2431 | /** | ||
2432 | * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses <em>Superclasses</em>}'. | ||
2433 | * <!-- begin-user-doc --> | ||
2434 | * <!-- end-user-doc --> | ||
2435 | * @return the meta object for the reference list '<em>Superclasses</em>'. | ||
2436 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getSuperclasses() | ||
2437 | * @see #getClassDefinition() | ||
2438 | * @generated | ||
2439 | */ | ||
2440 | EReference getClassDefinition_Superclasses(); | ||
2441 | |||
2442 | /** | ||
2443 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers <em>Members</em>}'. | ||
2444 | * <!-- begin-user-doc --> | ||
2445 | * <!-- end-user-doc --> | ||
2446 | * @return the meta object for the containment reference list '<em>Members</em>'. | ||
2447 | * @see org.eclipse.viatra.solver.language.solverLanguage.ClassDefinition#getMembers() | ||
2448 | * @see #getClassDefinition() | ||
2449 | * @generated | ||
2450 | */ | ||
2451 | EReference getClassDefinition_Members(); | ||
2452 | |||
2453 | /** | ||
3577 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'. | 2454 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.MemberDefinition <em>Member Definition</em>}'. |
3578 | * <!-- begin-user-doc --> | 2455 | * <!-- begin-user-doc --> |
3579 | * <!-- end-user-doc --> | 2456 | * <!-- end-user-doc --> |
@@ -4184,38 +3061,6 @@ public interface SolverLanguagePackage extends EPackage | |||
4184 | EClass STATEMENT = eINSTANCE.getStatement(); | 3061 | EClass STATEMENT = eINSTANCE.getStatement(); |
4185 | 3062 | ||
4186 | /** | 3063 | /** |
4187 | * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature. | ||
4188 | * <!-- begin-user-doc --> | ||
4189 | * <!-- end-user-doc --> | ||
4190 | * @generated | ||
4191 | */ | ||
4192 | EAttribute STATEMENT__ABSTRACT = eINSTANCE.getStatement_Abstract(); | ||
4193 | |||
4194 | /** | ||
4195 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
4196 | * <!-- begin-user-doc --> | ||
4197 | * <!-- end-user-doc --> | ||
4198 | * @generated | ||
4199 | */ | ||
4200 | EAttribute STATEMENT__NAME = eINSTANCE.getStatement_Name(); | ||
4201 | |||
4202 | /** | ||
4203 | * The meta object literal for the '<em><b>Superclasses</b></em>' reference list feature. | ||
4204 | * <!-- begin-user-doc --> | ||
4205 | * <!-- end-user-doc --> | ||
4206 | * @generated | ||
4207 | */ | ||
4208 | EReference STATEMENT__SUPERCLASSES = eINSTANCE.getStatement_Superclasses(); | ||
4209 | |||
4210 | /** | ||
4211 | * The meta object literal for the '<em><b>Members</b></em>' containment reference list feature. | ||
4212 | * <!-- begin-user-doc --> | ||
4213 | * <!-- end-user-doc --> | ||
4214 | * @generated | ||
4215 | */ | ||
4216 | EReference STATEMENT__MEMBERS = eINSTANCE.getStatement_Members(); | ||
4217 | |||
4218 | /** | ||
4219 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class. | 3064 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateDefinitionImpl <em>Predicate Definition</em>}' class. |
4220 | * <!-- begin-user-doc --> | 3065 | * <!-- begin-user-doc --> |
4221 | * <!-- end-user-doc --> | 3066 | * <!-- end-user-doc --> |
@@ -4528,28 +3373,28 @@ public interface SolverLanguagePackage extends EPackage | |||
4528 | EReference CALL__FUNCTOR = eINSTANCE.getCall_Functor(); | 3373 | EReference CALL__FUNCTOR = eINSTANCE.getCall_Functor(); |
4529 | 3374 | ||
4530 | /** | 3375 | /** |
4531 | * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature. | 3376 | * The meta object literal for the '<em><b>Transitive Closure</b></em>' attribute feature. |
4532 | * <!-- begin-user-doc --> | 3377 | * <!-- begin-user-doc --> |
4533 | * <!-- end-user-doc --> | 3378 | * <!-- end-user-doc --> |
4534 | * @generated | 3379 | * @generated |
4535 | */ | 3380 | */ |
4536 | EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList(); | 3381 | EAttribute CALL__TRANSITIVE_CLOSURE = eINSTANCE.getCall_TransitiveClosure(); |
4537 | 3382 | ||
4538 | /** | 3383 | /** |
4539 | * The meta object literal for the '<em><b>Transitive Closure</b></em>' attribute feature. | 3384 | * The meta object literal for the '<em><b>Reflexive Transitive Closure</b></em>' attribute feature. |
4540 | * <!-- begin-user-doc --> | 3385 | * <!-- begin-user-doc --> |
4541 | * <!-- end-user-doc --> | 3386 | * <!-- end-user-doc --> |
4542 | * @generated | 3387 | * @generated |
4543 | */ | 3388 | */ |
4544 | EAttribute CALL__TRANSITIVE_CLOSURE = eINSTANCE.getCall_TransitiveClosure(); | 3389 | EAttribute CALL__REFLEXIVE_TRANSITIVE_CLOSURE = eINSTANCE.getCall_ReflexiveTransitiveClosure(); |
4545 | 3390 | ||
4546 | /** | 3391 | /** |
4547 | * The meta object literal for the '<em><b>Reflexive Transitive Closure</b></em>' attribute feature. | 3392 | * The meta object literal for the '<em><b>Argument List</b></em>' containment reference feature. |
4548 | * <!-- begin-user-doc --> | 3393 | * <!-- begin-user-doc --> |
4549 | * <!-- end-user-doc --> | 3394 | * <!-- end-user-doc --> |
4550 | * @generated | 3395 | * @generated |
4551 | */ | 3396 | */ |
4552 | EAttribute CALL__REFLEXIVE_TRANSITIVE_CLOSURE = eINSTANCE.getCall_ReflexiveTransitiveClosure(); | 3397 | EReference CALL__ARGUMENT_LIST = eINSTANCE.getCall_ArgumentList(); |
4553 | 3398 | ||
4554 | /** | 3399 | /** |
4555 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl <em>Argument List</em>}' class. | 3400 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ArgumentListImpl <em>Argument List</em>}' class. |
@@ -4780,6 +3625,48 @@ public interface SolverLanguagePackage extends EPackage | |||
4780 | EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); | 3625 | EAttribute STRING_LITERAL__VALUE = eINSTANCE.getStringLiteral_Value(); |
4781 | 3626 | ||
4782 | /** | 3627 | /** |
3628 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl <em>Class Definition</em>}' class. | ||
3629 | * <!-- begin-user-doc --> | ||
3630 | * <!-- end-user-doc --> | ||
3631 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ClassDefinitionImpl | ||
3632 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassDefinition() | ||
3633 | * @generated | ||
3634 | */ | ||
3635 | EClass CLASS_DEFINITION = eINSTANCE.getClassDefinition(); | ||
3636 | |||
3637 | /** | ||
3638 | * The meta object literal for the '<em><b>Abstract</b></em>' attribute feature. | ||
3639 | * <!-- begin-user-doc --> | ||
3640 | * <!-- end-user-doc --> | ||
3641 | * @generated | ||
3642 | */ | ||
3643 | EAttribute CLASS_DEFINITION__ABSTRACT = eINSTANCE.getClassDefinition_Abstract(); | ||
3644 | |||
3645 | /** | ||
3646 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
3647 | * <!-- begin-user-doc --> | ||
3648 | * <!-- end-user-doc --> | ||
3649 | * @generated | ||
3650 | */ | ||
3651 | EAttribute CLASS_DEFINITION__NAME = eINSTANCE.getClassDefinition_Name(); | ||
3652 | |||
3653 | /** | ||
3654 | * The meta object literal for the '<em><b>Superclasses</b></em>' reference list feature. | ||
3655 | * <!-- begin-user-doc --> | ||
3656 | * <!-- end-user-doc --> | ||
3657 | * @generated | ||
3658 | */ | ||
3659 | EReference CLASS_DEFINITION__SUPERCLASSES = eINSTANCE.getClassDefinition_Superclasses(); | ||
3660 | |||
3661 | /** | ||
3662 | * The meta object literal for the '<em><b>Members</b></em>' containment reference list feature. | ||
3663 | * <!-- begin-user-doc --> | ||
3664 | * <!-- end-user-doc --> | ||
3665 | * @generated | ||
3666 | */ | ||
3667 | EReference CLASS_DEFINITION__MEMBERS = eINSTANCE.getClassDefinition_Members(); | ||
3668 | |||
3669 | /** | ||
4783 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class. | 3670 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.MemberDefinitionImpl <em>Member Definition</em>}' class. |
4784 | * <!-- begin-user-doc --> | 3671 | * <!-- begin-user-doc --> |
4785 | * <!-- end-user-doc --> | 3672 | * <!-- end-user-doc --> |