diff options
Diffstat (limited to 'Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java')
-rw-r--r-- | Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java | 230 |
1 files changed, 58 insertions, 172 deletions
diff --git a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java index 3bd01417..9767d002 100644 --- a/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java +++ b/Application/org.eclipse.viatra.solver.language/src-gen/org/eclipse/viatra/solver/language/solverLanguage/SolverLanguagePackage.java | |||
@@ -642,59 +642,13 @@ public interface SolverLanguagePackage extends EPackage | |||
642 | int PREDICATE = 25; | 642 | int PREDICATE = 25; |
643 | 643 | ||
644 | /** | 644 | /** |
645 | * The feature id for the '<em><b>Parameters</b></em>' containment reference list. | 645 | * The feature id for the '<em><b>Is Error</b></em>' attribute. |
646 | * <!-- begin-user-doc --> | ||
647 | * <!-- end-user-doc --> | ||
648 | * @generated | ||
649 | * @ordered | ||
650 | */ | ||
651 | int PREDICATE__PARAMETERS = STATEMENT_FEATURE_COUNT + 0; | ||
652 | |||
653 | /** | ||
654 | * The feature id for the '<em><b>Bodies</b></em>' containment reference list. | ||
655 | * <!-- begin-user-doc --> | ||
656 | * <!-- end-user-doc --> | ||
657 | * @generated | ||
658 | * @ordered | ||
659 | */ | ||
660 | int PREDICATE__BODIES = STATEMENT_FEATURE_COUNT + 1; | ||
661 | |||
662 | /** | ||
663 | * The number of structural features of the '<em>Predicate</em>' class. | ||
664 | * <!-- begin-user-doc --> | ||
665 | * <!-- end-user-doc --> | ||
666 | * @generated | ||
667 | * @ordered | ||
668 | */ | ||
669 | int PREDICATE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 2; | ||
670 | |||
671 | /** | ||
672 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl <em>Predicate Symbol</em>}' class. | ||
673 | * <!-- begin-user-doc --> | ||
674 | * <!-- end-user-doc --> | ||
675 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl | ||
676 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateSymbol() | ||
677 | * @generated | ||
678 | */ | ||
679 | int PREDICATE_SYMBOL = 26; | ||
680 | |||
681 | /** | ||
682 | * The feature id for the '<em><b>Parameters</b></em>' containment reference list. | ||
683 | * <!-- begin-user-doc --> | 646 | * <!-- begin-user-doc --> |
684 | * <!-- end-user-doc --> | 647 | * <!-- end-user-doc --> |
685 | * @generated | 648 | * @generated |
686 | * @ordered | 649 | * @ordered |
687 | */ | 650 | */ |
688 | int PREDICATE_SYMBOL__PARAMETERS = PREDICATE__PARAMETERS; | 651 | int PREDICATE__IS_ERROR = STATEMENT_FEATURE_COUNT + 0; |
689 | |||
690 | /** | ||
691 | * The feature id for the '<em><b>Bodies</b></em>' containment reference list. | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @generated | ||
695 | * @ordered | ||
696 | */ | ||
697 | int PREDICATE_SYMBOL__BODIES = PREDICATE__BODIES; | ||
698 | 652 | ||
699 | /** | 653 | /** |
700 | * The feature id for the '<em><b>Symbol</b></em>' containment reference. | 654 | * The feature id for the '<em><b>Symbol</b></em>' containment reference. |
@@ -703,26 +657,7 @@ public interface SolverLanguagePackage extends EPackage | |||
703 | * @generated | 657 | * @generated |
704 | * @ordered | 658 | * @ordered |
705 | */ | 659 | */ |
706 | int PREDICATE_SYMBOL__SYMBOL = PREDICATE_FEATURE_COUNT + 0; | 660 | int PREDICATE__SYMBOL = STATEMENT_FEATURE_COUNT + 1; |
707 | |||
708 | /** | ||
709 | * The number of structural features of the '<em>Predicate Symbol</em>' class. | ||
710 | * <!-- begin-user-doc --> | ||
711 | * <!-- end-user-doc --> | ||
712 | * @generated | ||
713 | * @ordered | ||
714 | */ | ||
715 | int PREDICATE_SYMBOL_FEATURE_COUNT = PREDICATE_FEATURE_COUNT + 1; | ||
716 | |||
717 | /** | ||
718 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl <em>Error Predicate</em>}' class. | ||
719 | * <!-- begin-user-doc --> | ||
720 | * <!-- end-user-doc --> | ||
721 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl | ||
722 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getErrorPredicate() | ||
723 | * @generated | ||
724 | */ | ||
725 | int ERROR_PREDICATE = 27; | ||
726 | 661 | ||
727 | /** | 662 | /** |
728 | * The feature id for the '<em><b>Parameters</b></em>' containment reference list. | 663 | * The feature id for the '<em><b>Parameters</b></em>' containment reference list. |
@@ -731,7 +666,7 @@ public interface SolverLanguagePackage extends EPackage | |||
731 | * @generated | 666 | * @generated |
732 | * @ordered | 667 | * @ordered |
733 | */ | 668 | */ |
734 | int ERROR_PREDICATE__PARAMETERS = PREDICATE__PARAMETERS; | 669 | int PREDICATE__PARAMETERS = STATEMENT_FEATURE_COUNT + 2; |
735 | 670 | ||
736 | /** | 671 | /** |
737 | * The feature id for the '<em><b>Bodies</b></em>' containment reference list. | 672 | * The feature id for the '<em><b>Bodies</b></em>' containment reference list. |
@@ -740,25 +675,16 @@ public interface SolverLanguagePackage extends EPackage | |||
740 | * @generated | 675 | * @generated |
741 | * @ordered | 676 | * @ordered |
742 | */ | 677 | */ |
743 | int ERROR_PREDICATE__BODIES = PREDICATE__BODIES; | 678 | int PREDICATE__BODIES = STATEMENT_FEATURE_COUNT + 3; |
744 | 679 | ||
745 | /** | 680 | /** |
746 | * The feature id for the '<em><b>Name</b></em>' attribute. | 681 | * The number of structural features of the '<em>Predicate</em>' class. |
747 | * <!-- begin-user-doc --> | ||
748 | * <!-- end-user-doc --> | ||
749 | * @generated | ||
750 | * @ordered | ||
751 | */ | ||
752 | int ERROR_PREDICATE__NAME = PREDICATE_FEATURE_COUNT + 0; | ||
753 | |||
754 | /** | ||
755 | * The number of structural features of the '<em>Error Predicate</em>' class. | ||
756 | * <!-- begin-user-doc --> | 682 | * <!-- begin-user-doc --> |
757 | * <!-- end-user-doc --> | 683 | * <!-- end-user-doc --> |
758 | * @generated | 684 | * @generated |
759 | * @ordered | 685 | * @ordered |
760 | */ | 686 | */ |
761 | int ERROR_PREDICATE_FEATURE_COUNT = PREDICATE_FEATURE_COUNT + 1; | 687 | int PREDICATE_FEATURE_COUNT = STATEMENT_FEATURE_COUNT + 4; |
762 | 688 | ||
763 | /** | 689 | /** |
764 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl <em>Parameter</em>}' class. | 690 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl <em>Parameter</em>}' class. |
@@ -768,7 +694,7 @@ public interface SolverLanguagePackage extends EPackage | |||
768 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter() | 694 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getParameter() |
769 | * @generated | 695 | * @generated |
770 | */ | 696 | */ |
771 | int PARAMETER = 28; | 697 | int PARAMETER = 26; |
772 | 698 | ||
773 | /** | 699 | /** |
774 | * The feature id for the '<em><b>Variable</b></em>' containment reference. | 700 | * The feature id for the '<em><b>Variable</b></em>' containment reference. |
@@ -805,7 +731,7 @@ public interface SolverLanguagePackage extends EPackage | |||
805 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody() | 731 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPatternBody() |
806 | * @generated | 732 | * @generated |
807 | */ | 733 | */ |
808 | int PATTERN_BODY = 29; | 734 | int PATTERN_BODY = 27; |
809 | 735 | ||
810 | /** | 736 | /** |
811 | * The feature id for the '<em><b>Constraints</b></em>' containment reference list. | 737 | * The feature id for the '<em><b>Constraints</b></em>' containment reference list. |
@@ -833,7 +759,7 @@ public interface SolverLanguagePackage extends EPackage | |||
833 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity() | 759 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPolarity() |
834 | * @generated | 760 | * @generated |
835 | */ | 761 | */ |
836 | int POLARITY = 30; | 762 | int POLARITY = 28; |
837 | 763 | ||
838 | /** | 764 | /** |
839 | * The number of structural features of the '<em>Polarity</em>' class. | 765 | * The number of structural features of the '<em>Polarity</em>' class. |
@@ -852,7 +778,7 @@ public interface SolverLanguagePackage extends EPackage | |||
852 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint() | 778 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getConstraint() |
853 | * @generated | 779 | * @generated |
854 | */ | 780 | */ |
855 | int CONSTRAINT = 31; | 781 | int CONSTRAINT = 29; |
856 | 782 | ||
857 | /** | 783 | /** |
858 | * The feature id for the '<em><b>Polarity</b></em>' containment reference. | 784 | * The feature id for the '<em><b>Polarity</b></em>' containment reference. |
@@ -907,7 +833,7 @@ public interface SolverLanguagePackage extends EPackage | |||
907 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType() | 833 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClosureType() |
908 | * @generated | 834 | * @generated |
909 | */ | 835 | */ |
910 | int CLOSURE_TYPE = 32; | 836 | int CLOSURE_TYPE = 30; |
911 | 837 | ||
912 | /** | 838 | /** |
913 | * The number of structural features of the '<em>Closure Type</em>' class. | 839 | * The number of structural features of the '<em>Closure Type</em>' class. |
@@ -926,7 +852,7 @@ public interface SolverLanguagePackage extends EPackage | |||
926 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral() | 852 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getLiteral() |
927 | * @generated | 853 | * @generated |
928 | */ | 854 | */ |
929 | int LITERAL = 33; | 855 | int LITERAL = 31; |
930 | 856 | ||
931 | /** | 857 | /** |
932 | * The number of structural features of the '<em>Literal</em>' class. | 858 | * The number of structural features of the '<em>Literal</em>' class. |
@@ -945,7 +871,7 @@ public interface SolverLanguagePackage extends EPackage | |||
945 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable() | 871 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getVariable() |
946 | * @generated | 872 | * @generated |
947 | */ | 873 | */ |
948 | int VARIABLE = 34; | 874 | int VARIABLE = 32; |
949 | 875 | ||
950 | /** | 876 | /** |
951 | * The feature id for the '<em><b>Name</b></em>' attribute. | 877 | * The feature id for the '<em><b>Name</b></em>' attribute. |
@@ -973,7 +899,7 @@ public interface SolverLanguagePackage extends EPackage | |||
973 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances() | 899 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllInstances() |
974 | * @generated | 900 | * @generated |
975 | */ | 901 | */ |
976 | int ALL_INSTANCES = 35; | 902 | int ALL_INSTANCES = 33; |
977 | 903 | ||
978 | /** | 904 | /** |
979 | * The feature id for the '<em><b>Symbol</b></em>' containment reference. | 905 | * The feature id for the '<em><b>Symbol</b></em>' containment reference. |
@@ -1001,7 +927,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1001 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects() | 927 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getAllObjects() |
1002 | * @generated | 928 | * @generated |
1003 | */ | 929 | */ |
1004 | int ALL_OBJECTS = 36; | 930 | int ALL_OBJECTS = 34; |
1005 | 931 | ||
1006 | /** | 932 | /** |
1007 | * The number of structural features of the '<em>All Objects</em>' class. | 933 | * The number of structural features of the '<em>All Objects</em>' class. |
@@ -1020,7 +946,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1020 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation() | 946 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getDefaultInterpretation() |
1021 | * @generated | 947 | * @generated |
1022 | */ | 948 | */ |
1023 | int DEFAULT_INTERPRETATION = 37; | 949 | int DEFAULT_INTERPRETATION = 35; |
1024 | 950 | ||
1025 | /** | 951 | /** |
1026 | * The feature id for the '<em><b>Interpretation</b></em>' containment reference. | 952 | * The feature id for the '<em><b>Interpretation</b></em>' containment reference. |
@@ -1048,7 +974,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1048 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation() | 974 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getCDInterpretation() |
1049 | * @generated | 975 | * @generated |
1050 | */ | 976 | */ |
1051 | int CD_INTERPRETATION = 38; | 977 | int CD_INTERPRETATION = 36; |
1052 | 978 | ||
1053 | /** | 979 | /** |
1054 | * The number of structural features of the '<em>CD Interpretation</em>' class. | 980 | * The number of structural features of the '<em>CD Interpretation</em>' class. |
@@ -1067,7 +993,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1067 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation() | 993 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getClassInterpretation() |
1068 | * @generated | 994 | * @generated |
1069 | */ | 995 | */ |
1070 | int CLASS_INTERPRETATION = 39; | 996 | int CLASS_INTERPRETATION = 37; |
1071 | 997 | ||
1072 | /** | 998 | /** |
1073 | * The feature id for the '<em><b>Abstract</b></em>' attribute. | 999 | * The feature id for the '<em><b>Abstract</b></em>' attribute. |
@@ -1122,7 +1048,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1122 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation() | 1048 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getEnumInterpretation() |
1123 | * @generated | 1049 | * @generated |
1124 | */ | 1050 | */ |
1125 | int ENUM_INTERPRETATION = 40; | 1051 | int ENUM_INTERPRETATION = 38; |
1126 | 1052 | ||
1127 | /** | 1053 | /** |
1128 | * The feature id for the '<em><b>Symbol</b></em>' containment reference. | 1054 | * The feature id for the '<em><b>Symbol</b></em>' containment reference. |
@@ -1159,7 +1085,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1159 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation() | 1085 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFieldRelationInterpretation() |
1160 | * @generated | 1086 | * @generated |
1161 | */ | 1087 | */ |
1162 | int FIELD_RELATION_INTERPRETATION = 41; | 1088 | int FIELD_RELATION_INTERPRETATION = 39; |
1163 | 1089 | ||
1164 | /** | 1090 | /** |
1165 | * The feature id for the '<em><b>Containment</b></em>' attribute. | 1091 | * The feature id for the '<em><b>Containment</b></em>' attribute. |
@@ -1214,7 +1140,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1214 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation() | 1140 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getGlobalRelationInterpretation() |
1215 | * @generated | 1141 | * @generated |
1216 | */ | 1142 | */ |
1217 | int GLOBAL_RELATION_INTERPRETATION = 42; | 1143 | int GLOBAL_RELATION_INTERPRETATION = 40; |
1218 | 1144 | ||
1219 | /** | 1145 | /** |
1220 | * The feature id for the '<em><b>Containment</b></em>' attribute. | 1146 | * The feature id for the '<em><b>Containment</b></em>' attribute. |
@@ -1287,7 +1213,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1287 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition() | 1213 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getMultiplicityDefinition() |
1288 | * @generated | 1214 | * @generated |
1289 | */ | 1215 | */ |
1290 | int MULTIPLICITY_DEFINITION = 43; | 1216 | int MULTIPLICITY_DEFINITION = 41; |
1291 | 1217 | ||
1292 | /** | 1218 | /** |
1293 | * The feature id for the '<em><b>Lower</b></em>' attribute. | 1219 | * The feature id for the '<em><b>Lower</b></em>' attribute. |
@@ -1333,7 +1259,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1333 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue() | 1259 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanTrue() |
1334 | * @generated | 1260 | * @generated |
1335 | */ | 1261 | */ |
1336 | int BOOLEAN_TRUE = 44; | 1262 | int BOOLEAN_TRUE = 42; |
1337 | 1263 | ||
1338 | /** | 1264 | /** |
1339 | * The number of structural features of the '<em>Boolean True</em>' class. | 1265 | * The number of structural features of the '<em>Boolean True</em>' class. |
@@ -1352,7 +1278,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1352 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse() | 1278 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getBooleanFalse() |
1353 | * @generated | 1279 | * @generated |
1354 | */ | 1280 | */ |
1355 | int BOOLEAN_FALSE = 45; | 1281 | int BOOLEAN_FALSE = 43; |
1356 | 1282 | ||
1357 | /** | 1283 | /** |
1358 | * The number of structural features of the '<em>Boolean False</em>' class. | 1284 | * The number of structural features of the '<em>Boolean False</em>' class. |
@@ -1371,7 +1297,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1371 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue() | 1297 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getTrue() |
1372 | * @generated | 1298 | * @generated |
1373 | */ | 1299 | */ |
1374 | int TRUE = 46; | 1300 | int TRUE = 44; |
1375 | 1301 | ||
1376 | /** | 1302 | /** |
1377 | * The number of structural features of the '<em>True</em>' class. | 1303 | * The number of structural features of the '<em>True</em>' class. |
@@ -1390,7 +1316,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1390 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse() | 1316 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getFalse() |
1391 | * @generated | 1317 | * @generated |
1392 | */ | 1318 | */ |
1393 | int FALSE = 47; | 1319 | int FALSE = 45; |
1394 | 1320 | ||
1395 | /** | 1321 | /** |
1396 | * The number of structural features of the '<em>False</em>' class. | 1322 | * The number of structural features of the '<em>False</em>' class. |
@@ -1409,7 +1335,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1409 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown() | 1335 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getUnknown() |
1410 | * @generated | 1336 | * @generated |
1411 | */ | 1337 | */ |
1412 | int UNKNOWN = 48; | 1338 | int UNKNOWN = 46; |
1413 | 1339 | ||
1414 | /** | 1340 | /** |
1415 | * The number of structural features of the '<em>Unknown</em>' class. | 1341 | * The number of structural features of the '<em>Unknown</em>' class. |
@@ -1428,7 +1354,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1428 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError() | 1354 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getError() |
1429 | * @generated | 1355 | * @generated |
1430 | */ | 1356 | */ |
1431 | int ERROR = 49; | 1357 | int ERROR = 47; |
1432 | 1358 | ||
1433 | /** | 1359 | /** |
1434 | * The number of structural features of the '<em>Error</em>' class. | 1360 | * The number of structural features of the '<em>Error</em>' class. |
@@ -1447,7 +1373,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1447 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive() | 1373 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPositive() |
1448 | * @generated | 1374 | * @generated |
1449 | */ | 1375 | */ |
1450 | int POSITIVE = 50; | 1376 | int POSITIVE = 48; |
1451 | 1377 | ||
1452 | /** | 1378 | /** |
1453 | * The number of structural features of the '<em>Positive</em>' class. | 1379 | * The number of structural features of the '<em>Positive</em>' class. |
@@ -1466,7 +1392,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1466 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative() | 1392 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getNegative() |
1467 | * @generated | 1393 | * @generated |
1468 | */ | 1394 | */ |
1469 | int NEGATIVE = 51; | 1395 | int NEGATIVE = 49; |
1470 | 1396 | ||
1471 | /** | 1397 | /** |
1472 | * The number of structural features of the '<em>Negative</em>' class. | 1398 | * The number of structural features of the '<em>Negative</em>' class. |
@@ -1485,7 +1411,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1485 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure() | 1411 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getReflexiveClosure() |
1486 | * @generated | 1412 | * @generated |
1487 | */ | 1413 | */ |
1488 | int REFLEXIVE_CLOSURE = 52; | 1414 | int REFLEXIVE_CLOSURE = 50; |
1489 | 1415 | ||
1490 | /** | 1416 | /** |
1491 | * The number of structural features of the '<em>Reflexive Closure</em>' class. | 1417 | * The number of structural features of the '<em>Reflexive Closure</em>' class. |
@@ -1504,7 +1430,7 @@ public interface SolverLanguagePackage extends EPackage | |||
1504 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure() | 1430 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getIrreflexiveClosure() |
1505 | * @generated | 1431 | * @generated |
1506 | */ | 1432 | */ |
1507 | int IRREFLEXIVE_CLOSURE = 53; | 1433 | int IRREFLEXIVE_CLOSURE = 51; |
1508 | 1434 | ||
1509 | /** | 1435 | /** |
1510 | * The number of structural features of the '<em>Irreflexive Closure</em>' class. | 1436 | * The number of structural features of the '<em>Irreflexive Closure</em>' class. |
@@ -1898,68 +1824,48 @@ public interface SolverLanguagePackage extends EPackage | |||
1898 | EClass getPredicate(); | 1824 | EClass getPredicate(); |
1899 | 1825 | ||
1900 | /** | 1826 | /** |
1901 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters <em>Parameters</em>}'. | 1827 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError <em>Is Error</em>}'. |
1902 | * <!-- begin-user-doc --> | 1828 | * <!-- begin-user-doc --> |
1903 | * <!-- end-user-doc --> | 1829 | * <!-- end-user-doc --> |
1904 | * @return the meta object for the containment reference list '<em>Parameters</em>'. | 1830 | * @return the meta object for the attribute '<em>Is Error</em>'. |
1905 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters() | 1831 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#isIsError() |
1906 | * @see #getPredicate() | 1832 | * @see #getPredicate() |
1907 | * @generated | 1833 | * @generated |
1908 | */ | 1834 | */ |
1909 | EReference getPredicate_Parameters(); | 1835 | EAttribute getPredicate_IsError(); |
1910 | 1836 | ||
1911 | /** | 1837 | /** |
1912 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies <em>Bodies</em>}'. | 1838 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol <em>Symbol</em>}'. |
1913 | * <!-- begin-user-doc --> | ||
1914 | * <!-- end-user-doc --> | ||
1915 | * @return the meta object for the containment reference list '<em>Bodies</em>'. | ||
1916 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies() | ||
1917 | * @see #getPredicate() | ||
1918 | * @generated | ||
1919 | */ | ||
1920 | EReference getPredicate_Bodies(); | ||
1921 | |||
1922 | /** | ||
1923 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol <em>Predicate Symbol</em>}'. | ||
1924 | * <!-- begin-user-doc --> | ||
1925 | * <!-- end-user-doc --> | ||
1926 | * @return the meta object for class '<em>Predicate Symbol</em>'. | ||
1927 | * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol | ||
1928 | * @generated | ||
1929 | */ | ||
1930 | EClass getPredicateSymbol(); | ||
1931 | |||
1932 | /** | ||
1933 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol <em>Symbol</em>}'. | ||
1934 | * <!-- begin-user-doc --> | 1839 | * <!-- begin-user-doc --> |
1935 | * <!-- end-user-doc --> | 1840 | * <!-- end-user-doc --> |
1936 | * @return the meta object for the containment reference '<em>Symbol</em>'. | 1841 | * @return the meta object for the containment reference '<em>Symbol</em>'. |
1937 | * @see org.eclipse.viatra.solver.language.solverLanguage.PredicateSymbol#getSymbol() | 1842 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getSymbol() |
1938 | * @see #getPredicateSymbol() | 1843 | * @see #getPredicate() |
1939 | * @generated | 1844 | * @generated |
1940 | */ | 1845 | */ |
1941 | EReference getPredicateSymbol_Symbol(); | 1846 | EReference getPredicate_Symbol(); |
1942 | 1847 | ||
1943 | /** | 1848 | /** |
1944 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate <em>Error Predicate</em>}'. | 1849 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters <em>Parameters</em>}'. |
1945 | * <!-- begin-user-doc --> | 1850 | * <!-- begin-user-doc --> |
1946 | * <!-- end-user-doc --> | 1851 | * <!-- end-user-doc --> |
1947 | * @return the meta object for class '<em>Error Predicate</em>'. | 1852 | * @return the meta object for the containment reference list '<em>Parameters</em>'. |
1948 | * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate | 1853 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getParameters() |
1854 | * @see #getPredicate() | ||
1949 | * @generated | 1855 | * @generated |
1950 | */ | 1856 | */ |
1951 | EClass getErrorPredicate(); | 1857 | EReference getPredicate_Parameters(); |
1952 | 1858 | ||
1953 | /** | 1859 | /** |
1954 | * Returns the meta object for the attribute '{@link org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName <em>Name</em>}'. | 1860 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies <em>Bodies</em>}'. |
1955 | * <!-- begin-user-doc --> | 1861 | * <!-- begin-user-doc --> |
1956 | * <!-- end-user-doc --> | 1862 | * <!-- end-user-doc --> |
1957 | * @return the meta object for the attribute '<em>Name</em>'. | 1863 | * @return the meta object for the containment reference list '<em>Bodies</em>'. |
1958 | * @see org.eclipse.viatra.solver.language.solverLanguage.ErrorPredicate#getName() | 1864 | * @see org.eclipse.viatra.solver.language.solverLanguage.Predicate#getBodies() |
1959 | * @see #getErrorPredicate() | 1865 | * @see #getPredicate() |
1960 | * @generated | 1866 | * @generated |
1961 | */ | 1867 | */ |
1962 | EAttribute getErrorPredicate_Name(); | 1868 | EReference getPredicate_Bodies(); |
1963 | 1869 | ||
1964 | /** | 1870 | /** |
1965 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'. | 1871 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.solverLanguage.Parameter <em>Parameter</em>}'. |
@@ -2912,30 +2818,12 @@ public interface SolverLanguagePackage extends EPackage | |||
2912 | EClass PREDICATE = eINSTANCE.getPredicate(); | 2818 | EClass PREDICATE = eINSTANCE.getPredicate(); |
2913 | 2819 | ||
2914 | /** | 2820 | /** |
2915 | * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature. | 2821 | * The meta object literal for the '<em><b>Is Error</b></em>' attribute feature. |
2916 | * <!-- begin-user-doc --> | ||
2917 | * <!-- end-user-doc --> | ||
2918 | * @generated | ||
2919 | */ | ||
2920 | EReference PREDICATE__PARAMETERS = eINSTANCE.getPredicate_Parameters(); | ||
2921 | |||
2922 | /** | ||
2923 | * The meta object literal for the '<em><b>Bodies</b></em>' containment reference list feature. | ||
2924 | * <!-- begin-user-doc --> | ||
2925 | * <!-- end-user-doc --> | ||
2926 | * @generated | ||
2927 | */ | ||
2928 | EReference PREDICATE__BODIES = eINSTANCE.getPredicate_Bodies(); | ||
2929 | |||
2930 | /** | ||
2931 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl <em>Predicate Symbol</em>}' class. | ||
2932 | * <!-- begin-user-doc --> | 2822 | * <!-- begin-user-doc --> |
2933 | * <!-- end-user-doc --> | 2823 | * <!-- end-user-doc --> |
2934 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.PredicateSymbolImpl | ||
2935 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getPredicateSymbol() | ||
2936 | * @generated | 2824 | * @generated |
2937 | */ | 2825 | */ |
2938 | EClass PREDICATE_SYMBOL = eINSTANCE.getPredicateSymbol(); | 2826 | EAttribute PREDICATE__IS_ERROR = eINSTANCE.getPredicate_IsError(); |
2939 | 2827 | ||
2940 | /** | 2828 | /** |
2941 | * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature. | 2829 | * The meta object literal for the '<em><b>Symbol</b></em>' containment reference feature. |
@@ -2943,25 +2831,23 @@ public interface SolverLanguagePackage extends EPackage | |||
2943 | * <!-- end-user-doc --> | 2831 | * <!-- end-user-doc --> |
2944 | * @generated | 2832 | * @generated |
2945 | */ | 2833 | */ |
2946 | EReference PREDICATE_SYMBOL__SYMBOL = eINSTANCE.getPredicateSymbol_Symbol(); | 2834 | EReference PREDICATE__SYMBOL = eINSTANCE.getPredicate_Symbol(); |
2947 | 2835 | ||
2948 | /** | 2836 | /** |
2949 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl <em>Error Predicate</em>}' class. | 2837 | * The meta object literal for the '<em><b>Parameters</b></em>' containment reference list feature. |
2950 | * <!-- begin-user-doc --> | 2838 | * <!-- begin-user-doc --> |
2951 | * <!-- end-user-doc --> | 2839 | * <!-- end-user-doc --> |
2952 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.ErrorPredicateImpl | ||
2953 | * @see org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguagePackageImpl#getErrorPredicate() | ||
2954 | * @generated | 2840 | * @generated |
2955 | */ | 2841 | */ |
2956 | EClass ERROR_PREDICATE = eINSTANCE.getErrorPredicate(); | 2842 | EReference PREDICATE__PARAMETERS = eINSTANCE.getPredicate_Parameters(); |
2957 | 2843 | ||
2958 | /** | 2844 | /** |
2959 | * The meta object literal for the '<em><b>Name</b></em>' attribute feature. | 2845 | * The meta object literal for the '<em><b>Bodies</b></em>' containment reference list feature. |
2960 | * <!-- begin-user-doc --> | 2846 | * <!-- begin-user-doc --> |
2961 | * <!-- end-user-doc --> | 2847 | * <!-- end-user-doc --> |
2962 | * @generated | 2848 | * @generated |
2963 | */ | 2849 | */ |
2964 | EAttribute ERROR_PREDICATE__NAME = eINSTANCE.getErrorPredicate_Name(); | 2850 | EReference PREDICATE__BODIES = eINSTANCE.getPredicate_Bodies(); |
2965 | 2851 | ||
2966 | /** | 2852 | /** |
2967 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl <em>Parameter</em>}' class. | 2853 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.solverLanguage.impl.ParameterImpl <em>Parameter</em>}' class. |