diff options
author | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-01 16:03:30 -0500 |
---|---|---|
committer | ArenBabikian <aren.babikian@mail.mcgill.ca> | 2019-02-01 16:03:30 -0500 |
commit | 717916e99b2c8e7965fb31f4448b4336d8c2f19a (patch) | |
tree | 074c77b8465f1e47e7a28af2d95f79c1f5abaf86 /Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguagePackageImpl.java | |
parent | FAM MM transformation works (diff) | |
download | VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.gz VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.tar.zst VIATRA-Generator-717916e99b2c8e7965fb31f4448b4336d8c2f19a.zip |
Fix FAM Test. Begin Grammar Fix.
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.java | 197 |
1 files changed, 196 insertions, 1 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 index 86921032..ff71ff74 100644 --- 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 | |||
@@ -7,6 +7,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd; | |||
7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; | 7 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnnotation; |
8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment; | 8 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAssignment; |
9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; | 9 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSComment; |
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConfirmations; | ||
10 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; | 11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant; |
11 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm; | 12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDefinedTerm; |
12 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; | 13 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote; |
@@ -14,6 +15,7 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | |||
14 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; |
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; | ||
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; |
@@ -29,8 +31,11 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOr; | |||
29 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; | 31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRational; |
30 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; | 32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSReal; |
31 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; | 33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSRevImplies; |
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; | ||
32 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; | ||
33 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | 37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; |
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; | ||
34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | 39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; |
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 40 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 41 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
@@ -87,6 +92,34 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
87 | * <!-- end-user-doc --> | 92 | * <!-- end-user-doc --> |
88 | * @generated | 93 | * @generated |
89 | */ | 94 | */ |
95 | private EClass vlsConfirmationsEClass = null; | ||
96 | |||
97 | /** | ||
98 | * <!-- begin-user-doc --> | ||
99 | * <!-- end-user-doc --> | ||
100 | * @generated | ||
101 | */ | ||
102 | private EClass vlsSatisfiableEClass = null; | ||
103 | |||
104 | /** | ||
105 | * <!-- begin-user-doc --> | ||
106 | * <!-- end-user-doc --> | ||
107 | * @generated | ||
108 | */ | ||
109 | private EClass vlsTryingEClass = null; | ||
110 | |||
111 | /** | ||
112 | * <!-- begin-user-doc --> | ||
113 | * <!-- end-user-doc --> | ||
114 | * @generated | ||
115 | */ | ||
116 | private EClass vlsFiniteModelEClass = null; | ||
117 | |||
118 | /** | ||
119 | * <!-- begin-user-doc --> | ||
120 | * <!-- end-user-doc --> | ||
121 | * @generated | ||
122 | */ | ||
90 | private EClass vlsFofFormulaEClass = null; | 123 | private EClass vlsFofFormulaEClass = null; |
91 | 124 | ||
92 | /** | 125 | /** |
@@ -94,6 +127,13 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
94 | * <!-- end-user-doc --> | 127 | * <!-- end-user-doc --> |
95 | * @generated | 128 | * @generated |
96 | */ | 129 | */ |
130 | private EClass vlsTffFormulaEClass = null; | ||
131 | |||
132 | /** | ||
133 | * <!-- begin-user-doc --> | ||
134 | * <!-- end-user-doc --> | ||
135 | * @generated | ||
136 | */ | ||
97 | private EClass vlsAnnotationEClass = null; | 137 | private EClass vlsAnnotationEClass = null; |
98 | 138 | ||
99 | /** | 139 | /** |
@@ -383,7 +423,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
383 | * <!-- end-user-doc --> | 423 | * <!-- end-user-doc --> |
384 | * @generated | 424 | * @generated |
385 | */ | 425 | */ |
386 | public EReference getVampireModel_Formulas() | 426 | public EReference getVampireModel_Confirmations() |
387 | { | 427 | { |
388 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(2); | 428 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(2); |
389 | } | 429 | } |
@@ -393,6 +433,26 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
393 | * <!-- end-user-doc --> | 433 | * <!-- end-user-doc --> |
394 | * @generated | 434 | * @generated |
395 | */ | 435 | */ |
436 | public EReference getVampireModel_Formulas() | ||
437 | { | ||
438 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(3); | ||
439 | } | ||
440 | |||
441 | /** | ||
442 | * <!-- begin-user-doc --> | ||
443 | * <!-- end-user-doc --> | ||
444 | * @generated | ||
445 | */ | ||
446 | public EReference getVampireModel_Tfformulas() | ||
447 | { | ||
448 | return (EReference)vampireModelEClass.getEStructuralFeatures().get(4); | ||
449 | } | ||
450 | |||
451 | /** | ||
452 | * <!-- begin-user-doc --> | ||
453 | * <!-- end-user-doc --> | ||
454 | * @generated | ||
455 | */ | ||
396 | public EClass getVLSInclude() | 456 | public EClass getVLSInclude() |
397 | { | 457 | { |
398 | return vlsIncludeEClass; | 458 | return vlsIncludeEClass; |
@@ -463,6 +523,56 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
463 | * <!-- end-user-doc --> | 523 | * <!-- end-user-doc --> |
464 | * @generated | 524 | * @generated |
465 | */ | 525 | */ |
526 | public EClass getVLSConfirmations() | ||
527 | { | ||
528 | return vlsConfirmationsEClass; | ||
529 | } | ||
530 | |||
531 | /** | ||
532 | * <!-- begin-user-doc --> | ||
533 | * <!-- end-user-doc --> | ||
534 | * @generated | ||
535 | */ | ||
536 | public EClass getVLSSatisfiable() | ||
537 | { | ||
538 | return vlsSatisfiableEClass; | ||
539 | } | ||
540 | |||
541 | /** | ||
542 | * <!-- begin-user-doc --> | ||
543 | * <!-- end-user-doc --> | ||
544 | * @generated | ||
545 | */ | ||
546 | public EClass getVLSTrying() | ||
547 | { | ||
548 | return vlsTryingEClass; | ||
549 | } | ||
550 | |||
551 | /** | ||
552 | * <!-- begin-user-doc --> | ||
553 | * <!-- end-user-doc --> | ||
554 | * @generated | ||
555 | */ | ||
556 | public EAttribute getVLSTrying_Name() | ||
557 | { | ||
558 | return (EAttribute)vlsTryingEClass.getEStructuralFeatures().get(0); | ||
559 | } | ||
560 | |||
561 | /** | ||
562 | * <!-- begin-user-doc --> | ||
563 | * <!-- end-user-doc --> | ||
564 | * @generated | ||
565 | */ | ||
566 | public EClass getVLSFiniteModel() | ||
567 | { | ||
568 | return vlsFiniteModelEClass; | ||
569 | } | ||
570 | |||
571 | /** | ||
572 | * <!-- begin-user-doc --> | ||
573 | * <!-- end-user-doc --> | ||
574 | * @generated | ||
575 | */ | ||
466 | public EClass getVLSFofFormula() | 576 | public EClass getVLSFofFormula() |
467 | { | 577 | { |
468 | return vlsFofFormulaEClass; | 578 | return vlsFofFormulaEClass; |
@@ -513,6 +623,56 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
513 | * <!-- end-user-doc --> | 623 | * <!-- end-user-doc --> |
514 | * @generated | 624 | * @generated |
515 | */ | 625 | */ |
626 | public EClass getVLSTffFormula() | ||
627 | { | ||
628 | return vlsTffFormulaEClass; | ||
629 | } | ||
630 | |||
631 | /** | ||
632 | * <!-- begin-user-doc --> | ||
633 | * <!-- end-user-doc --> | ||
634 | * @generated | ||
635 | */ | ||
636 | public EAttribute getVLSTffFormula_Name() | ||
637 | { | ||
638 | return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(0); | ||
639 | } | ||
640 | |||
641 | /** | ||
642 | * <!-- begin-user-doc --> | ||
643 | * <!-- end-user-doc --> | ||
644 | * @generated | ||
645 | */ | ||
646 | public EAttribute getVLSTffFormula_FofRole() | ||
647 | { | ||
648 | return (EAttribute)vlsTffFormulaEClass.getEStructuralFeatures().get(1); | ||
649 | } | ||
650 | |||
651 | /** | ||
652 | * <!-- begin-user-doc --> | ||
653 | * <!-- end-user-doc --> | ||
654 | * @generated | ||
655 | */ | ||
656 | public EReference getVLSTffFormula_FofFormula() | ||
657 | { | ||
658 | return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(2); | ||
659 | } | ||
660 | |||
661 | /** | ||
662 | * <!-- begin-user-doc --> | ||
663 | * <!-- end-user-doc --> | ||
664 | * @generated | ||
665 | */ | ||
666 | public EReference getVLSTffFormula_Annotations() | ||
667 | { | ||
668 | return (EReference)vlsTffFormulaEClass.getEStructuralFeatures().get(3); | ||
669 | } | ||
670 | |||
671 | /** | ||
672 | * <!-- begin-user-doc --> | ||
673 | * <!-- end-user-doc --> | ||
674 | * @generated | ||
675 | */ | ||
516 | public EClass getVLSAnnotation() | 676 | public EClass getVLSAnnotation() |
517 | { | 677 | { |
518 | return vlsAnnotationEClass; | 678 | return vlsAnnotationEClass; |
@@ -1211,7 +1371,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1211 | vampireModelEClass = createEClass(VAMPIRE_MODEL); | 1371 | vampireModelEClass = createEClass(VAMPIRE_MODEL); |
1212 | createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES); | 1372 | createEReference(vampireModelEClass, VAMPIRE_MODEL__INCLUDES); |
1213 | createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS); | 1373 | createEReference(vampireModelEClass, VAMPIRE_MODEL__COMMENTS); |
1374 | createEReference(vampireModelEClass, VAMPIRE_MODEL__CONFIRMATIONS); | ||
1214 | createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS); | 1375 | createEReference(vampireModelEClass, VAMPIRE_MODEL__FORMULAS); |
1376 | createEReference(vampireModelEClass, VAMPIRE_MODEL__TFFORMULAS); | ||
1215 | 1377 | ||
1216 | vlsIncludeEClass = createEClass(VLS_INCLUDE); | 1378 | vlsIncludeEClass = createEClass(VLS_INCLUDE); |
1217 | createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME); | 1379 | createEAttribute(vlsIncludeEClass, VLS_INCLUDE__FILE_NAME); |
@@ -1223,12 +1385,27 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1223 | vlsCommentEClass = createEClass(VLS_COMMENT); | 1385 | vlsCommentEClass = createEClass(VLS_COMMENT); |
1224 | createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT); | 1386 | createEAttribute(vlsCommentEClass, VLS_COMMENT__COMMENT); |
1225 | 1387 | ||
1388 | vlsConfirmationsEClass = createEClass(VLS_CONFIRMATIONS); | ||
1389 | |||
1390 | vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE); | ||
1391 | |||
1392 | vlsTryingEClass = createEClass(VLS_TRYING); | ||
1393 | createEAttribute(vlsTryingEClass, VLS_TRYING__NAME); | ||
1394 | |||
1395 | vlsFiniteModelEClass = createEClass(VLS_FINITE_MODEL); | ||
1396 | |||
1226 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); | 1397 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); |
1227 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); | 1398 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); |
1228 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); | 1399 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); |
1229 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA); | 1400 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_FORMULA); |
1230 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS); | 1401 | createEReference(vlsFofFormulaEClass, VLS_FOF_FORMULA__ANNOTATIONS); |
1231 | 1402 | ||
1403 | vlsTffFormulaEClass = createEClass(VLS_TFF_FORMULA); | ||
1404 | createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__NAME); | ||
1405 | createEAttribute(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_ROLE); | ||
1406 | createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__FOF_FORMULA); | ||
1407 | createEReference(vlsTffFormulaEClass, VLS_TFF_FORMULA__ANNOTATIONS); | ||
1408 | |||
1232 | vlsAnnotationEClass = createEClass(VLS_ANNOTATION); | 1409 | vlsAnnotationEClass = createEClass(VLS_ANNOTATION); |
1233 | createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME); | 1410 | createEAttribute(vlsAnnotationEClass, VLS_ANNOTATION__NAME); |
1234 | createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP); | 1411 | createEReference(vlsAnnotationEClass, VLS_ANNOTATION__FOLLOWUP); |
@@ -1354,6 +1531,7 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1354 | // Set bounds for type parameters | 1531 | // Set bounds for type parameters |
1355 | 1532 | ||
1356 | // Add supertypes to classes | 1533 | // Add supertypes to classes |
1534 | vlsSatisfiableEClass.getESuperTypes().add(this.getVLSConfirmations()); | ||
1357 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); | 1535 | vlsVariableEClass.getESuperTypes().add(this.getVLSTerm()); |
1358 | vlsFunctionFofEClass.getESuperTypes().add(this.getVLSTerm()); | 1536 | vlsFunctionFofEClass.getESuperTypes().add(this.getVLSTerm()); |
1359 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); | 1537 | vlsDefinedTermEClass.getESuperTypes().add(this.getVLSTerm()); |
@@ -1385,7 +1563,9 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1385 | initEClass(vampireModelEClass, VampireModel.class, "VampireModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1563 | 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); | 1564 | 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); | 1565 | 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); |
1566 | 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); | ||
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); | 1567 | 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); |
1568 | 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); | ||
1389 | 1569 | ||
1390 | initEClass(vlsIncludeEClass, VLSInclude.class, "VLSInclude", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1570 | 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); | 1571 | 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); |
@@ -1397,12 +1577,27 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1397 | initEClass(vlsCommentEClass, VLSComment.class, "VLSComment", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1577 | 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); | 1578 | 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 | 1579 | ||
1580 | initEClass(vlsConfirmationsEClass, VLSConfirmations.class, "VLSConfirmations", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1581 | |||
1582 | initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1583 | |||
1584 | initEClass(vlsTryingEClass, VLSTrying.class, "VLSTrying", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1585 | initEAttribute(getVLSTrying_Name(), ecorePackage.getEString(), "name", null, 0, 1, VLSTrying.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
1586 | |||
1587 | initEClass(vlsFiniteModelEClass, VLSFiniteModel.class, "VLSFiniteModel", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1588 | |||
1400 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1589 | 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); | 1590 | 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); | 1591 | 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); | 1592 | 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); | 1593 | 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 | 1594 | ||
1595 | initEClass(vlsTffFormulaEClass, VLSTffFormula.class, "VLSTffFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | ||
1596 | 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); | ||
1597 | 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); | ||
1598 | 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); | ||
1599 | 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); | ||
1600 | |||
1406 | initEClass(vlsAnnotationEClass, VLSAnnotation.class, "VLSAnnotation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1601 | 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); | 1602 | 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); | 1603 | 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); |