diff options
Diffstat (limited to 'Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage')
6 files changed, 30 insertions, 320 deletions
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java index a89885ee..84b65a59 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguageFactory.java | |||
@@ -78,24 +78,6 @@ public interface VampireLanguageFactory extends EFactory | |||
78 | VLSSatisfiable createVLSSatisfiable(); | 78 | VLSSatisfiable createVLSSatisfiable(); |
79 | 79 | ||
80 | /** | 80 | /** |
81 | * Returns a new object of class '<em>VLS Trying</em>'. | ||
82 | * <!-- begin-user-doc --> | ||
83 | * <!-- end-user-doc --> | ||
84 | * @return a new object of class '<em>VLS Trying</em>'. | ||
85 | * @generated | ||
86 | */ | ||
87 | VLSTrying createVLSTrying(); | ||
88 | |||
89 | /** | ||
90 | * Returns a new object of class '<em>VLS Finite Model</em>'. | ||
91 | * <!-- begin-user-doc --> | ||
92 | * <!-- end-user-doc --> | ||
93 | * @return a new object of class '<em>VLS Finite Model</em>'. | ||
94 | * @generated | ||
95 | */ | ||
96 | VLSFiniteModel createVLSFiniteModel(); | ||
97 | |||
98 | /** | ||
99 | * Returns a new object of class '<em>VLS Fof Formula</em>'. | 81 | * Returns a new object of class '<em>VLS Fof Formula</em>'. |
100 | * <!-- begin-user-doc --> | 82 | * <!-- begin-user-doc --> |
101 | * <!-- end-user-doc --> | 83 | * <!-- end-user-doc --> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java index a9334a48..e7df5378 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java | |||
@@ -253,53 +253,6 @@ public interface VampireLanguagePackage extends EPackage | |||
253 | int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; | 253 | int VLS_SATISFIABLE_FEATURE_COUNT = VLS_CONFIRMATIONS_FEATURE_COUNT + 0; |
254 | 254 | ||
255 | /** | 255 | /** |
256 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl <em>VLS Trying</em>}' class. | ||
257 | * <!-- begin-user-doc --> | ||
258 | * <!-- end-user-doc --> | ||
259 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl | ||
260 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() | ||
261 | * @generated | ||
262 | */ | ||
263 | int VLS_TRYING = 6; | ||
264 | |||
265 | /** | ||
266 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
267 | * <!-- begin-user-doc --> | ||
268 | * <!-- end-user-doc --> | ||
269 | * @generated | ||
270 | * @ordered | ||
271 | */ | ||
272 | int VLS_TRYING__NAME = 0; | ||
273 | |||
274 | /** | ||
275 | * The number of structural features of the '<em>VLS Trying</em>' class. | ||
276 | * <!-- begin-user-doc --> | ||
277 | * <!-- end-user-doc --> | ||
278 | * @generated | ||
279 | * @ordered | ||
280 | */ | ||
281 | int VLS_TRYING_FEATURE_COUNT = 1; | ||
282 | |||
283 | /** | ||
284 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl <em>VLS Finite Model</em>}' class. | ||
285 | * <!-- begin-user-doc --> | ||
286 | * <!-- end-user-doc --> | ||
287 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl | ||
288 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() | ||
289 | * @generated | ||
290 | */ | ||
291 | int VLS_FINITE_MODEL = 7; | ||
292 | |||
293 | /** | ||
294 | * The number of structural features of the '<em>VLS Finite Model</em>' class. | ||
295 | * <!-- begin-user-doc --> | ||
296 | * <!-- end-user-doc --> | ||
297 | * @generated | ||
298 | * @ordered | ||
299 | */ | ||
300 | int VLS_FINITE_MODEL_FEATURE_COUNT = 0; | ||
301 | |||
302 | /** | ||
303 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. | 256 | * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. |
304 | * <!-- begin-user-doc --> | 257 | * <!-- begin-user-doc --> |
305 | * <!-- end-user-doc --> | 258 | * <!-- end-user-doc --> |
@@ -307,7 +260,7 @@ public interface VampireLanguagePackage extends EPackage | |||
307 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() | 260 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFofFormula() |
308 | * @generated | 261 | * @generated |
309 | */ | 262 | */ |
310 | int VLS_FOF_FORMULA = 8; | 263 | int VLS_FOF_FORMULA = 6; |
311 | 264 | ||
312 | /** | 265 | /** |
313 | * The feature id for the '<em><b>Name</b></em>' attribute. | 266 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -362,7 +315,7 @@ public interface VampireLanguagePackage extends EPackage | |||
362 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() | 315 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTffFormula() |
363 | * @generated | 316 | * @generated |
364 | */ | 317 | */ |
365 | int VLS_TFF_FORMULA = 9; | 318 | int VLS_TFF_FORMULA = 7; |
366 | 319 | ||
367 | /** | 320 | /** |
368 | * The feature id for the '<em><b>Name</b></em>' attribute. | 321 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -417,7 +370,7 @@ public interface VampireLanguagePackage extends EPackage | |||
417 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() | 370 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnnotation() |
418 | * @generated | 371 | * @generated |
419 | */ | 372 | */ |
420 | int VLS_ANNOTATION = 10; | 373 | int VLS_ANNOTATION = 8; |
421 | 374 | ||
422 | /** | 375 | /** |
423 | * The feature id for the '<em><b>Name</b></em>' attribute. | 376 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -463,7 +416,7 @@ public interface VampireLanguagePackage extends EPackage | |||
463 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() | 416 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTerm() |
464 | * @generated | 417 | * @generated |
465 | */ | 418 | */ |
466 | int VLS_TERM = 11; | 419 | int VLS_TERM = 9; |
467 | 420 | ||
468 | /** | 421 | /** |
469 | * The number of structural features of the '<em>VLS Term</em>' class. | 422 | * The number of structural features of the '<em>VLS Term</em>' class. |
@@ -482,7 +435,7 @@ public interface VampireLanguagePackage extends EPackage | |||
482 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() | 435 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSVariable() |
483 | * @generated | 436 | * @generated |
484 | */ | 437 | */ |
485 | int VLS_VARIABLE = 12; | 438 | int VLS_VARIABLE = 10; |
486 | 439 | ||
487 | /** | 440 | /** |
488 | * The feature id for the '<em><b>Name</b></em>' attribute. | 441 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -510,7 +463,7 @@ public interface VampireLanguagePackage extends EPackage | |||
510 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() | 463 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunctionFof() |
511 | * @generated | 464 | * @generated |
512 | */ | 465 | */ |
513 | int VLS_FUNCTION_FOF = 13; | 466 | int VLS_FUNCTION_FOF = 11; |
514 | 467 | ||
515 | /** | 468 | /** |
516 | * The feature id for the '<em><b>Functor</b></em>' attribute. | 469 | * The feature id for the '<em><b>Functor</b></em>' attribute. |
@@ -547,7 +500,7 @@ public interface VampireLanguagePackage extends EPackage | |||
547 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() | 500 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDefinedTerm() |
548 | * @generated | 501 | * @generated |
549 | */ | 502 | */ |
550 | int VLS_DEFINED_TERM = 14; | 503 | int VLS_DEFINED_TERM = 12; |
551 | 504 | ||
552 | /** | 505 | /** |
553 | * The feature id for the '<em><b>Value</b></em>' attribute. | 506 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -575,7 +528,7 @@ public interface VampireLanguagePackage extends EPackage | |||
575 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() | 528 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquivalent() |
576 | * @generated | 529 | * @generated |
577 | */ | 530 | */ |
578 | int VLS_EQUIVALENT = 15; | 531 | int VLS_EQUIVALENT = 13; |
579 | 532 | ||
580 | /** | 533 | /** |
581 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 534 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -612,7 +565,7 @@ public interface VampireLanguagePackage extends EPackage | |||
612 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() | 565 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSImplies() |
613 | * @generated | 566 | * @generated |
614 | */ | 567 | */ |
615 | int VLS_IMPLIES = 16; | 568 | int VLS_IMPLIES = 14; |
616 | 569 | ||
617 | /** | 570 | /** |
618 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 571 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -649,7 +602,7 @@ public interface VampireLanguagePackage extends EPackage | |||
649 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() | 602 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRevImplies() |
650 | * @generated | 603 | * @generated |
651 | */ | 604 | */ |
652 | int VLS_REV_IMPLIES = 17; | 605 | int VLS_REV_IMPLIES = 15; |
653 | 606 | ||
654 | /** | 607 | /** |
655 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 608 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -686,7 +639,7 @@ public interface VampireLanguagePackage extends EPackage | |||
686 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() | 639 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSXnor() |
687 | * @generated | 640 | * @generated |
688 | */ | 641 | */ |
689 | int VLS_XNOR = 18; | 642 | int VLS_XNOR = 16; |
690 | 643 | ||
691 | /** | 644 | /** |
692 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 645 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -723,7 +676,7 @@ public interface VampireLanguagePackage extends EPackage | |||
723 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() | 676 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNor() |
724 | * @generated | 677 | * @generated |
725 | */ | 678 | */ |
726 | int VLS_NOR = 19; | 679 | int VLS_NOR = 17; |
727 | 680 | ||
728 | /** | 681 | /** |
729 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 682 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -760,7 +713,7 @@ public interface VampireLanguagePackage extends EPackage | |||
760 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() | 713 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSNand() |
761 | * @generated | 714 | * @generated |
762 | */ | 715 | */ |
763 | int VLS_NAND = 20; | 716 | int VLS_NAND = 18; |
764 | 717 | ||
765 | /** | 718 | /** |
766 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 719 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -797,7 +750,7 @@ public interface VampireLanguagePackage extends EPackage | |||
797 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() | 750 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAnd() |
798 | * @generated | 751 | * @generated |
799 | */ | 752 | */ |
800 | int VLS_AND = 21; | 753 | int VLS_AND = 19; |
801 | 754 | ||
802 | /** | 755 | /** |
803 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 756 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -834,7 +787,7 @@ public interface VampireLanguagePackage extends EPackage | |||
834 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() | 787 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSOr() |
835 | * @generated | 788 | * @generated |
836 | */ | 789 | */ |
837 | int VLS_OR = 22; | 790 | int VLS_OR = 20; |
838 | 791 | ||
839 | /** | 792 | /** |
840 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 793 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -871,7 +824,7 @@ public interface VampireLanguagePackage extends EPackage | |||
871 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() | 824 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUniversalQuantifier() |
872 | * @generated | 825 | * @generated |
873 | */ | 826 | */ |
874 | int VLS_UNIVERSAL_QUANTIFIER = 23; | 827 | int VLS_UNIVERSAL_QUANTIFIER = 21; |
875 | 828 | ||
876 | /** | 829 | /** |
877 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 830 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -908,7 +861,7 @@ public interface VampireLanguagePackage extends EPackage | |||
908 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() | 861 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSExistentialQuantifier() |
909 | * @generated | 862 | * @generated |
910 | */ | 863 | */ |
911 | int VLS_EXISTENTIAL_QUANTIFIER = 24; | 864 | int VLS_EXISTENTIAL_QUANTIFIER = 22; |
912 | 865 | ||
913 | /** | 866 | /** |
914 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. | 867 | * The feature id for the '<em><b>Variables</b></em>' containment reference list. |
@@ -945,7 +898,7 @@ public interface VampireLanguagePackage extends EPackage | |||
945 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() | 898 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSUnaryNegation() |
946 | * @generated | 899 | * @generated |
947 | */ | 900 | */ |
948 | int VLS_UNARY_NEGATION = 25; | 901 | int VLS_UNARY_NEGATION = 23; |
949 | 902 | ||
950 | /** | 903 | /** |
951 | * The feature id for the '<em><b>Operand</b></em>' containment reference. | 904 | * The feature id for the '<em><b>Operand</b></em>' containment reference. |
@@ -973,7 +926,7 @@ public interface VampireLanguagePackage extends EPackage | |||
973 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() | 926 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInequality() |
974 | * @generated | 927 | * @generated |
975 | */ | 928 | */ |
976 | int VLS_INEQUALITY = 26; | 929 | int VLS_INEQUALITY = 24; |
977 | 930 | ||
978 | /** | 931 | /** |
979 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 932 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1010,7 +963,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1010 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() | 963 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSEquality() |
1011 | * @generated | 964 | * @generated |
1012 | */ | 965 | */ |
1013 | int VLS_EQUALITY = 27; | 966 | int VLS_EQUALITY = 25; |
1014 | 967 | ||
1015 | /** | 968 | /** |
1016 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 969 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1047,7 +1000,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1047 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() | 1000 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSAssignment() |
1048 | * @generated | 1001 | * @generated |
1049 | */ | 1002 | */ |
1050 | int VLS_ASSIGNMENT = 28; | 1003 | int VLS_ASSIGNMENT = 26; |
1051 | 1004 | ||
1052 | /** | 1005 | /** |
1053 | * The feature id for the '<em><b>Left</b></em>' containment reference. | 1006 | * The feature id for the '<em><b>Left</b></em>' containment reference. |
@@ -1084,7 +1037,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1084 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() | 1037 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSConstant() |
1085 | * @generated | 1038 | * @generated |
1086 | */ | 1039 | */ |
1087 | int VLS_CONSTANT = 29; | 1040 | int VLS_CONSTANT = 27; |
1088 | 1041 | ||
1089 | /** | 1042 | /** |
1090 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1043 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1112,7 +1065,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1112 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() | 1065 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrue() |
1113 | * @generated | 1066 | * @generated |
1114 | */ | 1067 | */ |
1115 | int VLS_TRUE = 30; | 1068 | int VLS_TRUE = 28; |
1116 | 1069 | ||
1117 | /** | 1070 | /** |
1118 | * The number of structural features of the '<em>VLS True</em>' class. | 1071 | * The number of structural features of the '<em>VLS True</em>' class. |
@@ -1131,7 +1084,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1131 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() | 1084 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFalse() |
1132 | * @generated | 1085 | * @generated |
1133 | */ | 1086 | */ |
1134 | int VLS_FALSE = 31; | 1087 | int VLS_FALSE = 29; |
1135 | 1088 | ||
1136 | /** | 1089 | /** |
1137 | * The number of structural features of the '<em>VLS False</em>' class. | 1090 | * The number of structural features of the '<em>VLS False</em>' class. |
@@ -1150,7 +1103,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1150 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() | 1103 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFunction() |
1151 | * @generated | 1104 | * @generated |
1152 | */ | 1105 | */ |
1153 | int VLS_FUNCTION = 32; | 1106 | int VLS_FUNCTION = 30; |
1154 | 1107 | ||
1155 | /** | 1108 | /** |
1156 | * The feature id for the '<em><b>Constant</b></em>' attribute. | 1109 | * The feature id for the '<em><b>Constant</b></em>' attribute. |
@@ -1187,7 +1140,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1187 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() | 1140 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSLess() |
1188 | * @generated | 1141 | * @generated |
1189 | */ | 1142 | */ |
1190 | int VLS_LESS = 33; | 1143 | int VLS_LESS = 31; |
1191 | 1144 | ||
1192 | /** | 1145 | /** |
1193 | * The feature id for the '<em><b>Name</b></em>' attribute. | 1146 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -1224,7 +1177,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1224 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() | 1177 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSInt() |
1225 | * @generated | 1178 | * @generated |
1226 | */ | 1179 | */ |
1227 | int VLS_INT = 34; | 1180 | int VLS_INT = 32; |
1228 | 1181 | ||
1229 | /** | 1182 | /** |
1230 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1183 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1252,7 +1205,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1252 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() | 1205 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSReal() |
1253 | * @generated | 1206 | * @generated |
1254 | */ | 1207 | */ |
1255 | int VLS_REAL = 35; | 1208 | int VLS_REAL = 33; |
1256 | 1209 | ||
1257 | /** | 1210 | /** |
1258 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1211 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1280,7 +1233,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1280 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() | 1233 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSRational() |
1281 | * @generated | 1234 | * @generated |
1282 | */ | 1235 | */ |
1283 | int VLS_RATIONAL = 36; | 1236 | int VLS_RATIONAL = 34; |
1284 | 1237 | ||
1285 | /** | 1238 | /** |
1286 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1239 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1308,7 +1261,7 @@ public interface VampireLanguagePackage extends EPackage | |||
1308 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() | 1261 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSDoubleQuote() |
1309 | * @generated | 1262 | * @generated |
1310 | */ | 1263 | */ |
1311 | int VLS_DOUBLE_QUOTE = 37; | 1264 | int VLS_DOUBLE_QUOTE = 35; |
1312 | 1265 | ||
1313 | /** | 1266 | /** |
1314 | * The feature id for the '<em><b>Value</b></em>' attribute. | 1267 | * The feature id for the '<em><b>Value</b></em>' attribute. |
@@ -1489,37 +1442,6 @@ public interface VampireLanguagePackage extends EPackage | |||
1489 | EClass getVLSSatisfiable(); | 1442 | EClass getVLSSatisfiable(); |
1490 | 1443 | ||
1491 | /** | 1444 | /** |
1492 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'. | ||
1493 | * <!-- begin-user-doc --> | ||
1494 | * <!-- end-user-doc --> | ||
1495 | * @return the meta object for class '<em>VLS Trying</em>'. | ||
1496 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying | ||
1497 | * @generated | ||
1498 | */ | ||
1499 | EClass getVLSTrying(); | ||
1500 | |||
1501 | /** | ||
1502 | * Returns the meta object for the attribute '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName <em>Name</em>}'. | ||
1503 | * <!-- begin-user-doc --> | ||
1504 | * <!-- end-user-doc --> | ||
1505 | * @return the meta object for the attribute '<em>Name</em>'. | ||
1506 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying#getName() | ||
1507 | * @see #getVLSTrying() | ||
1508 | * @generated | ||
1509 | */ | ||
1510 | EAttribute getVLSTrying_Name(); | ||
1511 | |||
1512 | /** | ||
1513 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'. | ||
1514 | * <!-- begin-user-doc --> | ||
1515 | * <!-- end-user-doc --> | ||
1516 | * @return the meta object for class '<em>VLS Finite Model</em>'. | ||
1517 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel | ||
1518 | * @generated | ||
1519 | */ | ||
1520 | EClass getVLSFiniteModel(); | ||
1521 | |||
1522 | /** | ||
1523 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | 1445 | * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. |
1524 | * <!-- begin-user-doc --> | 1446 | * <!-- begin-user-doc --> |
1525 | * <!-- end-user-doc --> | 1447 | * <!-- end-user-doc --> |
@@ -2492,34 +2414,6 @@ public interface VampireLanguagePackage extends EPackage | |||
2492 | EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); | 2414 | EClass VLS_SATISFIABLE = eINSTANCE.getVLSSatisfiable(); |
2493 | 2415 | ||
2494 | /** | 2416 | /** |
2495 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl <em>VLS Trying</em>}' class. | ||
2496 | * <!-- begin-user-doc --> | ||
2497 | * <!-- end-user-doc --> | ||
2498 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTryingImpl | ||
2499 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSTrying() | ||
2500 | * @generated | ||
2501 | */ | ||
2502 | EClass VLS_TRYING = eINSTANCE.getVLSTrying(); | ||
2503 | |||
2504 | /** | ||
2505 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | ||
2506 | * <!-- begin-user-doc --> | ||
2507 | * <!-- end-user-doc --> | ||
2508 | * @generated | ||
2509 | */ | ||
2510 | EAttribute VLS_TRYING__NAME = eINSTANCE.getVLSTrying_Name(); | ||
2511 | |||
2512 | /** | ||
2513 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl <em>VLS Finite Model</em>}' class. | ||
2514 | * <!-- begin-user-doc --> | ||
2515 | * <!-- end-user-doc --> | ||
2516 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFiniteModelImpl | ||
2517 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VampireLanguagePackageImpl#getVLSFiniteModel() | ||
2518 | * @generated | ||
2519 | */ | ||
2520 | EClass VLS_FINITE_MODEL = eINSTANCE.getVLSFiniteModel(); | ||
2521 | |||
2522 | /** | ||
2523 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. | 2417 | * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFofFormulaImpl <em>VLS Fof Formula</em>}' class. |
2524 | * <!-- begin-user-doc --> | 2418 | * <!-- begin-user-doc --> |
2525 | * <!-- end-user-doc --> | 2419 | * <!-- end-user-doc --> |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java index cd4a7a01..c3c74fe9 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/impl/VampireLanguageFactoryImpl.java | |||
@@ -71,8 +71,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
71 | case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); | 71 | case VampireLanguagePackage.VLS_COMMENT: return createVLSComment(); |
72 | case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); | 72 | case VampireLanguagePackage.VLS_CONFIRMATIONS: return createVLSConfirmations(); |
73 | case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable(); | 73 | case VampireLanguagePackage.VLS_SATISFIABLE: return createVLSSatisfiable(); |
74 | case VampireLanguagePackage.VLS_TRYING: return createVLSTrying(); | ||
75 | case VampireLanguagePackage.VLS_FINITE_MODEL: return createVLSFiniteModel(); | ||
76 | case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); | 74 | case VampireLanguagePackage.VLS_FOF_FORMULA: return createVLSFofFormula(); |
77 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); | 75 | case VampireLanguagePackage.VLS_TFF_FORMULA: return createVLSTffFormula(); |
78 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); | 76 | case VampireLanguagePackage.VLS_ANNOTATION: return createVLSAnnotation(); |
@@ -179,28 +177,6 @@ public class VampireLanguageFactoryImpl extends EFactoryImpl implements VampireL | |||
179 | * <!-- end-user-doc --> | 177 | * <!-- end-user-doc --> |
180 | * @generated | 178 | * @generated |
181 | */ | 179 | */ |
182 | public VLSTrying createVLSTrying() | ||
183 | { | ||
184 | VLSTryingImpl vlsTrying = new VLSTryingImpl(); | ||
185 | return vlsTrying; | ||
186 | } | ||
187 | |||
188 | /** | ||
189 | * <!-- begin-user-doc --> | ||
190 | * <!-- end-user-doc --> | ||
191 | * @generated | ||
192 | */ | ||
193 | public VLSFiniteModel createVLSFiniteModel() | ||
194 | { | ||
195 | VLSFiniteModelImpl vlsFiniteModel = new VLSFiniteModelImpl(); | ||
196 | return vlsFiniteModel; | ||
197 | } | ||
198 | |||
199 | /** | ||
200 | * <!-- begin-user-doc --> | ||
201 | * <!-- end-user-doc --> | ||
202 | * @generated | ||
203 | */ | ||
204 | public VLSFofFormula createVLSFofFormula() | 180 | public VLSFofFormula createVLSFofFormula() |
205 | { | 181 | { |
206 | VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); | 182 | VLSFofFormulaImpl vlsFofFormula = new VLSFofFormulaImpl(); |
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 ff71ff74..2b131272 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 | |||
@@ -15,7 +15,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality; | |||
15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; | 15 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent; |
16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; | 16 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSExistentialQuantifier; |
17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; | 17 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFalse; |
18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel; | ||
19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; | 18 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula; |
20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; | 19 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunction; |
21 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; | 20 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFunctionFof; |
@@ -35,7 +34,6 @@ import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSSatisfiable; | |||
35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; | 34 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm; |
36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; | 35 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTffFormula; |
37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; | 36 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrue; |
38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying; | ||
39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; | 37 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUnaryNegation; |
40 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; | 38 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSUniversalQuantifier; |
41 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; | 39 | import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable; |
@@ -106,20 +104,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
106 | * <!-- end-user-doc --> | 104 | * <!-- end-user-doc --> |
107 | * @generated | 105 | * @generated |
108 | */ | 106 | */ |
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 | */ | ||
123 | private EClass vlsFofFormulaEClass = null; | 107 | private EClass vlsFofFormulaEClass = null; |
124 | 108 | ||
125 | /** | 109 | /** |
@@ -543,36 +527,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
543 | * <!-- end-user-doc --> | 527 | * <!-- end-user-doc --> |
544 | * @generated | 528 | * @generated |
545 | */ | 529 | */ |
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 | */ | ||
576 | public EClass getVLSFofFormula() | 530 | public EClass getVLSFofFormula() |
577 | { | 531 | { |
578 | return vlsFofFormulaEClass; | 532 | return vlsFofFormulaEClass; |
@@ -1389,11 +1343,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1389 | 1343 | ||
1390 | vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE); | 1344 | vlsSatisfiableEClass = createEClass(VLS_SATISFIABLE); |
1391 | 1345 | ||
1392 | vlsTryingEClass = createEClass(VLS_TRYING); | ||
1393 | createEAttribute(vlsTryingEClass, VLS_TRYING__NAME); | ||
1394 | |||
1395 | vlsFiniteModelEClass = createEClass(VLS_FINITE_MODEL); | ||
1396 | |||
1397 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); | 1346 | vlsFofFormulaEClass = createEClass(VLS_FOF_FORMULA); |
1398 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); | 1347 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__NAME); |
1399 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); | 1348 | createEAttribute(vlsFofFormulaEClass, VLS_FOF_FORMULA__FOF_ROLE); |
@@ -1581,11 +1530,6 @@ public class VampireLanguagePackageImpl extends EPackageImpl implements VampireL | |||
1581 | 1530 | ||
1582 | initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1531 | initEClass(vlsSatisfiableEClass, VLSSatisfiable.class, "VLSSatisfiable", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
1583 | 1532 | ||
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 | |||
1589 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 1533 | initEClass(vlsFofFormulaEClass, VLSFofFormula.class, "VLSFofFormula", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
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); | 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); |
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); | 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); |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java index 90781f47..41e073ca 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageAdapterFactory.java | |||
@@ -106,16 +106,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
106 | return createVLSSatisfiableAdapter(); | 106 | return createVLSSatisfiableAdapter(); |
107 | } | 107 | } |
108 | @Override | 108 | @Override |
109 | public Adapter caseVLSTrying(VLSTrying object) | ||
110 | { | ||
111 | return createVLSTryingAdapter(); | ||
112 | } | ||
113 | @Override | ||
114 | public Adapter caseVLSFiniteModel(VLSFiniteModel object) | ||
115 | { | ||
116 | return createVLSFiniteModelAdapter(); | ||
117 | } | ||
118 | @Override | ||
119 | public Adapter caseVLSFofFormula(VLSFofFormula object) | 109 | public Adapter caseVLSFofFormula(VLSFofFormula object) |
120 | { | 110 | { |
121 | return createVLSFofFormulaAdapter(); | 111 | return createVLSFofFormulaAdapter(); |
@@ -378,36 +368,6 @@ public class VampireLanguageAdapterFactory extends AdapterFactoryImpl | |||
378 | } | 368 | } |
379 | 369 | ||
380 | /** | 370 | /** |
381 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying <em>VLS Trying</em>}'. | ||
382 | * <!-- begin-user-doc --> | ||
383 | * This default implementation returns null so that we can easily ignore cases; | ||
384 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
385 | * <!-- end-user-doc --> | ||
386 | * @return the new adapter. | ||
387 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTrying | ||
388 | * @generated | ||
389 | */ | ||
390 | public Adapter createVLSTryingAdapter() | ||
391 | { | ||
392 | return null; | ||
393 | } | ||
394 | |||
395 | /** | ||
396 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel <em>VLS Finite Model</em>}'. | ||
397 | * <!-- begin-user-doc --> | ||
398 | * This default implementation returns null so that we can easily ignore cases; | ||
399 | * it's useful to ignore a case when inheritance will catch all the cases anyway. | ||
400 | * <!-- end-user-doc --> | ||
401 | * @return the new adapter. | ||
402 | * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFiniteModel | ||
403 | * @generated | ||
404 | */ | ||
405 | public Adapter createVLSFiniteModelAdapter() | ||
406 | { | ||
407 | return null; | ||
408 | } | ||
409 | |||
410 | /** | ||
411 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. | 371 | * Creates a new adapter for an object of class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula <em>VLS Fof Formula</em>}'. |
412 | * <!-- begin-user-doc --> | 372 | * <!-- begin-user-doc --> |
413 | * This default implementation returns null so that we can easily ignore cases; | 373 | * This default implementation returns null so that we can easily ignore cases; |
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java index eddb3b4c..24ad4238 100644 --- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java +++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/util/VampireLanguageSwitch.java | |||
@@ -116,20 +116,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
116 | if (result == null) result = defaultCase(theEObject); | 116 | if (result == null) result = defaultCase(theEObject); |
117 | return result; | 117 | return result; |
118 | } | 118 | } |
119 | case VampireLanguagePackage.VLS_TRYING: | ||
120 | { | ||
121 | VLSTrying vlsTrying = (VLSTrying)theEObject; | ||
122 | T result = caseVLSTrying(vlsTrying); | ||
123 | if (result == null) result = defaultCase(theEObject); | ||
124 | return result; | ||
125 | } | ||
126 | case VampireLanguagePackage.VLS_FINITE_MODEL: | ||
127 | { | ||
128 | VLSFiniteModel vlsFiniteModel = (VLSFiniteModel)theEObject; | ||
129 | T result = caseVLSFiniteModel(vlsFiniteModel); | ||
130 | if (result == null) result = defaultCase(theEObject); | ||
131 | return result; | ||
132 | } | ||
133 | case VampireLanguagePackage.VLS_FOF_FORMULA: | 119 | case VampireLanguagePackage.VLS_FOF_FORMULA: |
134 | { | 120 | { |
135 | VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; | 121 | VLSFofFormula vlsFofFormula = (VLSFofFormula)theEObject; |
@@ -471,38 +457,6 @@ public class VampireLanguageSwitch<T> extends Switch<T> | |||
471 | } | 457 | } |
472 | 458 | ||
473 | /** | 459 | /** |
474 | * Returns the result of interpreting the object as an instance of '<em>VLS Trying</em>'. | ||
475 | * <!-- begin-user-doc --> | ||
476 | * This implementation returns null; | ||
477 | * returning a non-null result will terminate the switch. | ||
478 | * <!-- end-user-doc --> | ||
479 | * @param object the target of the switch. | ||
480 | * @return the result of interpreting the object as an instance of '<em>VLS Trying</em>'. | ||
481 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
482 | * @generated | ||
483 | */ | ||
484 | public T caseVLSTrying(VLSTrying object) | ||
485 | { | ||
486 | return null; | ||
487 | } | ||
488 | |||
489 | /** | ||
490 | * Returns the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'. | ||
491 | * <!-- begin-user-doc --> | ||
492 | * This implementation returns null; | ||
493 | * returning a non-null result will terminate the switch. | ||
494 | * <!-- end-user-doc --> | ||
495 | * @param object the target of the switch. | ||
496 | * @return the result of interpreting the object as an instance of '<em>VLS Finite Model</em>'. | ||
497 | * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject) | ||
498 | * @generated | ||
499 | */ | ||
500 | public T caseVLSFiniteModel(VLSFiniteModel object) | ||
501 | { | ||
502 | return null; | ||
503 | } | ||
504 | |||
505 | /** | ||
506 | * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. | 460 | * Returns the result of interpreting the object as an instance of '<em>VLS Fof Formula</em>'. |
507 | * <!-- begin-user-doc --> | 461 | * <!-- begin-user-doc --> |
508 | * This implementation returns null; | 462 | * This implementation returns null; |