diff options
author | 2017-08-16 17:07:39 +0200 | |
---|---|---|
committer | 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 | |
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')
4 files changed, 277 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/PartialInterpretation.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java index 6c46cdbe..d9725855 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/PartialInterpretation.java | |||
@@ -37,6 +37,9 @@ import org.eclipse.emf.ecore.EObject; | |||
37 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}</li> | 37 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewIntegers <em>Max New Integers</em>}</li> |
38 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}</li> | 38 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewReals <em>Max New Reals</em>}</li> |
39 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}</li> | 39 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getMaxNewStrings <em>Max New Strings</em>}</li> |
40 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewStrings <em>New Strings</em>}</li> | ||
41 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewReals <em>New Reals</em>}</li> | ||
42 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialInterpretation#getNewIntegers <em>New Integers</em>}</li> | ||
40 | * </ul> | 43 | * </ul> |
41 | * | 44 | * |
42 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() | 45 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation() |
@@ -404,4 +407,52 @@ public interface PartialInterpretation extends EObject { | |||
404 | */ | 407 | */ |
405 | void setMaxNewStrings(int value); | 408 | void setMaxNewStrings(int value); |
406 | 409 | ||
410 | /** | ||
411 | * Returns the value of the '<em><b>New Strings</b></em>' containment reference list. | ||
412 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.StringElement}. | ||
413 | * <!-- begin-user-doc --> | ||
414 | * <p> | ||
415 | * If the meaning of the '<em>New Strings</em>' containment reference list isn't clear, | ||
416 | * there really should be more of a description here... | ||
417 | * </p> | ||
418 | * <!-- end-user-doc --> | ||
419 | * @return the value of the '<em>New Strings</em>' containment reference list. | ||
420 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewStrings() | ||
421 | * @model containment="true" | ||
422 | * @generated | ||
423 | */ | ||
424 | EList<StringElement> getNewStrings(); | ||
425 | |||
426 | /** | ||
427 | * Returns the value of the '<em><b>New Reals</b></em>' containment reference list. | ||
428 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.RealElement}. | ||
429 | * <!-- begin-user-doc --> | ||
430 | * <p> | ||
431 | * If the meaning of the '<em>New Reals</em>' containment reference list isn't clear, | ||
432 | * there really should be more of a description here... | ||
433 | * </p> | ||
434 | * <!-- end-user-doc --> | ||
435 | * @return the value of the '<em>New Reals</em>' containment reference list. | ||
436 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewReals() | ||
437 | * @model containment="true" | ||
438 | * @generated | ||
439 | */ | ||
440 | EList<RealElement> getNewReals(); | ||
441 | |||
442 | /** | ||
443 | * Returns the value of the '<em><b>New Integers</b></em>' containment reference list. | ||
444 | * The list contents are of type {@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.IntegerElement}. | ||
445 | * <!-- begin-user-doc --> | ||
446 | * <p> | ||
447 | * If the meaning of the '<em>New Integers</em>' containment reference list isn't clear, | ||
448 | * there really should be more of a description here... | ||
449 | * </p> | ||
450 | * <!-- end-user-doc --> | ||
451 | * @return the value of the '<em>New Integers</em>' containment reference list. | ||
452 | * @see hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.PartialinterpretationPackage#getPartialInterpretation_NewIntegers() | ||
453 | * @model containment="true" | ||
454 | * @generated | ||
455 | */ | ||
456 | EList<IntegerElement> getNewIntegers(); | ||
457 | |||
407 | } // PartialInterpretation | 458 | } // PartialInterpretation |
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 --> |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java index 4b7061ce..dd744606 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialInterpretationImpl.java | |||
@@ -59,6 +59,9 @@ import org.eclipse.emf.ecore.util.InternalEList; | |||
59 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li> | 59 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewIntegers <em>Max New Integers</em>}</li> |
60 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li> | 60 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewReals <em>Max New Reals</em>}</li> |
61 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li> | 61 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getMaxNewStrings <em>Max New Strings</em>}</li> |
62 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewStrings <em>New Strings</em>}</li> | ||
63 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewReals <em>New Reals</em>}</li> | ||
64 | * <li>{@link hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage.partialinterpretation.impl.PartialInterpretationImpl#getNewIntegers <em>New Integers</em>}</li> | ||
62 | * </ul> | 65 | * </ul> |
63 | * | 66 | * |
64 | * @generated | 67 | * @generated |
@@ -295,6 +298,36 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
295 | protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; | 298 | protected int maxNewStrings = MAX_NEW_STRINGS_EDEFAULT; |
296 | 299 | ||
297 | /** | 300 | /** |
301 | * The cached value of the '{@link #getNewStrings() <em>New Strings</em>}' containment reference list. | ||
302 | * <!-- begin-user-doc --> | ||
303 | * <!-- end-user-doc --> | ||
304 | * @see #getNewStrings() | ||
305 | * @generated | ||
306 | * @ordered | ||
307 | */ | ||
308 | protected EList<StringElement> newStrings; | ||
309 | |||
310 | /** | ||
311 | * The cached value of the '{@link #getNewReals() <em>New Reals</em>}' containment reference list. | ||
312 | * <!-- begin-user-doc --> | ||
313 | * <!-- end-user-doc --> | ||
314 | * @see #getNewReals() | ||
315 | * @generated | ||
316 | * @ordered | ||
317 | */ | ||
318 | protected EList<RealElement> newReals; | ||
319 | |||
320 | /** | ||
321 | * The cached value of the '{@link #getNewIntegers() <em>New Integers</em>}' containment reference list. | ||
322 | * <!-- begin-user-doc --> | ||
323 | * <!-- end-user-doc --> | ||
324 | * @see #getNewIntegers() | ||
325 | * @generated | ||
326 | * @ordered | ||
327 | */ | ||
328 | protected EList<IntegerElement> newIntegers; | ||
329 | |||
330 | /** | ||
298 | * <!-- begin-user-doc --> | 331 | * <!-- begin-user-doc --> |
299 | * <!-- end-user-doc --> | 332 | * <!-- end-user-doc --> |
300 | * @generated | 333 | * @generated |
@@ -636,6 +669,42 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
636 | * <!-- end-user-doc --> | 669 | * <!-- end-user-doc --> |
637 | * @generated | 670 | * @generated |
638 | */ | 671 | */ |
672 | public EList<StringElement> getNewStrings() { | ||
673 | if (newStrings == null) { | ||
674 | newStrings = new EObjectContainmentEList<StringElement>(StringElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS); | ||
675 | } | ||
676 | return newStrings; | ||
677 | } | ||
678 | |||
679 | /** | ||
680 | * <!-- begin-user-doc --> | ||
681 | * <!-- end-user-doc --> | ||
682 | * @generated | ||
683 | */ | ||
684 | public EList<RealElement> getNewReals() { | ||
685 | if (newReals == null) { | ||
686 | newReals = new EObjectContainmentEList<RealElement>(RealElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS); | ||
687 | } | ||
688 | return newReals; | ||
689 | } | ||
690 | |||
691 | /** | ||
692 | * <!-- begin-user-doc --> | ||
693 | * <!-- end-user-doc --> | ||
694 | * @generated | ||
695 | */ | ||
696 | public EList<IntegerElement> getNewIntegers() { | ||
697 | if (newIntegers == null) { | ||
698 | newIntegers = new EObjectContainmentEList<IntegerElement>(IntegerElement.class, this, PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS); | ||
699 | } | ||
700 | return newIntegers; | ||
701 | } | ||
702 | |||
703 | /** | ||
704 | * <!-- begin-user-doc --> | ||
705 | * <!-- end-user-doc --> | ||
706 | * @generated | ||
707 | */ | ||
639 | @Override | 708 | @Override |
640 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { | 709 | public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) { |
641 | switch (featureID) { | 710 | switch (featureID) { |
@@ -663,6 +732,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
663 | return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs); | 732 | return ((InternalEList<?>)getIntegerelements()).basicRemove(otherEnd, msgs); |
664 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: | 733 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__BOOLEANELEMENTS: |
665 | return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs); | 734 | return ((InternalEList<?>)getBooleanelements()).basicRemove(otherEnd, msgs); |
735 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
736 | return ((InternalEList<?>)getNewStrings()).basicRemove(otherEnd, msgs); | ||
737 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
738 | return ((InternalEList<?>)getNewReals()).basicRemove(otherEnd, msgs); | ||
739 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
740 | return ((InternalEList<?>)getNewIntegers()).basicRemove(otherEnd, msgs); | ||
666 | } | 741 | } |
667 | return super.eInverseRemove(otherEnd, featureID, msgs); | 742 | return super.eInverseRemove(otherEnd, featureID, msgs); |
668 | } | 743 | } |
@@ -712,6 +787,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
712 | return getMaxNewReals(); | 787 | return getMaxNewReals(); |
713 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 788 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
714 | return getMaxNewStrings(); | 789 | return getMaxNewStrings(); |
790 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
791 | return getNewStrings(); | ||
792 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
793 | return getNewReals(); | ||
794 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
795 | return getNewIntegers(); | ||
715 | } | 796 | } |
716 | return super.eGet(featureID, resolve, coreType); | 797 | return super.eGet(featureID, resolve, coreType); |
717 | } | 798 | } |
@@ -790,6 +871,18 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
790 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 871 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
791 | setMaxNewStrings((Integer)newValue); | 872 | setMaxNewStrings((Integer)newValue); |
792 | return; | 873 | return; |
874 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
875 | getNewStrings().clear(); | ||
876 | getNewStrings().addAll((Collection<? extends StringElement>)newValue); | ||
877 | return; | ||
878 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
879 | getNewReals().clear(); | ||
880 | getNewReals().addAll((Collection<? extends RealElement>)newValue); | ||
881 | return; | ||
882 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
883 | getNewIntegers().clear(); | ||
884 | getNewIntegers().addAll((Collection<? extends IntegerElement>)newValue); | ||
885 | return; | ||
793 | } | 886 | } |
794 | super.eSet(featureID, newValue); | 887 | super.eSet(featureID, newValue); |
795 | } | 888 | } |
@@ -856,6 +949,15 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
856 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 949 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
857 | setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); | 950 | setMaxNewStrings(MAX_NEW_STRINGS_EDEFAULT); |
858 | return; | 951 | return; |
952 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
953 | getNewStrings().clear(); | ||
954 | return; | ||
955 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
956 | getNewReals().clear(); | ||
957 | return; | ||
958 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
959 | getNewIntegers().clear(); | ||
960 | return; | ||
859 | } | 961 | } |
860 | super.eUnset(featureID); | 962 | super.eUnset(featureID); |
861 | } | 963 | } |
@@ -904,6 +1006,12 @@ public class PartialInterpretationImpl extends MinimalEObjectImpl.Container impl | |||
904 | return maxNewReals != MAX_NEW_REALS_EDEFAULT; | 1006 | return maxNewReals != MAX_NEW_REALS_EDEFAULT; |
905 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: | 1007 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__MAX_NEW_STRINGS: |
906 | return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; | 1008 | return maxNewStrings != MAX_NEW_STRINGS_EDEFAULT; |
1009 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_STRINGS: | ||
1010 | return newStrings != null && !newStrings.isEmpty(); | ||
1011 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_REALS: | ||
1012 | return newReals != null && !newReals.isEmpty(); | ||
1013 | case PartialinterpretationPackage.PARTIAL_INTERPRETATION__NEW_INTEGERS: | ||
1014 | return newIntegers != null && !newIntegers.isEmpty(); | ||
907 | } | 1015 | } |
908 | return super.eIsSet(featureID); | 1016 | return super.eIsSet(featureID); |
909 | } | 1017 | } |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java index 9493cc9a..6e0d4051 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/ecore-gen/hu/bme/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage/partialinterpretation/impl/PartialinterpretationPackageImpl.java | |||
@@ -384,6 +384,33 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
384 | * <!-- end-user-doc --> | 384 | * <!-- end-user-doc --> |
385 | * @generated | 385 | * @generated |
386 | */ | 386 | */ |
387 | public EReference getPartialInterpretation_NewStrings() { | ||
388 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(18); | ||
389 | } | ||
390 | |||
391 | /** | ||
392 | * <!-- begin-user-doc --> | ||
393 | * <!-- end-user-doc --> | ||
394 | * @generated | ||
395 | */ | ||
396 | public EReference getPartialInterpretation_NewReals() { | ||
397 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(19); | ||
398 | } | ||
399 | |||
400 | /** | ||
401 | * <!-- begin-user-doc --> | ||
402 | * <!-- end-user-doc --> | ||
403 | * @generated | ||
404 | */ | ||
405 | public EReference getPartialInterpretation_NewIntegers() { | ||
406 | return (EReference)partialInterpretationEClass.getEStructuralFeatures().get(20); | ||
407 | } | ||
408 | |||
409 | /** | ||
410 | * <!-- begin-user-doc --> | ||
411 | * <!-- end-user-doc --> | ||
412 | * @generated | ||
413 | */ | ||
387 | public EClass getPartialConstantInterpretation() { | 414 | public EClass getPartialConstantInterpretation() { |
388 | return partialConstantInterpretationEClass; | 415 | return partialConstantInterpretationEClass; |
389 | } | 416 | } |
@@ -723,6 +750,9 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
723 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); | 750 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_INTEGERS); |
724 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); | 751 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_REALS); |
725 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); | 752 | createEAttribute(partialInterpretationEClass, PARTIAL_INTERPRETATION__MAX_NEW_STRINGS); |
753 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_STRINGS); | ||
754 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_REALS); | ||
755 | createEReference(partialInterpretationEClass, PARTIAL_INTERPRETATION__NEW_INTEGERS); | ||
726 | 756 | ||
727 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); | 757 | partialConstantInterpretationEClass = createEClass(PARTIAL_CONSTANT_INTERPRETATION); |
728 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); | 758 | createEReference(partialConstantInterpretationEClass, PARTIAL_CONSTANT_INTERPRETATION__INTERPRETATION_OF); |
@@ -833,6 +863,9 @@ public class PartialinterpretationPackageImpl extends EPackageImpl implements Pa | |||
833 | initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 863 | initEAttribute(getPartialInterpretation_MaxNewIntegers(), ecorePackage.getEInt(), "maxNewIntegers", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
834 | initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 864 | initEAttribute(getPartialInterpretation_MaxNewReals(), ecorePackage.getEInt(), "maxNewReals", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
835 | initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 865 | initEAttribute(getPartialInterpretation_MaxNewStrings(), ecorePackage.getEInt(), "maxNewStrings", null, 1, 1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |
866 | initEReference(getPartialInterpretation_NewStrings(), this.getStringElement(), null, "newStrings", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
867 | initEReference(getPartialInterpretation_NewReals(), this.getRealElement(), null, "newReals", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
868 | initEReference(getPartialInterpretation_NewIntegers(), this.getIntegerElement(), null, "newIntegers", null, 0, -1, PartialInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | ||
836 | 869 | ||
837 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); | 870 | initEClass(partialConstantInterpretationEClass, PartialConstantInterpretation.class, "PartialConstantInterpretation", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS); |
838 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); | 871 | initEReference(getPartialConstantInterpretation_InterpretationOf(), theLogiclanguagePackage.getConstantDeclaration(), null, "interpretationOf", null, 1, 1, PartialConstantInterpretation.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED); |