aboutsummaryrefslogtreecommitdiffstats
path: root/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java')
-rw-r--r--language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java1535
1 files changed, 0 insertions, 1535 deletions
diff --git a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java b/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java
deleted file mode 100644
index ee72c538..00000000
--- a/language-model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/impl/ProblemPackageImpl.java
+++ /dev/null
@@ -1,1535 +0,0 @@
1/**
2 */
3package org.eclipse.viatra.solver.language.model.problem.impl;
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
11import org.eclipse.emf.ecore.impl.EPackageImpl;
12
13import org.eclipse.viatra.solver.language.model.problem.Argument;
14import org.eclipse.viatra.solver.language.model.problem.Assertion;
15import org.eclipse.viatra.solver.language.model.problem.AssertionArgument;
16import org.eclipse.viatra.solver.language.model.problem.Atom;
17import org.eclipse.viatra.solver.language.model.problem.ClassDeclaration;
18import org.eclipse.viatra.solver.language.model.problem.Conjunction;
19import org.eclipse.viatra.solver.language.model.problem.Constant;
20import org.eclipse.viatra.solver.language.model.problem.ConstantArgument;
21import org.eclipse.viatra.solver.language.model.problem.ConstantAssertionArgument;
22import org.eclipse.viatra.solver.language.model.problem.EnumDeclaration;
23import org.eclipse.viatra.solver.language.model.problem.ExactMultiplicity;
24import org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier;
25import org.eclipse.viatra.solver.language.model.problem.ImplicitVariable;
26import org.eclipse.viatra.solver.language.model.problem.IntConstant;
27import org.eclipse.viatra.solver.language.model.problem.Literal;
28import org.eclipse.viatra.solver.language.model.problem.LogicValue;
29import org.eclipse.viatra.solver.language.model.problem.Multiplicity;
30import org.eclipse.viatra.solver.language.model.problem.NamedElement;
31import org.eclipse.viatra.solver.language.model.problem.NegativeLiteral;
32import org.eclipse.viatra.solver.language.model.problem.Node;
33import org.eclipse.viatra.solver.language.model.problem.NodeAssertionArgument;
34import org.eclipse.viatra.solver.language.model.problem.NodeValueAssertion;
35import org.eclipse.viatra.solver.language.model.problem.Parameter;
36import org.eclipse.viatra.solver.language.model.problem.PredicateDefinition;
37import org.eclipse.viatra.solver.language.model.problem.Problem;
38import org.eclipse.viatra.solver.language.model.problem.ProblemFactory;
39import org.eclipse.viatra.solver.language.model.problem.ProblemPackage;
40import org.eclipse.viatra.solver.language.model.problem.RangeMultiplicity;
41import org.eclipse.viatra.solver.language.model.problem.RealConstant;
42import org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration;
43import org.eclipse.viatra.solver.language.model.problem.Relation;
44import org.eclipse.viatra.solver.language.model.problem.ScopeDeclaration;
45import org.eclipse.viatra.solver.language.model.problem.Statement;
46import org.eclipse.viatra.solver.language.model.problem.StringConstant;
47import org.eclipse.viatra.solver.language.model.problem.TypeScope;
48import org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity;
49import org.eclipse.viatra.solver.language.model.problem.Variable;
50import org.eclipse.viatra.solver.language.model.problem.VariableOrNode;
51import org.eclipse.viatra.solver.language.model.problem.VariableOrNodeArgument;
52
53/**
54 * <!-- begin-user-doc -->
55 * An implementation of the model <b>Package</b>.
56 * <!-- end-user-doc -->
57 * @generated
58 */
59public class ProblemPackageImpl extends EPackageImpl implements ProblemPackage {
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 private EClass problemEClass = null;
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 private EClass relationEClass = null;
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 private EClass classDeclarationEClass = null;
80
81 /**
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 private EClass referenceDeclarationEClass = null;
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 private EClass namedElementEClass = null;
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 private EClass predicateDefinitionEClass = null;
101
102 /**
103 * <!-- begin-user-doc -->
104 * <!-- end-user-doc -->
105 * @generated
106 */
107 private EClass parameterEClass = null;
108
109 /**
110 * <!-- begin-user-doc -->
111 * <!-- end-user-doc -->
112 * @generated
113 */
114 private EClass variableEClass = null;
115
116 /**
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 */
121 private EClass conjunctionEClass = null;
122
123 /**
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 */
128 private EClass literalEClass = null;
129
130 /**
131 * <!-- begin-user-doc -->
132 * <!-- end-user-doc -->
133 * @generated
134 */
135 private EClass atomEClass = null;
136
137 /**
138 * <!-- begin-user-doc -->
139 * <!-- end-user-doc -->
140 * @generated
141 */
142 private EClass implicitVariableEClass = null;
143
144 /**
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 */
149 private EClass negativeLiteralEClass = null;
150
151 /**
152 * <!-- begin-user-doc -->
153 * <!-- end-user-doc -->
154 * @generated
155 */
156 private EClass existentialQuantifierEClass = null;
157
158 /**
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @generated
162 */
163 private EClass assertionEClass = null;
164
165 /**
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 */
170 private EClass nodeEClass = null;
171
172 /**
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 */
177 private EClass scopeDeclarationEClass = null;
178
179 /**
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @generated
183 */
184 private EClass statementEClass = null;
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 private EClass typeScopeEClass = null;
192
193 /**
194 * <!-- begin-user-doc -->
195 * <!-- end-user-doc -->
196 * @generated
197 */
198 private EClass multiplicityEClass = null;
199
200 /**
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 */
205 private EClass rangeMultiplicityEClass = null;
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 private EClass exactMultiplicityEClass = null;
213
214 /**
215 * <!-- begin-user-doc -->
216 * <!-- end-user-doc -->
217 * @generated
218 */
219 private EClass unboundedMultiplicityEClass = null;
220
221 /**
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 */
226 private EClass variableOrNodeArgumentEClass = null;
227
228 /**
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 */
233 private EClass argumentEClass = null;
234
235 /**
236 * <!-- begin-user-doc -->
237 * <!-- end-user-doc -->
238 * @generated
239 */
240 private EClass nodeAssertionArgumentEClass = null;
241
242 /**
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @generated
246 */
247 private EClass assertionArgumentEClass = null;
248
249 /**
250 * <!-- begin-user-doc -->
251 * <!-- end-user-doc -->
252 * @generated
253 */
254 private EClass constantAssertionArgumentEClass = null;
255
256 /**
257 * <!-- begin-user-doc -->
258 * <!-- end-user-doc -->
259 * @generated
260 */
261 private EClass nodeValueAssertionEClass = null;
262
263 /**
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @generated
267 */
268 private EClass enumDeclarationEClass = null;
269
270 /**
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 */
275 private EClass variableOrNodeEClass = null;
276
277 /**
278 * <!-- begin-user-doc -->
279 * <!-- end-user-doc -->
280 * @generated
281 */
282 private EClass constantEClass = null;
283
284 /**
285 * <!-- begin-user-doc -->
286 * <!-- end-user-doc -->
287 * @generated
288 */
289 private EClass intConstantEClass = null;
290
291 /**
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 */
296 private EClass realConstantEClass = null;
297
298 /**
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 private EClass stringConstantEClass = null;
304
305 /**
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @generated
309 */
310 private EClass constantArgumentEClass = null;
311
312 /**
313 * <!-- begin-user-doc -->
314 * <!-- end-user-doc -->
315 * @generated
316 */
317 private EEnum logicValueEEnum = null;
318
319 /**
320 * Creates an instance of the model <b>Package</b>, registered with
321 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
322 * package URI value.
323 * <p>Note: the correct way to create the package is via the static
324 * factory method {@link #init init()}, which also performs
325 * initialization of the package, or returns the registered package,
326 * if one already exists.
327 * <!-- begin-user-doc -->
328 * <!-- end-user-doc -->
329 * @see org.eclipse.emf.ecore.EPackage.Registry
330 * @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#eNS_URI
331 * @see #init()
332 * @generated
333 */
334 private ProblemPackageImpl() {
335 super(eNS_URI, ProblemFactory.eINSTANCE);
336 }
337
338 /**
339 * <!-- begin-user-doc -->
340 * <!-- end-user-doc -->
341 * @generated
342 */
343 private static boolean isInited = false;
344
345 /**
346 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
347 *
348 * <p>This method is used to initialize {@link ProblemPackage#eINSTANCE} when that field is accessed.
349 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
350 * <!-- begin-user-doc -->
351 * <!-- end-user-doc -->
352 * @see #eNS_URI
353 * @see #createPackageContents()
354 * @see #initializePackageContents()
355 * @generated
356 */
357 public static ProblemPackage init() {
358 if (isInited)
359 return (ProblemPackage) EPackage.Registry.INSTANCE.getEPackage(ProblemPackage.eNS_URI);
360
361 // Obtain or create and register package
362 Object registeredProblemPackage = EPackage.Registry.INSTANCE.get(eNS_URI);
363 ProblemPackageImpl theProblemPackage = registeredProblemPackage instanceof ProblemPackageImpl
364 ? (ProblemPackageImpl) registeredProblemPackage
365 : new ProblemPackageImpl();
366
367 isInited = true;
368
369 // Create package meta-data objects
370 theProblemPackage.createPackageContents();
371
372 // Initialize created meta-data
373 theProblemPackage.initializePackageContents();
374
375 // Mark meta-data to indicate it can't be changed
376 theProblemPackage.freeze();
377
378 // Update the registry and return the package
379 EPackage.Registry.INSTANCE.put(ProblemPackage.eNS_URI, theProblemPackage);
380 return theProblemPackage;
381 }
382
383 /**
384 * <!-- begin-user-doc -->
385 * <!-- end-user-doc -->
386 * @generated
387 */
388 public EClass getProblem() {
389 return problemEClass;
390 }
391
392 /**
393 * <!-- begin-user-doc -->
394 * <!-- end-user-doc -->
395 * @generated
396 */
397 public EReference getProblem_Nodes() {
398 return (EReference) problemEClass.getEStructuralFeatures().get(0);
399 }
400
401 /**
402 * <!-- begin-user-doc -->
403 * <!-- end-user-doc -->
404 * @generated
405 */
406 public EReference getProblem_Statements() {
407 return (EReference) problemEClass.getEStructuralFeatures().get(1);
408 }
409
410 /**
411 * <!-- begin-user-doc -->
412 * <!-- end-user-doc -->
413 * @generated
414 */
415 public EClass getRelation() {
416 return relationEClass;
417 }
418
419 /**
420 * <!-- begin-user-doc -->
421 * <!-- end-user-doc -->
422 * @generated
423 */
424 public EClass getClassDeclaration() {
425 return classDeclarationEClass;
426 }
427
428 /**
429 * <!-- begin-user-doc -->
430 * <!-- end-user-doc -->
431 * @generated
432 */
433 public EAttribute getClassDeclaration_Abstract() {
434 return (EAttribute) classDeclarationEClass.getEStructuralFeatures().get(0);
435 }
436
437 /**
438 * <!-- begin-user-doc -->
439 * <!-- end-user-doc -->
440 * @generated
441 */
442 public EReference getClassDeclaration_SuperTypes() {
443 return (EReference) classDeclarationEClass.getEStructuralFeatures().get(1);
444 }
445
446 /**
447 * <!-- begin-user-doc -->
448 * <!-- end-user-doc -->
449 * @generated
450 */
451 public EReference getClassDeclaration_ReferenceDeclarations() {
452 return (EReference) classDeclarationEClass.getEStructuralFeatures().get(2);
453 }
454
455 /**
456 * <!-- begin-user-doc -->
457 * <!-- end-user-doc -->
458 * @generated
459 */
460 public EReference getClassDeclaration_NewNode() {
461 return (EReference) classDeclarationEClass.getEStructuralFeatures().get(3);
462 }
463
464 /**
465 * <!-- begin-user-doc -->
466 * <!-- end-user-doc -->
467 * @generated
468 */
469 public EClass getReferenceDeclaration() {
470 return referenceDeclarationEClass;
471 }
472
473 /**
474 * <!-- begin-user-doc -->
475 * <!-- end-user-doc -->
476 * @generated
477 */
478 public EReference getReferenceDeclaration_ReferenceType() {
479 return (EReference) referenceDeclarationEClass.getEStructuralFeatures().get(0);
480 }
481
482 /**
483 * <!-- begin-user-doc -->
484 * <!-- end-user-doc -->
485 * @generated
486 */
487 public EReference getReferenceDeclaration_Opposite() {
488 return (EReference) referenceDeclarationEClass.getEStructuralFeatures().get(1);
489 }
490
491 /**
492 * <!-- begin-user-doc -->
493 * <!-- end-user-doc -->
494 * @generated
495 */
496 public EAttribute getReferenceDeclaration_Containment() {
497 return (EAttribute) referenceDeclarationEClass.getEStructuralFeatures().get(2);
498 }
499
500 /**
501 * <!-- begin-user-doc -->
502 * <!-- end-user-doc -->
503 * @generated
504 */
505 public EReference getReferenceDeclaration_Multiplicity() {
506 return (EReference) referenceDeclarationEClass.getEStructuralFeatures().get(3);
507 }
508
509 /**
510 * <!-- begin-user-doc -->
511 * <!-- end-user-doc -->
512 * @generated
513 */
514 public EClass getNamedElement() {
515 return namedElementEClass;
516 }
517
518 /**
519 * <!-- begin-user-doc -->
520 * <!-- end-user-doc -->
521 * @generated
522 */
523 public EAttribute getNamedElement_Name() {
524 return (EAttribute) namedElementEClass.getEStructuralFeatures().get(0);
525 }
526
527 /**
528 * <!-- begin-user-doc -->
529 * <!-- end-user-doc -->
530 * @generated
531 */
532 public EClass getPredicateDefinition() {
533 return predicateDefinitionEClass;
534 }
535
536 /**
537 * <!-- begin-user-doc -->
538 * <!-- end-user-doc -->
539 * @generated
540 */
541 public EAttribute getPredicateDefinition_Error() {
542 return (EAttribute) predicateDefinitionEClass.getEStructuralFeatures().get(0);
543 }
544
545 /**
546 * <!-- begin-user-doc -->
547 * <!-- end-user-doc -->
548 * @generated
549 */
550 public EReference getPredicateDefinition_Parameters() {
551 return (EReference) predicateDefinitionEClass.getEStructuralFeatures().get(1);
552 }
553
554 /**
555 * <!-- begin-user-doc -->
556 * <!-- end-user-doc -->
557 * @generated
558 */
559 public EReference getPredicateDefinition_Bodies() {
560 return (EReference) predicateDefinitionEClass.getEStructuralFeatures().get(2);
561 }
562
563 /**
564 * <!-- begin-user-doc -->
565 * <!-- end-user-doc -->
566 * @generated
567 */
568 public EClass getParameter() {
569 return parameterEClass;
570 }
571
572 /**
573 * <!-- begin-user-doc -->
574 * <!-- end-user-doc -->
575 * @generated
576 */
577 public EReference getParameter_ParameterType() {
578 return (EReference) parameterEClass.getEStructuralFeatures().get(0);
579 }
580
581 /**
582 * <!-- begin-user-doc -->
583 * <!-- end-user-doc -->
584 * @generated
585 */
586 public EClass getVariable() {
587 return variableEClass;
588 }
589
590 /**
591 * <!-- begin-user-doc -->
592 * <!-- end-user-doc -->
593 * @generated
594 */
595 public EClass getConjunction() {
596 return conjunctionEClass;
597 }
598
599 /**
600 * <!-- begin-user-doc -->
601 * <!-- end-user-doc -->
602 * @generated
603 */
604 public EReference getConjunction_Literals() {
605 return (EReference) conjunctionEClass.getEStructuralFeatures().get(0);
606 }
607
608 /**
609 * <!-- begin-user-doc -->
610 * <!-- end-user-doc -->
611 * @generated
612 */
613 public EClass getLiteral() {
614 return literalEClass;
615 }
616
617 /**
618 * <!-- begin-user-doc -->
619 * <!-- end-user-doc -->
620 * @generated
621 */
622 public EClass getAtom() {
623 return atomEClass;
624 }
625
626 /**
627 * <!-- begin-user-doc -->
628 * <!-- end-user-doc -->
629 * @generated
630 */
631 public EReference getAtom_Relation() {
632 return (EReference) atomEClass.getEStructuralFeatures().get(0);
633 }
634
635 /**
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @generated
639 */
640 public EReference getAtom_Arguments() {
641 return (EReference) atomEClass.getEStructuralFeatures().get(2);
642 }
643
644 /**
645 * <!-- begin-user-doc -->
646 * <!-- end-user-doc -->
647 * @generated
648 */
649 public EAttribute getAtom_TransitiveClosure() {
650 return (EAttribute) atomEClass.getEStructuralFeatures().get(1);
651 }
652
653 /**
654 * <!-- begin-user-doc -->
655 * <!-- end-user-doc -->
656 * @generated
657 */
658 public EClass getImplicitVariable() {
659 return implicitVariableEClass;
660 }
661
662 /**
663 * <!-- begin-user-doc -->
664 * <!-- end-user-doc -->
665 * @generated
666 */
667 public EClass getNegativeLiteral() {
668 return negativeLiteralEClass;
669 }
670
671 /**
672 * <!-- begin-user-doc -->
673 * <!-- end-user-doc -->
674 * @generated
675 */
676 public EReference getNegativeLiteral_Atom() {
677 return (EReference) negativeLiteralEClass.getEStructuralFeatures().get(0);
678 }
679
680 /**
681 * <!-- begin-user-doc -->
682 * <!-- end-user-doc -->
683 * @generated
684 */
685 public EClass getExistentialQuantifier() {
686 return existentialQuantifierEClass;
687 }
688
689 /**
690 * <!-- begin-user-doc -->
691 * <!-- end-user-doc -->
692 * @generated
693 */
694 public EReference getExistentialQuantifier_ImplicitVariables() {
695 return (EReference) existentialQuantifierEClass.getEStructuralFeatures().get(0);
696 }
697
698 /**
699 * <!-- begin-user-doc -->
700 * <!-- end-user-doc -->
701 * @generated
702 */
703 public EClass getAssertion() {
704 return assertionEClass;
705 }
706
707 /**
708 * <!-- begin-user-doc -->
709 * <!-- end-user-doc -->
710 * @generated
711 */
712 public EReference getAssertion_Relation() {
713 return (EReference) assertionEClass.getEStructuralFeatures().get(0);
714 }
715
716 /**
717 * <!-- begin-user-doc -->
718 * <!-- end-user-doc -->
719 * @generated
720 */
721 public EReference getAssertion_Arguments() {
722 return (EReference) assertionEClass.getEStructuralFeatures().get(2);
723 }
724
725 /**
726 * <!-- begin-user-doc -->
727 * <!-- end-user-doc -->
728 * @generated
729 */
730 public EAttribute getAssertion_Value() {
731 return (EAttribute) assertionEClass.getEStructuralFeatures().get(1);
732 }
733
734 /**
735 * <!-- begin-user-doc -->
736 * <!-- end-user-doc -->
737 * @generated
738 */
739 public EClass getNode() {
740 return nodeEClass;
741 }
742
743 /**
744 * <!-- begin-user-doc -->
745 * <!-- end-user-doc -->
746 * @generated
747 */
748 public EClass getScopeDeclaration() {
749 return scopeDeclarationEClass;
750 }
751
752 /**
753 * <!-- begin-user-doc -->
754 * <!-- end-user-doc -->
755 * @generated
756 */
757 public EReference getScopeDeclaration_TypeScopes() {
758 return (EReference) scopeDeclarationEClass.getEStructuralFeatures().get(0);
759 }
760
761 /**
762 * <!-- begin-user-doc -->
763 * <!-- end-user-doc -->
764 * @generated
765 */
766 public EClass getStatement() {
767 return statementEClass;
768 }
769
770 /**
771 * <!-- begin-user-doc -->
772 * <!-- end-user-doc -->
773 * @generated
774 */
775 public EClass getTypeScope() {
776 return typeScopeEClass;
777 }
778
779 /**
780 * <!-- begin-user-doc -->
781 * <!-- end-user-doc -->
782 * @generated
783 */
784 public EReference getTypeScope_TargetType() {
785 return (EReference) typeScopeEClass.getEStructuralFeatures().get(0);
786 }
787
788 /**
789 * <!-- begin-user-doc -->
790 * <!-- end-user-doc -->
791 * @generated
792 */
793 public EAttribute getTypeScope_Increment() {
794 return (EAttribute) typeScopeEClass.getEStructuralFeatures().get(1);
795 }
796
797 /**
798 * <!-- begin-user-doc -->
799 * <!-- end-user-doc -->
800 * @generated
801 */
802 public EReference getTypeScope_Multiplicity() {
803 return (EReference) typeScopeEClass.getEStructuralFeatures().get(2);
804 }
805
806 /**
807 * <!-- begin-user-doc -->
808 * <!-- end-user-doc -->
809 * @generated
810 */
811 public EClass getMultiplicity() {
812 return multiplicityEClass;
813 }
814
815 /**
816 * <!-- begin-user-doc -->
817 * <!-- end-user-doc -->
818 * @generated
819 */
820 public EClass getRangeMultiplicity() {
821 return rangeMultiplicityEClass;
822 }
823
824 /**
825 * <!-- begin-user-doc -->
826 * <!-- end-user-doc -->
827 * @generated
828 */
829 public EAttribute getRangeMultiplicity_LowerBound() {
830 return (EAttribute) rangeMultiplicityEClass.getEStructuralFeatures().get(0);
831 }
832
833 /**
834 * <!-- begin-user-doc -->
835 * <!-- end-user-doc -->
836 * @generated
837 */
838 public EAttribute getRangeMultiplicity_UpperBound() {
839 return (EAttribute) rangeMultiplicityEClass.getEStructuralFeatures().get(1);
840 }
841
842 /**
843 * <!-- begin-user-doc -->
844 * <!-- end-user-doc -->
845 * @generated
846 */
847 public EClass getExactMultiplicity() {
848 return exactMultiplicityEClass;
849 }
850
851 /**
852 * <!-- begin-user-doc -->
853 * <!-- end-user-doc -->
854 * @generated
855 */
856 public EAttribute getExactMultiplicity_ExactValue() {
857 return (EAttribute) exactMultiplicityEClass.getEStructuralFeatures().get(0);
858 }
859
860 /**
861 * <!-- begin-user-doc -->
862 * <!-- end-user-doc -->
863 * @generated
864 */
865 public EClass getUnboundedMultiplicity() {
866 return unboundedMultiplicityEClass;
867 }
868
869 /**
870 * <!-- begin-user-doc -->
871 * <!-- end-user-doc -->
872 * @generated
873 */
874 public EClass getVariableOrNodeArgument() {
875 return variableOrNodeArgumentEClass;
876 }
877
878 /**
879 * <!-- begin-user-doc -->
880 * <!-- end-user-doc -->
881 * @generated
882 */
883 public EReference getVariableOrNodeArgument_VariableOrNode() {
884 return (EReference) variableOrNodeArgumentEClass.getEStructuralFeatures().get(0);
885 }
886
887 /**
888 * <!-- begin-user-doc -->
889 * <!-- end-user-doc -->
890 * @generated
891 */
892 public EReference getVariableOrNodeArgument_SingletonVariable() {
893 return (EReference) variableOrNodeArgumentEClass.getEStructuralFeatures().get(1);
894 }
895
896 /**
897 * <!-- begin-user-doc -->
898 * <!-- end-user-doc -->
899 * @generated
900 */
901 public EClass getArgument() {
902 return argumentEClass;
903 }
904
905 /**
906 * <!-- begin-user-doc -->
907 * <!-- end-user-doc -->
908 * @generated
909 */
910 public EClass getNodeAssertionArgument() {
911 return nodeAssertionArgumentEClass;
912 }
913
914 /**
915 * <!-- begin-user-doc -->
916 * <!-- end-user-doc -->
917 * @generated
918 */
919 public EReference getNodeAssertionArgument_Node() {
920 return (EReference) nodeAssertionArgumentEClass.getEStructuralFeatures().get(0);
921 }
922
923 /**
924 * <!-- begin-user-doc -->
925 * <!-- end-user-doc -->
926 * @generated
927 */
928 public EClass getAssertionArgument() {
929 return assertionArgumentEClass;
930 }
931
932 /**
933 * <!-- begin-user-doc -->
934 * <!-- end-user-doc -->
935 * @generated
936 */
937 public EClass getConstantAssertionArgument() {
938 return constantAssertionArgumentEClass;
939 }
940
941 /**
942 * <!-- begin-user-doc -->
943 * <!-- end-user-doc -->
944 * @generated
945 */
946 public EReference getConstantAssertionArgument_Constant() {
947 return (EReference) constantAssertionArgumentEClass.getEStructuralFeatures().get(0);
948 }
949
950 /**
951 * <!-- begin-user-doc -->
952 * <!-- end-user-doc -->
953 * @generated
954 */
955 public EClass getNodeValueAssertion() {
956 return nodeValueAssertionEClass;
957 }
958
959 /**
960 * <!-- begin-user-doc -->
961 * <!-- end-user-doc -->
962 * @generated
963 */
964 public EReference getNodeValueAssertion_Node() {
965 return (EReference) nodeValueAssertionEClass.getEStructuralFeatures().get(0);
966 }
967
968 /**
969 * <!-- begin-user-doc -->
970 * <!-- end-user-doc -->
971 * @generated
972 */
973 public EReference getNodeValueAssertion_Value() {
974 return (EReference) nodeValueAssertionEClass.getEStructuralFeatures().get(1);
975 }
976
977 /**
978 * <!-- begin-user-doc -->
979 * <!-- end-user-doc -->
980 * @generated
981 */
982 public EClass getEnumDeclaration() {
983 return enumDeclarationEClass;
984 }
985
986 /**
987 * <!-- begin-user-doc -->
988 * <!-- end-user-doc -->
989 * @generated
990 */
991 public EReference getEnumDeclaration_Literals() {
992 return (EReference) enumDeclarationEClass.getEStructuralFeatures().get(0);
993 }
994
995 /**
996 * <!-- begin-user-doc -->
997 * <!-- end-user-doc -->
998 * @generated
999 */
1000 public EClass getVariableOrNode() {
1001 return variableOrNodeEClass;
1002 }
1003
1004 /**
1005 * <!-- begin-user-doc -->
1006 * <!-- end-user-doc -->
1007 * @generated
1008 */
1009 public EClass getConstant() {
1010 return constantEClass;
1011 }
1012
1013 /**
1014 * <!-- begin-user-doc -->
1015 * <!-- end-user-doc -->
1016 * @generated
1017 */
1018 public EClass getIntConstant() {
1019 return intConstantEClass;
1020 }
1021
1022 /**
1023 * <!-- begin-user-doc -->
1024 * <!-- end-user-doc -->
1025 * @generated
1026 */
1027 public EAttribute getIntConstant_IntValue() {
1028 return (EAttribute) intConstantEClass.getEStructuralFeatures().get(0);
1029 }
1030
1031 /**
1032 * <!-- begin-user-doc -->
1033 * <!-- end-user-doc -->
1034 * @generated
1035 */
1036 public EClass getRealConstant() {
1037 return realConstantEClass;
1038 }
1039
1040 /**
1041 * <!-- begin-user-doc -->
1042 * <!-- end-user-doc -->
1043 * @generated
1044 */
1045 public EAttribute getRealConstant_RealValue() {
1046 return (EAttribute) realConstantEClass.getEStructuralFeatures().get(0);
1047 }
1048
1049 /**
1050 * <!-- begin-user-doc -->
1051 * <!-- end-user-doc -->
1052 * @generated
1053 */
1054 public EClass getStringConstant() {
1055 return stringConstantEClass;
1056 }
1057
1058 /**
1059 * <!-- begin-user-doc -->
1060 * <!-- end-user-doc -->
1061 * @generated
1062 */
1063 public EAttribute getStringConstant_StringValue() {
1064 return (EAttribute) stringConstantEClass.getEStructuralFeatures().get(0);
1065 }
1066
1067 /**
1068 * <!-- begin-user-doc -->
1069 * <!-- end-user-doc -->
1070 * @generated
1071 */
1072 public EClass getConstantArgument() {
1073 return constantArgumentEClass;
1074 }
1075
1076 /**
1077 * <!-- begin-user-doc -->
1078 * <!-- end-user-doc -->
1079 * @generated
1080 */
1081 public EReference getConstantArgument_Constant() {
1082 return (EReference) constantArgumentEClass.getEStructuralFeatures().get(0);
1083 }
1084
1085 /**
1086 * <!-- begin-user-doc -->
1087 * <!-- end-user-doc -->
1088 * @generated
1089 */
1090 public EEnum getLogicValue() {
1091 return logicValueEEnum;
1092 }
1093
1094 /**
1095 * <!-- begin-user-doc -->
1096 * <!-- end-user-doc -->
1097 * @generated
1098 */
1099 public ProblemFactory getProblemFactory() {
1100 return (ProblemFactory) getEFactoryInstance();
1101 }
1102
1103 /**
1104 * <!-- begin-user-doc -->
1105 * <!-- end-user-doc -->
1106 * @generated
1107 */
1108 private boolean isCreated = false;
1109
1110 /**
1111 * Creates the meta-model objects for the package. This method is
1112 * guarded to have no affect on any invocation but its first.
1113 * <!-- begin-user-doc -->
1114 * <!-- end-user-doc -->
1115 * @generated
1116 */
1117 public void createPackageContents() {
1118 if (isCreated)
1119 return;
1120 isCreated = true;
1121
1122 // Create classes and their features
1123 problemEClass = createEClass(PROBLEM);
1124 createEReference(problemEClass, PROBLEM__NODES);
1125 createEReference(problemEClass, PROBLEM__STATEMENTS);
1126
1127 relationEClass = createEClass(RELATION);
1128
1129 classDeclarationEClass = createEClass(CLASS_DECLARATION);
1130 createEAttribute(classDeclarationEClass, CLASS_DECLARATION__ABSTRACT);
1131 createEReference(classDeclarationEClass, CLASS_DECLARATION__SUPER_TYPES);
1132 createEReference(classDeclarationEClass, CLASS_DECLARATION__REFERENCE_DECLARATIONS);
1133 createEReference(classDeclarationEClass, CLASS_DECLARATION__NEW_NODE);
1134
1135 referenceDeclarationEClass = createEClass(REFERENCE_DECLARATION);
1136 createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__REFERENCE_TYPE);
1137 createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__OPPOSITE);
1138 createEAttribute(referenceDeclarationEClass, REFERENCE_DECLARATION__CONTAINMENT);
1139 createEReference(referenceDeclarationEClass, REFERENCE_DECLARATION__MULTIPLICITY);
1140
1141 namedElementEClass = createEClass(NAMED_ELEMENT);
1142 createEAttribute(namedElementEClass, NAMED_ELEMENT__NAME);
1143
1144 predicateDefinitionEClass = createEClass(PREDICATE_DEFINITION);
1145 createEAttribute(predicateDefinitionEClass, PREDICATE_DEFINITION__ERROR);
1146 createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__PARAMETERS);
1147 createEReference(predicateDefinitionEClass, PREDICATE_DEFINITION__BODIES);
1148
1149 parameterEClass = createEClass(PARAMETER);
1150 createEReference(parameterEClass, PARAMETER__PARAMETER_TYPE);
1151
1152 variableEClass = createEClass(VARIABLE);
1153
1154 conjunctionEClass = createEClass(CONJUNCTION);
1155 createEReference(conjunctionEClass, CONJUNCTION__LITERALS);
1156
1157 literalEClass = createEClass(LITERAL);
1158
1159 atomEClass = createEClass(ATOM);
1160 createEReference(atomEClass, ATOM__RELATION);
1161 createEAttribute(atomEClass, ATOM__TRANSITIVE_CLOSURE);
1162 createEReference(atomEClass, ATOM__ARGUMENTS);
1163
1164 implicitVariableEClass = createEClass(IMPLICIT_VARIABLE);
1165
1166 negativeLiteralEClass = createEClass(NEGATIVE_LITERAL);
1167 createEReference(negativeLiteralEClass, NEGATIVE_LITERAL__ATOM);
1168
1169 existentialQuantifierEClass = createEClass(EXISTENTIAL_QUANTIFIER);
1170 createEReference(existentialQuantifierEClass, EXISTENTIAL_QUANTIFIER__IMPLICIT_VARIABLES);
1171
1172 assertionEClass = createEClass(ASSERTION);
1173 createEReference(assertionEClass, ASSERTION__RELATION);
1174 createEAttribute(assertionEClass, ASSERTION__VALUE);
1175 createEReference(assertionEClass, ASSERTION__ARGUMENTS);
1176
1177 nodeEClass = createEClass(NODE);
1178
1179 scopeDeclarationEClass = createEClass(SCOPE_DECLARATION);
1180 createEReference(scopeDeclarationEClass, SCOPE_DECLARATION__TYPE_SCOPES);
1181
1182 statementEClass = createEClass(STATEMENT);
1183
1184 typeScopeEClass = createEClass(TYPE_SCOPE);
1185 createEReference(typeScopeEClass, TYPE_SCOPE__TARGET_TYPE);
1186 createEAttribute(typeScopeEClass, TYPE_SCOPE__INCREMENT);
1187 createEReference(typeScopeEClass, TYPE_SCOPE__MULTIPLICITY);
1188
1189 multiplicityEClass = createEClass(MULTIPLICITY);
1190
1191 rangeMultiplicityEClass = createEClass(RANGE_MULTIPLICITY);
1192 createEAttribute(rangeMultiplicityEClass, RANGE_MULTIPLICITY__LOWER_BOUND);
1193 createEAttribute(rangeMultiplicityEClass, RANGE_MULTIPLICITY__UPPER_BOUND);
1194
1195 exactMultiplicityEClass = createEClass(EXACT_MULTIPLICITY);
1196 createEAttribute(exactMultiplicityEClass, EXACT_MULTIPLICITY__EXACT_VALUE);
1197
1198 unboundedMultiplicityEClass = createEClass(UNBOUNDED_MULTIPLICITY);
1199
1200 variableOrNodeArgumentEClass = createEClass(VARIABLE_OR_NODE_ARGUMENT);
1201 createEReference(variableOrNodeArgumentEClass, VARIABLE_OR_NODE_ARGUMENT__VARIABLE_OR_NODE);
1202 createEReference(variableOrNodeArgumentEClass, VARIABLE_OR_NODE_ARGUMENT__SINGLETON_VARIABLE);
1203
1204 enumDeclarationEClass = createEClass(ENUM_DECLARATION);
1205 createEReference(enumDeclarationEClass, ENUM_DECLARATION__LITERALS);
1206
1207 variableOrNodeEClass = createEClass(VARIABLE_OR_NODE);
1208
1209 constantEClass = createEClass(CONSTANT);
1210
1211 intConstantEClass = createEClass(INT_CONSTANT);
1212 createEAttribute(intConstantEClass, INT_CONSTANT__INT_VALUE);
1213
1214 realConstantEClass = createEClass(REAL_CONSTANT);
1215 createEAttribute(realConstantEClass, REAL_CONSTANT__REAL_VALUE);
1216
1217 stringConstantEClass = createEClass(STRING_CONSTANT);
1218 createEAttribute(stringConstantEClass, STRING_CONSTANT__STRING_VALUE);
1219
1220 constantArgumentEClass = createEClass(CONSTANT_ARGUMENT);
1221 createEReference(constantArgumentEClass, CONSTANT_ARGUMENT__CONSTANT);
1222
1223 argumentEClass = createEClass(ARGUMENT);
1224
1225 nodeAssertionArgumentEClass = createEClass(NODE_ASSERTION_ARGUMENT);
1226 createEReference(nodeAssertionArgumentEClass, NODE_ASSERTION_ARGUMENT__NODE);
1227
1228 assertionArgumentEClass = createEClass(ASSERTION_ARGUMENT);
1229
1230 constantAssertionArgumentEClass = createEClass(CONSTANT_ASSERTION_ARGUMENT);
1231 createEReference(constantAssertionArgumentEClass, CONSTANT_ASSERTION_ARGUMENT__CONSTANT);
1232
1233 nodeValueAssertionEClass = createEClass(NODE_VALUE_ASSERTION);
1234 createEReference(nodeValueAssertionEClass, NODE_VALUE_ASSERTION__NODE);
1235 createEReference(nodeValueAssertionEClass, NODE_VALUE_ASSERTION__VALUE);
1236
1237 // Create enums
1238 logicValueEEnum = createEEnum(LOGIC_VALUE);
1239 }
1240
1241 /**
1242 * <!-- begin-user-doc -->
1243 * <!-- end-user-doc -->
1244 * @generated
1245 */
1246 private boolean isInitialized = false;
1247
1248 /**
1249 * Complete the initialization of the package and its meta-model. This
1250 * method is guarded to have no affect on any invocation but its first.
1251 * <!-- begin-user-doc -->
1252 * <!-- end-user-doc -->
1253 * @generated
1254 */
1255 public void initializePackageContents() {
1256 if (isInitialized)
1257 return;
1258 isInitialized = true;
1259
1260 // Initialize package
1261 setName(eNAME);
1262 setNsPrefix(eNS_PREFIX);
1263 setNsURI(eNS_URI);
1264
1265 // Create type parameters
1266
1267 // Set bounds for type parameters
1268
1269 // Add supertypes to classes
1270 problemEClass.getESuperTypes().add(this.getNamedElement());
1271 relationEClass.getESuperTypes().add(this.getNamedElement());
1272 classDeclarationEClass.getESuperTypes().add(this.getRelation());
1273 classDeclarationEClass.getESuperTypes().add(this.getStatement());
1274 referenceDeclarationEClass.getESuperTypes().add(this.getRelation());
1275 predicateDefinitionEClass.getESuperTypes().add(this.getRelation());
1276 predicateDefinitionEClass.getESuperTypes().add(this.getStatement());
1277 parameterEClass.getESuperTypes().add(this.getVariable());
1278 variableEClass.getESuperTypes().add(this.getVariableOrNode());
1279 conjunctionEClass.getESuperTypes().add(this.getExistentialQuantifier());
1280 atomEClass.getESuperTypes().add(this.getLiteral());
1281 implicitVariableEClass.getESuperTypes().add(this.getVariable());
1282 negativeLiteralEClass.getESuperTypes().add(this.getExistentialQuantifier());
1283 negativeLiteralEClass.getESuperTypes().add(this.getLiteral());
1284 assertionEClass.getESuperTypes().add(this.getStatement());
1285 nodeEClass.getESuperTypes().add(this.getVariableOrNode());
1286 scopeDeclarationEClass.getESuperTypes().add(this.getStatement());
1287 rangeMultiplicityEClass.getESuperTypes().add(this.getMultiplicity());
1288 exactMultiplicityEClass.getESuperTypes().add(this.getMultiplicity());
1289 unboundedMultiplicityEClass.getESuperTypes().add(this.getMultiplicity());
1290 variableOrNodeArgumentEClass.getESuperTypes().add(this.getArgument());
1291 enumDeclarationEClass.getESuperTypes().add(this.getRelation());
1292 enumDeclarationEClass.getESuperTypes().add(this.getStatement());
1293 variableOrNodeEClass.getESuperTypes().add(this.getNamedElement());
1294 intConstantEClass.getESuperTypes().add(this.getConstant());
1295 realConstantEClass.getESuperTypes().add(this.getConstant());
1296 stringConstantEClass.getESuperTypes().add(this.getConstant());
1297 constantArgumentEClass.getESuperTypes().add(this.getArgument());
1298 nodeAssertionArgumentEClass.getESuperTypes().add(this.getAssertionArgument());
1299 constantAssertionArgumentEClass.getESuperTypes().add(this.getAssertionArgument());
1300 nodeValueAssertionEClass.getESuperTypes().add(this.getStatement());
1301
1302 // Initialize classes, features, and operations; add parameters
1303 initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1304 initEReference(getProblem_Nodes(), this.getNode(), null, "nodes", null, 0, -1, Problem.class, !IS_TRANSIENT,
1305 !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED,
1306 IS_ORDERED);
1307 initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class,
1308 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
1309 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1310
1311 initEClass(relationEClass, Relation.class, "Relation", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1312
1313 initEClass(classDeclarationEClass, ClassDeclaration.class, "ClassDeclaration", !IS_ABSTRACT, !IS_INTERFACE,
1314 IS_GENERATED_INSTANCE_CLASS);
1315 initEAttribute(getClassDeclaration_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1,
1316 ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
1317 !IS_DERIVED, IS_ORDERED);
1318 initEReference(getClassDeclaration_SuperTypes(), this.getRelation(), null, "superTypes", null, 0, -1,
1319 ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES,
1320 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1321 initEReference(getClassDeclaration_ReferenceDeclarations(), this.getReferenceDeclaration(), null,
1322 "referenceDeclarations", null, 0, -1, ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE,
1323 IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1324 initEReference(getClassDeclaration_NewNode(), this.getNode(), null, "newNode", null, 0, 1,
1325 ClassDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1326 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1327
1328 initEClass(referenceDeclarationEClass, ReferenceDeclaration.class, "ReferenceDeclaration", !IS_ABSTRACT,
1329 !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1330 initEReference(getReferenceDeclaration_ReferenceType(), this.getRelation(), null, "referenceType", null, 0, 1,
1331 ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
1332 IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1333 initEReference(getReferenceDeclaration_Opposite(), this.getReferenceDeclaration(), null, "opposite", null, 0, 1,
1334 ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
1335 IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1336 initEAttribute(getReferenceDeclaration_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1,
1337 ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID,
1338 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1339 initEReference(getReferenceDeclaration_Multiplicity(), this.getMultiplicity(), null, "multiplicity", null, 0, 1,
1340 ReferenceDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
1341 !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1342
1343 initEClass(namedElementEClass, NamedElement.class, "NamedElement", IS_ABSTRACT, !IS_INTERFACE,
1344 IS_GENERATED_INSTANCE_CLASS);
1345 initEAttribute(getNamedElement_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedElement.class,
1346 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1347
1348 initEClass(predicateDefinitionEClass, PredicateDefinition.class, "PredicateDefinition", !IS_ABSTRACT,
1349 !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1350 initEAttribute(getPredicateDefinition_Error(), ecorePackage.getEBoolean(), "error", null, 0, 1,
1351 PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID,
1352 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1353 initEReference(getPredicateDefinition_Parameters(), this.getParameter(), null, "parameters", null, 0, -1,
1354 PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
1355 !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1356 initEReference(getPredicateDefinition_Bodies(), this.getConjunction(), null, "bodies", null, 0, -1,
1357 PredicateDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
1358 !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1359
1360 initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE,
1361 IS_GENERATED_INSTANCE_CLASS);
1362 initEReference(getParameter_ParameterType(), this.getRelation(), null, "parameterType", null, 0, 1,
1363 Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES,
1364 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1365
1366 initEClass(variableEClass, Variable.class, "Variable", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1367
1368 initEClass(conjunctionEClass, Conjunction.class, "Conjunction", !IS_ABSTRACT, !IS_INTERFACE,
1369 IS_GENERATED_INSTANCE_CLASS);
1370 initEReference(getConjunction_Literals(), this.getLiteral(), null, "literals", null, 0, -1, Conjunction.class,
1371 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
1372 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1373
1374 initEClass(literalEClass, Literal.class, "Literal", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1375
1376 initEClass(atomEClass, Atom.class, "Atom", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1377 initEReference(getAtom_Relation(), this.getRelation(), null, "relation", null, 0, 1, Atom.class, !IS_TRANSIENT,
1378 !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED,
1379 IS_ORDERED);
1380 initEAttribute(getAtom_TransitiveClosure(), ecorePackage.getEBoolean(), "transitiveClosure", null, 0, 1,
1381 Atom.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED,
1382 IS_ORDERED);
1383 initEReference(getAtom_Arguments(), this.getArgument(), null, "arguments", null, 0, -1, Atom.class,
1384 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
1385 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1386
1387 initEClass(implicitVariableEClass, ImplicitVariable.class, "ImplicitVariable", !IS_ABSTRACT, !IS_INTERFACE,
1388 IS_GENERATED_INSTANCE_CLASS);
1389
1390 initEClass(negativeLiteralEClass, NegativeLiteral.class, "NegativeLiteral", !IS_ABSTRACT, !IS_INTERFACE,
1391 IS_GENERATED_INSTANCE_CLASS);
1392 initEReference(getNegativeLiteral_Atom(), this.getAtom(), null, "atom", null, 0, 1, NegativeLiteral.class,
1393 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
1394 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1395
1396 initEClass(existentialQuantifierEClass, ExistentialQuantifier.class, "ExistentialQuantifier", IS_ABSTRACT,
1397 IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1398 initEReference(getExistentialQuantifier_ImplicitVariables(), this.getImplicitVariable(), null,
1399 "implicitVariables", null, 0, -1, ExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE,
1400 IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1401
1402 initEClass(assertionEClass, Assertion.class, "Assertion", !IS_ABSTRACT, !IS_INTERFACE,
1403 IS_GENERATED_INSTANCE_CLASS);
1404 initEReference(getAssertion_Relation(), this.getRelation(), null, "relation", null, 0, 1, Assertion.class,
1405 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
1406 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1407 initEAttribute(getAssertion_Value(), this.getLogicValue(), "value", null, 0, 1, Assertion.class, !IS_TRANSIENT,
1408 !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1409 initEReference(getAssertion_Arguments(), this.getAssertionArgument(), null, "arguments", null, 0, -1,
1410 Assertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1411 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1412
1413 initEClass(nodeEClass, Node.class, "Node", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1414
1415 initEClass(scopeDeclarationEClass, ScopeDeclaration.class, "ScopeDeclaration", !IS_ABSTRACT, !IS_INTERFACE,
1416 IS_GENERATED_INSTANCE_CLASS);
1417 initEReference(getScopeDeclaration_TypeScopes(), this.getTypeScope(), null, "typeScopes", null, 0, -1,
1418 ScopeDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1419 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1420
1421 initEClass(statementEClass, Statement.class, "Statement", IS_ABSTRACT, IS_INTERFACE,
1422 IS_GENERATED_INSTANCE_CLASS);
1423
1424 initEClass(typeScopeEClass, TypeScope.class, "TypeScope", !IS_ABSTRACT, !IS_INTERFACE,
1425 IS_GENERATED_INSTANCE_CLASS);
1426 initEReference(getTypeScope_TargetType(), this.getClassDeclaration(), null, "targetType", null, 0, 1,
1427 TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES,
1428 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1429 initEAttribute(getTypeScope_Increment(), ecorePackage.getEBoolean(), "increment", null, 0, 1, TypeScope.class,
1430 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1431 initEReference(getTypeScope_Multiplicity(), this.getMultiplicity(), null, "multiplicity", null, 0, 1,
1432 TypeScope.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1433 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1434
1435 initEClass(multiplicityEClass, Multiplicity.class, "Multiplicity", IS_ABSTRACT, !IS_INTERFACE,
1436 IS_GENERATED_INSTANCE_CLASS);
1437
1438 initEClass(rangeMultiplicityEClass, RangeMultiplicity.class, "RangeMultiplicity", !IS_ABSTRACT, !IS_INTERFACE,
1439 IS_GENERATED_INSTANCE_CLASS);
1440 initEAttribute(getRangeMultiplicity_LowerBound(), ecorePackage.getEInt(), "lowerBound", "0", 0, 1,
1441 RangeMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
1442 !IS_DERIVED, IS_ORDERED);
1443 initEAttribute(getRangeMultiplicity_UpperBound(), ecorePackage.getEInt(), "upperBound", "-1", 0, 1,
1444 RangeMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
1445 !IS_DERIVED, IS_ORDERED);
1446
1447 initEClass(exactMultiplicityEClass, ExactMultiplicity.class, "ExactMultiplicity", !IS_ABSTRACT, !IS_INTERFACE,
1448 IS_GENERATED_INSTANCE_CLASS);
1449 initEAttribute(getExactMultiplicity_ExactValue(), ecorePackage.getEInt(), "exactValue", "1", 0, 1,
1450 ExactMultiplicity.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
1451 !IS_DERIVED, IS_ORDERED);
1452
1453 initEClass(unboundedMultiplicityEClass, UnboundedMultiplicity.class, "UnboundedMultiplicity", !IS_ABSTRACT,
1454 !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1455
1456 initEClass(variableOrNodeArgumentEClass, VariableOrNodeArgument.class, "VariableOrNodeArgument", !IS_ABSTRACT,
1457 !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1458 initEReference(getVariableOrNodeArgument_VariableOrNode(), this.getVariableOrNode(), null, "variableOrNode",
1459 null, 0, 1, VariableOrNodeArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
1460 IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1461 initEReference(getVariableOrNodeArgument_SingletonVariable(), this.getImplicitVariable(), null,
1462 "singletonVariable", null, 0, 1, VariableOrNodeArgument.class, !IS_TRANSIENT, !IS_VOLATILE,
1463 IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1464
1465 initEClass(enumDeclarationEClass, EnumDeclaration.class, "EnumDeclaration", !IS_ABSTRACT, !IS_INTERFACE,
1466 IS_GENERATED_INSTANCE_CLASS);
1467 initEReference(getEnumDeclaration_Literals(), this.getNode(), null, "literals", null, 0, -1,
1468 EnumDeclaration.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1469 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1470
1471 initEClass(variableOrNodeEClass, VariableOrNode.class, "VariableOrNode", IS_ABSTRACT, !IS_INTERFACE,
1472 IS_GENERATED_INSTANCE_CLASS);
1473
1474 initEClass(constantEClass, Constant.class, "Constant", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1475
1476 initEClass(intConstantEClass, IntConstant.class, "IntConstant", !IS_ABSTRACT, !IS_INTERFACE,
1477 IS_GENERATED_INSTANCE_CLASS);
1478 initEAttribute(getIntConstant_IntValue(), ecorePackage.getEInt(), "intValue", "0", 0, 1, IntConstant.class,
1479 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1480
1481 initEClass(realConstantEClass, RealConstant.class, "RealConstant", !IS_ABSTRACT, !IS_INTERFACE,
1482 IS_GENERATED_INSTANCE_CLASS);
1483 initEAttribute(getRealConstant_RealValue(), ecorePackage.getEDouble(), "realValue", "0.0", 0, 1,
1484 RealConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
1485 !IS_DERIVED, IS_ORDERED);
1486
1487 initEClass(stringConstantEClass, StringConstant.class, "StringConstant", !IS_ABSTRACT, !IS_INTERFACE,
1488 IS_GENERATED_INSTANCE_CLASS);
1489 initEAttribute(getStringConstant_StringValue(), ecorePackage.getEString(), "stringValue", null, 0, 1,
1490 StringConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE,
1491 !IS_DERIVED, IS_ORDERED);
1492
1493 initEClass(constantArgumentEClass, ConstantArgument.class, "ConstantArgument", !IS_ABSTRACT, !IS_INTERFACE,
1494 IS_GENERATED_INSTANCE_CLASS);
1495 initEReference(getConstantArgument_Constant(), this.getConstant(), null, "constant", null, 0, 1,
1496 ConstantArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1497 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1498
1499 initEClass(argumentEClass, Argument.class, "Argument", IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1500
1501 initEClass(nodeAssertionArgumentEClass, NodeAssertionArgument.class, "NodeAssertionArgument", !IS_ABSTRACT,
1502 !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1503 initEReference(getNodeAssertionArgument_Node(), this.getNode(), null, "node", null, 0, 1,
1504 NodeAssertionArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE,
1505 IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1506
1507 initEClass(assertionArgumentEClass, AssertionArgument.class, "AssertionArgument", IS_ABSTRACT, !IS_INTERFACE,
1508 IS_GENERATED_INSTANCE_CLASS);
1509
1510 initEClass(constantAssertionArgumentEClass, ConstantAssertionArgument.class, "ConstantAssertionArgument",
1511 !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1512 initEReference(getConstantAssertionArgument_Constant(), this.getConstant(), null, "constant", null, 0, 1,
1513 ConstantAssertionArgument.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE,
1514 !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1515
1516 initEClass(nodeValueAssertionEClass, NodeValueAssertion.class, "NodeValueAssertion", !IS_ABSTRACT,
1517 !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1518 initEReference(getNodeValueAssertion_Node(), this.getNode(), null, "node", null, 0, 1, NodeValueAssertion.class,
1519 !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE,
1520 IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1521 initEReference(getNodeValueAssertion_Value(), this.getConstant(), null, "value", null, 0, 1,
1522 NodeValueAssertion.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES,
1523 !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1524
1525 // Initialize enums and add enum literals
1526 initEEnum(logicValueEEnum, LogicValue.class, "LogicValue");
1527 addEEnumLiteral(logicValueEEnum, LogicValue.TRUE);
1528 addEEnumLiteral(logicValueEEnum, LogicValue.FALSE);
1529 addEEnumLiteral(logicValueEEnum, LogicValue.UNKNOWN);
1530
1531 // Create resource
1532 createResource(eNS_URI);
1533 }
1534
1535} //ProblemPackageImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-20 20:49:27 +0000