diff options
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | 251 |
1 files changed, 220 insertions, 31 deletions
diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java index 59906b1f..1358eaeb 100644 --- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java +++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.model/src/main/emf-gen/org/eclipse/viatra/solver/language/model/problem/ProblemPackage.java | |||
@@ -58,87 +58,96 @@ public interface ProblemPackage extends EPackage { | |||
58 | ProblemPackage eINSTANCE = org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl.init(); | 58 | ProblemPackage eINSTANCE = org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl.init(); |
59 | 59 | ||
60 | /** | 60 | /** |
61 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl <em>Problem</em>}' class. | 61 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl <em>Named Element</em>}' class. |
62 | * <!-- begin-user-doc --> | 62 | * <!-- begin-user-doc --> |
63 | * <!-- end-user-doc --> | 63 | * <!-- end-user-doc --> |
64 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl | 64 | * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl |
65 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem() | 65 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement() |
66 | * @generated | 66 | * @generated |
67 | */ | 67 | */ |
68 | int PROBLEM = 0; | 68 | int NAMED_ELEMENT = 4; |
69 | 69 | ||
70 | /** | 70 | /** |
71 | * The feature id for the '<em><b>Nodes</b></em>' containment reference list. | 71 | * The feature id for the '<em><b>Name</b></em>' attribute. |
72 | * <!-- begin-user-doc --> | 72 | * <!-- begin-user-doc --> |
73 | * <!-- end-user-doc --> | 73 | * <!-- end-user-doc --> |
74 | * @generated | 74 | * @generated |
75 | * @ordered | 75 | * @ordered |
76 | */ | 76 | */ |
77 | int PROBLEM__NODES = 0; | 77 | int NAMED_ELEMENT__NAME = 0; |
78 | 78 | ||
79 | /** | 79 | /** |
80 | * The feature id for the '<em><b>Statements</b></em>' containment reference list. | 80 | * The number of structural features of the '<em>Named Element</em>' class. |
81 | * <!-- begin-user-doc --> | 81 | * <!-- begin-user-doc --> |
82 | * <!-- end-user-doc --> | 82 | * <!-- end-user-doc --> |
83 | * @generated | 83 | * @generated |
84 | * @ordered | 84 | * @ordered |
85 | */ | 85 | */ |
86 | int PROBLEM__STATEMENTS = 1; | 86 | int NAMED_ELEMENT_FEATURE_COUNT = 1; |
87 | 87 | ||
88 | /** | 88 | /** |
89 | * The number of structural features of the '<em>Problem</em>' class. | 89 | * The number of operations of the '<em>Named Element</em>' class. |
90 | * <!-- begin-user-doc --> | 90 | * <!-- begin-user-doc --> |
91 | * <!-- end-user-doc --> | 91 | * <!-- end-user-doc --> |
92 | * @generated | 92 | * @generated |
93 | * @ordered | 93 | * @ordered |
94 | */ | 94 | */ |
95 | int PROBLEM_FEATURE_COUNT = 2; | 95 | int NAMED_ELEMENT_OPERATION_COUNT = 0; |
96 | 96 | ||
97 | /** | 97 | /** |
98 | * The number of operations of the '<em>Problem</em>' class. | 98 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl <em>Problem</em>}' class. |
99 | * <!-- begin-user-doc --> | ||
100 | * <!-- end-user-doc --> | ||
101 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemImpl | ||
102 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getProblem() | ||
103 | * @generated | ||
104 | */ | ||
105 | int PROBLEM = 0; | ||
106 | |||
107 | /** | ||
108 | * The feature id for the '<em><b>Name</b></em>' attribute. | ||
99 | * <!-- begin-user-doc --> | 109 | * <!-- begin-user-doc --> |
100 | * <!-- end-user-doc --> | 110 | * <!-- end-user-doc --> |
101 | * @generated | 111 | * @generated |
102 | * @ordered | 112 | * @ordered |
103 | */ | 113 | */ |
104 | int PROBLEM_OPERATION_COUNT = 0; | 114 | int PROBLEM__NAME = NAMED_ELEMENT__NAME; |
105 | 115 | ||
106 | /** | 116 | /** |
107 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl <em>Named Element</em>}' class. | 117 | * The feature id for the '<em><b>Nodes</b></em>' containment reference list. |
108 | * <!-- begin-user-doc --> | 118 | * <!-- begin-user-doc --> |
109 | * <!-- end-user-doc --> | 119 | * <!-- end-user-doc --> |
110 | * @see org.eclipse.viatra.solver.language.model.problem.impl.NamedElementImpl | ||
111 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getNamedElement() | ||
112 | * @generated | 120 | * @generated |
121 | * @ordered | ||
113 | */ | 122 | */ |
114 | int NAMED_ELEMENT = 4; | 123 | int PROBLEM__NODES = NAMED_ELEMENT_FEATURE_COUNT + 0; |
115 | 124 | ||
116 | /** | 125 | /** |
117 | * The feature id for the '<em><b>Name</b></em>' attribute. | 126 | * The feature id for the '<em><b>Statements</b></em>' containment reference list. |
118 | * <!-- begin-user-doc --> | 127 | * <!-- begin-user-doc --> |
119 | * <!-- end-user-doc --> | 128 | * <!-- end-user-doc --> |
120 | * @generated | 129 | * @generated |
121 | * @ordered | 130 | * @ordered |
122 | */ | 131 | */ |
123 | int NAMED_ELEMENT__NAME = 0; | 132 | int PROBLEM__STATEMENTS = NAMED_ELEMENT_FEATURE_COUNT + 1; |
124 | 133 | ||
125 | /** | 134 | /** |
126 | * The number of structural features of the '<em>Named Element</em>' class. | 135 | * The number of structural features of the '<em>Problem</em>' class. |
127 | * <!-- begin-user-doc --> | 136 | * <!-- begin-user-doc --> |
128 | * <!-- end-user-doc --> | 137 | * <!-- end-user-doc --> |
129 | * @generated | 138 | * @generated |
130 | * @ordered | 139 | * @ordered |
131 | */ | 140 | */ |
132 | int NAMED_ELEMENT_FEATURE_COUNT = 1; | 141 | int PROBLEM_FEATURE_COUNT = NAMED_ELEMENT_FEATURE_COUNT + 2; |
133 | 142 | ||
134 | /** | 143 | /** |
135 | * The number of operations of the '<em>Named Element</em>' class. | 144 | * The number of operations of the '<em>Problem</em>' class. |
136 | * <!-- begin-user-doc --> | 145 | * <!-- begin-user-doc --> |
137 | * <!-- end-user-doc --> | 146 | * <!-- end-user-doc --> |
138 | * @generated | 147 | * @generated |
139 | * @ordered | 148 | * @ordered |
140 | */ | 149 | */ |
141 | int NAMED_ELEMENT_OPERATION_COUNT = 0; | 150 | int PROBLEM_OPERATION_COUNT = NAMED_ELEMENT_OPERATION_COUNT + 0; |
142 | 151 | ||
143 | /** | 152 | /** |
144 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl <em>Relation</em>}' class. | 153 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.RelationImpl <em>Relation</em>}' class. |
@@ -224,13 +233,22 @@ public interface ProblemPackage extends EPackage { | |||
224 | int CLASS_DECLARATION__REFERENCE_DECLARATIONS = RELATION_FEATURE_COUNT + 2; | 233 | int CLASS_DECLARATION__REFERENCE_DECLARATIONS = RELATION_FEATURE_COUNT + 2; |
225 | 234 | ||
226 | /** | 235 | /** |
236 | * The feature id for the '<em><b>New Node</b></em>' containment reference. | ||
237 | * <!-- begin-user-doc --> | ||
238 | * <!-- end-user-doc --> | ||
239 | * @generated | ||
240 | * @ordered | ||
241 | */ | ||
242 | int CLASS_DECLARATION__NEW_NODE = RELATION_FEATURE_COUNT + 3; | ||
243 | |||
244 | /** | ||
227 | * The number of structural features of the '<em>Class Declaration</em>' class. | 245 | * The number of structural features of the '<em>Class Declaration</em>' class. |
228 | * <!-- begin-user-doc --> | 246 | * <!-- begin-user-doc --> |
229 | * <!-- end-user-doc --> | 247 | * <!-- end-user-doc --> |
230 | * @generated | 248 | * @generated |
231 | * @ordered | 249 | * @ordered |
232 | */ | 250 | */ |
233 | int CLASS_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 3; | 251 | int CLASS_DECLARATION_FEATURE_COUNT = RELATION_FEATURE_COUNT + 4; |
234 | 252 | ||
235 | /** | 253 | /** |
236 | * The number of operations of the '<em>Class Declaration</em>' class. | 254 | * The number of operations of the '<em>Class Declaration</em>' class. |
@@ -592,22 +610,22 @@ public interface ProblemPackage extends EPackage { | |||
592 | int ATOM__RELATION = LITERAL_FEATURE_COUNT + 0; | 610 | int ATOM__RELATION = LITERAL_FEATURE_COUNT + 0; |
593 | 611 | ||
594 | /** | 612 | /** |
595 | * The feature id for the '<em><b>Arguments</b></em>' reference list. | 613 | * The feature id for the '<em><b>Transitive Closure</b></em>' attribute. |
596 | * <!-- begin-user-doc --> | 614 | * <!-- begin-user-doc --> |
597 | * <!-- end-user-doc --> | 615 | * <!-- end-user-doc --> |
598 | * @generated | 616 | * @generated |
599 | * @ordered | 617 | * @ordered |
600 | */ | 618 | */ |
601 | int ATOM__ARGUMENTS = LITERAL_FEATURE_COUNT + 1; | 619 | int ATOM__TRANSITIVE_CLOSURE = LITERAL_FEATURE_COUNT + 1; |
602 | 620 | ||
603 | /** | 621 | /** |
604 | * The feature id for the '<em><b>Transitive Closure</b></em>' attribute. | 622 | * The feature id for the '<em><b>Arguments</b></em>' containment reference list. |
605 | * <!-- begin-user-doc --> | 623 | * <!-- begin-user-doc --> |
606 | * <!-- end-user-doc --> | 624 | * <!-- end-user-doc --> |
607 | * @generated | 625 | * @generated |
608 | * @ordered | 626 | * @ordered |
609 | */ | 627 | */ |
610 | int ATOM__TRANSITIVE_CLOSURE = LITERAL_FEATURE_COUNT + 2; | 628 | int ATOM__ARGUMENTS = LITERAL_FEATURE_COUNT + 2; |
611 | 629 | ||
612 | /** | 630 | /** |
613 | * The number of structural features of the '<em>Atom</em>' class. | 631 | * The number of structural features of the '<em>Atom</em>' class. |
@@ -1034,6 +1052,80 @@ public interface ProblemPackage extends EPackage { | |||
1034 | int EXACT_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0; | 1052 | int EXACT_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0; |
1035 | 1053 | ||
1036 | /** | 1054 | /** |
1055 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl <em>Unbounded Multiplicity</em>}' class. | ||
1056 | * <!-- begin-user-doc --> | ||
1057 | * <!-- end-user-doc --> | ||
1058 | * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl | ||
1059 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity() | ||
1060 | * @generated | ||
1061 | */ | ||
1062 | int UNBOUNDED_MULTIPLICITY = 22; | ||
1063 | |||
1064 | /** | ||
1065 | * The number of structural features of the '<em>Unbounded Multiplicity</em>' class. | ||
1066 | * <!-- begin-user-doc --> | ||
1067 | * <!-- end-user-doc --> | ||
1068 | * @generated | ||
1069 | * @ordered | ||
1070 | */ | ||
1071 | int UNBOUNDED_MULTIPLICITY_FEATURE_COUNT = MULTIPLICITY_FEATURE_COUNT + 0; | ||
1072 | |||
1073 | /** | ||
1074 | * The number of operations of the '<em>Unbounded Multiplicity</em>' class. | ||
1075 | * <!-- begin-user-doc --> | ||
1076 | * <!-- end-user-doc --> | ||
1077 | * @generated | ||
1078 | * @ordered | ||
1079 | */ | ||
1080 | int UNBOUNDED_MULTIPLICITY_OPERATION_COUNT = MULTIPLICITY_OPERATION_COUNT + 0; | ||
1081 | |||
1082 | /** | ||
1083 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class. | ||
1084 | * <!-- begin-user-doc --> | ||
1085 | * <!-- end-user-doc --> | ||
1086 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl | ||
1087 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument() | ||
1088 | * @generated | ||
1089 | */ | ||
1090 | int ARGUMENT = 23; | ||
1091 | |||
1092 | /** | ||
1093 | * The feature id for the '<em><b>Variable</b></em>' reference. | ||
1094 | * <!-- begin-user-doc --> | ||
1095 | * <!-- end-user-doc --> | ||
1096 | * @generated | ||
1097 | * @ordered | ||
1098 | */ | ||
1099 | int ARGUMENT__VARIABLE = 0; | ||
1100 | |||
1101 | /** | ||
1102 | * The feature id for the '<em><b>Singleton Variable</b></em>' containment reference. | ||
1103 | * <!-- begin-user-doc --> | ||
1104 | * <!-- end-user-doc --> | ||
1105 | * @generated | ||
1106 | * @ordered | ||
1107 | */ | ||
1108 | int ARGUMENT__SINGLETON_VARIABLE = 1; | ||
1109 | |||
1110 | /** | ||
1111 | * The number of structural features of the '<em>Argument</em>' class. | ||
1112 | * <!-- begin-user-doc --> | ||
1113 | * <!-- end-user-doc --> | ||
1114 | * @generated | ||
1115 | * @ordered | ||
1116 | */ | ||
1117 | int ARGUMENT_FEATURE_COUNT = 2; | ||
1118 | |||
1119 | /** | ||
1120 | * The number of operations of the '<em>Argument</em>' class. | ||
1121 | * <!-- begin-user-doc --> | ||
1122 | * <!-- end-user-doc --> | ||
1123 | * @generated | ||
1124 | * @ordered | ||
1125 | */ | ||
1126 | int ARGUMENT_OPERATION_COUNT = 0; | ||
1127 | |||
1128 | /** | ||
1037 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. | 1129 | * The meta object id for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. |
1038 | * <!-- begin-user-doc --> | 1130 | * <!-- begin-user-doc --> |
1039 | * <!-- end-user-doc --> | 1131 | * <!-- end-user-doc --> |
@@ -1041,7 +1133,7 @@ public interface ProblemPackage extends EPackage { | |||
1041 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() | 1133 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getLogicValue() |
1042 | * @generated | 1134 | * @generated |
1043 | */ | 1135 | */ |
1044 | int LOGIC_VALUE = 22; | 1136 | int LOGIC_VALUE = 24; |
1045 | 1137 | ||
1046 | /** | 1138 | /** |
1047 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'. | 1139 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Problem <em>Problem</em>}'. |
@@ -1129,6 +1221,17 @@ public interface ProblemPackage extends EPackage { | |||
1129 | EReference getClassDeclaration_ReferenceDeclarations(); | 1221 | EReference getClassDeclaration_ReferenceDeclarations(); |
1130 | 1222 | ||
1131 | /** | 1223 | /** |
1224 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode <em>New Node</em>}'. | ||
1225 | * <!-- begin-user-doc --> | ||
1226 | * <!-- end-user-doc --> | ||
1227 | * @return the meta object for the containment reference '<em>New Node</em>'. | ||
1228 | * @see org.eclipse.viatra.solver.language.model.problem.ClassDeclaration#getNewNode() | ||
1229 | * @see #getClassDeclaration() | ||
1230 | * @generated | ||
1231 | */ | ||
1232 | EReference getClassDeclaration_NewNode(); | ||
1233 | |||
1234 | /** | ||
1132 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration <em>Reference Declaration</em>}'. | 1235 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.ReferenceDeclaration <em>Reference Declaration</em>}'. |
1133 | * <!-- begin-user-doc --> | 1236 | * <!-- begin-user-doc --> |
1134 | * <!-- end-user-doc --> | 1237 | * <!-- end-user-doc --> |
@@ -1330,10 +1433,10 @@ public interface ProblemPackage extends EPackage { | |||
1330 | EReference getAtom_Relation(); | 1433 | EReference getAtom_Relation(); |
1331 | 1434 | ||
1332 | /** | 1435 | /** |
1333 | * Returns the meta object for the reference list '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments <em>Arguments</em>}'. | 1436 | * Returns the meta object for the containment reference list '{@link org.eclipse.viatra.solver.language.model.problem.Atom#getArguments <em>Arguments</em>}'. |
1334 | * <!-- begin-user-doc --> | 1437 | * <!-- begin-user-doc --> |
1335 | * <!-- end-user-doc --> | 1438 | * <!-- end-user-doc --> |
1336 | * @return the meta object for the reference list '<em>Arguments</em>'. | 1439 | * @return the meta object for the containment reference list '<em>Arguments</em>'. |
1337 | * @see org.eclipse.viatra.solver.language.model.problem.Atom#getArguments() | 1440 | * @see org.eclipse.viatra.solver.language.model.problem.Atom#getArguments() |
1338 | * @see #getAtom() | 1441 | * @see #getAtom() |
1339 | * @generated | 1442 | * @generated |
@@ -1594,6 +1697,48 @@ public interface ProblemPackage extends EPackage { | |||
1594 | EAttribute getExactMultiplicity_ExactValue(); | 1697 | EAttribute getExactMultiplicity_ExactValue(); |
1595 | 1698 | ||
1596 | /** | 1699 | /** |
1700 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity <em>Unbounded Multiplicity</em>}'. | ||
1701 | * <!-- begin-user-doc --> | ||
1702 | * <!-- end-user-doc --> | ||
1703 | * @return the meta object for class '<em>Unbounded Multiplicity</em>'. | ||
1704 | * @see org.eclipse.viatra.solver.language.model.problem.UnboundedMultiplicity | ||
1705 | * @generated | ||
1706 | */ | ||
1707 | EClass getUnboundedMultiplicity(); | ||
1708 | |||
1709 | /** | ||
1710 | * Returns the meta object for class '{@link org.eclipse.viatra.solver.language.model.problem.Argument <em>Argument</em>}'. | ||
1711 | * <!-- begin-user-doc --> | ||
1712 | * <!-- end-user-doc --> | ||
1713 | * @return the meta object for class '<em>Argument</em>'. | ||
1714 | * @see org.eclipse.viatra.solver.language.model.problem.Argument | ||
1715 | * @generated | ||
1716 | */ | ||
1717 | EClass getArgument(); | ||
1718 | |||
1719 | /** | ||
1720 | * Returns the meta object for the reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getVariable <em>Variable</em>}'. | ||
1721 | * <!-- begin-user-doc --> | ||
1722 | * <!-- end-user-doc --> | ||
1723 | * @return the meta object for the reference '<em>Variable</em>'. | ||
1724 | * @see org.eclipse.viatra.solver.language.model.problem.Argument#getVariable() | ||
1725 | * @see #getArgument() | ||
1726 | * @generated | ||
1727 | */ | ||
1728 | EReference getArgument_Variable(); | ||
1729 | |||
1730 | /** | ||
1731 | * Returns the meta object for the containment reference '{@link org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable <em>Singleton Variable</em>}'. | ||
1732 | * <!-- begin-user-doc --> | ||
1733 | * <!-- end-user-doc --> | ||
1734 | * @return the meta object for the containment reference '<em>Singleton Variable</em>'. | ||
1735 | * @see org.eclipse.viatra.solver.language.model.problem.Argument#getSingletonVariable() | ||
1736 | * @see #getArgument() | ||
1737 | * @generated | ||
1738 | */ | ||
1739 | EReference getArgument_SingletonVariable(); | ||
1740 | |||
1741 | /** | ||
1597 | * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'. | 1742 | * Returns the meta object for enum '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}'. |
1598 | * <!-- begin-user-doc --> | 1743 | * <!-- begin-user-doc --> |
1599 | * <!-- end-user-doc --> | 1744 | * <!-- end-user-doc --> |
@@ -1697,6 +1842,14 @@ public interface ProblemPackage extends EPackage { | |||
1697 | EReference CLASS_DECLARATION__REFERENCE_DECLARATIONS = eINSTANCE.getClassDeclaration_ReferenceDeclarations(); | 1842 | EReference CLASS_DECLARATION__REFERENCE_DECLARATIONS = eINSTANCE.getClassDeclaration_ReferenceDeclarations(); |
1698 | 1843 | ||
1699 | /** | 1844 | /** |
1845 | * The meta object literal for the '<em><b>New Node</b></em>' containment reference feature. | ||
1846 | * <!-- begin-user-doc --> | ||
1847 | * <!-- end-user-doc --> | ||
1848 | * @generated | ||
1849 | */ | ||
1850 | EReference CLASS_DECLARATION__NEW_NODE = eINSTANCE.getClassDeclaration_NewNode(); | ||
1851 | |||
1852 | /** | ||
1700 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl <em>Reference Declaration</em>}' class. | 1853 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ReferenceDeclarationImpl <em>Reference Declaration</em>}' class. |
1701 | * <!-- begin-user-doc --> | 1854 | * <!-- begin-user-doc --> |
1702 | * <!-- end-user-doc --> | 1855 | * <!-- end-user-doc --> |
@@ -1865,7 +2018,7 @@ public interface ProblemPackage extends EPackage { | |||
1865 | EReference ATOM__RELATION = eINSTANCE.getAtom_Relation(); | 2018 | EReference ATOM__RELATION = eINSTANCE.getAtom_Relation(); |
1866 | 2019 | ||
1867 | /** | 2020 | /** |
1868 | * The meta object literal for the '<em><b>Arguments</b></em>' reference list feature. | 2021 | * The meta object literal for the '<em><b>Arguments</b></em>' containment reference list feature. |
1869 | * <!-- begin-user-doc --> | 2022 | * <!-- begin-user-doc --> |
1870 | * <!-- end-user-doc --> | 2023 | * <!-- end-user-doc --> |
1871 | * @generated | 2024 | * @generated |
@@ -2087,6 +2240,42 @@ public interface ProblemPackage extends EPackage { | |||
2087 | EAttribute EXACT_MULTIPLICITY__EXACT_VALUE = eINSTANCE.getExactMultiplicity_ExactValue(); | 2240 | EAttribute EXACT_MULTIPLICITY__EXACT_VALUE = eINSTANCE.getExactMultiplicity_ExactValue(); |
2088 | 2241 | ||
2089 | /** | 2242 | /** |
2243 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl <em>Unbounded Multiplicity</em>}' class. | ||
2244 | * <!-- begin-user-doc --> | ||
2245 | * <!-- end-user-doc --> | ||
2246 | * @see org.eclipse.viatra.solver.language.model.problem.impl.UnboundedMultiplicityImpl | ||
2247 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getUnboundedMultiplicity() | ||
2248 | * @generated | ||
2249 | */ | ||
2250 | EClass UNBOUNDED_MULTIPLICITY = eINSTANCE.getUnboundedMultiplicity(); | ||
2251 | |||
2252 | /** | ||
2253 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl <em>Argument</em>}' class. | ||
2254 | * <!-- begin-user-doc --> | ||
2255 | * <!-- end-user-doc --> | ||
2256 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ArgumentImpl | ||
2257 | * @see org.eclipse.viatra.solver.language.model.problem.impl.ProblemPackageImpl#getArgument() | ||
2258 | * @generated | ||
2259 | */ | ||
2260 | EClass ARGUMENT = eINSTANCE.getArgument(); | ||
2261 | |||
2262 | /** | ||
2263 | * The meta object literal for the '<em><b>Variable</b></em>' reference feature. | ||
2264 | * <!-- begin-user-doc --> | ||
2265 | * <!-- end-user-doc --> | ||
2266 | * @generated | ||
2267 | */ | ||
2268 | EReference ARGUMENT__VARIABLE = eINSTANCE.getArgument_Variable(); | ||
2269 | |||
2270 | /** | ||
2271 | * The meta object literal for the '<em><b>Singleton Variable</b></em>' containment reference feature. | ||
2272 | * <!-- begin-user-doc --> | ||
2273 | * <!-- end-user-doc --> | ||
2274 | * @generated | ||
2275 | */ | ||
2276 | EReference ARGUMENT__SINGLETON_VARIABLE = eINSTANCE.getArgument_SingletonVariable(); | ||
2277 | |||
2278 | /** | ||
2090 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. | 2279 | * The meta object literal for the '{@link org.eclipse.viatra.solver.language.model.problem.LogicValue <em>Logic Value</em>}' enum. |
2091 | * <!-- begin-user-doc --> | 2280 | * <!-- begin-user-doc --> |
2092 | * <!-- end-user-doc --> | 2281 | * <!-- end-user-doc --> |