aboutsummaryrefslogtreecommitdiffstats
path: root/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
diff options
context:
space:
mode:
authorLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
committerLibravatar Oszkar Semerath <semerath@mit.bme.hu>2020-04-28 20:43:04 +0200
commit8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe (patch)
treed525bef75519f364d637e0779f8e63d4199dee31 /Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
parentcheck expressions are mapped to WF constraints (diff)
downloadVIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.gz
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.tar.zst
VIATRA-Generator-8a7b9b436b31e6d2f5a0521a077c960ebdeb4cbe.zip
initial commit
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java')
-rw-r--r--Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java2007
1 files changed, 2007 insertions, 0 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
new file mode 100644
index 00000000..9e5d391b
--- /dev/null
+++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/impl/SolverLanguagePackageImpl.java
@@ -0,0 +1,2007 @@
1/**
2 * generated by Xtext 2.18.0.M3
3 */
4package org.eclipse.viatra.solver.language.solverLanguage.impl;
5
6import org.eclipse.emf.ecore.EAttribute;
7import org.eclipse.emf.ecore.EClass;
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.solverLanguage.AllInstances;
14import org.eclipse.viatra.solver.language.solverLanguage.AllObjects;
15import org.eclipse.viatra.solver.language.solverLanguage.BasicInterpretation;
16import org.eclipse.viatra.solver.language.solverLanguage.BooleanFalse;
17import org.eclipse.viatra.solver.language.solverLanguage.BooleanObject;
18import org.eclipse.viatra.solver.language.solverLanguage.BooleanSymbol;
19import org.eclipse.viatra.solver.language.solverLanguage.BooleanTrue;
20import org.eclipse.viatra.solver.language.solverLanguage.BooleanValue;
21import org.eclipse.viatra.solver.language.solverLanguage.CDInterpretation;
22import org.eclipse.viatra.solver.language.solverLanguage.ClassInterpretation;
23import org.eclipse.viatra.solver.language.solverLanguage.ClosureType;
24import org.eclipse.viatra.solver.language.solverLanguage.ComplexObject;
25import org.eclipse.viatra.solver.language.solverLanguage.Constraint;
26import org.eclipse.viatra.solver.language.solverLanguage.DataObject;
27import org.eclipse.viatra.solver.language.solverLanguage.DataSymbol;
28import org.eclipse.viatra.solver.language.solverLanguage.DefaultInterpretation;
29import org.eclipse.viatra.solver.language.solverLanguage.EnumInterpretation;
30import org.eclipse.viatra.solver.language.solverLanguage.EqualsSymbol;
31import org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate;
32import org.eclipse.viatra.solver.language.solverLanguage.ExistSymbol;
33import org.eclipse.viatra.solver.language.solverLanguage.False;
34import org.eclipse.viatra.solver.language.solverLanguage.FieldRelationInterpretation;
35import org.eclipse.viatra.solver.language.solverLanguage.GlobalRelationInterpretation;
36import org.eclipse.viatra.solver.language.solverLanguage.IntObject;
37import org.eclipse.viatra.solver.language.solverLanguage.IntegerSymbol;
38import org.eclipse.viatra.solver.language.solverLanguage.Interpretation;
39import org.eclipse.viatra.solver.language.solverLanguage.IrreflexiveClosure;
40import org.eclipse.viatra.solver.language.solverLanguage.Literal;
41import org.eclipse.viatra.solver.language.solverLanguage.ModelSymbol;
42import org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition;
43import org.eclipse.viatra.solver.language.solverLanguage.NamedObject;
44import org.eclipse.viatra.solver.language.solverLanguage.Negative;
45import org.eclipse.viatra.solver.language.solverLanguage.Parameter;
46import org.eclipse.viatra.solver.language.solverLanguage.PartialitySymbol;
47import org.eclipse.viatra.solver.language.solverLanguage.PatternBody;
48import org.eclipse.viatra.solver.language.solverLanguage.Polarity;
49import org.eclipse.viatra.solver.language.solverLanguage.Positive;
50import org.eclipse.viatra.solver.language.solverLanguage.Predicate;
51import org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol;
52import org.eclipse.viatra.solver.language.solverLanguage.Problem;
53import org.eclipse.viatra.solver.language.solverLanguage.RealObject;
54import org.eclipse.viatra.solver.language.solverLanguage.RealSymbol;
55import org.eclipse.viatra.solver.language.solverLanguage.ReflexiveClosure;
56import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguageFactory;
57import org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage;
58import org.eclipse.viatra.solver.language.solverLanguage.Statement;
59import org.eclipse.viatra.solver.language.solverLanguage.StringObject;
60import org.eclipse.viatra.solver.language.solverLanguage.StringSymbol;
61import org.eclipse.viatra.solver.language.solverLanguage.Symbol;
62import org.eclipse.viatra.solver.language.solverLanguage.True;
63import org.eclipse.viatra.solver.language.solverLanguage.TruthValue;
64import org.eclipse.viatra.solver.language.solverLanguage.Unknown;
65import org.eclipse.viatra.solver.language.solverLanguage.UnnamedObject;
66import org.eclipse.viatra.solver.language.solverLanguage.Variable;
67
68/**
69 * <!-- begin-user-doc -->
70 * An implementation of the model <b>Package</b>.
71 * <!-- end-user-doc -->
72 * @generated
73 */
74public class SolverLanguagePackageImpl extends EPackageImpl implements SolverLanguagePackage
75{
76 /**
77 * <!-- begin-user-doc -->
78 * <!-- end-user-doc -->
79 * @generated
80 */
81 private EClass problemEClass = null;
82
83 /**
84 * <!-- begin-user-doc -->
85 * <!-- end-user-doc -->
86 * @generated
87 */
88 private EClass statementEClass = null;
89
90 /**
91 * <!-- begin-user-doc -->
92 * <!-- end-user-doc -->
93 * @generated
94 */
95 private EClass booleanValueEClass = null;
96
97 /**
98 * <!-- begin-user-doc -->
99 * <!-- end-user-doc -->
100 * @generated
101 */
102 private EClass truthValueEClass = null;
103
104 /**
105 * <!-- begin-user-doc -->
106 * <!-- end-user-doc -->
107 * @generated
108 */
109 private EClass interpretationEClass = null;
110
111 /**
112 * <!-- begin-user-doc -->
113 * <!-- end-user-doc -->
114 * @generated
115 */
116 private EClass basicInterpretationEClass = null;
117
118 /**
119 * <!-- begin-user-doc -->
120 * <!-- end-user-doc -->
121 * @generated
122 */
123 private EClass symbolEClass = null;
124
125 /**
126 * <!-- begin-user-doc -->
127 * <!-- end-user-doc -->
128 * @generated
129 */
130 private EClass modelSymbolEClass = null;
131
132 /**
133 * <!-- begin-user-doc -->
134 * <!-- end-user-doc -->
135 * @generated
136 */
137 private EClass partialitySymbolEClass = null;
138
139 /**
140 * <!-- begin-user-doc -->
141 * <!-- end-user-doc -->
142 * @generated
143 */
144 private EClass existSymbolEClass = null;
145
146 /**
147 * <!-- begin-user-doc -->
148 * <!-- end-user-doc -->
149 * @generated
150 */
151 private EClass equalsSymbolEClass = null;
152
153 /**
154 * <!-- begin-user-doc -->
155 * <!-- end-user-doc -->
156 * @generated
157 */
158 private EClass dataSymbolEClass = null;
159
160 /**
161 * <!-- begin-user-doc -->
162 * <!-- end-user-doc -->
163 * @generated
164 */
165 private EClass booleanSymbolEClass = null;
166
167 /**
168 * <!-- begin-user-doc -->
169 * <!-- end-user-doc -->
170 * @generated
171 */
172 private EClass integerSymbolEClass = null;
173
174 /**
175 * <!-- begin-user-doc -->
176 * <!-- end-user-doc -->
177 * @generated
178 */
179 private EClass realSymbolEClass = null;
180
181 /**
182 * <!-- begin-user-doc -->
183 * <!-- end-user-doc -->
184 * @generated
185 */
186 private EClass stringSymbolEClass = null;
187
188 /**
189 * <!-- begin-user-doc -->
190 * <!-- end-user-doc -->
191 * @generated
192 */
193 private EClass complexObjectEClass = null;
194
195 /**
196 * <!-- begin-user-doc -->
197 * <!-- end-user-doc -->
198 * @generated
199 */
200 private EClass objectEClass = null;
201
202 /**
203 * <!-- begin-user-doc -->
204 * <!-- end-user-doc -->
205 * @generated
206 */
207 private EClass namedObjectEClass = null;
208
209 /**
210 * <!-- begin-user-doc -->
211 * <!-- end-user-doc -->
212 * @generated
213 */
214 private EClass unnamedObjectEClass = null;
215
216 /**
217 * <!-- begin-user-doc -->
218 * <!-- end-user-doc -->
219 * @generated
220 */
221 private EClass dataObjectEClass = null;
222
223 /**
224 * <!-- begin-user-doc -->
225 * <!-- end-user-doc -->
226 * @generated
227 */
228 private EClass booleanObjectEClass = null;
229
230 /**
231 * <!-- begin-user-doc -->
232 * <!-- end-user-doc -->
233 * @generated
234 */
235 private EClass intObjectEClass = null;
236
237 /**
238 * <!-- begin-user-doc -->
239 * <!-- end-user-doc -->
240 * @generated
241 */
242 private EClass realObjectEClass = null;
243
244 /**
245 * <!-- begin-user-doc -->
246 * <!-- end-user-doc -->
247 * @generated
248 */
249 private EClass stringObjectEClass = null;
250
251 /**
252 * <!-- begin-user-doc -->
253 * <!-- end-user-doc -->
254 * @generated
255 */
256 private EClass predicateEClass = null;
257
258 /**
259 * <!-- begin-user-doc -->
260 * <!-- end-user-doc -->
261 * @generated
262 */
263 private EClass predicateSymbolEClass = null;
264
265 /**
266 * <!-- begin-user-doc -->
267 * <!-- end-user-doc -->
268 * @generated
269 */
270 private EClass errorPredicateEClass = null;
271
272 /**
273 * <!-- begin-user-doc -->
274 * <!-- end-user-doc -->
275 * @generated
276 */
277 private EClass parameterEClass = null;
278
279 /**
280 * <!-- begin-user-doc -->
281 * <!-- end-user-doc -->
282 * @generated
283 */
284 private EClass patternBodyEClass = null;
285
286 /**
287 * <!-- begin-user-doc -->
288 * <!-- end-user-doc -->
289 * @generated
290 */
291 private EClass polarityEClass = null;
292
293 /**
294 * <!-- begin-user-doc -->
295 * <!-- end-user-doc -->
296 * @generated
297 */
298 private EClass constraintEClass = null;
299
300 /**
301 * <!-- begin-user-doc -->
302 * <!-- end-user-doc -->
303 * @generated
304 */
305 private EClass closureTypeEClass = null;
306
307 /**
308 * <!-- begin-user-doc -->
309 * <!-- end-user-doc -->
310 * @generated
311 */
312 private EClass literalEClass = null;
313
314 /**
315 * <!-- begin-user-doc -->
316 * <!-- end-user-doc -->
317 * @generated
318 */
319 private EClass variableEClass = null;
320
321 /**
322 * <!-- begin-user-doc -->
323 * <!-- end-user-doc -->
324 * @generated
325 */
326 private EClass allInstancesEClass = null;
327
328 /**
329 * <!-- begin-user-doc -->
330 * <!-- end-user-doc -->
331 * @generated
332 */
333 private EClass allObjectsEClass = null;
334
335 /**
336 * <!-- begin-user-doc -->
337 * <!-- end-user-doc -->
338 * @generated
339 */
340 private EClass defaultInterpretationEClass = null;
341
342 /**
343 * <!-- begin-user-doc -->
344 * <!-- end-user-doc -->
345 * @generated
346 */
347 private EClass cdInterpretationEClass = null;
348
349 /**
350 * <!-- begin-user-doc -->
351 * <!-- end-user-doc -->
352 * @generated
353 */
354 private EClass classInterpretationEClass = null;
355
356 /**
357 * <!-- begin-user-doc -->
358 * <!-- end-user-doc -->
359 * @generated
360 */
361 private EClass enumInterpretationEClass = null;
362
363 /**
364 * <!-- begin-user-doc -->
365 * <!-- end-user-doc -->
366 * @generated
367 */
368 private EClass fieldRelationInterpretationEClass = null;
369
370 /**
371 * <!-- begin-user-doc -->
372 * <!-- end-user-doc -->
373 * @generated
374 */
375 private EClass globalRelationInterpretationEClass = null;
376
377 /**
378 * <!-- begin-user-doc -->
379 * <!-- end-user-doc -->
380 * @generated
381 */
382 private EClass multiplicityDefinitionEClass = null;
383
384 /**
385 * <!-- begin-user-doc -->
386 * <!-- end-user-doc -->
387 * @generated
388 */
389 private EClass booleanTrueEClass = null;
390
391 /**
392 * <!-- begin-user-doc -->
393 * <!-- end-user-doc -->
394 * @generated
395 */
396 private EClass booleanFalseEClass = null;
397
398 /**
399 * <!-- begin-user-doc -->
400 * <!-- end-user-doc -->
401 * @generated
402 */
403 private EClass trueEClass = null;
404
405 /**
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @generated
409 */
410 private EClass falseEClass = null;
411
412 /**
413 * <!-- begin-user-doc -->
414 * <!-- end-user-doc -->
415 * @generated
416 */
417 private EClass unknownEClass = null;
418
419 /**
420 * <!-- begin-user-doc -->
421 * <!-- end-user-doc -->
422 * @generated
423 */
424 private EClass errorEClass = null;
425
426 /**
427 * <!-- begin-user-doc -->
428 * <!-- end-user-doc -->
429 * @generated
430 */
431 private EClass positiveEClass = null;
432
433 /**
434 * <!-- begin-user-doc -->
435 * <!-- end-user-doc -->
436 * @generated
437 */
438 private EClass negativeEClass = null;
439
440 /**
441 * <!-- begin-user-doc -->
442 * <!-- end-user-doc -->
443 * @generated
444 */
445 private EClass reflexiveClosureEClass = null;
446
447 /**
448 * <!-- begin-user-doc -->
449 * <!-- end-user-doc -->
450 * @generated
451 */
452 private EClass irreflexiveClosureEClass = null;
453
454 /**
455 * Creates an instance of the model <b>Package</b>, registered with
456 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
457 * package URI value.
458 * <p>Note: the correct way to create the package is via the static
459 * factory method {@link #init init()}, which also performs
460 * initialization of the package, or returns the registered package,
461 * if one already exists.
462 * <!-- begin-user-doc -->
463 * <!-- end-user-doc -->
464 * @see org.eclipse.emf.ecore.EPackage.Registry
465 * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#eNS_URI
466 * @see #init()
467 * @generated
468 */
469 private SolverLanguagePackageImpl()
470 {
471 super(eNS_URI, SolverLanguageFactory.eINSTANCE);
472 }
473
474 /**
475 * <!-- begin-user-doc -->
476 * <!-- end-user-doc -->
477 * @generated
478 */
479 private static boolean isInited = false;
480
481 /**
482 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
483 *
484 * <p>This method is used to initialize {@link SolverLanguagePackage#eINSTANCE} when that field is accessed.
485 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @see #eNS_URI
489 * @see #createPackageContents()
490 * @see #initializePackageContents()
491 * @generated
492 */
493 public static SolverLanguagePackage init()
494 {
495 if (isInited) return (SolverLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(SolverLanguagePackage.eNS_URI);
496
497 // Obtain or create and register package
498 Object registeredSolverLanguagePackage = EPackage.Registry.INSTANCE.get(eNS_URI);
499 SolverLanguagePackageImpl theSolverLanguagePackage = registeredSolverLanguagePackage instanceof SolverLanguagePackageImpl ? (SolverLanguagePackageImpl)registeredSolverLanguagePackage : new SolverLanguagePackageImpl();
500
501 isInited = true;
502
503 // Create package meta-data objects
504 theSolverLanguagePackage.createPackageContents();
505
506 // Initialize created meta-data
507 theSolverLanguagePackage.initializePackageContents();
508
509 // Mark meta-data to indicate it can't be changed
510 theSolverLanguagePackage.freeze();
511
512 // Update the registry and return the package
513 EPackage.Registry.INSTANCE.put(SolverLanguagePackage.eNS_URI, theSolverLanguagePackage);
514 return theSolverLanguagePackage;
515 }
516
517 /**
518 * <!-- begin-user-doc -->
519 * <!-- end-user-doc -->
520 * @generated
521 */
522 @Override
523 public EClass getProblem()
524 {
525 return problemEClass;
526 }
527
528 /**
529 * <!-- begin-user-doc -->
530 * <!-- end-user-doc -->
531 * @generated
532 */
533 @Override
534 public EReference getProblem_Statements()
535 {
536 return (EReference)problemEClass.getEStructuralFeatures().get(0);
537 }
538
539 /**
540 * <!-- begin-user-doc -->
541 * <!-- end-user-doc -->
542 * @generated
543 */
544 @Override
545 public EClass getStatement()
546 {
547 return statementEClass;
548 }
549
550 /**
551 * <!-- begin-user-doc -->
552 * <!-- end-user-doc -->
553 * @generated
554 */
555 @Override
556 public EClass getBooleanValue()
557 {
558 return booleanValueEClass;
559 }
560
561 /**
562 * <!-- begin-user-doc -->
563 * <!-- end-user-doc -->
564 * @generated
565 */
566 @Override
567 public EClass getTruthValue()
568 {
569 return truthValueEClass;
570 }
571
572 /**
573 * <!-- begin-user-doc -->
574 * <!-- end-user-doc -->
575 * @generated
576 */
577 @Override
578 public EClass getInterpretation()
579 {
580 return interpretationEClass;
581 }
582
583 /**
584 * <!-- begin-user-doc -->
585 * <!-- end-user-doc -->
586 * @generated
587 */
588 @Override
589 public EClass getBasicInterpretation()
590 {
591 return basicInterpretationEClass;
592 }
593
594 /**
595 * <!-- begin-user-doc -->
596 * <!-- end-user-doc -->
597 * @generated
598 */
599 @Override
600 public EReference getBasicInterpretation_Symbol()
601 {
602 return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(0);
603 }
604
605 /**
606 * <!-- begin-user-doc -->
607 * <!-- end-user-doc -->
608 * @generated
609 */
610 @Override
611 public EReference getBasicInterpretation_Objects()
612 {
613 return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(1);
614 }
615
616 /**
617 * <!-- begin-user-doc -->
618 * <!-- end-user-doc -->
619 * @generated
620 */
621 @Override
622 public EReference getBasicInterpretation_Value()
623 {
624 return (EReference)basicInterpretationEClass.getEStructuralFeatures().get(2);
625 }
626
627 /**
628 * <!-- begin-user-doc -->
629 * <!-- end-user-doc -->
630 * @generated
631 */
632 @Override
633 public EClass getSymbol()
634 {
635 return symbolEClass;
636 }
637
638 /**
639 * <!-- begin-user-doc -->
640 * <!-- end-user-doc -->
641 * @generated
642 */
643 @Override
644 public EClass getModelSymbol()
645 {
646 return modelSymbolEClass;
647 }
648
649 /**
650 * <!-- begin-user-doc -->
651 * <!-- end-user-doc -->
652 * @generated
653 */
654 @Override
655 public EAttribute getModelSymbol_Name()
656 {
657 return (EAttribute)modelSymbolEClass.getEStructuralFeatures().get(0);
658 }
659
660 /**
661 * <!-- begin-user-doc -->
662 * <!-- end-user-doc -->
663 * @generated
664 */
665 @Override
666 public EClass getPartialitySymbol()
667 {
668 return partialitySymbolEClass;
669 }
670
671 /**
672 * <!-- begin-user-doc -->
673 * <!-- end-user-doc -->
674 * @generated
675 */
676 @Override
677 public EClass getExistSymbol()
678 {
679 return existSymbolEClass;
680 }
681
682 /**
683 * <!-- begin-user-doc -->
684 * <!-- end-user-doc -->
685 * @generated
686 */
687 @Override
688 public EClass getEqualsSymbol()
689 {
690 return equalsSymbolEClass;
691 }
692
693 /**
694 * <!-- begin-user-doc -->
695 * <!-- end-user-doc -->
696 * @generated
697 */
698 @Override
699 public EClass getDataSymbol()
700 {
701 return dataSymbolEClass;
702 }
703
704 /**
705 * <!-- begin-user-doc -->
706 * <!-- end-user-doc -->
707 * @generated
708 */
709 @Override
710 public EClass getBooleanSymbol()
711 {
712 return booleanSymbolEClass;
713 }
714
715 /**
716 * <!-- begin-user-doc -->
717 * <!-- end-user-doc -->
718 * @generated
719 */
720 @Override
721 public EClass getIntegerSymbol()
722 {
723 return integerSymbolEClass;
724 }
725
726 /**
727 * <!-- begin-user-doc -->
728 * <!-- end-user-doc -->
729 * @generated
730 */
731 @Override
732 public EClass getRealSymbol()
733 {
734 return realSymbolEClass;
735 }
736
737 /**
738 * <!-- begin-user-doc -->
739 * <!-- end-user-doc -->
740 * @generated
741 */
742 @Override
743 public EClass getStringSymbol()
744 {
745 return stringSymbolEClass;
746 }
747
748 /**
749 * <!-- begin-user-doc -->
750 * <!-- end-user-doc -->
751 * @generated
752 */
753 @Override
754 public EClass getComplexObject()
755 {
756 return complexObjectEClass;
757 }
758
759 /**
760 * <!-- begin-user-doc -->
761 * <!-- end-user-doc -->
762 * @generated
763 */
764 @Override
765 public EClass getObject()
766 {
767 return objectEClass;
768 }
769
770 /**
771 * <!-- begin-user-doc -->
772 * <!-- end-user-doc -->
773 * @generated
774 */
775 @Override
776 public EClass getNamedObject()
777 {
778 return namedObjectEClass;
779 }
780
781 /**
782 * <!-- begin-user-doc -->
783 * <!-- end-user-doc -->
784 * @generated
785 */
786 @Override
787 public EAttribute getNamedObject_Name()
788 {
789 return (EAttribute)namedObjectEClass.getEStructuralFeatures().get(0);
790 }
791
792 /**
793 * <!-- begin-user-doc -->
794 * <!-- end-user-doc -->
795 * @generated
796 */
797 @Override
798 public EClass getUnnamedObject()
799 {
800 return unnamedObjectEClass;
801 }
802
803 /**
804 * <!-- begin-user-doc -->
805 * <!-- end-user-doc -->
806 * @generated
807 */
808 @Override
809 public EAttribute getUnnamedObject_Name()
810 {
811 return (EAttribute)unnamedObjectEClass.getEStructuralFeatures().get(0);
812 }
813
814 /**
815 * <!-- begin-user-doc -->
816 * <!-- end-user-doc -->
817 * @generated
818 */
819 @Override
820 public EClass getDataObject()
821 {
822 return dataObjectEClass;
823 }
824
825 /**
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 */
830 @Override
831 public EClass getBooleanObject()
832 {
833 return booleanObjectEClass;
834 }
835
836 /**
837 * <!-- begin-user-doc -->
838 * <!-- end-user-doc -->
839 * @generated
840 */
841 @Override
842 public EReference getBooleanObject_Value()
843 {
844 return (EReference)booleanObjectEClass.getEStructuralFeatures().get(0);
845 }
846
847 /**
848 * <!-- begin-user-doc -->
849 * <!-- end-user-doc -->
850 * @generated
851 */
852 @Override
853 public EClass getIntObject()
854 {
855 return intObjectEClass;
856 }
857
858 /**
859 * <!-- begin-user-doc -->
860 * <!-- end-user-doc -->
861 * @generated
862 */
863 @Override
864 public EAttribute getIntObject_Value()
865 {
866 return (EAttribute)intObjectEClass.getEStructuralFeatures().get(0);
867 }
868
869 /**
870 * <!-- begin-user-doc -->
871 * <!-- end-user-doc -->
872 * @generated
873 */
874 @Override
875 public EClass getRealObject()
876 {
877 return realObjectEClass;
878 }
879
880 /**
881 * <!-- begin-user-doc -->
882 * <!-- end-user-doc -->
883 * @generated
884 */
885 @Override
886 public EAttribute getRealObject_Value()
887 {
888 return (EAttribute)realObjectEClass.getEStructuralFeatures().get(0);
889 }
890
891 /**
892 * <!-- begin-user-doc -->
893 * <!-- end-user-doc -->
894 * @generated
895 */
896 @Override
897 public EClass getStringObject()
898 {
899 return stringObjectEClass;
900 }
901
902 /**
903 * <!-- begin-user-doc -->
904 * <!-- end-user-doc -->
905 * @generated
906 */
907 @Override
908 public EAttribute getStringObject_Value()
909 {
910 return (EAttribute)stringObjectEClass.getEStructuralFeatures().get(0);
911 }
912
913 /**
914 * <!-- begin-user-doc -->
915 * <!-- end-user-doc -->
916 * @generated
917 */
918 @Override
919 public EClass getPredicate()
920 {
921 return predicateEClass;
922 }
923
924 /**
925 * <!-- begin-user-doc -->
926 * <!-- end-user-doc -->
927 * @generated
928 */
929 @Override
930 public EReference getPredicate_Parameters()
931 {
932 return (EReference)predicateEClass.getEStructuralFeatures().get(0);
933 }
934
935 /**
936 * <!-- begin-user-doc -->
937 * <!-- end-user-doc -->
938 * @generated
939 */
940 @Override
941 public EReference getPredicate_Bodies()
942 {
943 return (EReference)predicateEClass.getEStructuralFeatures().get(1);
944 }
945
946 /**
947 * <!-- begin-user-doc -->
948 * <!-- end-user-doc -->
949 * @generated
950 */
951 @Override
952 public EClass getPredicateSymbol()
953 {
954 return predicateSymbolEClass;
955 }
956
957 /**
958 * <!-- begin-user-doc -->
959 * <!-- end-user-doc -->
960 * @generated
961 */
962 @Override
963 public EReference getPredicateSymbol_Symbol()
964 {
965 return (EReference)predicateSymbolEClass.getEStructuralFeatures().get(0);
966 }
967
968 /**
969 * <!-- begin-user-doc -->
970 * <!-- end-user-doc -->
971 * @generated
972 */
973 @Override
974 public EClass getErrorPredicate()
975 {
976 return errorPredicateEClass;
977 }
978
979 /**
980 * <!-- begin-user-doc -->
981 * <!-- end-user-doc -->
982 * @generated
983 */
984 @Override
985 public EAttribute getErrorPredicate_Name()
986 {
987 return (EAttribute)errorPredicateEClass.getEStructuralFeatures().get(0);
988 }
989
990 /**
991 * <!-- begin-user-doc -->
992 * <!-- end-user-doc -->
993 * @generated
994 */
995 @Override
996 public EClass getParameter()
997 {
998 return parameterEClass;
999 }
1000
1001 /**
1002 * <!-- begin-user-doc -->
1003 * <!-- end-user-doc -->
1004 * @generated
1005 */
1006 @Override
1007 public EReference getParameter_Variable()
1008 {
1009 return (EReference)parameterEClass.getEStructuralFeatures().get(0);
1010 }
1011
1012 /**
1013 * <!-- begin-user-doc -->
1014 * <!-- end-user-doc -->
1015 * @generated
1016 */
1017 @Override
1018 public EReference getParameter_Type()
1019 {
1020 return (EReference)parameterEClass.getEStructuralFeatures().get(1);
1021 }
1022
1023 /**
1024 * <!-- begin-user-doc -->
1025 * <!-- end-user-doc -->
1026 * @generated
1027 */
1028 @Override
1029 public EClass getPatternBody()
1030 {
1031 return patternBodyEClass;
1032 }
1033
1034 /**
1035 * <!-- begin-user-doc -->
1036 * <!-- end-user-doc -->
1037 * @generated
1038 */
1039 @Override
1040 public EReference getPatternBody_Constraints()
1041 {
1042 return (EReference)patternBodyEClass.getEStructuralFeatures().get(0);
1043 }
1044
1045 /**
1046 * <!-- begin-user-doc -->
1047 * <!-- end-user-doc -->
1048 * @generated
1049 */
1050 @Override
1051 public EClass getPolarity()
1052 {
1053 return polarityEClass;
1054 }
1055
1056 /**
1057 * <!-- begin-user-doc -->
1058 * <!-- end-user-doc -->
1059 * @generated
1060 */
1061 @Override
1062 public EClass getConstraint()
1063 {
1064 return constraintEClass;
1065 }
1066
1067 /**
1068 * <!-- begin-user-doc -->
1069 * <!-- end-user-doc -->
1070 * @generated
1071 */
1072 @Override
1073 public EReference getConstraint_Polarity()
1074 {
1075 return (EReference)constraintEClass.getEStructuralFeatures().get(0);
1076 }
1077
1078 /**
1079 * <!-- begin-user-doc -->
1080 * <!-- end-user-doc -->
1081 * @generated
1082 */
1083 @Override
1084 public EReference getConstraint_Symbol()
1085 {
1086 return (EReference)constraintEClass.getEStructuralFeatures().get(1);
1087 }
1088
1089 /**
1090 * <!-- begin-user-doc -->
1091 * <!-- end-user-doc -->
1092 * @generated
1093 */
1094 @Override
1095 public EReference getConstraint_Params()
1096 {
1097 return (EReference)constraintEClass.getEStructuralFeatures().get(2);
1098 }
1099
1100 /**
1101 * <!-- begin-user-doc -->
1102 * <!-- end-user-doc -->
1103 * @generated
1104 */
1105 @Override
1106 public EReference getConstraint_ClosureType()
1107 {
1108 return (EReference)constraintEClass.getEStructuralFeatures().get(3);
1109 }
1110
1111 /**
1112 * <!-- begin-user-doc -->
1113 * <!-- end-user-doc -->
1114 * @generated
1115 */
1116 @Override
1117 public EClass getClosureType()
1118 {
1119 return closureTypeEClass;
1120 }
1121
1122 /**
1123 * <!-- begin-user-doc -->
1124 * <!-- end-user-doc -->
1125 * @generated
1126 */
1127 @Override
1128 public EClass getLiteral()
1129 {
1130 return literalEClass;
1131 }
1132
1133 /**
1134 * <!-- begin-user-doc -->
1135 * <!-- end-user-doc -->
1136 * @generated
1137 */
1138 @Override
1139 public EClass getVariable()
1140 {
1141 return variableEClass;
1142 }
1143
1144 /**
1145 * <!-- begin-user-doc -->
1146 * <!-- end-user-doc -->
1147 * @generated
1148 */
1149 @Override
1150 public EAttribute getVariable_Name()
1151 {
1152 return (EAttribute)variableEClass.getEStructuralFeatures().get(0);
1153 }
1154
1155 /**
1156 * <!-- begin-user-doc -->
1157 * <!-- end-user-doc -->
1158 * @generated
1159 */
1160 @Override
1161 public EClass getAllInstances()
1162 {
1163 return allInstancesEClass;
1164 }
1165
1166 /**
1167 * <!-- begin-user-doc -->
1168 * <!-- end-user-doc -->
1169 * @generated
1170 */
1171 @Override
1172 public EReference getAllInstances_Symbol()
1173 {
1174 return (EReference)allInstancesEClass.getEStructuralFeatures().get(0);
1175 }
1176
1177 /**
1178 * <!-- begin-user-doc -->
1179 * <!-- end-user-doc -->
1180 * @generated
1181 */
1182 @Override
1183 public EClass getAllObjects()
1184 {
1185 return allObjectsEClass;
1186 }
1187
1188 /**
1189 * <!-- begin-user-doc -->
1190 * <!-- end-user-doc -->
1191 * @generated
1192 */
1193 @Override
1194 public EClass getDefaultInterpretation()
1195 {
1196 return defaultInterpretationEClass;
1197 }
1198
1199 /**
1200 * <!-- begin-user-doc -->
1201 * <!-- end-user-doc -->
1202 * @generated
1203 */
1204 @Override
1205 public EReference getDefaultInterpretation_Interpretation()
1206 {
1207 return (EReference)defaultInterpretationEClass.getEStructuralFeatures().get(0);
1208 }
1209
1210 /**
1211 * <!-- begin-user-doc -->
1212 * <!-- end-user-doc -->
1213 * @generated
1214 */
1215 @Override
1216 public EClass getCDInterpretation()
1217 {
1218 return cdInterpretationEClass;
1219 }
1220
1221 /**
1222 * <!-- begin-user-doc -->
1223 * <!-- end-user-doc -->
1224 * @generated
1225 */
1226 @Override
1227 public EClass getClassInterpretation()
1228 {
1229 return classInterpretationEClass;
1230 }
1231
1232 /**
1233 * <!-- begin-user-doc -->
1234 * <!-- end-user-doc -->
1235 * @generated
1236 */
1237 @Override
1238 public EAttribute getClassInterpretation_Abstract()
1239 {
1240 return (EAttribute)classInterpretationEClass.getEStructuralFeatures().get(0);
1241 }
1242
1243 /**
1244 * <!-- begin-user-doc -->
1245 * <!-- end-user-doc -->
1246 * @generated
1247 */
1248 @Override
1249 public EReference getClassInterpretation_Symbol()
1250 {
1251 return (EReference)classInterpretationEClass.getEStructuralFeatures().get(1);
1252 }
1253
1254 /**
1255 * <!-- begin-user-doc -->
1256 * <!-- end-user-doc -->
1257 * @generated
1258 */
1259 @Override
1260 public EReference getClassInterpretation_Supertypes()
1261 {
1262 return (EReference)classInterpretationEClass.getEStructuralFeatures().get(2);
1263 }
1264
1265 /**
1266 * <!-- begin-user-doc -->
1267 * <!-- end-user-doc -->
1268 * @generated
1269 */
1270 @Override
1271 public EReference getClassInterpretation_Fielt()
1272 {
1273 return (EReference)classInterpretationEClass.getEStructuralFeatures().get(3);
1274 }
1275
1276 /**
1277 * <!-- begin-user-doc -->
1278 * <!-- end-user-doc -->
1279 * @generated
1280 */
1281 @Override
1282 public EClass getEnumInterpretation()
1283 {
1284 return enumInterpretationEClass;
1285 }
1286
1287 /**
1288 * <!-- begin-user-doc -->
1289 * <!-- end-user-doc -->
1290 * @generated
1291 */
1292 @Override
1293 public EReference getEnumInterpretation_Symbol()
1294 {
1295 return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(0);
1296 }
1297
1298 /**
1299 * <!-- begin-user-doc -->
1300 * <!-- end-user-doc -->
1301 * @generated
1302 */
1303 @Override
1304 public EReference getEnumInterpretation_Objects()
1305 {
1306 return (EReference)enumInterpretationEClass.getEStructuralFeatures().get(1);
1307 }
1308
1309 /**
1310 * <!-- begin-user-doc -->
1311 * <!-- end-user-doc -->
1312 * @generated
1313 */
1314 @Override
1315 public EClass getFieldRelationInterpretation()
1316 {
1317 return fieldRelationInterpretationEClass;
1318 }
1319
1320 /**
1321 * <!-- begin-user-doc -->
1322 * <!-- end-user-doc -->
1323 * @generated
1324 */
1325 @Override
1326 public EAttribute getFieldRelationInterpretation_Containment()
1327 {
1328 return (EAttribute)fieldRelationInterpretationEClass.getEStructuralFeatures().get(0);
1329 }
1330
1331 /**
1332 * <!-- begin-user-doc -->
1333 * <!-- end-user-doc -->
1334 * @generated
1335 */
1336 @Override
1337 public EReference getFieldRelationInterpretation_Symbol()
1338 {
1339 return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(1);
1340 }
1341
1342 /**
1343 * <!-- begin-user-doc -->
1344 * <!-- end-user-doc -->
1345 * @generated
1346 */
1347 @Override
1348 public EReference getFieldRelationInterpretation_Multiplicity()
1349 {
1350 return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(2);
1351 }
1352
1353 /**
1354 * <!-- begin-user-doc -->
1355 * <!-- end-user-doc -->
1356 * @generated
1357 */
1358 @Override
1359 public EReference getFieldRelationInterpretation_Target()
1360 {
1361 return (EReference)fieldRelationInterpretationEClass.getEStructuralFeatures().get(3);
1362 }
1363
1364 /**
1365 * <!-- begin-user-doc -->
1366 * <!-- end-user-doc -->
1367 * @generated
1368 */
1369 @Override
1370 public EClass getGlobalRelationInterpretation()
1371 {
1372 return globalRelationInterpretationEClass;
1373 }
1374
1375 /**
1376 * <!-- begin-user-doc -->
1377 * <!-- end-user-doc -->
1378 * @generated
1379 */
1380 @Override
1381 public EAttribute getGlobalRelationInterpretation_Containment()
1382 {
1383 return (EAttribute)globalRelationInterpretationEClass.getEStructuralFeatures().get(0);
1384 }
1385
1386 /**
1387 * <!-- begin-user-doc -->
1388 * <!-- end-user-doc -->
1389 * @generated
1390 */
1391 @Override
1392 public EReference getGlobalRelationInterpretation_Symbol()
1393 {
1394 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(1);
1395 }
1396
1397 /**
1398 * <!-- begin-user-doc -->
1399 * <!-- end-user-doc -->
1400 * @generated
1401 */
1402 @Override
1403 public EReference getGlobalRelationInterpretation_SourceMultiplicity()
1404 {
1405 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(2);
1406 }
1407
1408 /**
1409 * <!-- begin-user-doc -->
1410 * <!-- end-user-doc -->
1411 * @generated
1412 */
1413 @Override
1414 public EReference getGlobalRelationInterpretation_Source()
1415 {
1416 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(3);
1417 }
1418
1419 /**
1420 * <!-- begin-user-doc -->
1421 * <!-- end-user-doc -->
1422 * @generated
1423 */
1424 @Override
1425 public EReference getGlobalRelationInterpretation_TargetMultiplicity()
1426 {
1427 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(4);
1428 }
1429
1430 /**
1431 * <!-- begin-user-doc -->
1432 * <!-- end-user-doc -->
1433 * @generated
1434 */
1435 @Override
1436 public EReference getGlobalRelationInterpretation_Target()
1437 {
1438 return (EReference)globalRelationInterpretationEClass.getEStructuralFeatures().get(5);
1439 }
1440
1441 /**
1442 * <!-- begin-user-doc -->
1443 * <!-- end-user-doc -->
1444 * @generated
1445 */
1446 @Override
1447 public EClass getMultiplicityDefinition()
1448 {
1449 return multiplicityDefinitionEClass;
1450 }
1451
1452 /**
1453 * <!-- begin-user-doc -->
1454 * <!-- end-user-doc -->
1455 * @generated
1456 */
1457 @Override
1458 public EAttribute getMultiplicityDefinition_Lower()
1459 {
1460 return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(0);
1461 }
1462
1463 /**
1464 * <!-- begin-user-doc -->
1465 * <!-- end-user-doc -->
1466 * @generated
1467 */
1468 @Override
1469 public EAttribute getMultiplicityDefinition_Upper()
1470 {
1471 return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(1);
1472 }
1473
1474 /**
1475 * <!-- begin-user-doc -->
1476 * <!-- end-user-doc -->
1477 * @generated
1478 */
1479 @Override
1480 public EAttribute getMultiplicityDefinition_UnlimitedUpper()
1481 {
1482 return (EAttribute)multiplicityDefinitionEClass.getEStructuralFeatures().get(2);
1483 }
1484
1485 /**
1486 * <!-- begin-user-doc -->
1487 * <!-- end-user-doc -->
1488 * @generated
1489 */
1490 @Override
1491 public EClass getBooleanTrue()
1492 {
1493 return booleanTrueEClass;
1494 }
1495
1496 /**
1497 * <!-- begin-user-doc -->
1498 * <!-- end-user-doc -->
1499 * @generated
1500 */
1501 @Override
1502 public EClass getBooleanFalse()
1503 {
1504 return booleanFalseEClass;
1505 }
1506
1507 /**
1508 * <!-- begin-user-doc -->
1509 * <!-- end-user-doc -->
1510 * @generated
1511 */
1512 @Override
1513 public EClass getTrue()
1514 {
1515 return trueEClass;
1516 }
1517
1518 /**
1519 * <!-- begin-user-doc -->
1520 * <!-- end-user-doc -->
1521 * @generated
1522 */
1523 @Override
1524 public EClass getFalse()
1525 {
1526 return falseEClass;
1527 }
1528
1529 /**
1530 * <!-- begin-user-doc -->
1531 * <!-- end-user-doc -->
1532 * @generated
1533 */
1534 @Override
1535 public EClass getUnknown()
1536 {
1537 return unknownEClass;
1538 }
1539
1540 /**
1541 * <!-- begin-user-doc -->
1542 * <!-- end-user-doc -->
1543 * @generated
1544 */
1545 @Override
1546 public EClass getError()
1547 {
1548 return errorEClass;
1549 }
1550
1551 /**
1552 * <!-- begin-user-doc -->
1553 * <!-- end-user-doc -->
1554 * @generated
1555 */
1556 @Override
1557 public EClass getPositive()
1558 {
1559 return positiveEClass;
1560 }
1561
1562 /**
1563 * <!-- begin-user-doc -->
1564 * <!-- end-user-doc -->
1565 * @generated
1566 */
1567 @Override
1568 public EClass getNegative()
1569 {
1570 return negativeEClass;
1571 }
1572
1573 /**
1574 * <!-- begin-user-doc -->
1575 * <!-- end-user-doc -->
1576 * @generated
1577 */
1578 @Override
1579 public EClass getReflexiveClosure()
1580 {
1581 return reflexiveClosureEClass;
1582 }
1583
1584 /**
1585 * <!-- begin-user-doc -->
1586 * <!-- end-user-doc -->
1587 * @generated
1588 */
1589 @Override
1590 public EClass getIrreflexiveClosure()
1591 {
1592 return irreflexiveClosureEClass;
1593 }
1594
1595 /**
1596 * <!-- begin-user-doc -->
1597 * <!-- end-user-doc -->
1598 * @generated
1599 */
1600 @Override
1601 public SolverLanguageFactory getSolverLanguageFactory()
1602 {
1603 return (SolverLanguageFactory)getEFactoryInstance();
1604 }
1605
1606 /**
1607 * <!-- begin-user-doc -->
1608 * <!-- end-user-doc -->
1609 * @generated
1610 */
1611 private boolean isCreated = false;
1612
1613 /**
1614 * Creates the meta-model objects for the package. This method is
1615 * guarded to have no affect on any invocation but its first.
1616 * <!-- begin-user-doc -->
1617 * <!-- end-user-doc -->
1618 * @generated
1619 */
1620 public void createPackageContents()
1621 {
1622 if (isCreated) return;
1623 isCreated = true;
1624
1625 // Create classes and their features
1626 problemEClass = createEClass(PROBLEM);
1627 createEReference(problemEClass, PROBLEM__STATEMENTS);
1628
1629 statementEClass = createEClass(STATEMENT);
1630
1631 booleanValueEClass = createEClass(BOOLEAN_VALUE);
1632
1633 truthValueEClass = createEClass(TRUTH_VALUE);
1634
1635 interpretationEClass = createEClass(INTERPRETATION);
1636
1637 basicInterpretationEClass = createEClass(BASIC_INTERPRETATION);
1638 createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__SYMBOL);
1639 createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__OBJECTS);
1640 createEReference(basicInterpretationEClass, BASIC_INTERPRETATION__VALUE);
1641
1642 symbolEClass = createEClass(SYMBOL);
1643
1644 modelSymbolEClass = createEClass(MODEL_SYMBOL);
1645 createEAttribute(modelSymbolEClass, MODEL_SYMBOL__NAME);
1646
1647 partialitySymbolEClass = createEClass(PARTIALITY_SYMBOL);
1648
1649 existSymbolEClass = createEClass(EXIST_SYMBOL);
1650
1651 equalsSymbolEClass = createEClass(EQUALS_SYMBOL);
1652
1653 dataSymbolEClass = createEClass(DATA_SYMBOL);
1654
1655 booleanSymbolEClass = createEClass(BOOLEAN_SYMBOL);
1656
1657 integerSymbolEClass = createEClass(INTEGER_SYMBOL);
1658
1659 realSymbolEClass = createEClass(REAL_SYMBOL);
1660
1661 stringSymbolEClass = createEClass(STRING_SYMBOL);
1662
1663 complexObjectEClass = createEClass(COMPLEX_OBJECT);
1664
1665 objectEClass = createEClass(OBJECT);
1666
1667 namedObjectEClass = createEClass(NAMED_OBJECT);
1668 createEAttribute(namedObjectEClass, NAMED_OBJECT__NAME);
1669
1670 unnamedObjectEClass = createEClass(UNNAMED_OBJECT);
1671 createEAttribute(unnamedObjectEClass, UNNAMED_OBJECT__NAME);
1672
1673 dataObjectEClass = createEClass(DATA_OBJECT);
1674
1675 booleanObjectEClass = createEClass(BOOLEAN_OBJECT);
1676 createEReference(booleanObjectEClass, BOOLEAN_OBJECT__VALUE);
1677
1678 intObjectEClass = createEClass(INT_OBJECT);
1679 createEAttribute(intObjectEClass, INT_OBJECT__VALUE);
1680
1681 realObjectEClass = createEClass(REAL_OBJECT);
1682 createEAttribute(realObjectEClass, REAL_OBJECT__VALUE);
1683
1684 stringObjectEClass = createEClass(STRING_OBJECT);
1685 createEAttribute(stringObjectEClass, STRING_OBJECT__VALUE);
1686
1687 predicateEClass = createEClass(PREDICATE);
1688 createEReference(predicateEClass, PREDICATE__PARAMETERS);
1689 createEReference(predicateEClass, PREDICATE__BODIES);
1690
1691 predicateSymbolEClass = createEClass(PREDICATE_SYMBOL);
1692 createEReference(predicateSymbolEClass, PREDICATE_SYMBOL__SYMBOL);
1693
1694 errorPredicateEClass = createEClass(ERROR_PREDICATE);
1695 createEAttribute(errorPredicateEClass, ERROR_PREDICATE__NAME);
1696
1697 parameterEClass = createEClass(PARAMETER);
1698 createEReference(parameterEClass, PARAMETER__VARIABLE);
1699 createEReference(parameterEClass, PARAMETER__TYPE);
1700
1701 patternBodyEClass = createEClass(PATTERN_BODY);
1702 createEReference(patternBodyEClass, PATTERN_BODY__CONSTRAINTS);
1703
1704 polarityEClass = createEClass(POLARITY);
1705
1706 constraintEClass = createEClass(CONSTRAINT);
1707 createEReference(constraintEClass, CONSTRAINT__POLARITY);
1708 createEReference(constraintEClass, CONSTRAINT__SYMBOL);
1709 createEReference(constraintEClass, CONSTRAINT__PARAMS);
1710 createEReference(constraintEClass, CONSTRAINT__CLOSURE_TYPE);
1711
1712 closureTypeEClass = createEClass(CLOSURE_TYPE);
1713
1714 literalEClass = createEClass(LITERAL);
1715
1716 variableEClass = createEClass(VARIABLE);
1717 createEAttribute(variableEClass, VARIABLE__NAME);
1718
1719 allInstancesEClass = createEClass(ALL_INSTANCES);
1720 createEReference(allInstancesEClass, ALL_INSTANCES__SYMBOL);
1721
1722 allObjectsEClass = createEClass(ALL_OBJECTS);
1723
1724 defaultInterpretationEClass = createEClass(DEFAULT_INTERPRETATION);
1725 createEReference(defaultInterpretationEClass, DEFAULT_INTERPRETATION__INTERPRETATION);
1726
1727 cdInterpretationEClass = createEClass(CD_INTERPRETATION);
1728
1729 classInterpretationEClass = createEClass(CLASS_INTERPRETATION);
1730 createEAttribute(classInterpretationEClass, CLASS_INTERPRETATION__ABSTRACT);
1731 createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SYMBOL);
1732 createEReference(classInterpretationEClass, CLASS_INTERPRETATION__SUPERTYPES);
1733 createEReference(classInterpretationEClass, CLASS_INTERPRETATION__FIELT);
1734
1735 enumInterpretationEClass = createEClass(ENUM_INTERPRETATION);
1736 createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__SYMBOL);
1737 createEReference(enumInterpretationEClass, ENUM_INTERPRETATION__OBJECTS);
1738
1739 fieldRelationInterpretationEClass = createEClass(FIELD_RELATION_INTERPRETATION);
1740 createEAttribute(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__CONTAINMENT);
1741 createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__SYMBOL);
1742 createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__MULTIPLICITY);
1743 createEReference(fieldRelationInterpretationEClass, FIELD_RELATION_INTERPRETATION__TARGET);
1744
1745 globalRelationInterpretationEClass = createEClass(GLOBAL_RELATION_INTERPRETATION);
1746 createEAttribute(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__CONTAINMENT);
1747 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SYMBOL);
1748 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE_MULTIPLICITY);
1749 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__SOURCE);
1750 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET_MULTIPLICITY);
1751 createEReference(globalRelationInterpretationEClass, GLOBAL_RELATION_INTERPRETATION__TARGET);
1752
1753 multiplicityDefinitionEClass = createEClass(MULTIPLICITY_DEFINITION);
1754 createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__LOWER);
1755 createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UPPER);
1756 createEAttribute(multiplicityDefinitionEClass, MULTIPLICITY_DEFINITION__UNLIMITED_UPPER);
1757
1758 booleanTrueEClass = createEClass(BOOLEAN_TRUE);
1759
1760 booleanFalseEClass = createEClass(BOOLEAN_FALSE);
1761
1762 trueEClass = createEClass(TRUE);
1763
1764 falseEClass = createEClass(FALSE);
1765
1766 unknownEClass = createEClass(UNKNOWN);
1767
1768 errorEClass = createEClass(ERROR);
1769
1770 positiveEClass = createEClass(POSITIVE);
1771
1772 negativeEClass = createEClass(NEGATIVE);
1773
1774 reflexiveClosureEClass = createEClass(REFLEXIVE_CLOSURE);
1775
1776 irreflexiveClosureEClass = createEClass(IRREFLEXIVE_CLOSURE);
1777 }
1778
1779 /**
1780 * <!-- begin-user-doc -->
1781 * <!-- end-user-doc -->
1782 * @generated
1783 */
1784 private boolean isInitialized = false;
1785
1786 /**
1787 * Complete the initialization of the package and its meta-model. This
1788 * method is guarded to have no affect on any invocation but its first.
1789 * <!-- begin-user-doc -->
1790 * <!-- end-user-doc -->
1791 * @generated
1792 */
1793 public void initializePackageContents()
1794 {
1795 if (isInitialized) return;
1796 isInitialized = true;
1797
1798 // Initialize package
1799 setName(eNAME);
1800 setNsPrefix(eNS_PREFIX);
1801 setNsURI(eNS_URI);
1802
1803 // Create type parameters
1804
1805 // Set bounds for type parameters
1806
1807 // Add supertypes to classes
1808 interpretationEClass.getESuperTypes().add(this.getStatement());
1809 basicInterpretationEClass.getESuperTypes().add(this.getInterpretation());
1810 modelSymbolEClass.getESuperTypes().add(this.getSymbol());
1811 partialitySymbolEClass.getESuperTypes().add(this.getSymbol());
1812 existSymbolEClass.getESuperTypes().add(this.getPartialitySymbol());
1813 equalsSymbolEClass.getESuperTypes().add(this.getPartialitySymbol());
1814 dataSymbolEClass.getESuperTypes().add(this.getSymbol());
1815 booleanSymbolEClass.getESuperTypes().add(this.getDataSymbol());
1816 integerSymbolEClass.getESuperTypes().add(this.getDataSymbol());
1817 realSymbolEClass.getESuperTypes().add(this.getDataSymbol());
1818 stringSymbolEClass.getESuperTypes().add(this.getDataSymbol());
1819 objectEClass.getESuperTypes().add(this.getComplexObject());
1820 namedObjectEClass.getESuperTypes().add(this.getObject());
1821 unnamedObjectEClass.getESuperTypes().add(this.getObject());
1822 dataObjectEClass.getESuperTypes().add(this.getObject());
1823 dataObjectEClass.getESuperTypes().add(this.getLiteral());
1824 booleanObjectEClass.getESuperTypes().add(this.getDataObject());
1825 intObjectEClass.getESuperTypes().add(this.getDataObject());
1826 realObjectEClass.getESuperTypes().add(this.getDataObject());
1827 stringObjectEClass.getESuperTypes().add(this.getDataObject());
1828 predicateEClass.getESuperTypes().add(this.getStatement());
1829 predicateSymbolEClass.getESuperTypes().add(this.getPredicate());
1830 errorPredicateEClass.getESuperTypes().add(this.getPredicate());
1831 variableEClass.getESuperTypes().add(this.getLiteral());
1832 allInstancesEClass.getESuperTypes().add(this.getComplexObject());
1833 allObjectsEClass.getESuperTypes().add(this.getComplexObject());
1834 defaultInterpretationEClass.getESuperTypes().add(this.getInterpretation());
1835 cdInterpretationEClass.getESuperTypes().add(this.getInterpretation());
1836 classInterpretationEClass.getESuperTypes().add(this.getCDInterpretation());
1837 enumInterpretationEClass.getESuperTypes().add(this.getCDInterpretation());
1838 globalRelationInterpretationEClass.getESuperTypes().add(this.getCDInterpretation());
1839 booleanTrueEClass.getESuperTypes().add(this.getBooleanValue());
1840 booleanFalseEClass.getESuperTypes().add(this.getBooleanValue());
1841 trueEClass.getESuperTypes().add(this.getTruthValue());
1842 falseEClass.getESuperTypes().add(this.getTruthValue());
1843 unknownEClass.getESuperTypes().add(this.getTruthValue());
1844 errorEClass.getESuperTypes().add(this.getTruthValue());
1845 positiveEClass.getESuperTypes().add(this.getPolarity());
1846 negativeEClass.getESuperTypes().add(this.getPolarity());
1847 reflexiveClosureEClass.getESuperTypes().add(this.getClosureType());
1848 irreflexiveClosureEClass.getESuperTypes().add(this.getClosureType());
1849
1850 // Initialize classes and features; add operations and parameters
1851 initEClass(problemEClass, Problem.class, "Problem", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1852 initEReference(getProblem_Statements(), this.getStatement(), null, "statements", null, 0, -1, Problem.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1853
1854 initEClass(statementEClass, Statement.class, "Statement", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1855
1856 initEClass(booleanValueEClass, BooleanValue.class, "BooleanValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1857
1858 initEClass(truthValueEClass, TruthValue.class, "TruthValue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1859
1860 initEClass(interpretationEClass, Interpretation.class, "Interpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1861
1862 initEClass(basicInterpretationEClass, BasicInterpretation.class, "BasicInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1863 initEReference(getBasicInterpretation_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1864 initEReference(getBasicInterpretation_Objects(), this.getComplexObject(), null, "objects", null, 0, -1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1865 initEReference(getBasicInterpretation_Value(), this.getTruthValue(), null, "value", null, 0, 1, BasicInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1866
1867 initEClass(symbolEClass, Symbol.class, "Symbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1868
1869 initEClass(modelSymbolEClass, ModelSymbol.class, "ModelSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1870 initEAttribute(getModelSymbol_Name(), ecorePackage.getEString(), "name", null, 0, 1, ModelSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1871
1872 initEClass(partialitySymbolEClass, PartialitySymbol.class, "PartialitySymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1873
1874 initEClass(existSymbolEClass, ExistSymbol.class, "ExistSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1875
1876 initEClass(equalsSymbolEClass, EqualsSymbol.class, "EqualsSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1877
1878 initEClass(dataSymbolEClass, DataSymbol.class, "DataSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1879
1880 initEClass(booleanSymbolEClass, BooleanSymbol.class, "BooleanSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1881
1882 initEClass(integerSymbolEClass, IntegerSymbol.class, "IntegerSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1883
1884 initEClass(realSymbolEClass, RealSymbol.class, "RealSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1885
1886 initEClass(stringSymbolEClass, StringSymbol.class, "StringSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1887
1888 initEClass(complexObjectEClass, ComplexObject.class, "ComplexObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1889
1890 initEClass(objectEClass, org.eclipse.viatra.solver.language.solverLanguage.Object.class, "Object", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1891
1892 initEClass(namedObjectEClass, NamedObject.class, "NamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1893 initEAttribute(getNamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, NamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1894
1895 initEClass(unnamedObjectEClass, UnnamedObject.class, "UnnamedObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1896 initEAttribute(getUnnamedObject_Name(), ecorePackage.getEString(), "name", null, 0, 1, UnnamedObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1897
1898 initEClass(dataObjectEClass, DataObject.class, "DataObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1899
1900 initEClass(booleanObjectEClass, BooleanObject.class, "BooleanObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1901 initEReference(getBooleanObject_Value(), this.getBooleanValue(), null, "value", null, 0, 1, BooleanObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1902
1903 initEClass(intObjectEClass, IntObject.class, "IntObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1904 initEAttribute(getIntObject_Value(), ecorePackage.getEInt(), "value", null, 0, 1, IntObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1905
1906 initEClass(realObjectEClass, RealObject.class, "RealObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1907 initEAttribute(getRealObject_Value(), ecorePackage.getEBigDecimal(), "value", null, 0, 1, RealObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1908
1909 initEClass(stringObjectEClass, StringObject.class, "StringObject", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1910 initEAttribute(getStringObject_Value(), ecorePackage.getEString(), "value", null, 0, 1, StringObject.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1911
1912 initEClass(predicateEClass, Predicate.class, "Predicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1913 initEReference(getPredicate_Parameters(), this.getParameter(), null, "parameters", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1914 initEReference(getPredicate_Bodies(), this.getPatternBody(), null, "bodies", null, 0, -1, Predicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1915
1916 initEClass(predicateSymbolEClass, PredicateSymbol.class, "PredicateSymbol", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1917 initEReference(getPredicateSymbol_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, PredicateSymbol.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1918
1919 initEClass(errorPredicateEClass, ErrorPredicate.class, "ErrorPredicate", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1920 initEAttribute(getErrorPredicate_Name(), ecorePackage.getEString(), "name", null, 0, 1, ErrorPredicate.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1921
1922 initEClass(parameterEClass, Parameter.class, "Parameter", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1923 initEReference(getParameter_Variable(), this.getVariable(), null, "variable", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1924 initEReference(getParameter_Type(), this.getSymbol(), null, "type", null, 0, 1, Parameter.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1925
1926 initEClass(patternBodyEClass, PatternBody.class, "PatternBody", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1927 initEReference(getPatternBody_Constraints(), this.getConstraint(), null, "constraints", null, 0, -1, PatternBody.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1928
1929 initEClass(polarityEClass, Polarity.class, "Polarity", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1930
1931 initEClass(constraintEClass, Constraint.class, "Constraint", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1932 initEReference(getConstraint_Polarity(), this.getPolarity(), null, "polarity", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1933 initEReference(getConstraint_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1934 initEReference(getConstraint_Params(), this.getLiteral(), null, "params", null, 0, -1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1935 initEReference(getConstraint_ClosureType(), this.getClosureType(), null, "closureType", null, 0, 1, Constraint.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1936
1937 initEClass(closureTypeEClass, ClosureType.class, "ClosureType", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1938
1939 initEClass(literalEClass, Literal.class, "Literal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1940
1941 initEClass(variableEClass, Variable.class, "Variable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1942 initEAttribute(getVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, Variable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1943
1944 initEClass(allInstancesEClass, AllInstances.class, "AllInstances", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1945 initEReference(getAllInstances_Symbol(), this.getSymbol(), null, "symbol", null, 0, 1, AllInstances.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1946
1947 initEClass(allObjectsEClass, AllObjects.class, "AllObjects", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1948
1949 initEClass(defaultInterpretationEClass, DefaultInterpretation.class, "DefaultInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1950 initEReference(getDefaultInterpretation_Interpretation(), this.getBasicInterpretation(), null, "interpretation", null, 0, 1, DefaultInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1951
1952 initEClass(cdInterpretationEClass, CDInterpretation.class, "CDInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1953
1954 initEClass(classInterpretationEClass, ClassInterpretation.class, "ClassInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1955 initEAttribute(getClassInterpretation_Abstract(), ecorePackage.getEBoolean(), "abstract", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1956 initEReference(getClassInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1957 initEReference(getClassInterpretation_Supertypes(), this.getModelSymbol(), null, "supertypes", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1958 initEReference(getClassInterpretation_Fielt(), this.getFieldRelationInterpretation(), null, "fielt", null, 0, -1, ClassInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1959
1960 initEClass(enumInterpretationEClass, EnumInterpretation.class, "EnumInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1961 initEReference(getEnumInterpretation_Symbol(), this.getModelSymbol(), null, "Symbol", null, 0, 1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1962 initEReference(getEnumInterpretation_Objects(), this.getNamedObject(), null, "objects", null, 0, -1, EnumInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1963
1964 initEClass(fieldRelationInterpretationEClass, FieldRelationInterpretation.class, "FieldRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1965 initEAttribute(getFieldRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1966 initEReference(getFieldRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1967 initEReference(getFieldRelationInterpretation_Multiplicity(), this.getMultiplicityDefinition(), null, "multiplicity", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1968 initEReference(getFieldRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, FieldRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1969
1970 initEClass(globalRelationInterpretationEClass, GlobalRelationInterpretation.class, "GlobalRelationInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1971 initEAttribute(getGlobalRelationInterpretation_Containment(), ecorePackage.getEBoolean(), "containment", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1972 initEReference(getGlobalRelationInterpretation_Symbol(), this.getModelSymbol(), null, "symbol", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1973 initEReference(getGlobalRelationInterpretation_SourceMultiplicity(), this.getMultiplicityDefinition(), null, "sourceMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1974 initEReference(getGlobalRelationInterpretation_Source(), this.getSymbol(), null, "source", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1975 initEReference(getGlobalRelationInterpretation_TargetMultiplicity(), this.getMultiplicityDefinition(), null, "targetMultiplicity", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1976 initEReference(getGlobalRelationInterpretation_Target(), this.getSymbol(), null, "target", null, 0, 1, GlobalRelationInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1977
1978 initEClass(multiplicityDefinitionEClass, MultiplicityDefinition.class, "MultiplicityDefinition", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1979 initEAttribute(getMultiplicityDefinition_Lower(), ecorePackage.getEInt(), "lower", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1980 initEAttribute(getMultiplicityDefinition_Upper(), ecorePackage.getEInt(), "upper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1981 initEAttribute(getMultiplicityDefinition_UnlimitedUpper(), ecorePackage.getEBoolean(), "unlimitedUpper", null, 0, 1, MultiplicityDefinition.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1982
1983 initEClass(booleanTrueEClass, BooleanTrue.class, "BooleanTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1984
1985 initEClass(booleanFalseEClass, BooleanFalse.class, "BooleanFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1986
1987 initEClass(trueEClass, True.class, "True", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1988
1989 initEClass(falseEClass, False.class, "False", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1990
1991 initEClass(unknownEClass, Unknown.class, "Unknown", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1992
1993 initEClass(errorEClass, org.eclipse.viatra.solver.language.solverLanguage.Error.class, "Error", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1994
1995 initEClass(positiveEClass, Positive.class, "Positive", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1996
1997 initEClass(negativeEClass, Negative.class, "Negative", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1998
1999 initEClass(reflexiveClosureEClass, ReflexiveClosure.class, "ReflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2000
2001 initEClass(irreflexiveClosureEClass, IrreflexiveClosure.class, "IrreflexiveClosure", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
2002
2003 // Create resource
2004 createResource(eNS_URI);
2005 }
2006
2007} //SolverLanguagePackageImpl
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-03 16:11:59 +0000