aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.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/VampireLanguagePackage.java')
-rw-r--r--Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.language/src-gen/ca/mcgill/ecse/dslreasoner/vampireLanguage/VampireLanguagePackage.java358
1 files changed, 108 insertions, 250 deletions
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 3ef777f8..7c917251 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
@@ -345,13 +345,22 @@ public interface VampireLanguagePackage extends EPackage
345 int VLS_DECLARATION = 7; 345 int VLS_DECLARATION = 7;
346 346
347 /** 347 /**
348 * The feature id for the '<em><b>Type</b></em>' containment reference.
349 * <!-- begin-user-doc -->
350 * <!-- end-user-doc -->
351 * @generated
352 * @ordered
353 */
354 int VLS_DECLARATION__TYPE = VLS_TFF_TERM_FEATURE_COUNT + 0;
355
356 /**
348 * The number of structural features of the '<em>VLS Declaration</em>' class. 357 * The number of structural features of the '<em>VLS Declaration</em>' class.
349 * <!-- begin-user-doc --> 358 * <!-- begin-user-doc -->
350 * <!-- end-user-doc --> 359 * <!-- end-user-doc -->
351 * @generated 360 * @generated
352 * @ordered 361 * @ordered
353 */ 362 */
354 int VLS_DECLARATION_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 0; 363 int VLS_DECLARATION_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1;
355 364
356 /** 365 /**
357 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. 366 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class.
@@ -364,13 +373,31 @@ public interface VampireLanguagePackage extends EPackage
364 int VLS_OTHER_DECLARATION = 8; 373 int VLS_OTHER_DECLARATION = 8;
365 374
366 /** 375 /**
376 * The feature id for the '<em><b>Type</b></em>' containment reference.
377 * <!-- begin-user-doc -->
378 * <!-- end-user-doc -->
379 * @generated
380 * @ordered
381 */
382 int VLS_OTHER_DECLARATION__TYPE = VLS_DECLARATION__TYPE;
383
384 /**
385 * The feature id for the '<em><b>Name</b></em>' containment reference.
386 * <!-- begin-user-doc -->
387 * <!-- end-user-doc -->
388 * @generated
389 * @ordered
390 */
391 int VLS_OTHER_DECLARATION__NAME = VLS_DECLARATION_FEATURE_COUNT + 0;
392
393 /**
367 * The number of structural features of the '<em>VLS Other Declaration</em>' class. 394 * The number of structural features of the '<em>VLS Other Declaration</em>' class.
368 * <!-- begin-user-doc --> 395 * <!-- begin-user-doc -->
369 * <!-- end-user-doc --> 396 * <!-- end-user-doc -->
370 * @generated 397 * @generated
371 * @ordered 398 * @ordered
372 */ 399 */
373 int VLS_OTHER_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 0; 400 int VLS_OTHER_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 1;
374 401
375 /** 402 /**
376 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. 403 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class.
@@ -383,13 +410,31 @@ public interface VampireLanguagePackage extends EPackage
383 int VLS_VARIABLE_DECLARATION = 9; 410 int VLS_VARIABLE_DECLARATION = 9;
384 411
385 /** 412 /**
413 * The feature id for the '<em><b>Type</b></em>' containment reference.
414 * <!-- begin-user-doc -->
415 * <!-- end-user-doc -->
416 * @generated
417 * @ordered
418 */
419 int VLS_VARIABLE_DECLARATION__TYPE = VLS_DECLARATION__TYPE;
420
421 /**
422 * The feature id for the '<em><b>Name</b></em>' containment reference.
423 * <!-- begin-user-doc -->
424 * <!-- end-user-doc -->
425 * @generated
426 * @ordered
427 */
428 int VLS_VARIABLE_DECLARATION__NAME = VLS_DECLARATION_FEATURE_COUNT + 0;
429
430 /**
386 * The number of structural features of the '<em>VLS Variable Declaration</em>' class. 431 * The number of structural features of the '<em>VLS Variable Declaration</em>' class.
387 * <!-- begin-user-doc --> 432 * <!-- begin-user-doc -->
388 * <!-- end-user-doc --> 433 * <!-- end-user-doc -->
389 * @generated 434 * @generated
390 * @ordered 435 * @ordered
391 */ 436 */
392 int VLS_VARIABLE_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 0; 437 int VLS_VARIABLE_DECLARATION_FEATURE_COUNT = VLS_DECLARATION_FEATURE_COUNT + 1;
393 438
394 /** 439 /**
395 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. 440 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class.
@@ -457,22 +502,13 @@ public interface VampireLanguagePackage extends EPackage
457 int VLS_TERM = 11; 502 int VLS_TERM = 11;
458 503
459 /** 504 /**
460 * The feature id for the '<em><b>Type</b></em>' containment reference.
461 * <!-- begin-user-doc -->
462 * <!-- end-user-doc -->
463 * @generated
464 * @ordered
465 */
466 int VLS_TERM__TYPE = VLS_TFF_TERM_FEATURE_COUNT + 0;
467
468 /**
469 * The number of structural features of the '<em>VLS Term</em>' class. 505 * The number of structural features of the '<em>VLS Term</em>' class.
470 * <!-- begin-user-doc --> 506 * <!-- begin-user-doc -->
471 * <!-- end-user-doc --> 507 * <!-- end-user-doc -->
472 * @generated 508 * @generated
473 * @ordered 509 * @ordered
474 */ 510 */
475 int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 1; 511 int VLS_TERM_FEATURE_COUNT = VLS_TFF_TERM_FEATURE_COUNT + 0;
476 512
477 /** 513 /**
478 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. 514 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class.
@@ -485,22 +521,13 @@ public interface VampireLanguagePackage extends EPackage
485 int VLS_VARIABLE = 12; 521 int VLS_VARIABLE = 12;
486 522
487 /** 523 /**
488 * The feature id for the '<em><b>Type</b></em>' containment reference.
489 * <!-- begin-user-doc -->
490 * <!-- end-user-doc -->
491 * @generated
492 * @ordered
493 */
494 int VLS_VARIABLE__TYPE = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 0;
495
496 /**
497 * The feature id for the '<em><b>Name</b></em>' attribute. 524 * The feature id for the '<em><b>Name</b></em>' attribute.
498 * <!-- begin-user-doc --> 525 * <!-- begin-user-doc -->
499 * <!-- end-user-doc --> 526 * <!-- end-user-doc -->
500 * @generated 527 * @generated
501 * @ordered 528 * @ordered
502 */ 529 */
503 int VLS_VARIABLE__NAME = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 1; 530 int VLS_VARIABLE__NAME = VLS_TERM_FEATURE_COUNT + 0;
504 531
505 /** 532 /**
506 * The number of structural features of the '<em>VLS Variable</em>' class. 533 * The number of structural features of the '<em>VLS Variable</em>' class.
@@ -509,7 +536,7 @@ public interface VampireLanguagePackage extends EPackage
509 * @generated 536 * @generated
510 * @ordered 537 * @ordered
511 */ 538 */
512 int VLS_VARIABLE_FEATURE_COUNT = VLS_VARIABLE_DECLARATION_FEATURE_COUNT + 2; 539 int VLS_VARIABLE_FEATURE_COUNT = VLS_TERM_FEATURE_COUNT + 1;
513 540
514 /** 541 /**
515 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class. 542 * The meta object id for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSFunctionAsTermImpl <em>VLS Function As Term</em>}' class.
@@ -522,15 +549,6 @@ public interface VampireLanguagePackage extends EPackage
522 int VLS_FUNCTION_AS_TERM = 13; 549 int VLS_FUNCTION_AS_TERM = 13;
523 550
524 /** 551 /**
525 * The feature id for the '<em><b>Type</b></em>' containment reference.
526 * <!-- begin-user-doc -->
527 * <!-- end-user-doc -->
528 * @generated
529 * @ordered
530 */
531 int VLS_FUNCTION_AS_TERM__TYPE = VLS_TERM__TYPE;
532
533 /**
534 * The feature id for the '<em><b>Functor</b></em>' attribute. 552 * The feature id for the '<em><b>Functor</b></em>' attribute.
535 * <!-- begin-user-doc --> 553 * <!-- begin-user-doc -->
536 * <!-- end-user-doc --> 554 * <!-- end-user-doc -->
@@ -568,15 +586,6 @@ public interface VampireLanguagePackage extends EPackage
568 int VLS_DEFINED_TERM = 14; 586 int VLS_DEFINED_TERM = 14;
569 587
570 /** 588 /**
571 * The feature id for the '<em><b>Type</b></em>' containment reference.
572 * <!-- begin-user-doc -->
573 * <!-- end-user-doc -->
574 * @generated
575 * @ordered
576 */
577 int VLS_DEFINED_TERM__TYPE = VLS_TERM__TYPE;
578
579 /**
580 * The feature id for the '<em><b>Value</b></em>' attribute. 589 * The feature id for the '<em><b>Value</b></em>' attribute.
581 * <!-- begin-user-doc --> 590 * <!-- begin-user-doc -->
582 * <!-- end-user-doc --> 591 * <!-- end-user-doc -->
@@ -690,15 +699,6 @@ public interface VampireLanguagePackage extends EPackage
690 int VLS_EQUIVALENT = 19; 699 int VLS_EQUIVALENT = 19;
691 700
692 /** 701 /**
693 * The feature id for the '<em><b>Type</b></em>' containment reference.
694 * <!-- begin-user-doc -->
695 * <!-- end-user-doc -->
696 * @generated
697 * @ordered
698 */
699 int VLS_EQUIVALENT__TYPE = VLS_TERM__TYPE;
700
701 /**
702 * The feature id for the '<em><b>Left</b></em>' containment reference. 702 * The feature id for the '<em><b>Left</b></em>' containment reference.
703 * <!-- begin-user-doc --> 703 * <!-- begin-user-doc -->
704 * <!-- end-user-doc --> 704 * <!-- end-user-doc -->
@@ -736,15 +736,6 @@ public interface VampireLanguagePackage extends EPackage
736 int VLS_IMPLIES = 20; 736 int VLS_IMPLIES = 20;
737 737
738 /** 738 /**
739 * The feature id for the '<em><b>Type</b></em>' containment reference.
740 * <!-- begin-user-doc -->
741 * <!-- end-user-doc -->
742 * @generated
743 * @ordered
744 */
745 int VLS_IMPLIES__TYPE = VLS_TERM__TYPE;
746
747 /**
748 * The feature id for the '<em><b>Left</b></em>' containment reference. 739 * The feature id for the '<em><b>Left</b></em>' containment reference.
749 * <!-- begin-user-doc --> 740 * <!-- begin-user-doc -->
750 * <!-- end-user-doc --> 741 * <!-- end-user-doc -->
@@ -782,15 +773,6 @@ public interface VampireLanguagePackage extends EPackage
782 int VLS_REV_IMPLIES = 21; 773 int VLS_REV_IMPLIES = 21;
783 774
784 /** 775 /**
785 * The feature id for the '<em><b>Type</b></em>' containment reference.
786 * <!-- begin-user-doc -->
787 * <!-- end-user-doc -->
788 * @generated
789 * @ordered
790 */
791 int VLS_REV_IMPLIES__TYPE = VLS_TERM__TYPE;
792
793 /**
794 * The feature id for the '<em><b>Left</b></em>' containment reference. 776 * The feature id for the '<em><b>Left</b></em>' containment reference.
795 * <!-- begin-user-doc --> 777 * <!-- begin-user-doc -->
796 * <!-- end-user-doc --> 778 * <!-- end-user-doc -->
@@ -828,15 +810,6 @@ public interface VampireLanguagePackage extends EPackage
828 int VLS_XNOR = 22; 810 int VLS_XNOR = 22;
829 811
830 /** 812 /**
831 * The feature id for the '<em><b>Type</b></em>' containment reference.
832 * <!-- begin-user-doc -->
833 * <!-- end-user-doc -->
834 * @generated
835 * @ordered
836 */
837 int VLS_XNOR__TYPE = VLS_TERM__TYPE;
838
839 /**
840 * The feature id for the '<em><b>Left</b></em>' containment reference. 813 * The feature id for the '<em><b>Left</b></em>' containment reference.
841 * <!-- begin-user-doc --> 814 * <!-- begin-user-doc -->
842 * <!-- end-user-doc --> 815 * <!-- end-user-doc -->
@@ -874,15 +847,6 @@ public interface VampireLanguagePackage extends EPackage
874 int VLS_NOR = 23; 847 int VLS_NOR = 23;
875 848
876 /** 849 /**
877 * The feature id for the '<em><b>Type</b></em>' containment reference.
878 * <!-- begin-user-doc -->
879 * <!-- end-user-doc -->
880 * @generated
881 * @ordered
882 */
883 int VLS_NOR__TYPE = VLS_TERM__TYPE;
884
885 /**
886 * The feature id for the '<em><b>Left</b></em>' containment reference. 850 * The feature id for the '<em><b>Left</b></em>' containment reference.
887 * <!-- begin-user-doc --> 851 * <!-- begin-user-doc -->
888 * <!-- end-user-doc --> 852 * <!-- end-user-doc -->
@@ -920,15 +884,6 @@ public interface VampireLanguagePackage extends EPackage
920 int VLS_NAND = 24; 884 int VLS_NAND = 24;
921 885
922 /** 886 /**
923 * The feature id for the '<em><b>Type</b></em>' containment reference.
924 * <!-- begin-user-doc -->
925 * <!-- end-user-doc -->
926 * @generated
927 * @ordered
928 */
929 int VLS_NAND__TYPE = VLS_TERM__TYPE;
930
931 /**
932 * The feature id for the '<em><b>Left</b></em>' containment reference. 887 * The feature id for the '<em><b>Left</b></em>' containment reference.
933 * <!-- begin-user-doc --> 888 * <!-- begin-user-doc -->
934 * <!-- end-user-doc --> 889 * <!-- end-user-doc -->
@@ -966,15 +921,6 @@ public interface VampireLanguagePackage extends EPackage
966 int VLS_AND = 25; 921 int VLS_AND = 25;
967 922
968 /** 923 /**
969 * The feature id for the '<em><b>Type</b></em>' containment reference.
970 * <!-- begin-user-doc -->
971 * <!-- end-user-doc -->
972 * @generated
973 * @ordered
974 */
975 int VLS_AND__TYPE = VLS_TERM__TYPE;
976
977 /**
978 * The feature id for the '<em><b>Left</b></em>' containment reference. 924 * The feature id for the '<em><b>Left</b></em>' containment reference.
979 * <!-- begin-user-doc --> 925 * <!-- begin-user-doc -->
980 * <!-- end-user-doc --> 926 * <!-- end-user-doc -->
@@ -1012,15 +958,6 @@ public interface VampireLanguagePackage extends EPackage
1012 int VLS_OR = 26; 958 int VLS_OR = 26;
1013 959
1014 /** 960 /**
1015 * The feature id for the '<em><b>Type</b></em>' containment reference.
1016 * <!-- begin-user-doc -->
1017 * <!-- end-user-doc -->
1018 * @generated
1019 * @ordered
1020 */
1021 int VLS_OR__TYPE = VLS_TERM__TYPE;
1022
1023 /**
1024 * The feature id for the '<em><b>Left</b></em>' containment reference. 961 * The feature id for the '<em><b>Left</b></em>' containment reference.
1025 * <!-- begin-user-doc --> 962 * <!-- begin-user-doc -->
1026 * <!-- end-user-doc --> 963 * <!-- end-user-doc -->
@@ -1058,15 +995,6 @@ public interface VampireLanguagePackage extends EPackage
1058 int VLS_UNIVERSAL_QUANTIFIER = 27; 995 int VLS_UNIVERSAL_QUANTIFIER = 27;
1059 996
1060 /** 997 /**
1061 * The feature id for the '<em><b>Type</b></em>' containment reference.
1062 * <!-- begin-user-doc -->
1063 * <!-- end-user-doc -->
1064 * @generated
1065 * @ordered
1066 */
1067 int VLS_UNIVERSAL_QUANTIFIER__TYPE = VLS_TERM__TYPE;
1068
1069 /**
1070 * The feature id for the '<em><b>Variables</b></em>' containment reference list. 998 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
1071 * <!-- begin-user-doc --> 999 * <!-- begin-user-doc -->
1072 * <!-- end-user-doc --> 1000 * <!-- end-user-doc -->
@@ -1104,15 +1032,6 @@ public interface VampireLanguagePackage extends EPackage
1104 int VLS_EXISTENTIAL_QUANTIFIER = 28; 1032 int VLS_EXISTENTIAL_QUANTIFIER = 28;
1105 1033
1106 /** 1034 /**
1107 * The feature id for the '<em><b>Type</b></em>' containment reference.
1108 * <!-- begin-user-doc -->
1109 * <!-- end-user-doc -->
1110 * @generated
1111 * @ordered
1112 */
1113 int VLS_EXISTENTIAL_QUANTIFIER__TYPE = VLS_TERM__TYPE;
1114
1115 /**
1116 * The feature id for the '<em><b>Variables</b></em>' containment reference list. 1035 * The feature id for the '<em><b>Variables</b></em>' containment reference list.
1117 * <!-- begin-user-doc --> 1036 * <!-- begin-user-doc -->
1118 * <!-- end-user-doc --> 1037 * <!-- end-user-doc -->
@@ -1150,15 +1069,6 @@ public interface VampireLanguagePackage extends EPackage
1150 int VLS_UNARY_NEGATION = 29; 1069 int VLS_UNARY_NEGATION = 29;
1151 1070
1152 /** 1071 /**
1153 * The feature id for the '<em><b>Type</b></em>' containment reference.
1154 * <!-- begin-user-doc -->
1155 * <!-- end-user-doc -->
1156 * @generated
1157 * @ordered
1158 */
1159 int VLS_UNARY_NEGATION__TYPE = VLS_TERM__TYPE;
1160
1161 /**
1162 * The feature id for the '<em><b>Operand</b></em>' containment reference. 1072 * The feature id for the '<em><b>Operand</b></em>' containment reference.
1163 * <!-- begin-user-doc --> 1073 * <!-- begin-user-doc -->
1164 * <!-- end-user-doc --> 1074 * <!-- end-user-doc -->
@@ -1187,15 +1097,6 @@ public interface VampireLanguagePackage extends EPackage
1187 int VLS_INEQUALITY = 30; 1097 int VLS_INEQUALITY = 30;
1188 1098
1189 /** 1099 /**
1190 * The feature id for the '<em><b>Type</b></em>' containment reference.
1191 * <!-- begin-user-doc -->
1192 * <!-- end-user-doc -->
1193 * @generated
1194 * @ordered
1195 */
1196 int VLS_INEQUALITY__TYPE = VLS_TERM__TYPE;
1197
1198 /**
1199 * The feature id for the '<em><b>Left</b></em>' containment reference. 1100 * The feature id for the '<em><b>Left</b></em>' containment reference.
1200 * <!-- begin-user-doc --> 1101 * <!-- begin-user-doc -->
1201 * <!-- end-user-doc --> 1102 * <!-- end-user-doc -->
@@ -1233,15 +1134,6 @@ public interface VampireLanguagePackage extends EPackage
1233 int VLS_EQUALITY = 31; 1134 int VLS_EQUALITY = 31;
1234 1135
1235 /** 1136 /**
1236 * The feature id for the '<em><b>Type</b></em>' containment reference.
1237 * <!-- begin-user-doc -->
1238 * <!-- end-user-doc -->
1239 * @generated
1240 * @ordered
1241 */
1242 int VLS_EQUALITY__TYPE = VLS_TERM__TYPE;
1243
1244 /**
1245 * The feature id for the '<em><b>Left</b></em>' containment reference. 1137 * The feature id for the '<em><b>Left</b></em>' containment reference.
1246 * <!-- begin-user-doc --> 1138 * <!-- begin-user-doc -->
1247 * <!-- end-user-doc --> 1139 * <!-- end-user-doc -->
@@ -1279,15 +1171,6 @@ public interface VampireLanguagePackage extends EPackage
1279 int VLS_ASSIGNMENT = 32; 1171 int VLS_ASSIGNMENT = 32;
1280 1172
1281 /** 1173 /**
1282 * The feature id for the '<em><b>Type</b></em>' containment reference.
1283 * <!-- begin-user-doc -->
1284 * <!-- end-user-doc -->
1285 * @generated
1286 * @ordered
1287 */
1288 int VLS_ASSIGNMENT__TYPE = VLS_TERM__TYPE;
1289
1290 /**
1291 * The feature id for the '<em><b>Left</b></em>' containment reference. 1174 * The feature id for the '<em><b>Left</b></em>' containment reference.
1292 * <!-- begin-user-doc --> 1175 * <!-- begin-user-doc -->
1293 * <!-- end-user-doc --> 1176 * <!-- end-user-doc -->
@@ -1325,15 +1208,6 @@ public interface VampireLanguagePackage extends EPackage
1325 int VLS_CONSTANT = 33; 1208 int VLS_CONSTANT = 33;
1326 1209
1327 /** 1210 /**
1328 * The feature id for the '<em><b>Type</b></em>' containment reference.
1329 * <!-- begin-user-doc -->
1330 * <!-- end-user-doc -->
1331 * @generated
1332 * @ordered
1333 */
1334 int VLS_CONSTANT__TYPE = VLS_TERM__TYPE;
1335
1336 /**
1337 * The feature id for the '<em><b>Name</b></em>' attribute. 1211 * The feature id for the '<em><b>Name</b></em>' attribute.
1338 * <!-- begin-user-doc --> 1212 * <!-- begin-user-doc -->
1339 * <!-- end-user-doc --> 1213 * <!-- end-user-doc -->
@@ -1362,15 +1236,6 @@ public interface VampireLanguagePackage extends EPackage
1362 int VLS_TRUE = 34; 1236 int VLS_TRUE = 34;
1363 1237
1364 /** 1238 /**
1365 * The feature id for the '<em><b>Type</b></em>' containment reference.
1366 * <!-- begin-user-doc -->
1367 * <!-- end-user-doc -->
1368 * @generated
1369 * @ordered
1370 */
1371 int VLS_TRUE__TYPE = VLS_TERM__TYPE;
1372
1373 /**
1374 * The number of structural features of the '<em>VLS True</em>' class. 1239 * The number of structural features of the '<em>VLS True</em>' class.
1375 * <!-- begin-user-doc --> 1240 * <!-- begin-user-doc -->
1376 * <!-- end-user-doc --> 1241 * <!-- end-user-doc -->
@@ -1390,15 +1255,6 @@ public interface VampireLanguagePackage extends EPackage
1390 int VLS_FALSE = 35; 1255 int VLS_FALSE = 35;
1391 1256
1392 /** 1257 /**
1393 * The feature id for the '<em><b>Type</b></em>' containment reference.
1394 * <!-- begin-user-doc -->
1395 * <!-- end-user-doc -->
1396 * @generated
1397 * @ordered
1398 */
1399 int VLS_FALSE__TYPE = VLS_TERM__TYPE;
1400
1401 /**
1402 * The number of structural features of the '<em>VLS False</em>' class. 1258 * The number of structural features of the '<em>VLS False</em>' class.
1403 * <!-- begin-user-doc --> 1259 * <!-- begin-user-doc -->
1404 * <!-- end-user-doc --> 1260 * <!-- end-user-doc -->
@@ -1418,15 +1274,6 @@ public interface VampireLanguagePackage extends EPackage
1418 int VLS_FUNCTION = 36; 1274 int VLS_FUNCTION = 36;
1419 1275
1420 /** 1276 /**
1421 * The feature id for the '<em><b>Type</b></em>' containment reference.
1422 * <!-- begin-user-doc -->
1423 * <!-- end-user-doc -->
1424 * @generated
1425 * @ordered
1426 */
1427 int VLS_FUNCTION__TYPE = VLS_TERM__TYPE;
1428
1429 /**
1430 * The feature id for the '<em><b>Constant</b></em>' attribute. 1277 * The feature id for the '<em><b>Constant</b></em>' attribute.
1431 * <!-- begin-user-doc --> 1278 * <!-- begin-user-doc -->
1432 * <!-- end-user-doc --> 1279 * <!-- end-user-doc -->
@@ -1464,15 +1311,6 @@ public interface VampireLanguagePackage extends EPackage
1464 int VLS_LESS = 37; 1311 int VLS_LESS = 37;
1465 1312
1466 /** 1313 /**
1467 * The feature id for the '<em><b>Type</b></em>' containment reference.
1468 * <!-- begin-user-doc -->
1469 * <!-- end-user-doc -->
1470 * @generated
1471 * @ordered
1472 */
1473 int VLS_LESS__TYPE = VLS_TERM__TYPE;
1474
1475 /**
1476 * The feature id for the '<em><b>Name</b></em>' attribute. 1314 * The feature id for the '<em><b>Name</b></em>' attribute.
1477 * <!-- begin-user-doc --> 1315 * <!-- begin-user-doc -->
1478 * <!-- end-user-doc --> 1316 * <!-- end-user-doc -->
@@ -1510,15 +1348,6 @@ public interface VampireLanguagePackage extends EPackage
1510 int VLS_INT = 38; 1348 int VLS_INT = 38;
1511 1349
1512 /** 1350 /**
1513 * The feature id for the '<em><b>Type</b></em>' containment reference.
1514 * <!-- begin-user-doc -->
1515 * <!-- end-user-doc -->
1516 * @generated
1517 * @ordered
1518 */
1519 int VLS_INT__TYPE = VLS_DEFINED_TERM__TYPE;
1520
1521 /**
1522 * The feature id for the '<em><b>Value</b></em>' attribute. 1351 * The feature id for the '<em><b>Value</b></em>' attribute.
1523 * <!-- begin-user-doc --> 1352 * <!-- begin-user-doc -->
1524 * <!-- end-user-doc --> 1353 * <!-- end-user-doc -->
@@ -1547,15 +1376,6 @@ public interface VampireLanguagePackage extends EPackage
1547 int VLS_DOUBLE_QUOTE = 39; 1376 int VLS_DOUBLE_QUOTE = 39;
1548 1377
1549 /** 1378 /**
1550 * The feature id for the '<em><b>Type</b></em>' containment reference.
1551 * <!-- begin-user-doc -->
1552 * <!-- end-user-doc -->
1553 * @generated
1554 * @ordered
1555 */
1556 int VLS_DOUBLE_QUOTE__TYPE = VLS_DEFINED_TERM__TYPE;
1557
1558 /**
1559 * The feature id for the '<em><b>Value</b></em>' attribute. 1379 * The feature id for the '<em><b>Value</b></em>' attribute.
1560 * <!-- begin-user-doc --> 1380 * <!-- begin-user-doc -->
1561 * <!-- end-user-doc --> 1381 * <!-- end-user-doc -->
@@ -1831,6 +1651,17 @@ public interface VampireLanguagePackage extends EPackage
1831 EClass getVLSDeclaration(); 1651 EClass getVLSDeclaration();
1832 1652
1833 /** 1653 /**
1654 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType <em>Type</em>}'.
1655 * <!-- begin-user-doc -->
1656 * <!-- end-user-doc -->
1657 * @return the meta object for the containment reference '<em>Type</em>'.
1658 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDeclaration#getType()
1659 * @see #getVLSDeclaration()
1660 * @generated
1661 */
1662 EReference getVLSDeclaration_Type();
1663
1664 /**
1834 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'. 1665 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration <em>VLS Other Declaration</em>}'.
1835 * <!-- begin-user-doc --> 1666 * <!-- begin-user-doc -->
1836 * <!-- end-user-doc --> 1667 * <!-- end-user-doc -->
@@ -1841,6 +1672,17 @@ public interface VampireLanguagePackage extends EPackage
1841 EClass getVLSOtherDeclaration(); 1672 EClass getVLSOtherDeclaration();
1842 1673
1843 /** 1674 /**
1675 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName <em>Name</em>}'.
1676 * <!-- begin-user-doc -->
1677 * <!-- end-user-doc -->
1678 * @return the meta object for the containment reference '<em>Name</em>'.
1679 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSOtherDeclaration#getName()
1680 * @see #getVLSOtherDeclaration()
1681 * @generated
1682 */
1683 EReference getVLSOtherDeclaration_Name();
1684
1685 /**
1844 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'. 1686 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration <em>VLS Variable Declaration</em>}'.
1845 * <!-- begin-user-doc --> 1687 * <!-- begin-user-doc -->
1846 * <!-- end-user-doc --> 1688 * <!-- end-user-doc -->
@@ -1851,6 +1693,17 @@ public interface VampireLanguagePackage extends EPackage
1851 EClass getVLSVariableDeclaration(); 1693 EClass getVLSVariableDeclaration();
1852 1694
1853 /** 1695 /**
1696 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName <em>Name</em>}'.
1697 * <!-- begin-user-doc -->
1698 * <!-- end-user-doc -->
1699 * @return the meta object for the containment reference '<em>Name</em>'.
1700 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariableDeclaration#getName()
1701 * @see #getVLSVariableDeclaration()
1702 * @generated
1703 */
1704 EReference getVLSVariableDeclaration_Name();
1705
1706 /**
1854 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'. 1707 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTypeDef <em>VLS Type Def</em>}'.
1855 * <!-- begin-user-doc --> 1708 * <!-- begin-user-doc -->
1856 * <!-- end-user-doc --> 1709 * <!-- end-user-doc -->
@@ -1915,17 +1768,6 @@ public interface VampireLanguagePackage extends EPackage
1915 EClass getVLSTerm(); 1768 EClass getVLSTerm();
1916 1769
1917 /** 1770 /**
1918 * Returns the meta object for the containment reference '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType <em>Type</em>}'.
1919 * <!-- begin-user-doc -->
1920 * <!-- end-user-doc -->
1921 * @return the meta object for the containment reference '<em>Type</em>'.
1922 * @see ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSTerm#getType()
1923 * @see #getVLSTerm()
1924 * @generated
1925 */
1926 EReference getVLSTerm_Type();
1927
1928 /**
1929 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'. 1771 * Returns the meta object for class '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSVariable <em>VLS Variable</em>}'.
1930 * <!-- begin-user-doc --> 1772 * <!-- begin-user-doc -->
1931 * <!-- end-user-doc --> 1773 * <!-- end-user-doc -->
@@ -2844,6 +2686,14 @@ public interface VampireLanguagePackage extends EPackage
2844 EClass VLS_DECLARATION = eINSTANCE.getVLSDeclaration(); 2686 EClass VLS_DECLARATION = eINSTANCE.getVLSDeclaration();
2845 2687
2846 /** 2688 /**
2689 * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.
2690 * <!-- begin-user-doc -->
2691 * <!-- end-user-doc -->
2692 * @generated
2693 */
2694 EReference VLS_DECLARATION__TYPE = eINSTANCE.getVLSDeclaration_Type();
2695
2696 /**
2847 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class. 2697 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSOtherDeclarationImpl <em>VLS Other Declaration</em>}' class.
2848 * <!-- begin-user-doc --> 2698 * <!-- begin-user-doc -->
2849 * <!-- end-user-doc --> 2699 * <!-- end-user-doc -->
@@ -2854,6 +2704,14 @@ public interface VampireLanguagePackage extends EPackage
2854 EClass VLS_OTHER_DECLARATION = eINSTANCE.getVLSOtherDeclaration(); 2704 EClass VLS_OTHER_DECLARATION = eINSTANCE.getVLSOtherDeclaration();
2855 2705
2856 /** 2706 /**
2707 * The meta object literal for the '<em><b>Name</b></em>' containment reference feature.
2708 * <!-- begin-user-doc -->
2709 * <!-- end-user-doc -->
2710 * @generated
2711 */
2712 EReference VLS_OTHER_DECLARATION__NAME = eINSTANCE.getVLSOtherDeclaration_Name();
2713
2714 /**
2857 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class. 2715 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableDeclarationImpl <em>VLS Variable Declaration</em>}' class.
2858 * <!-- begin-user-doc --> 2716 * <!-- begin-user-doc -->
2859 * <!-- end-user-doc --> 2717 * <!-- end-user-doc -->
@@ -2864,6 +2722,14 @@ public interface VampireLanguagePackage extends EPackage
2864 EClass VLS_VARIABLE_DECLARATION = eINSTANCE.getVLSVariableDeclaration(); 2722 EClass VLS_VARIABLE_DECLARATION = eINSTANCE.getVLSVariableDeclaration();
2865 2723
2866 /** 2724 /**
2725 * The meta object literal for the '<em><b>Name</b></em>' containment reference feature.
2726 * <!-- begin-user-doc -->
2727 * <!-- end-user-doc -->
2728 * @generated
2729 */
2730 EReference VLS_VARIABLE_DECLARATION__NAME = eINSTANCE.getVLSVariableDeclaration_Name();
2731
2732 /**
2867 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class. 2733 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSTypeDefImpl <em>VLS Type Def</em>}' class.
2868 * <!-- begin-user-doc --> 2734 * <!-- begin-user-doc -->
2869 * <!-- end-user-doc --> 2735 * <!-- end-user-doc -->
@@ -2916,14 +2782,6 @@ public interface VampireLanguagePackage extends EPackage
2916 EClass VLS_TERM = eINSTANCE.getVLSTerm(); 2782 EClass VLS_TERM = eINSTANCE.getVLSTerm();
2917 2783
2918 /** 2784 /**
2919 * The meta object literal for the '<em><b>Type</b></em>' containment reference feature.
2920 * <!-- begin-user-doc -->
2921 * <!-- end-user-doc -->
2922 * @generated
2923 */
2924 EReference VLS_TERM__TYPE = eINSTANCE.getVLSTerm_Type();
2925
2926 /**
2927 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class. 2785 * The meta object literal for the '{@link ca.mcgill.ecse.dslreasoner.vampireLanguage.impl.VLSVariableImpl <em>VLS Variable</em>}' class.
2928 * <!-- begin-user-doc --> 2786 * <!-- begin-user-doc -->
2929 * <!-- end-user-doc --> 2787 * <!-- end-user-doc -->
generated by cgit v1.2.3-54-g00ecf (git 2.45.1) at 2024-05-28 10:55:42 +0000