diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-16 17:07:39 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-16 17:07:39 +0200 |
commit | 397731960acde06c0dea80a502a7869bd85208e2 (patch) | |
tree | 539a92eae15024b176efb1308b87f97595cd8b72 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java | |
parent | Alloy mapping of integer scopes (diff) | |
download | VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.tar.gz VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.tar.zst VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.zip |
Added separate symbolic objects to all primitive objects
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java')
1 files changed, 85 insertions, 1 deletions
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java index 3f2fe479..f95262f9 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialinterpretationPackage.java | |||
@@ -230,13 +230,40 @@ public interface PartialinterpretationPackage extends EPackage { | |||
230 | int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17; | 230 | int PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = 17; |
231 | 231 | ||
232 | /** | 232 | /** |
233 | * The feature id for the '<em><b>New Strings</b></em>' containment reference list. | ||
234 | * <!-- begin-user-doc --> | ||
235 | * <!-- end-user-doc --> | ||
236 | * @generated | ||
237 | * @ordered | ||
238 | */ | ||
239 | int PARTIAL_INTERPRETATION__NEW_STRINGS = 18; | ||
240 | |||
241 | /** | ||
242 | * The feature id for the '<em><b>New Reals</b></em>' containment reference list. | ||
243 | * <!-- begin-user-doc --> | ||
244 | * <!-- end-user-doc --> | ||
245 | * @generated | ||
246 | * @ordered | ||
247 | */ | ||
248 | int PARTIAL_INTERPRETATION__NEW_REALS = 19; | ||
249 | |||
250 | /** | ||
251 | * The feature id for the '<em><b>New Integers</b></em>' containment reference list. | ||
252 | * <!-- begin-user-doc --> | ||
253 | * <!-- end-user-doc --> | ||
254 | * @generated | ||
255 | * @ordered | ||
256 | */ | ||
257 | int PARTIAL_INTERPRETATION__NEW_INTEGERS = 20; | ||
258 | |||
259 | /** | ||
233 | * The number of structural features of the '<em>Partial Interpretation</em>' class. | 260 | * The number of structural features of the '<em>Partial Interpretation</em>' class. |
234 | * <!-- begin-user-doc --> | 261 | * <!-- begin-user-doc --> |
235 | * <!-- end-user-doc --> | 262 | * <!-- end-user-doc --> |
236 | * @generated | 263 | * @generated |
237 | * @ordered | 264 | * @ordered |
238 | */ | 265 | */ |
239 | int PARTIAL_INTERPRETATION_FEATURE_COUNT = 18; | 266 | int PARTIAL_INTERPRETATION_FEATURE_COUNT = 21; |
240 | 267 | ||
241 | /** | 268 | /** |
242 | * The number of operations of the '<em>Partial Interpretation</em>' class. | 269 | * The number of operations of the '<em>Partial Interpretation</em>' class. |
@@ -1147,6 +1174,39 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1147 | EAttribute getPartialInterpretation_MaxNewStrings(); | 1174 | EAttribute getPartialInterpretation_MaxNewStrings(); |
1148 | 1175 | ||
1149 | /** | 1176 | /** |
1177 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}'. | ||
1178 | * <!-- begin-user-doc --> | ||
1179 | * <!-- end-user-doc --> | ||
1180 | * @return the meta object for the containment reference list '<em>New Strings</em>'. | ||
1181 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings() | ||
1182 | * @see #getPartialInterpretation() | ||
1183 | * @generated | ||
1184 | */ | ||
1185 | EReference getPartialInterpretation_NewStrings(); | ||
1186 | |||
1187 | /** | ||
1188 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}'. | ||
1189 | * <!-- begin-user-doc --> | ||
1190 | * <!-- end-user-doc --> | ||
1191 | * @return the meta object for the containment reference list '<em>New Reals</em>'. | ||
1192 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals() | ||
1193 | * @see #getPartialInterpretation() | ||
1194 | * @generated | ||
1195 | */ | ||
1196 | EReference getPartialInterpretation_NewReals(); | ||
1197 | |||
1198 | /** | ||
1199 | * Returns the meta object for the containment reference list '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}'. | ||
1200 | * <!-- begin-user-doc --> | ||
1201 | * <!-- end-user-doc --> | ||
1202 | * @return the meta object for the containment reference list '<em>New Integers</em>'. | ||
1203 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers() | ||
1204 | * @see #getPartialInterpretation() | ||
1205 | * @generated | ||
1206 | */ | ||
1207 | EReference getPartialInterpretation_NewIntegers(); | ||
1208 | |||
1209 | /** | ||
1150 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. | 1210 | * Returns the meta object for class '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialConstantInterpretation <em>Partial Constant Interpretation</em>}'. |
1151 | * <!-- begin-user-doc --> | 1211 | * <!-- begin-user-doc --> |
1152 | * <!-- end-user-doc --> | 1212 | * <!-- end-user-doc --> |
@@ -1673,6 +1733,30 @@ public interface PartialinterpretationPackage extends EPackage { | |||
1673 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings(); | 1733 | EAttribute PARTIAL_INTERPRETATION__MAX_NEW_STRINGS = eINSTANCE.getPartialInterpretation_MaxNewStrings(); |
1674 | 1734 | ||
1675 | /** | 1735 | /** |
1736 | * The meta object literal for the '<em><b>New Strings</b></em>' containment reference list feature. | ||
1737 | * <!-- begin-user-doc --> | ||
1738 | * <!-- end-user-doc --> | ||
1739 | * @generated | ||
1740 | */ | ||
1741 | EReference PARTIAL_INTERPRETATION__NEW_STRINGS = eINSTANCE.getPartialInterpretation_NewStrings(); | ||
1742 | |||
1743 | /** | ||
1744 | * The meta object literal for the '<em><b>New Reals</b></em>' containment reference list feature. | ||
1745 | * <!-- begin-user-doc --> | ||
1746 | * <!-- end-user-doc --> | ||
1747 | * @generated | ||
1748 | */ | ||
1749 | EReference PARTIAL_INTERPRETATION__NEW_REALS = eINSTANCE.getPartialInterpretation_NewReals(); | ||
1750 | |||
1751 | /** | ||
1752 | * The meta object literal for the '<em><b>New Integers</b></em>' containment reference list feature. | ||
1753 | * <!-- begin-user-doc --> | ||
1754 | * <!-- end-user-doc --> | ||
1755 | * @generated | ||
1756 | */ | ||
1757 | EReference PARTIAL_INTERPRETATION__NEW_INTEGERS = eINSTANCE.getPartialInterpretation_NewIntegers(); | ||
1758 | |||
1759 | /** | ||
1676 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. | 1760 | * The meta object literal for the '{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialConstantInterpretationImpl <em>Partial Constant Interpretation</em>}' class. |
1677 | * <!-- begin-user-doc --> | 1761 | * <!-- begin-user-doc --> |
1678 | * <!-- end-user-doc --> | 1762 | * <!-- end-user-doc --> |