aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java1644
1 files changed, 1644 insertions, 0 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java
new file mode 100644
index 00000000..2907b35d
--- /dev/null
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java
@@ -0,0 +1,1644 @@
1/**
2 * generated by Xtext 2.14.0
3 */
4package ca.mcgill.ecse.dslreasoner.vampireLanguage.impl;
5
6import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd;
7import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation;
8import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment;
9import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment;
10import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations;
11import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant;
12import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm;
13import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote;
14import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;
15import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;
16import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier;
17import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse;
18import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;
19import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction;
20import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionAsTerm;
21import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSImplies;
22import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInclude;
23import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInequality;
24import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSInt;
25import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSLess;
26import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSName;
27import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNand;
28import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSNor;
29import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr;
30import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational;
31import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal;
32import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies;
33import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable;
34import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm;
35import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula;
36import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue;
37import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation;
38import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier;
39import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable;
40import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSXnor;
41import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguageFactory;
42import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage;
43import ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireModel;
44
45import org.eclipse.emf.ecore.EAttribute;
46import org.eclipse.emf.ecore.EClass;
47import org.eclipse.emf.ecore.EPackage;
48import org.eclipse.emf.ecore.EReference;
49
50import org.eclipse.emf.ecore.impl.EPackageImpl;
51
52/**
53 * <!-- begin-user-doc -->
54 * An implementation of the model <b>Package</b>.
55 * <!-- end-user-doc -->
56 * @generated
57 */
58public class VampireLanguagePackageImpl extends EPackageImpl implements VampireLanguagePackage
59{
60 /**
61 * <!-- begin-user-doc -->
62 * <!-- end-user-doc -->
63 * @generated
64 */
65 private EClass vampireModelEClass = null;
66
67 /**
68 * <!-- begin-user-doc -->
69 * <!-- end-user-doc -->
70 * @generated
71 */
72 private EClass vlsIncludeEClass = null;
73
74 /**
75 * <!-- begin-user-doc -->
76 * <!-- end-user-doc -->
77 * @generated
78 */
79 private EClass vlsNameEClass = null;
80
81 /**
82 * <!-- begin-user-doc -->
83 * <!-- end-user-doc -->
84 * @generated
85 */
86 private EClass vlsCommentEClass = null;
87
88 /**
89 * <!-- begin-user-doc -->
90 * <!-- end-user-doc -->
91 * @generated
92 */
93 private EClass vlsConfirmationsEClass = null;
94
95 /**
96 * <!-- begin-user-doc -->
97 * <!-- end-user-doc -->
98 * @generated
99 */
100 private EClass vlsSatisfiableEClass = null;
101
102 /**
103 * <!-- begin-user-doc -->
104 * <!-- end-user-doc -->
105 * @generated
106 */
107 private EClass vlsFofFormulaEClass = null;
108
109 /**
110 * <!-- begin-user-doc -->
111 * <!-- end-user-doc -->
112 * @generated
113 */
114 private EClass vlsTffFormulaEClass = null;
115
116 /**
117 * <!-- begin-user-doc -->
118 * <!-- end-user-doc -->
119 * @generated
120 */
121 private EClass vlsAnnotationEClass = null;
122
123 /**
124 * <!-- begin-user-doc -->
125 * <!-- end-user-doc -->
126 * @generated
127 */
128 private EClass vlsTermEClass = null;
129
130 /**
131 * <!-- begin-user-doc -->
132 * <!-- end-user-doc -->
133 * @generated
134 */
135 private EClass vlsVariableEClass = null;
136
137 /**
138 * <!-- begin-user-doc -->
139 * <!-- end-user-doc -->
140 * @generated
141 */
142 private EClass vlsFunctionAsTermEClass = null;
143
144 /**
145 * <!-- begin-user-doc -->
146 * <!-- end-user-doc -->
147 * @generated
148 */
149 private EClass vlsDefinedTermEClass = null;
150
151 /**
152 * <!-- begin-user-doc -->
153 * <!-- end-user-doc -->
154 * @generated
155 */
156 private EClass vlsEquivalentEClass = null;
157
158 /**
159 * <!-- begin-user-doc -->
160 * <!-- end-user-doc -->
161 * @generated
162 */
163 private EClass vlsImpliesEClass = null;
164
165 /**
166 * <!-- begin-user-doc -->
167 * <!-- end-user-doc -->
168 * @generated
169 */
170 private EClass vlsRevImpliesEClass = null;
171
172 /**
173 * <!-- begin-user-doc -->
174 * <!-- end-user-doc -->
175 * @generated
176 */
177 private EClass vlsXnorEClass = null;
178
179 /**
180 * <!-- begin-user-doc -->
181 * <!-- end-user-doc -->
182 * @generated
183 */
184 private EClass vlsNorEClass = null;
185
186 /**
187 * <!-- begin-user-doc -->
188 * <!-- end-user-doc -->
189 * @generated
190 */
191 private EClass vlsNandEClass = null;
192
193 /**
194 * <!-- begin-user-doc -->
195 * <!-- end-user-doc -->
196 * @generated
197 */
198 private EClass vlsAndEClass = null;
199
200 /**
201 * <!-- begin-user-doc -->
202 * <!-- end-user-doc -->
203 * @generated
204 */
205 private EClass vlsOrEClass = null;
206
207 /**
208 * <!-- begin-user-doc -->
209 * <!-- end-user-doc -->
210 * @generated
211 */
212 private EClass vlsUniversalQuantifierEClass = null;
213
214 /**
215 * <!-- begin-user-doc -->
216 * <!-- end-user-doc -->
217 * @generated
218 */
219 private EClass vlsExistentialQuantifierEClass = null;
220
221 /**
222 * <!-- begin-user-doc -->
223 * <!-- end-user-doc -->
224 * @generated
225 */
226 private EClass vlsUnaryNegationEClass = null;
227
228 /**
229 * <!-- begin-user-doc -->
230 * <!-- end-user-doc -->
231 * @generated
232 */
233 private EClass vlsInequalityEClass = null;
234
235 /**
236 * <!-- begin-user-doc -->
237 * <!-- end-user-doc -->
238 * @generated
239 */
240 private EClass vlsEqualityEClass = null;
241
242 /**
243 * <!-- begin-user-doc -->
244 * <!-- end-user-doc -->
245 * @generated
246 */
247 private EClass vlsAssignmentEClass = null;
248
249 /**
250 * <!-- begin-user-doc -->
251 * <!-- end-user-doc -->
252 * @generated
253 */
254 private EClass vlsConstantEClass = null;
255
256 /**
257 * <!-- begin-user-doc -->
258 * <!-- end-user-doc -->
259 * @generated
260 */
261 private EClass vlsTrueEClass = null;
262
263 /**
264 * <!-- begin-user-doc -->
265 * <!-- end-user-doc -->
266 * @generated
267 */
268 private EClass vlsFalseEClass = null;
269
270 /**
271 * <!-- begin-user-doc -->
272 * <!-- end-user-doc -->
273 * @generated
274 */
275 private EClass vlsFunctionEClass = null;
276
277 /**
278 * <!-- begin-user-doc -->
279 * <!-- end-user-doc -->
280 * @generated
281 */
282 private EClass vlsLessEClass = null;
283
284 /**
285 * <!-- begin-user-doc -->
286 * <!-- end-user-doc -->
287 * @generated
288 */
289 private EClass vlsIntEClass = null;
290
291 /**
292 * <!-- begin-user-doc -->
293 * <!-- end-user-doc -->
294 * @generated
295 */
296 private EClass vlsRealEClass = null;
297
298 /**
299 * <!-- begin-user-doc -->
300 * <!-- end-user-doc -->
301 * @generated
302 */
303 private EClass vlsRationalEClass = null;
304
305 /**
306 * <!-- begin-user-doc -->
307 * <!-- end-user-doc -->
308 * @generated
309 */
310 private EClass vlsDoubleQuoteEClass = null;
311
312 /**
313 * Creates an instance of the model <b>Package</b>, registered with
314 * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
315 * package URI value.
316 * <p>Note: the correct way to create the package is via the static
317 * factory method {@link #init init()}, which also performs
318 * initialization of the package, or returns the registered package,
319 * if one already exists.
320 * <!-- begin-user-doc -->
321 * <!-- end-user-doc -->
322 * @see org.eclipse.emf.ecore.EPackage.Registry
323 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VampireLanguagePackage#eNS_URI
324 * @see #init()
325 * @generated
326 */
327 private VampireLanguagePackageImpl()
328 {
329 super(eNS_URI, VampireLanguageFactory.eINSTANCE);
330 }
331
332 /**
333 * <!-- begin-user-doc -->
334 * <!-- end-user-doc -->
335 * @generated
336 */
337 private static boolean isInited = false;
338
339 /**
340 * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
341 *
342 * <p>This method is used to initialize {@link VampireLanguagePackage#eINSTANCE} when that field is accessed.
343 * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
344 * <!-- begin-user-doc -->
345 * <!-- end-user-doc -->
346 * @see #eNS_URI
347 * @see #createPackageContents()
348 * @see #initializePackageContents()
349 * @generated
350 */
351 public static VampireLanguagePackage init()
352 {
353 if (isInited) return (VampireLanguagePackage)EPackage.Registry.INSTANCE.getEPackage(VampireLanguagePackage.eNS_URI);
354
355 // Obtain or create and register package
356 Object registeredVampireLanguagePackage = EPackage.Registry.INSTANCE.get(eNS_URI);
357 VampireLanguagePackageImpl theVampireLanguagePackage = registeredVampireLanguagePackage instanceof VampireLanguagePackageImpl ? (VampireLanguagePackageImpl)registeredVampireLanguagePackage : new VampireLanguagePackageImpl();
358
359 isInited = true;
360
361 // Create package meta-data objects
362 theVampireLanguagePackage.createPackageContents();
363
364 // Initialize created meta-data
365 theVampireLanguagePackage.initializePackageContents();
366
367 // Mark meta-data to indicate it can't be changed
368 theVampireLanguagePackage.freeze();
369
370 // Update the registry and return the package
371 EPackage.Registry.INSTANCE.put(VampireLanguagePackage.eNS_URI, theVampireLanguagePackage);
372 return theVampireLanguagePackage;
373 }
374
375 /**
376 * <!-- begin-user-doc -->
377 * <!-- end-user-doc -->
378 * @generated
379 */
380 public EClass getVampireModel()
381 {
382 return vampireModelEClass;
383 }
384
385 /**
386 * <!-- begin-user-doc -->
387 * <!-- end-user-doc -->
388 * @generated
389 */
390 public EReference getVampireModel_Includes()
391 {
392 return (EReference)vampireModelEClass.getEStructuralFeatures().get(0);
393 }
394
395 /**
396 * <!-- begin-user-doc -->
397 * <!-- end-user-doc -->
398 * @generated
399 */
400 public EReference getVampireModel_Comments()
401 {
402 return (EReference)vampireModelEClass.getEStructuralFeatures().get(1);
403 }
404
405 /**
406 * <!-- begin-user-doc -->
407 * <!-- end-user-doc -->
408 * @generated
409 */
410 public EReference getVampireModel_Confirmations()
411 {
412 return (EReference)vampireModelEClass.getEStructuralFeatures().get(2);
413 }
414
415 /**
416 * <!-- begin-user-doc -->
417 * <!-- end-user-doc -->
418 * @generated
419 */
420 public EReference getVampireModel_Formulas()
421 {
422 return (EReference)vampireModelEClass.getEStructuralFeatures().get(3);
423 }
424
425 /**
426 * <!-- begin-user-doc -->
427 * <!-- end-user-doc -->
428 * @generated
429 */
430 public EReference getVampireModel_Tfformulas()
431 {
432 return (EReference)vampireModelEClass.getEStructuralFeatures().get(4);
433 }
434
435 /**
436 * <!-- begin-user-doc -->
437 * <!-- end-user-doc -->
438 * @generated
439 */
440 public EClass getVLSInclude()
441 {
442 return vlsIncludeEClass;
443 }
444
445 /**
446 * <!-- begin-user-doc -->
447 * <!-- end-user-doc -->
448 * @generated
449 */
450 public EAttribute getVLSInclude_FileName()
451 {
452 return (EAttribute)vlsIncludeEClass.getEStructuralFeatures().get(0);
453 }
454
455 /**
456 * <!-- begin-user-doc -->
457 * <!-- end-user-doc -->
458 * @generated
459 */
460 public EReference getVLSInclude_Names()
461 {
462 return (EReference)vlsIncludeEClass.getEStructuralFeatures().get(1);
463 }
464
465 /**
466 * <!-- begin-user-doc -->
467 * <!-- end-user-doc -->
468 * @generated
469 */
470 public EClass getVLSName()
471 {
472 return vlsNameEClass;
473 }
474
475 /**
476 * <!-- begin-user-doc -->
477 * <!-- end-user-doc -->
478 * @generated
479 */
480 public EAttribute getVLSName_Name()
481 {
482 return (EAttribute)vlsNameEClass.getEStructuralFeatures().get(0);
483 }
484
485 /**
486 * <!-- begin-user-doc -->
487 * <!-- end-user-doc -->
488 * @generated
489 */
490 public EClass getVLSComment()
491 {
492 return vlsCommentEClass;
493 }
494
495 /**
496 * <!-- begin-user-doc -->
497 * <!-- end-user-doc -->
498 * @generated
499 */
500 public EAttribute getVLSComment_Comment()
501 {
502 return (EAttribute)vlsCommentEClass.getEStructuralFeatures().get(0);
503 }
504
505 /**
506 * <!-- begin-user-doc -->
507 * <!-- end-user-doc -->
508 * @generated
509 */
510 public EClass getVLSConfirmations()
511 {
512 return vlsConfirmationsEClass;
513 }
514
515 /**
516 * <!-- begin-user-doc -->
517 * <!-- end-user-doc -->
518 * @generated
519 */
520 public EClass getVLSSatisfiable()
521 {
522 return vlsSatisfiableEClass;
523 }
524
525 /**
526 * <!-- begin-user-doc -->
527 * <!-- end-user-doc -->
528 * @generated
529 */
530 public EClass getVLSFofFormula()
531 {
532 return vlsFofFormulaEClass;
533 }
534
535 /**
536 * <!-- begin-user-doc -->
537 * <!-- end-user-doc -->
538 * @generated
539 */
540 public EAttribute getVLSFofFormula_Name()
541 {
542 return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(0);
543 }
544
545 /**
546 * <!-- begin-user-doc -->
547 * <!-- end-user-doc -->
548 * @generated
549 */
550 public EAttribute getVLSFofFormula_FofRole()
551 {
552 return (EAttribute)vlsFofFormulaEClass.getEStructuralFeatures().get(1);
553 }
554
555 /**
556 * <!-- begin-user-doc -->
557 * <!-- end-user-doc -->
558 * @generated
559 */
560 public EReference getVLSFofFormula_FofFormula()
561 {
562 return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(2);
563 }
564
565 /**
566 * <!-- begin-user-doc -->
567 * <!-- end-user-doc -->
568 * @generated
569 */
570 public EReference getVLSFofFormula_Annotations()
571 {
572 return (EReference)vlsFofFormulaEClass.getEStructuralFeatures().get(3);
573 }
574
575 /**
576 * <!-- begin-user-doc -->
577 * <!-- end-user-doc -->
578 * @generated
579 */
580 public EClass getVLSTffFormula()
581 {
582 return vlsTffFormulaEClass;
583 }
584
585 /**
586 * <!-- begin-user-doc -->
587 * <!-- end-user-doc -->
588 * @generated
589 */
590 public EAttribute getVLSTffFormula_Name()
591 {
592 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(0);
593 }
594
595 /**
596 * <!-- begin-user-doc -->
597 * <!-- end-user-doc -->
598 * @generated
599 */
600 public EAttribute getVLSTffFormula_FofRole()
601 {
602 return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(1);
603 }
604
605 /**
606 * <!-- begin-user-doc -->
607 * <!-- end-user-doc -->
608 * @generated
609 */
610 public EReference getVLSTffFormula_FofFormula()
611 {
612 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(2);
613 }
614
615 /**
616 * <!-- begin-user-doc -->
617 * <!-- end-user-doc -->
618 * @generated
619 */
620 public EReference getVLSTffFormula_Annotations()
621 {
622 return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(3);
623 }
624
625 /**
626 * <!-- begin-user-doc -->
627 * <!-- end-user-doc -->
628 * @generated
629 */
630 public EClass getVLSAnnotation()
631 {
632 return vlsAnnotationEClass;
633 }
634
635 /**
636 * <!-- begin-user-doc -->
637 * <!-- end-user-doc -->
638 * @generated
639 */
640 public EAttribute getVLSAnnotation_Name()
641 {
642 return (EAttribute)vlsAnnotationEClass.getEStructuralFeatures().get(0);
643 }
644
645 /**
646 * <!-- begin-user-doc -->
647 * <!-- end-user-doc -->
648 * @generated
649 */
650 public EReference getVLSAnnotation_Followup()
651 {
652 return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(1);
653 }
654
655 /**
656 * <!-- begin-user-doc -->
657 * <!-- end-user-doc -->
658 * @generated
659 */
660 public EReference getVLSAnnotation_Terms()
661 {
662 return (EReference)vlsAnnotationEClass.getEStructuralFeatures().get(2);
663 }
664
665 /**
666 * <!-- begin-user-doc -->
667 * <!-- end-user-doc -->
668 * @generated
669 */
670 public EClass getVLSTerm()
671 {
672 return vlsTermEClass;
673 }
674
675 /**
676 * <!-- begin-user-doc -->
677 * <!-- end-user-doc -->
678 * @generated
679 */
680 public EClass getVLSVariable()
681 {
682 return vlsVariableEClass;
683 }
684
685 /**
686 * <!-- begin-user-doc -->
687 * <!-- end-user-doc -->
688 * @generated
689 */
690 public EAttribute getVLSVariable_Name()
691 {
692 return (EAttribute)vlsVariableEClass.getEStructuralFeatures().get(0);
693 }
694
695 /**
696 * <!-- begin-user-doc -->
697 * <!-- end-user-doc -->
698 * @generated
699 */
700 public EClass getVLSFunctionAsTerm()
701 {
702 return vlsFunctionAsTermEClass;
703 }
704
705 /**
706 * <!-- begin-user-doc -->
707 * <!-- end-user-doc -->
708 * @generated
709 */
710 public EAttribute getVLSFunctionAsTerm_Functor()
711 {
712 return (EAttribute)vlsFunctionAsTermEClass.getEStructuralFeatures().get(0);
713 }
714
715 /**
716 * <!-- begin-user-doc -->
717 * <!-- end-user-doc -->
718 * @generated
719 */
720 public EReference getVLSFunctionAsTerm_Terms()
721 {
722 return (EReference)vlsFunctionAsTermEClass.getEStructuralFeatures().get(1);
723 }
724
725 /**
726 * <!-- begin-user-doc -->
727 * <!-- end-user-doc -->
728 * @generated
729 */
730 public EClass getVLSDefinedTerm()
731 {
732 return vlsDefinedTermEClass;
733 }
734
735 /**
736 * <!-- begin-user-doc -->
737 * <!-- end-user-doc -->
738 * @generated
739 */
740 public EAttribute getVLSDefinedTerm_Value()
741 {
742 return (EAttribute)vlsDefinedTermEClass.getEStructuralFeatures().get(0);
743 }
744
745 /**
746 * <!-- begin-user-doc -->
747 * <!-- end-user-doc -->
748 * @generated
749 */
750 public EClass getVLSEquivalent()
751 {
752 return vlsEquivalentEClass;
753 }
754
755 /**
756 * <!-- begin-user-doc -->
757 * <!-- end-user-doc -->
758 * @generated
759 */
760 public EReference getVLSEquivalent_Left()
761 {
762 return (EReference)vlsEquivalentEClass.getEStructuralFeatures().get(0);
763 }
764
765 /**
766 * <!-- begin-user-doc -->
767 * <!-- end-user-doc -->
768 * @generated
769 */
770 public EReference getVLSEquivalent_Right()
771 {
772 return (EReference)vlsEquivalentEClass.getEStructuralFeatures().get(1);
773 }
774
775 /**
776 * <!-- begin-user-doc -->
777 * <!-- end-user-doc -->
778 * @generated
779 */
780 public EClass getVLSImplies()
781 {
782 return vlsImpliesEClass;
783 }
784
785 /**
786 * <!-- begin-user-doc -->
787 * <!-- end-user-doc -->
788 * @generated
789 */
790 public EReference getVLSImplies_Left()
791 {
792 return (EReference)vlsImpliesEClass.getEStructuralFeatures().get(0);
793 }
794
795 /**
796 * <!-- begin-user-doc -->
797 * <!-- end-user-doc -->
798 * @generated
799 */
800 public EReference getVLSImplies_Right()
801 {
802 return (EReference)vlsImpliesEClass.getEStructuralFeatures().get(1);
803 }
804
805 /**
806 * <!-- begin-user-doc -->
807 * <!-- end-user-doc -->
808 * @generated
809 */
810 public EClass getVLSRevImplies()
811 {
812 return vlsRevImpliesEClass;
813 }
814
815 /**
816 * <!-- begin-user-doc -->
817 * <!-- end-user-doc -->
818 * @generated
819 */
820 public EReference getVLSRevImplies_Left()
821 {
822 return (EReference)vlsRevImpliesEClass.getEStructuralFeatures().get(0);
823 }
824
825 /**
826 * <!-- begin-user-doc -->
827 * <!-- end-user-doc -->
828 * @generated
829 */
830 public EReference getVLSRevImplies_Right()
831 {
832 return (EReference)vlsRevImpliesEClass.getEStructuralFeatures().get(1);
833 }
834
835 /**
836 * <!-- begin-user-doc -->
837 * <!-- end-user-doc -->
838 * @generated
839 */
840 public EClass getVLSXnor()
841 {
842 return vlsXnorEClass;
843 }
844
845 /**
846 * <!-- begin-user-doc -->
847 * <!-- end-user-doc -->
848 * @generated
849 */
850 public EReference getVLSXnor_Left()
851 {
852 return (EReference)vlsXnorEClass.getEStructuralFeatures().get(0);
853 }
854
855 /**
856 * <!-- begin-user-doc -->
857 * <!-- end-user-doc -->
858 * @generated
859 */
860 public EReference getVLSXnor_Right()
861 {
862 return (EReference)vlsXnorEClass.getEStructuralFeatures().get(1);
863 }
864
865 /**
866 * <!-- begin-user-doc -->
867 * <!-- end-user-doc -->
868 * @generated
869 */
870 public EClass getVLSNor()
871 {
872 return vlsNorEClass;
873 }
874
875 /**
876 * <!-- begin-user-doc -->
877 * <!-- end-user-doc -->
878 * @generated
879 */
880 public EReference getVLSNor_Left()
881 {
882 return (EReference)vlsNorEClass.getEStructuralFeatures().get(0);
883 }
884
885 /**
886 * <!-- begin-user-doc -->
887 * <!-- end-user-doc -->
888 * @generated
889 */
890 public EReference getVLSNor_Right()
891 {
892 return (EReference)vlsNorEClass.getEStructuralFeatures().get(1);
893 }
894
895 /**
896 * <!-- begin-user-doc -->
897 * <!-- end-user-doc -->
898 * @generated
899 */
900 public EClass getVLSNand()
901 {
902 return vlsNandEClass;
903 }
904
905 /**
906 * <!-- begin-user-doc -->
907 * <!-- end-user-doc -->
908 * @generated
909 */
910 public EReference getVLSNand_Left()
911 {
912 return (EReference)vlsNandEClass.getEStructuralFeatures().get(0);
913 }
914
915 /**
916 * <!-- begin-user-doc -->
917 * <!-- end-user-doc -->
918 * @generated
919 */
920 public EReference getVLSNand_Right()
921 {
922 return (EReference)vlsNandEClass.getEStructuralFeatures().get(1);
923 }
924
925 /**
926 * <!-- begin-user-doc -->
927 * <!-- end-user-doc -->
928 * @generated
929 */
930 public EClass getVLSAnd()
931 {
932 return vlsAndEClass;
933 }
934
935 /**
936 * <!-- begin-user-doc -->
937 * <!-- end-user-doc -->
938 * @generated
939 */
940 public EReference getVLSAnd_Left()
941 {
942 return (EReference)vlsAndEClass.getEStructuralFeatures().get(0);
943 }
944
945 /**
946 * <!-- begin-user-doc -->
947 * <!-- end-user-doc -->
948 * @generated
949 */
950 public EReference getVLSAnd_Right()
951 {
952 return (EReference)vlsAndEClass.getEStructuralFeatures().get(1);
953 }
954
955 /**
956 * <!-- begin-user-doc -->
957 * <!-- end-user-doc -->
958 * @generated
959 */
960 public EClass getVLSOr()
961 {
962 return vlsOrEClass;
963 }
964
965 /**
966 * <!-- begin-user-doc -->
967 * <!-- end-user-doc -->
968 * @generated
969 */
970 public EReference getVLSOr_Left()
971 {
972 return (EReference)vlsOrEClass.getEStructuralFeatures().get(0);
973 }
974
975 /**
976 * <!-- begin-user-doc -->
977 * <!-- end-user-doc -->
978 * @generated
979 */
980 public EReference getVLSOr_Right()
981 {
982 return (EReference)vlsOrEClass.getEStructuralFeatures().get(1);
983 }
984
985 /**
986 * <!-- begin-user-doc -->
987 * <!-- end-user-doc -->
988 * @generated
989 */
990 public EClass getVLSUniversalQuantifier()
991 {
992 return vlsUniversalQuantifierEClass;
993 }
994
995 /**
996 * <!-- begin-user-doc -->
997 * <!-- end-user-doc -->
998 * @generated
999 */
1000 public EReference getVLSUniversalQuantifier_Variables()
1001 {
1002 return (EReference)vlsUniversalQuantifierEClass.getEStructuralFeatures().get(0);
1003 }
1004
1005 /**
1006 * <!-- begin-user-doc -->
1007 * <!-- end-user-doc -->
1008 * @generated
1009 */
1010 public EReference getVLSUniversalQuantifier_Operand()
1011 {
1012 return (EReference)vlsUniversalQuantifierEClass.getEStructuralFeatures().get(1);
1013 }
1014
1015 /**
1016 * <!-- begin-user-doc -->
1017 * <!-- end-user-doc -->
1018 * @generated
1019 */
1020 public EClass getVLSExistentialQuantifier()
1021 {
1022 return vlsExistentialQuantifierEClass;
1023 }
1024
1025 /**
1026 * <!-- begin-user-doc -->
1027 * <!-- end-user-doc -->
1028 * @generated
1029 */
1030 public EReference getVLSExistentialQuantifier_Variables()
1031 {
1032 return (EReference)vlsExistentialQuantifierEClass.getEStructuralFeatures().get(0);
1033 }
1034
1035 /**
1036 * <!-- begin-user-doc -->
1037 * <!-- end-user-doc -->
1038 * @generated
1039 */
1040 public EReference getVLSExistentialQuantifier_Operand()
1041 {
1042 return (EReference)vlsExistentialQuantifierEClass.getEStructuralFeatures().get(1);
1043 }
1044
1045 /**
1046 * <!-- begin-user-doc -->
1047 * <!-- end-user-doc -->
1048 * @generated
1049 */
1050 public EClass getVLSUnaryNegation()
1051 {
1052 return vlsUnaryNegationEClass;
1053 }
1054
1055 /**
1056 * <!-- begin-user-doc -->
1057 * <!-- end-user-doc -->
1058 * @generated
1059 */
1060 public EReference getVLSUnaryNegation_Operand()
1061 {
1062 return (EReference)vlsUnaryNegationEClass.getEStructuralFeatures().get(0);
1063 }
1064
1065 /**
1066 * <!-- begin-user-doc -->
1067 * <!-- end-user-doc -->
1068 * @generated
1069 */
1070 public EClass getVLSInequality()
1071 {
1072 return vlsInequalityEClass;
1073 }
1074
1075 /**
1076 * <!-- begin-user-doc -->
1077 * <!-- end-user-doc -->
1078 * @generated
1079 */
1080 public EReference getVLSInequality_Left()
1081 {
1082 return (EReference)vlsInequalityEClass.getEStructuralFeatures().get(0);
1083 }
1084
1085 /**
1086 * <!-- begin-user-doc -->
1087 * <!-- end-user-doc -->
1088 * @generated
1089 */
1090 public EReference getVLSInequality_Right()
1091 {
1092 return (EReference)vlsInequalityEClass.getEStructuralFeatures().get(1);
1093 }
1094
1095 /**
1096 * <!-- begin-user-doc -->
1097 * <!-- end-user-doc -->
1098 * @generated
1099 */
1100 public EClass getVLSEquality()
1101 {
1102 return vlsEqualityEClass;
1103 }
1104
1105 /**
1106 * <!-- begin-user-doc -->
1107 * <!-- end-user-doc -->
1108 * @generated
1109 */
1110 public EReference getVLSEquality_Left()
1111 {
1112 return (EReference)vlsEqualityEClass.getEStructuralFeatures().get(0);
1113 }
1114
1115 /**
1116 * <!-- begin-user-doc -->
1117 * <!-- end-user-doc -->
1118 * @generated
1119 */
1120 public EReference getVLSEquality_Right()
1121 {
1122 return (EReference)vlsEqualityEClass.getEStructuralFeatures().get(1);
1123 }
1124
1125 /**
1126 * <!-- begin-user-doc -->
1127 * <!-- end-user-doc -->
1128 * @generated
1129 */
1130 public EClass getVLSAssignment()
1131 {
1132 return vlsAssignmentEClass;
1133 }
1134
1135 /**
1136 * <!-- begin-user-doc -->
1137 * <!-- end-user-doc -->
1138 * @generated
1139 */
1140 public EReference getVLSAssignment_Left()
1141 {
1142 return (EReference)vlsAssignmentEClass.getEStructuralFeatures().get(0);
1143 }
1144
1145 /**
1146 * <!-- begin-user-doc -->
1147 * <!-- end-user-doc -->
1148 * @generated
1149 */
1150 public EReference getVLSAssignment_Right()
1151 {
1152 return (EReference)vlsAssignmentEClass.getEStructuralFeatures().get(1);
1153 }
1154
1155 /**
1156 * <!-- begin-user-doc -->
1157 * <!-- end-user-doc -->
1158 * @generated
1159 */
1160 public EClass getVLSConstant()
1161 {
1162 return vlsConstantEClass;
1163 }
1164
1165 /**
1166 * <!-- begin-user-doc -->
1167 * <!-- end-user-doc -->
1168 * @generated
1169 */
1170 public EAttribute getVLSConstant_Name()
1171 {
1172 return (EAttribute)vlsConstantEClass.getEStructuralFeatures().get(0);
1173 }
1174
1175 /**
1176 * <!-- begin-user-doc -->
1177 * <!-- end-user-doc -->
1178 * @generated
1179 */
1180 public EClass getVLSTrue()
1181 {
1182 return vlsTrueEClass;
1183 }
1184
1185 /**
1186 * <!-- begin-user-doc -->
1187 * <!-- end-user-doc -->
1188 * @generated
1189 */
1190 public EClass getVLSFalse()
1191 {
1192 return vlsFalseEClass;
1193 }
1194
1195 /**
1196 * <!-- begin-user-doc -->
1197 * <!-- end-user-doc -->
1198 * @generated
1199 */
1200 public EClass getVLSFunction()
1201 {
1202 return vlsFunctionEClass;
1203 }
1204
1205 /**
1206 * <!-- begin-user-doc -->
1207 * <!-- end-user-doc -->
1208 * @generated
1209 */
1210 public EAttribute getVLSFunction_Constant()
1211 {
1212 return (EAttribute)vlsFunctionEClass.getEStructuralFeatures().get(0);
1213 }
1214
1215 /**
1216 * <!-- begin-user-doc -->
1217 * <!-- end-user-doc -->
1218 * @generated
1219 */
1220 public EReference getVLSFunction_Terms()
1221 {
1222 return (EReference)vlsFunctionEClass.getEStructuralFeatures().get(1);
1223 }
1224
1225 /**
1226 * <!-- begin-user-doc -->
1227 * <!-- end-user-doc -->
1228 * @generated
1229 */
1230 public EClass getVLSLess()
1231 {
1232 return vlsLessEClass;
1233 }
1234
1235 /**
1236 * <!-- begin-user-doc -->
1237 * <!-- end-user-doc -->
1238 * @generated
1239 */
1240 public EAttribute getVLSLess_Name()
1241 {
1242 return (EAttribute)vlsLessEClass.getEStructuralFeatures().get(0);
1243 }
1244
1245 /**
1246 * <!-- begin-user-doc -->
1247 * <!-- end-user-doc -->
1248 * @generated
1249 */
1250 public EReference getVLSLess_Terms()
1251 {
1252 return (EReference)vlsLessEClass.getEStructuralFeatures().get(1);
1253 }
1254
1255 /**
1256 * <!-- begin-user-doc -->
1257 * <!-- end-user-doc -->
1258 * @generated
1259 */
1260 public EClass getVLSInt()
1261 {
1262 return vlsIntEClass;
1263 }
1264
1265 /**
1266 * <!-- begin-user-doc -->
1267 * <!-- end-user-doc -->
1268 * @generated
1269 */
1270 public EClass getVLSReal()
1271 {
1272 return vlsRealEClass;
1273 }
1274
1275 /**
1276 * <!-- begin-user-doc -->
1277 * <!-- end-user-doc -->
1278 * @generated
1279 */
1280 public EClass getVLSRational()
1281 {
1282 return vlsRationalEClass;
1283 }
1284
1285 /**
1286 * <!-- begin-user-doc -->
1287 * <!-- end-user-doc -->
1288 * @generated
1289 */
1290 public EClass getVLSDoubleQuote()
1291 {
1292 return vlsDoubleQuoteEClass;
1293 }
1294
1295 /**
1296 * <!-- begin-user-doc -->
1297 * <!-- end-user-doc -->
1298 * @generated
1299 */
1300 public VampireLanguageFactory getVampireLanguageFactory()
1301 {
1302 return (VampireLanguageFactory)getEFactoryInstance();
1303 }
1304
1305 /**
1306 * <!-- begin-user-doc -->
1307 * <!-- end-user-doc -->
1308 * @generated
1309 */
1310 private boolean isCreated = false;
1311
1312 /**
1313 * Creates the meta-model objects for the package. This method is
1314 * guarded to have no affect on any invocation but its first.
1315 * <!-- begin-user-doc -->
1316 * <!-- end-user-doc -->
1317 * @generated
1318 */
1319 public void createPackageContents()
1320 {
1321 if (isCreated) return;
1322 isCreated = true;
1323
1324 // Create classes and their features
1325 vampireModelEClass = createEClass(VAMPIRE_MODEL);
1326 createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES);
1327 createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS);
1328 createEReference(vampireModelEClass, VAMPIRE_MODEL__CONFIRMATIONS);
1329 createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS);
1330 createEReference(vampireModelEClass, VAMPIRE_MODEL__TFFORMULAS);
1331
1332 vlsIncludeEClass = createEClass(VLS_INCLUDE);
1333 createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME);
1334 createEReference(vlsIncludeEClass, VLS_INCLUDE__NAMES);
1335
1336 vlsNameEClass = createEClass(VLS_NAME);
1337 createEAttribute(vlsNameEClass, VLS_NAME__NAME);
1338
1339 vlsCommentEClass = createEClass(VLS_COMMENT);
1340 createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT);
1341
1342 vlsConfirmationsEClass = createEClass(VLS_CONFIRMATIONS);
1343
1344 vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE);
1345
1346 vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA);
1347 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME);
1348 createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE);
1349 createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA);
1350 createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS);
1351
1352 vlsTffFormulaEClass = createEClass(VLS_TFF_FORMULA);
1353 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__NAME);
1354 createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_ROLE);
1355 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_FORMULA);
1356 createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__ANNOTATIONS);
1357
1358 vlsAnnotationEClass = createEClass(VLS_ANNOTATION);
1359 createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME);
1360 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP);
1361 createEReference(vlsAnnotationEClass, VLS_ANNOTATION__TERMS);
1362
1363 vlsTermEClass = createEClass(VLS_TERM);
1364
1365 vlsVariableEClass = createEClass(VLS_VARIABLE);
1366 createEAttribute(vlsVariableEClass, VLS_VARIABLE__NAME);
1367
1368 vlsFunctionAsTermEClass = createEClass(VLS_FUNCTION_AS_TERM);
1369 createEAttribute(vlsFunctionAsTermEClass, VLS_FUNCTION_AS_TERM__FUNCTOR);
1370 createEReference(vlsFunctionAsTermEClass, VLS_FUNCTION_AS_TERM__TERMS);
1371
1372 vlsDefinedTermEClass = createEClass(VLS_DEFINED_TERM);
1373 createEAttribute(vlsDefinedTermEClass, VLS_DEFINED_TERM__VALUE);
1374
1375 vlsEquivalentEClass = createEClass(VLS_EQUIVALENT);
1376 createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__LEFT);
1377 createEReference(vlsEquivalentEClass, VLS_EQUIVALENT__RIGHT);
1378
1379 vlsImpliesEClass = createEClass(VLS_IMPLIES);
1380 createEReference(vlsImpliesEClass, VLS_IMPLIES__LEFT);
1381 createEReference(vlsImpliesEClass, VLS_IMPLIES__RIGHT);
1382
1383 vlsRevImpliesEClass = createEClass(VLS_REV_IMPLIES);
1384 createEReference(vlsRevImpliesEClass, VLS_REV_IMPLIES__LEFT);
1385 createEReference(vlsRevImpliesEClass, VLS_REV_IMPLIES__RIGHT);
1386
1387 vlsXnorEClass = createEClass(VLS_XNOR);
1388 createEReference(vlsXnorEClass, VLS_XNOR__LEFT);
1389 createEReference(vlsXnorEClass, VLS_XNOR__RIGHT);
1390
1391 vlsNorEClass = createEClass(VLS_NOR);
1392 createEReference(vlsNorEClass, VLS_NOR__LEFT);
1393 createEReference(vlsNorEClass, VLS_NOR__RIGHT);
1394
1395 vlsNandEClass = createEClass(VLS_NAND);
1396 createEReference(vlsNandEClass, VLS_NAND__LEFT);
1397 createEReference(vlsNandEClass, VLS_NAND__RIGHT);
1398
1399 vlsAndEClass = createEClass(VLS_AND);
1400 createEReference(vlsAndEClass, VLS_AND__LEFT);
1401 createEReference(vlsAndEClass, VLS_AND__RIGHT);
1402
1403 vlsOrEClass = createEClass(VLS_OR);
1404 createEReference(vlsOrEClass, VLS_OR__LEFT);
1405 createEReference(vlsOrEClass, VLS_OR__RIGHT);
1406
1407 vlsUniversalQuantifierEClass = createEClass(VLS_UNIVERSAL_QUANTIFIER);
1408 createEReference(vlsUniversalQuantifierEClass, VLS_UNIVERSAL_QUANTIFIER__VARIABLES);
1409 createEReference(vlsUniversalQuantifierEClass, VLS_UNIVERSAL_QUANTIFIER__OPERAND);
1410
1411 vlsExistentialQuantifierEClass = createEClass(VLS_EXISTENTIAL_QUANTIFIER);
1412 createEReference(vlsExistentialQuantifierEClass, VLS_EXISTENTIAL_QUANTIFIER__VARIABLES);
1413 createEReference(vlsExistentialQuantifierEClass, VLS_EXISTENTIAL_QUANTIFIER__OPERAND);
1414
1415 vlsUnaryNegationEClass = createEClass(VLS_UNARY_NEGATION);
1416 createEReference(vlsUnaryNegationEClass, VLS_UNARY_NEGATION__OPERAND);
1417
1418 vlsInequalityEClass = createEClass(VLS_INEQUALITY);
1419 createEReference(vlsInequalityEClass, VLS_INEQUALITY__LEFT);
1420 createEReference(vlsInequalityEClass, VLS_INEQUALITY__RIGHT);
1421
1422 vlsEqualityEClass = createEClass(VLS_EQUALITY);
1423 createEReference(vlsEqualityEClass, VLS_EQUALITY__LEFT);
1424 createEReference(vlsEqualityEClass, VLS_EQUALITY__RIGHT);
1425
1426 vlsAssignmentEClass = createEClass(VLS_ASSIGNMENT);
1427 createEReference(vlsAssignmentEClass, VLS_ASSIGNMENT__LEFT);
1428 createEReference(vlsAssignmentEClass, VLS_ASSIGNMENT__RIGHT);
1429
1430 vlsConstantEClass = createEClass(VLS_CONSTANT);
1431 createEAttribute(vlsConstantEClass, VLS_CONSTANT__NAME);
1432
1433 vlsTrueEClass = createEClass(VLS_TRUE);
1434
1435 vlsFalseEClass = createEClass(VLS_FALSE);
1436
1437 vlsFunctionEClass = createEClass(VLS_FUNCTION);
1438 createEAttribute(vlsFunctionEClass, VLS_FUNCTION__CONSTANT);
1439 createEReference(vlsFunctionEClass, VLS_FUNCTION__TERMS);
1440
1441 vlsLessEClass = createEClass(VLS_LESS);
1442 createEAttribute(vlsLessEClass, VLS_LESS__NAME);
1443 createEReference(vlsLessEClass, VLS_LESS__TERMS);
1444
1445 vlsIntEClass = createEClass(VLS_INT);
1446
1447 vlsRealEClass = createEClass(VLS_REAL);
1448
1449 vlsRationalEClass = createEClass(VLS_RATIONAL);
1450
1451 vlsDoubleQuoteEClass = createEClass(VLS_DOUBLE_QUOTE);
1452 }
1453
1454 /**
1455 * <!-- begin-user-doc -->
1456 * <!-- end-user-doc -->
1457 * @generated
1458 */
1459 private boolean isInitialized = false;
1460
1461 /**
1462 * Complete the initialization of the package and its meta-model. This
1463 * method is guarded to have no affect on any invocation but its first.
1464 * <!-- begin-user-doc -->
1465 * <!-- end-user-doc -->
1466 * @generated
1467 */
1468 public void initializePackageContents()
1469 {
1470 if (isInitialized) return;
1471 isInitialized = true;
1472
1473 // Initialize package
1474 setName(eNAME);
1475 setNsPrefix(eNS_PREFIX);
1476 setNsURI(eNS_URI);
1477
1478 // Create type parameters
1479
1480 // Set bounds for type parameters
1481
1482 // Add supertypes to classes
1483 vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations());
1484 vlsVariableEClass.getESuperTypes().add(this.getVLSTerm());
1485 vlsFunctionAsTermEClass.getESuperTypes().add(this.getVLSTerm());
1486 vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm());
1487 vlsEquivalentEClass.getESuperTypes().add(this.getVLSTerm());
1488 vlsImpliesEClass.getESuperTypes().add(this.getVLSTerm());
1489 vlsRevImpliesEClass.getESuperTypes().add(this.getVLSTerm());
1490 vlsXnorEClass.getESuperTypes().add(this.getVLSTerm());
1491 vlsNorEClass.getESuperTypes().add(this.getVLSTerm());
1492 vlsNandEClass.getESuperTypes().add(this.getVLSTerm());
1493 vlsAndEClass.getESuperTypes().add(this.getVLSTerm());
1494 vlsOrEClass.getESuperTypes().add(this.getVLSTerm());
1495 vlsUniversalQuantifierEClass.getESuperTypes().add(this.getVLSTerm());
1496 vlsExistentialQuantifierEClass.getESuperTypes().add(this.getVLSTerm());
1497 vlsUnaryNegationEClass.getESuperTypes().add(this.getVLSTerm());
1498 vlsInequalityEClass.getESuperTypes().add(this.getVLSTerm());
1499 vlsEqualityEClass.getESuperTypes().add(this.getVLSTerm());
1500 vlsAssignmentEClass.getESuperTypes().add(this.getVLSTerm());
1501 vlsConstantEClass.getESuperTypes().add(this.getVLSTerm());
1502 vlsTrueEClass.getESuperTypes().add(this.getVLSTerm());
1503 vlsFalseEClass.getESuperTypes().add(this.getVLSTerm());
1504 vlsFunctionEClass.getESuperTypes().add(this.getVLSTerm());
1505 vlsLessEClass.getESuperTypes().add(this.getVLSTerm());
1506 vlsIntEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1507 vlsRealEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1508 vlsRationalEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1509 vlsDoubleQuoteEClass.getESuperTypes().add(this.getVLSDefinedTerm());
1510
1511 // Initialize classes and features; add operations and parameters
1512 initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1513 initEReference(getVampireModel_Includes(), this.getVLSInclude(), null, "includes", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1514 initEReference(getVampireModel_Comments(), this.getVLSComment(), null, "comments", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1515 initEReference(getVampireModel_Confirmations(), this.getVLSConfirmations(), null, "confirmations", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1516 initEReference(getVampireModel_Formulas(), this.getVLSFofFormula(), null, "formulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1517 initEReference(getVampireModel_Tfformulas(), this.getVLSTffFormula(), null, "tfformulas", null, 0, -1, VampireModel.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1518
1519 initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1520 initEAttribute(getVLSInclude_FileName(), ecorePackage.getEString(), "fileName", null, 0, 1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1521 initEReference(getVLSInclude_Names(), this.getVLSName(), null, "names", null, 0, -1, VLSInclude.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1522
1523 initEClass(vlsNameEClass, VLSName.class, "VLSName", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1524 initEAttribute(getVLSName_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSName.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1525
1526 initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1527 initEAttribute(getVLSComment_Comment(), ecorePackage.getEString(), "comment", null, 0, 1, VLSComment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1528
1529 initEClass(vlsConfirmationsEClass, VLSConfirmations.class, "VLSConfirmations", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1530
1531 initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1532
1533 initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1534 initEAttribute(getVLSFofFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1535 initEAttribute(getVLSFofFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1536 initEReference(getVLSFofFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1537 initEReference(getVLSFofFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSFofFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1538
1539 initEClass(vlsTffFormulaEClass, VLSTffFormula.class, "VLSTffFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1540 initEAttribute(getVLSTffFormula_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1541 initEAttribute(getVLSTffFormula_FofRole(), ecorePackage.getEString(), "fofRole", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1542 initEReference(getVLSTffFormula_FofFormula(), this.getVLSTerm(), null, "fofFormula", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1543 initEReference(getVLSTffFormula_Annotations(), this.getVLSAnnotation(), null, "annotations", null, 0, 1, VLSTffFormula.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1544
1545 initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1546 initEAttribute(getVLSAnnotation_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1547 initEReference(getVLSAnnotation_Followup(), this.getVLSAnnotation(), null, "followup", null, 0, 1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1548 initEReference(getVLSAnnotation_Terms(), this.getVLSAnnotation(), null, "terms", null, 0, -1, VLSAnnotation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1549
1550 initEClass(vlsTermEClass, VLSTerm.class, "VLSTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1551
1552 initEClass(vlsVariableEClass, VLSVariable.class, "VLSVariable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1553 initEAttribute(getVLSVariable_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSVariable.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1554
1555 initEClass(vlsFunctionAsTermEClass, VLSFunctionAsTerm.class, "VLSFunctionAsTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1556 initEAttribute(getVLSFunctionAsTerm_Functor(), ecorePackage.getEString(), "functor", null, 0, 1, VLSFunctionAsTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1557 initEReference(getVLSFunctionAsTerm_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunctionAsTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1558
1559 initEClass(vlsDefinedTermEClass, VLSDefinedTerm.class, "VLSDefinedTerm", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1560 initEAttribute(getVLSDefinedTerm_Value(), ecorePackage.getEString(), "value", null, 0, 1, VLSDefinedTerm.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1561
1562 initEClass(vlsEquivalentEClass, VLSEquivalent.class, "VLSEquivalent", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1563 initEReference(getVLSEquivalent_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1564 initEReference(getVLSEquivalent_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquivalent.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1565
1566 initEClass(vlsImpliesEClass, VLSImplies.class, "VLSImplies", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1567 initEReference(getVLSImplies_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1568 initEReference(getVLSImplies_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1569
1570 initEClass(vlsRevImpliesEClass, VLSRevImplies.class, "VLSRevImplies", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1571 initEReference(getVLSRevImplies_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSRevImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1572 initEReference(getVLSRevImplies_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSRevImplies.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1573
1574 initEClass(vlsXnorEClass, VLSXnor.class, "VLSXnor", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1575 initEReference(getVLSXnor_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSXnor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1576 initEReference(getVLSXnor_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSXnor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1577
1578 initEClass(vlsNorEClass, VLSNor.class, "VLSNor", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1579 initEReference(getVLSNor_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSNor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1580 initEReference(getVLSNor_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSNor.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1581
1582 initEClass(vlsNandEClass, VLSNand.class, "VLSNand", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1583 initEReference(getVLSNand_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSNand.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1584 initEReference(getVLSNand_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSNand.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1585
1586 initEClass(vlsAndEClass, VLSAnd.class, "VLSAnd", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1587 initEReference(getVLSAnd_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSAnd.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1588 initEReference(getVLSAnd_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSAnd.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1589
1590 initEClass(vlsOrEClass, VLSOr.class, "VLSOr", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1591 initEReference(getVLSOr_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1592 initEReference(getVLSOr_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSOr.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1593
1594 initEClass(vlsUniversalQuantifierEClass, VLSUniversalQuantifier.class, "VLSUniversalQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1595 initEReference(getVLSUniversalQuantifier_Variables(), this.getVLSVariable(), null, "variables", null, 0, -1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1596 initEReference(getVLSUniversalQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUniversalQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1597
1598 initEClass(vlsExistentialQuantifierEClass, VLSExistentialQuantifier.class, "VLSExistentialQuantifier", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1599 initEReference(getVLSExistentialQuantifier_Variables(), this.getVLSVariable(), null, "variables", null, 0, -1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1600 initEReference(getVLSExistentialQuantifier_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSExistentialQuantifier.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1601
1602 initEClass(vlsUnaryNegationEClass, VLSUnaryNegation.class, "VLSUnaryNegation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1603 initEReference(getVLSUnaryNegation_Operand(), this.getVLSTerm(), null, "operand", null, 0, 1, VLSUnaryNegation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1604
1605 initEClass(vlsInequalityEClass, VLSInequality.class, "VLSInequality", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1606 initEReference(getVLSInequality_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSInequality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1607 initEReference(getVLSInequality_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSInequality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1608
1609 initEClass(vlsEqualityEClass, VLSEquality.class, "VLSEquality", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1610 initEReference(getVLSEquality_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSEquality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1611 initEReference(getVLSEquality_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSEquality.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1612
1613 initEClass(vlsAssignmentEClass, VLSAssignment.class, "VLSAssignment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1614 initEReference(getVLSAssignment_Left(), this.getVLSTerm(), null, "left", null, 0, 1, VLSAssignment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1615 initEReference(getVLSAssignment_Right(), this.getVLSTerm(), null, "right", null, 0, 1, VLSAssignment.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1616
1617 initEClass(vlsConstantEClass, VLSConstant.class, "VLSConstant", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1618 initEAttribute(getVLSConstant_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSConstant.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1619
1620 initEClass(vlsTrueEClass, VLSTrue.class, "VLSTrue", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1621
1622 initEClass(vlsFalseEClass, VLSFalse.class, "VLSFalse", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1623
1624 initEClass(vlsFunctionEClass, VLSFunction.class, "VLSFunction", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1625 initEAttribute(getVLSFunction_Constant(), ecorePackage.getEString(), "constant", null, 0, 1, VLSFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1626 initEReference(getVLSFunction_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSFunction.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1627
1628 initEClass(vlsLessEClass, VLSLess.class, "VLSLess", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1629 initEAttribute(getVLSLess_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSLess.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1630 initEReference(getVLSLess_Terms(), this.getVLSTerm(), null, "terms", null, 0, -1, VLSLess.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
1631
1632 initEClass(vlsIntEClass, VLSInt.class, "VLSInt", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1633
1634 initEClass(vlsRealEClass, VLSReal.class, "VLSReal", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1635
1636 initEClass(vlsRationalEClass, VLSRational.class, "VLSRational", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1637
1638 initEClass(vlsDoubleQuoteEClass, VLSDoubleQuote.class, "VLSDoubleQuote", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
1639
1640 // Create resource
1641 createResource(eNS_URI);
1642 }
1643
1644} //VampireLanguagePackageImpl
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-09-12 09:53:10 +0000