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