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 | |
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')
6 files changed, 641 insertions, 41 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); |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird index 8fc5b74e..3c02a085 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird | |||
@@ -637,17 +637,17 @@ | |||
637 | </edges> | 637 | </edges> |
638 | <edges xmi:type="notation:Edge" xmi:id="_H4oCgLXCEeamG-Ij7YnW7w" type="4001" element="_H4YK4LXCEeamG-Ij7YnW7w" source="_ggJ5QLW_EeamG-Ij7YnW7w" target="_5LGwELW_EeamG-Ij7YnW7w"> | 638 | <edges xmi:type="notation:Edge" xmi:id="_H4oCgLXCEeamG-Ij7YnW7w" type="4001" element="_H4YK4LXCEeamG-Ij7YnW7w" source="_ggJ5QLW_EeamG-Ij7YnW7w" target="_5LGwELW_EeamG-Ij7YnW7w"> |
639 | <children xmi:type="notation:Node" xmi:id="_H4oChLXCEeamG-Ij7YnW7w" type="6001"> | 639 | <children xmi:type="notation:Node" xmi:id="_H4oChLXCEeamG-Ij7YnW7w" type="6001"> |
640 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H4oChbXCEeamG-Ij7YnW7w" x="79" y="35"/> | 640 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H4oChbXCEeamG-Ij7YnW7w" x="71" y="11"/> |
641 | </children> | 641 | </children> |
642 | <children xmi:type="notation:Node" xmi:id="_H4oChrXCEeamG-Ij7YnW7w" type="6002"> | 642 | <children xmi:type="notation:Node" xmi:id="_H4oChrXCEeamG-Ij7YnW7w" type="6002"> |
643 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H4oCh7XCEeamG-Ij7YnW7w" x="215" y="212"/> | 643 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H4oCh7XCEeamG-Ij7YnW7w" x="349" y="142"/> |
644 | </children> | 644 | </children> |
645 | <children xmi:type="notation:Node" xmi:id="_H4opkLXCEeamG-Ij7YnW7w" type="6003"> | 645 | <children xmi:type="notation:Node" xmi:id="_H4opkLXCEeamG-Ij7YnW7w" type="6003"> |
646 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H4opkbXCEeamG-Ij7YnW7w" x="49" y="10"/> | 646 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_H4opkbXCEeamG-Ij7YnW7w" x="60" y="10"/> |
647 | </children> | 647 | </children> |
648 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_H4oCgbXCEeamG-Ij7YnW7w" routing="Rectilinear"/> | 648 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_H4oCgbXCEeamG-Ij7YnW7w" routing="Rectilinear"/> |
649 | <styles xmi:type="notation:FontStyle" xmi:id="_H4oCgrXCEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | 649 | <styles xmi:type="notation:FontStyle" xmi:id="_H4oCgrXCEeamG-Ij7YnW7w" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> |
650 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_H4oCg7XCEeamG-Ij7YnW7w" points="[-75, 20, 312, 316]$[-370, 20, 17, 316]$[-370, -279, 17, 17]"/> | 650 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_H4oCg7XCEeamG-Ij7YnW7w" points="[56, 0, 443, 296]$[56, -50, 443, 246]$[-335, -50, 52, 246]$[-335, -279, 52, 17]"/> |
651 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H4opkrXCEeamG-Ij7YnW7w" id="(0.28735632183908044,0.0)"/> | 651 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H4opkrXCEeamG-Ij7YnW7w" id="(0.28735632183908044,0.0)"/> |
652 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H4opk7XCEeamG-Ij7YnW7w" id="(0.38135593220338976,0.6964285714285714)"/> | 652 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_H4opk7XCEeamG-Ij7YnW7w" id="(0.38135593220338976,0.6964285714285714)"/> |
653 | </edges> | 653 | </edges> |
@@ -907,15 +907,63 @@ | |||
907 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_yjA6hoFOEeeA1-_2v4gJKA" id="(0.0,0.0)"/> | 907 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_yjA6hoFOEeeA1-_2v4gJKA" id="(0.0,0.0)"/> |
908 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_yjA6h4FOEeeA1-_2v4gJKA" id="(0.3389830508474576,0.0)"/> | 908 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_yjA6h4FOEeeA1-_2v4gJKA" id="(0.3389830508474576,0.0)"/> |
909 | </edges> | 909 | </edges> |
910 | <edges xmi:type="notation:Edge" xmi:id="_3ON7kIHhEeeA1-_2v4gJKA" type="4001" element="_3NuzYIHhEeeA1-_2v4gJKA" source="_ggJ5QLW_EeamG-Ij7YnW7w" target="_STdCwIFOEeeA1-_2v4gJKA"> | ||
911 | <children xmi:type="notation:Node" xmi:id="_3OOioIHhEeeA1-_2v4gJKA" type="6001"> | ||
912 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3OOioYHhEeeA1-_2v4gJKA" y="-10"/> | ||
913 | </children> | ||
914 | <children xmi:type="notation:Node" xmi:id="_3OOiooHhEeeA1-_2v4gJKA" type="6002"> | ||
915 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3OOio4HhEeeA1-_2v4gJKA" y="10"/> | ||
916 | </children> | ||
917 | <children xmi:type="notation:Node" xmi:id="_3OOipIHhEeeA1-_2v4gJKA" type="6003"> | ||
918 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_3OOipYHhEeeA1-_2v4gJKA" y="10"/> | ||
919 | </children> | ||
920 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_3ON7kYHhEeeA1-_2v4gJKA" routing="Rectilinear"/> | ||
921 | <styles xmi:type="notation:FontStyle" xmi:id="_3ON7koHhEeeA1-_2v4gJKA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
922 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_3ON7k4HhEeeA1-_2v4gJKA" points="[0, 0, 192, -28]$[-192, 28, 0, 0]"/> | ||
923 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3OOipoHhEeeA1-_2v4gJKA" id="(0.6704980842911877,1.0)"/> | ||
924 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_3OOip4HhEeeA1-_2v4gJKA" id="(1.0,0.5)"/> | ||
925 | </edges> | ||
926 | <edges xmi:type="notation:Edge" xmi:id="_5hT_kIHhEeeA1-_2v4gJKA" type="4001" element="_5g5v4IHhEeeA1-_2v4gJKA" source="_ggJ5QLW_EeamG-Ij7YnW7w" target="_RWY9kIFOEeeA1-_2v4gJKA"> | ||
927 | <children xmi:type="notation:Node" xmi:id="_5hT_lIHhEeeA1-_2v4gJKA" type="6001"> | ||
928 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5hT_lYHhEeeA1-_2v4gJKA" y="-10"/> | ||
929 | </children> | ||
930 | <children xmi:type="notation:Node" xmi:id="_5hT_loHhEeeA1-_2v4gJKA" type="6002"> | ||
931 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5hT_l4HhEeeA1-_2v4gJKA" y="10"/> | ||
932 | </children> | ||
933 | <children xmi:type="notation:Node" xmi:id="_5hT_mIHhEeeA1-_2v4gJKA" type="6003"> | ||
934 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5hT_mYHhEeeA1-_2v4gJKA" y="10"/> | ||
935 | </children> | ||
936 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_5hT_kYHhEeeA1-_2v4gJKA" routing="Rectilinear"/> | ||
937 | <styles xmi:type="notation:FontStyle" xmi:id="_5hT_koHhEeeA1-_2v4gJKA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
938 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5hT_k4HhEeeA1-_2v4gJKA" points="[0, 0, 206, -80]$[-206, 80, 0, 0]"/> | ||
939 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5hT_moHhEeeA1-_2v4gJKA" id="(0.0,0.09009009009009009)"/> | ||
940 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5hUmoIHhEeeA1-_2v4gJKA" id="(0.5,0.0)"/> | ||
941 | </edges> | ||
942 | <edges xmi:type="notation:Edge" xmi:id="_65rgsIHhEeeA1-_2v4gJKA" type="4001" element="_65RRAIHhEeeA1-_2v4gJKA" source="_ggJ5QLW_EeamG-Ij7YnW7w" target="_QCj-MIFOEeeA1-_2v4gJKA"> | ||
943 | <children xmi:type="notation:Node" xmi:id="_65rgtIHhEeeA1-_2v4gJKA" type="6001"> | ||
944 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_65rgtYHhEeeA1-_2v4gJKA" y="-10"/> | ||
945 | </children> | ||
946 | <children xmi:type="notation:Node" xmi:id="_65sHwIHhEeeA1-_2v4gJKA" type="6002"> | ||
947 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_65sHwYHhEeeA1-_2v4gJKA" y="10"/> | ||
948 | </children> | ||
949 | <children xmi:type="notation:Node" xmi:id="_65sHwoHhEeeA1-_2v4gJKA" type="6003"> | ||
950 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_65sHw4HhEeeA1-_2v4gJKA" y="10"/> | ||
951 | </children> | ||
952 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_65rgsYHhEeeA1-_2v4gJKA" routing="Rectilinear"/> | ||
953 | <styles xmi:type="notation:FontStyle" xmi:id="_65rgsoHhEeeA1-_2v4gJKA" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
954 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_65rgs4HhEeeA1-_2v4gJKA" points="[0, 0, 277, -95]$[-277, 95, 0, 0]"/> | ||
955 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_65sHxIHhEeeA1-_2v4gJKA" id="(0.0,0.13513513513513514)"/> | ||
956 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_65sHxYHhEeeA1-_2v4gJKA" id="(1.0,0.20408163265306123)"/> | ||
957 | </edges> | ||
910 | </data> | 958 | </data> |
911 | </ownedAnnotationEntries> | 959 | </ownedAnnotationEntries> |
912 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_gf_hMLW_EeamG-Ij7YnW7w" name="PartialInterpretation" tooltipText="" outgoingEdges="_v4JW8LW_EeamG-Ij7YnW7w _2Grq4LXBEeamG-Ij7YnW7w _23ljYLXBEeamG-Ij7YnW7w _3UBAsLXBEeamG-Ij7YnW7w _H4YK4LXCEeamG-Ij7YnW7w _2Sy-0LXCEeamG-Ij7YnW7w _QrIkAL5UEea19paI6HZj1w _1xQNkIFNEeeA1-_2v4gJKA _rYAsYIFOEeeA1-_2v4gJKA _t4S30IFOEeeA1-_2v4gJKA _vbyD0IFOEeeA1-_2v4gJKA _w3zV4IFOEeeA1-_2v4gJKA _yiWMIIFOEeeA1-_2v4gJKA" width="12" height="10"> | 960 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_gf_hMLW_EeamG-Ij7YnW7w" name="PartialInterpretation" tooltipText="" outgoingEdges="_v4JW8LW_EeamG-Ij7YnW7w _2Grq4LXBEeamG-Ij7YnW7w _23ljYLXBEeamG-Ij7YnW7w _3UBAsLXBEeamG-Ij7YnW7w _H4YK4LXCEeamG-Ij7YnW7w _2Sy-0LXCEeamG-Ij7YnW7w _QrIkAL5UEea19paI6HZj1w _1xQNkIFNEeeA1-_2v4gJKA _rYAsYIFOEeeA1-_2v4gJKA _t4S30IFOEeeA1-_2v4gJKA _vbyD0IFOEeeA1-_2v4gJKA _w3zV4IFOEeeA1-_2v4gJKA _yiWMIIFOEeeA1-_2v4gJKA _3NuzYIHhEeeA1-_2v4gJKA _5g5v4IHhEeeA1-_2v4gJKA _65RRAIHhEeeA1-_2v4gJKA" width="12" height="10"> |
913 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> | 961 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> |
914 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> | 962 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> |
915 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 963 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
916 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | 964 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> |
917 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | 965 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> |
918 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_EQaJUIFPEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 966 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_4R_swIHhEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
919 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 967 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
920 | </ownedStyle> | 968 | </ownedStyle> |
921 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 969 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
@@ -1654,7 +1702,7 @@ | |||
1654 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 1702 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
1655 | </ownedElements> | 1703 | </ownedElements> |
1656 | </ownedDiagramElements> | 1704 | </ownedDiagramElements> |
1657 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_QCN_8IFOEeeA1-_2v4gJKA" name="IntegerElement" tooltipText="" outgoingEdges="_pXNSQIFOEeeA1-_2v4gJKA" incomingEdges="_w3zV4IFOEeeA1-_2v4gJKA" width="12" height="10"> | 1705 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_QCN_8IFOEeeA1-_2v4gJKA" name="IntegerElement" tooltipText="" outgoingEdges="_pXNSQIFOEeeA1-_2v4gJKA" incomingEdges="_w3zV4IFOEeeA1-_2v4gJKA _65RRAIHhEeeA1-_2v4gJKA" width="12" height="10"> |
1658 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//IntegerElement"/> | 1706 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//IntegerElement"/> |
1659 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//IntegerElement"/> | 1707 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//IntegerElement"/> |
1660 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_eOeqUIFOEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 1708 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_eOeqUIFOEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
@@ -1670,7 +1718,7 @@ | |||
1670 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 1718 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
1671 | </ownedElements> | 1719 | </ownedElements> |
1672 | </ownedDiagramElements> | 1720 | </ownedDiagramElements> |
1673 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_RWJtAIFOEeeA1-_2v4gJKA" name="RealElement" tooltipText="" outgoingEdges="_p3LLwIFOEeeA1-_2v4gJKA" incomingEdges="_vbyD0IFOEeeA1-_2v4gJKA" width="12" height="10"> | 1721 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_RWJtAIFOEeeA1-_2v4gJKA" name="RealElement" tooltipText="" outgoingEdges="_p3LLwIFOEeeA1-_2v4gJKA" incomingEdges="_vbyD0IFOEeeA1-_2v4gJKA _5g5v4IHhEeeA1-_2v4gJKA" width="12" height="10"> |
1674 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RealElement"/> | 1722 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RealElement"/> |
1675 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RealElement"/> | 1723 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//RealElement"/> |
1676 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_kbe_IIFOEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 1724 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_kbe_IIFOEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
@@ -1686,7 +1734,7 @@ | |||
1686 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 1734 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
1687 | </ownedElements> | 1735 | </ownedElements> |
1688 | </ownedDiagramElements> | 1736 | </ownedDiagramElements> |
1689 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_STGdcIFOEeeA1-_2v4gJKA" name="StringElement" tooltipText="" outgoingEdges="_qSG0QIFOEeeA1-_2v4gJKA" incomingEdges="_rYAsYIFOEeeA1-_2v4gJKA _t4S30IFOEeeA1-_2v4gJKA" width="12" height="10"> | 1737 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_STGdcIFOEeeA1-_2v4gJKA" name="StringElement" tooltipText="" outgoingEdges="_qSG0QIFOEeeA1-_2v4gJKA" incomingEdges="_rYAsYIFOEeeA1-_2v4gJKA _t4S30IFOEeeA1-_2v4gJKA _3NuzYIHhEeeA1-_2v4gJKA" width="12" height="10"> |
1690 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//StringElement"/> | 1738 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//StringElement"/> |
1691 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//StringElement"/> | 1739 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//StringElement"/> |
1692 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_ndwdUIFOEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 1740 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_ndwdUIFOEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
@@ -1815,6 +1863,45 @@ | |||
1815 | </ownedStyle> | 1863 | </ownedStyle> |
1816 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 1864 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
1817 | </ownedDiagramElements> | 1865 | </ownedDiagramElements> |
1866 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_3NuzYIHhEeeA1-_2v4gJKA" name="[0..*] newStrings" sourceNode="_gf_hMLW_EeamG-Ij7YnW7w" targetNode="_STGdcIFOEeeA1-_2v4gJKA"> | ||
1867 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newStrings"/> | ||
1868 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newStrings"/> | ||
1869 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_3NvacIHhEeeA1-_2v4gJKA" description="_5K7J4LW_EeamG-Ij7YnW7w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
1870 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_3NvacYHhEeeA1-_2v4gJKA" showIcon="false"> | ||
1871 | <customFeatures>labelSize</customFeatures> | ||
1872 | </centerLabelStyle> | ||
1873 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_3NvacoHhEeeA1-_2v4gJKA" showIcon="false" labelColor="39,76,114"> | ||
1874 | <customFeatures>labelSize</customFeatures> | ||
1875 | </endLabelStyle> | ||
1876 | </ownedStyle> | ||
1877 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
1878 | </ownedDiagramElements> | ||
1879 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_5g5v4IHhEeeA1-_2v4gJKA" name="[0..*] newReals" sourceNode="_gf_hMLW_EeamG-Ij7YnW7w" targetNode="_RWJtAIFOEeeA1-_2v4gJKA"> | ||
1880 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newReals"/> | ||
1881 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newReals"/> | ||
1882 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_5g6W8IHhEeeA1-_2v4gJKA" description="_5K7J4LW_EeamG-Ij7YnW7w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
1883 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_5g6W8YHhEeeA1-_2v4gJKA" showIcon="false"> | ||
1884 | <customFeatures>labelSize</customFeatures> | ||
1885 | </centerLabelStyle> | ||
1886 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_5g6W8oHhEeeA1-_2v4gJKA" showIcon="false" labelColor="39,76,114"> | ||
1887 | <customFeatures>labelSize</customFeatures> | ||
1888 | </endLabelStyle> | ||
1889 | </ownedStyle> | ||
1890 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
1891 | </ownedDiagramElements> | ||
1892 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_65RRAIHhEeeA1-_2v4gJKA" name="[0..*] newIntegers" sourceNode="_gf_hMLW_EeamG-Ij7YnW7w" targetNode="_QCN_8IFOEeeA1-_2v4gJKA"> | ||
1893 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newIntegers"/> | ||
1894 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newIntegers"/> | ||
1895 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_65RRAYHhEeeA1-_2v4gJKA" description="_5K7J4LW_EeamG-Ij7YnW7w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
1896 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_65RRAoHhEeeA1-_2v4gJKA" showIcon="false"> | ||
1897 | <customFeatures>labelSize</customFeatures> | ||
1898 | </centerLabelStyle> | ||
1899 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_65RRA4HhEeeA1-_2v4gJKA" showIcon="false" labelColor="39,76,114"> | ||
1900 | <customFeatures>labelSize</customFeatures> | ||
1901 | </endLabelStyle> | ||
1902 | </ownedStyle> | ||
1903 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
1904 | </ownedDiagramElements> | ||
1818 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 1905 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
1819 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_MAfXJbW_EeamG-Ij7YnW7w"/> | 1906 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_MAfXJbW_EeamG-Ij7YnW7w"/> |
1820 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | 1907 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> |
@@ -1861,6 +1948,12 @@ | |||
1861 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> | 1948 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/> |
1862 | </endLabelStyleDescription> | 1949 | </endLabelStyleDescription> |
1863 | </computedStyleDescriptions> | 1950 | </computedStyleDescriptions> |
1951 | <computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_LmoREIHgEeeA1-_2v4gJKA" labelExpression="service:renderAsNode" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1"> | ||
1952 | <borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1953 | <labelFormat>bold</labelFormat> | ||
1954 | <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/> | ||
1955 | <color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='blue']"/> | ||
1956 | </computedStyleDescriptions> | ||
1864 | </data> | 1957 | </data> |
1865 | </ownedAnnotationEntries> | 1958 | </ownedAnnotationEntries> |
1866 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_ccUTmrXDEeamG-Ij7YnW7w" source="GMF_DIAGRAMS"> | 1959 | <ownedAnnotationEntries xmi:type="description:AnnotationEntry" xmi:id="_ccUTmrXDEeamG-Ij7YnW7w" source="GMF_DIAGRAMS"> |
@@ -1876,6 +1969,62 @@ | |||
1876 | <styles xmi:type="notation:FontStyle" xmi:id="_QlaM4cF9Eea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> | 1969 | <styles xmi:type="notation:FontStyle" xmi:id="_QlaM4cF9Eea_b6UyFzv22g" fontName="Segoe UI" fontHeight="8" bold="true"/> |
1877 | <layoutConstraint xmi:type="notation:Location" xmi:id="_QlaM4sF9Eea_b6UyFzv22g"/> | 1970 | <layoutConstraint xmi:type="notation:Location" xmi:id="_QlaM4sF9Eea_b6UyFzv22g"/> |
1878 | </children> | 1971 | </children> |
1972 | <children xmi:type="notation:Node" xmi:id="_LmtwoIHgEeeA1-_2v4gJKA" type="3010" element="_Lmj_oIHgEeeA1-_2v4gJKA"> | ||
1973 | <styles xmi:type="notation:FontStyle" xmi:id="_LmtwoYHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
1974 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmtwooHgEeeA1-_2v4gJKA"/> | ||
1975 | </children> | ||
1976 | <children xmi:type="notation:Node" xmi:id="_Lmtwo4HgEeeA1-_2v4gJKA" type="3010" element="_LmkmsYHgEeeA1-_2v4gJKA"> | ||
1977 | <styles xmi:type="notation:FontStyle" xmi:id="_LmtwpIHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
1978 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmtwpYHgEeeA1-_2v4gJKA"/> | ||
1979 | </children> | ||
1980 | <children xmi:type="notation:Node" xmi:id="_LmuXsIHgEeeA1-_2v4gJKA" type="3010" element="_LmlNwIHgEeeA1-_2v4gJKA"> | ||
1981 | <styles xmi:type="notation:FontStyle" xmi:id="_LmuXsYHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
1982 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmuXsoHgEeeA1-_2v4gJKA"/> | ||
1983 | </children> | ||
1984 | <children xmi:type="notation:Node" xmi:id="_LmuXs4HgEeeA1-_2v4gJKA" type="3010" element="_LmlNwoHgEeeA1-_2v4gJKA"> | ||
1985 | <styles xmi:type="notation:FontStyle" xmi:id="_LmuXtIHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
1986 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmuXtYHgEeeA1-_2v4gJKA"/> | ||
1987 | </children> | ||
1988 | <children xmi:type="notation:Node" xmi:id="_Lmu-wIHgEeeA1-_2v4gJKA" type="3010" element="_Lml00YHgEeeA1-_2v4gJKA"> | ||
1989 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmu-wYHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
1990 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmu-woHgEeeA1-_2v4gJKA"/> | ||
1991 | </children> | ||
1992 | <children xmi:type="notation:Node" xmi:id="_Lmu-w4HgEeeA1-_2v4gJKA" type="3010" element="_Lml004HgEeeA1-_2v4gJKA"> | ||
1993 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmu-xIHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
1994 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmu-xYHgEeeA1-_2v4gJKA"/> | ||
1995 | </children> | ||
1996 | <children xmi:type="notation:Node" xmi:id="_Lmvl0IHgEeeA1-_2v4gJKA" type="3010" element="_Lml01YHgEeeA1-_2v4gJKA"> | ||
1997 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmvl0YHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
1998 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmvl0oHgEeeA1-_2v4gJKA"/> | ||
1999 | </children> | ||
2000 | <children xmi:type="notation:Node" xmi:id="_Lmvl04HgEeeA1-_2v4gJKA" type="3010" element="_Lmmb4IHgEeeA1-_2v4gJKA"> | ||
2001 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmvl1IHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2002 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmvl1YHgEeeA1-_2v4gJKA"/> | ||
2003 | </children> | ||
2004 | <children xmi:type="notation:Node" xmi:id="_LmwM4IHgEeeA1-_2v4gJKA" type="3010" element="_Lmmb4oHgEeeA1-_2v4gJKA"> | ||
2005 | <styles xmi:type="notation:FontStyle" xmi:id="_LmwM4YHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2006 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmwM4oHgEeeA1-_2v4gJKA"/> | ||
2007 | </children> | ||
2008 | <children xmi:type="notation:Node" xmi:id="_LmwM44HgEeeA1-_2v4gJKA" type="3010" element="_Lmmb5IHgEeeA1-_2v4gJKA"> | ||
2009 | <styles xmi:type="notation:FontStyle" xmi:id="_LmwM5IHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2010 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmwM5YHgEeeA1-_2v4gJKA"/> | ||
2011 | </children> | ||
2012 | <children xmi:type="notation:Node" xmi:id="_LmwM5oHgEeeA1-_2v4gJKA" type="3010" element="_Lmmb5oHgEeeA1-_2v4gJKA"> | ||
2013 | <styles xmi:type="notation:FontStyle" xmi:id="_LmwM54HgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2014 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmwM6IHgEeeA1-_2v4gJKA"/> | ||
2015 | </children> | ||
2016 | <children xmi:type="notation:Node" xmi:id="_3OQX0IHhEeeA1-_2v4gJKA" type="3010" element="_3OH08IHhEeeA1-_2v4gJKA"> | ||
2017 | <styles xmi:type="notation:FontStyle" xmi:id="_3OQX0YHhEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2018 | <layoutConstraint xmi:type="notation:Location" xmi:id="_3OQX0oHhEeeA1-_2v4gJKA"/> | ||
2019 | </children> | ||
2020 | <children xmi:type="notation:Node" xmi:id="_5hVNsIHhEeeA1-_2v4gJKA" type="3010" element="_5hOgAIHhEeeA1-_2v4gJKA"> | ||
2021 | <styles xmi:type="notation:FontStyle" xmi:id="_5hVNsYHhEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2022 | <layoutConstraint xmi:type="notation:Location" xmi:id="_5hVNsoHhEeeA1-_2v4gJKA"/> | ||
2023 | </children> | ||
2024 | <children xmi:type="notation:Node" xmi:id="_65tV4IHhEeeA1-_2v4gJKA" type="3010" element="_65laEIHhEeeA1-_2v4gJKA"> | ||
2025 | <styles xmi:type="notation:FontStyle" xmi:id="_65tV4YHhEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2026 | <layoutConstraint xmi:type="notation:Location" xmi:id="_65tV4oHhEeeA1-_2v4gJKA"/> | ||
2027 | </children> | ||
1879 | <styles xmi:type="notation:SortingStyle" xmi:id="_ccUTn7XDEeamG-Ij7YnW7w"/> | 2028 | <styles xmi:type="notation:SortingStyle" xmi:id="_ccUTn7XDEeamG-Ij7YnW7w"/> |
1880 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUToLXDEeamG-Ij7YnW7w"/> | 2029 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUToLXDEeamG-Ij7YnW7w"/> |
1881 | </children> | 2030 | </children> |
@@ -1885,6 +2034,30 @@ | |||
1885 | <children xmi:type="notation:Node" xmi:id="_ccUTo7XDEeamG-Ij7YnW7w" type="2003" element="_ccU7V7XDEeamG-Ij7YnW7w"> | 2034 | <children xmi:type="notation:Node" xmi:id="_ccUTo7XDEeamG-Ij7YnW7w" type="2003" element="_ccU7V7XDEeamG-Ij7YnW7w"> |
1886 | <children xmi:type="notation:Node" xmi:id="_ccUTpLXDEeamG-Ij7YnW7w" type="5007"/> | 2035 | <children xmi:type="notation:Node" xmi:id="_ccUTpLXDEeamG-Ij7YnW7w" type="5007"/> |
1887 | <children xmi:type="notation:Node" xmi:id="_ccUTpbXDEeamG-Ij7YnW7w" type="7004"> | 2036 | <children xmi:type="notation:Node" xmi:id="_ccUTpbXDEeamG-Ij7YnW7w" type="7004"> |
2037 | <children xmi:type="notation:Node" xmi:id="_Lmwz8IHgEeeA1-_2v4gJKA" type="3010" element="_LmnC8IHgEeeA1-_2v4gJKA"> | ||
2038 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmwz8YHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2039 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmwz8oHgEeeA1-_2v4gJKA"/> | ||
2040 | </children> | ||
2041 | <children xmi:type="notation:Node" xmi:id="_Lmwz84HgEeeA1-_2v4gJKA" type="3010" element="_LmnC8oHgEeeA1-_2v4gJKA"> | ||
2042 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmwz9IHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2043 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmwz9YHgEeeA1-_2v4gJKA"/> | ||
2044 | </children> | ||
2045 | <children xmi:type="notation:Node" xmi:id="_Lmwz9oHgEeeA1-_2v4gJKA" type="3010" element="_LmnC9IHgEeeA1-_2v4gJKA"> | ||
2046 | <styles xmi:type="notation:FontStyle" xmi:id="_Lmwz94HgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2047 | <layoutConstraint xmi:type="notation:Location" xmi:id="_Lmwz-IHgEeeA1-_2v4gJKA"/> | ||
2048 | </children> | ||
2049 | <children xmi:type="notation:Node" xmi:id="_LmxbAIHgEeeA1-_2v4gJKA" type="3010" element="_LmnC9oHgEeeA1-_2v4gJKA"> | ||
2050 | <styles xmi:type="notation:FontStyle" xmi:id="_LmxbAYHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2051 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmxbAoHgEeeA1-_2v4gJKA"/> | ||
2052 | </children> | ||
2053 | <children xmi:type="notation:Node" xmi:id="_LmxbA4HgEeeA1-_2v4gJKA" type="3010" element="_LmnqAYHgEeeA1-_2v4gJKA"> | ||
2054 | <styles xmi:type="notation:FontStyle" xmi:id="_LmxbBIHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2055 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmxbBYHgEeeA1-_2v4gJKA"/> | ||
2056 | </children> | ||
2057 | <children xmi:type="notation:Node" xmi:id="_LmyCEIHgEeeA1-_2v4gJKA" type="3010" element="_LmnqA4HgEeeA1-_2v4gJKA"> | ||
2058 | <styles xmi:type="notation:FontStyle" xmi:id="_LmyCEYHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8"/> | ||
2059 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmyCEoHgEeeA1-_2v4gJKA"/> | ||
2060 | </children> | ||
1888 | <styles xmi:type="notation:SortingStyle" xmi:id="_ccUTprXDEeamG-Ij7YnW7w"/> | 2061 | <styles xmi:type="notation:SortingStyle" xmi:id="_ccUTprXDEeamG-Ij7YnW7w"/> |
1889 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUTp7XDEeamG-Ij7YnW7w"/> | 2062 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUTp7XDEeamG-Ij7YnW7w"/> |
1890 | </children> | 2063 | </children> |
@@ -1894,6 +2067,10 @@ | |||
1894 | <children xmi:type="notation:Node" xmi:id="_ccUTsbXDEeamG-Ij7YnW7w" type="2003" element="_ccU7YbXDEeamG-Ij7YnW7w"> | 2067 | <children xmi:type="notation:Node" xmi:id="_ccUTsbXDEeamG-Ij7YnW7w" type="2003" element="_ccU7YbXDEeamG-Ij7YnW7w"> |
1895 | <children xmi:type="notation:Node" xmi:id="_ccUTsrXDEeamG-Ij7YnW7w" type="5007"/> | 2068 | <children xmi:type="notation:Node" xmi:id="_ccUTsrXDEeamG-Ij7YnW7w" type="5007"/> |
1896 | <children xmi:type="notation:Node" xmi:id="_ccUTs7XDEeamG-Ij7YnW7w" type="7004"> | 2069 | <children xmi:type="notation:Node" xmi:id="_ccUTs7XDEeamG-Ij7YnW7w" type="7004"> |
2070 | <children xmi:type="notation:Node" xmi:id="_LmyCE4HgEeeA1-_2v4gJKA" type="3010" element="_LmnqBYHgEeeA1-_2v4gJKA"> | ||
2071 | <styles xmi:type="notation:FontStyle" xmi:id="_LmyCFIHgEeeA1-_2v4gJKA" fontName="Segoe UI" fontHeight="8" bold="true"/> | ||
2072 | <layoutConstraint xmi:type="notation:Location" xmi:id="_LmyCFYHgEeeA1-_2v4gJKA"/> | ||
2073 | </children> | ||
1897 | <styles xmi:type="notation:SortingStyle" xmi:id="_ccUTtLXDEeamG-Ij7YnW7w"/> | 2074 | <styles xmi:type="notation:SortingStyle" xmi:id="_ccUTtLXDEeamG-Ij7YnW7w"/> |
1898 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUTtbXDEeamG-Ij7YnW7w"/> | 2075 | <styles xmi:type="notation:FilteringStyle" xmi:id="_ccUTtbXDEeamG-Ij7YnW7w"/> |
1899 | </children> | 2076 | </children> |
@@ -2128,31 +2305,15 @@ | |||
2128 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_6Y3-EOW_EearOPSxyAbpKw" id="(0.5,0.49206349206349204)"/> | 2305 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_6Y3-EOW_EearOPSxyAbpKw" id="(0.5,0.49206349206349204)"/> |
2129 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_6Y3-EeW_EearOPSxyAbpKw" id="(0.5,0.5)"/> | 2306 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_6Y3-EeW_EearOPSxyAbpKw" id="(0.5,0.5)"/> |
2130 | </edges> | 2307 | </edges> |
2131 | <edges xmi:type="notation:Edge" xmi:id="_N_ukAPMVEeagPYxz1ZWLIQ" type="4001" element="_N-rbIPMVEeagPYxz1ZWLIQ" source="_ccUTnLXDEeamG-Ij7YnW7w" target="_ccUUBLXDEeamG-Ij7YnW7w"> | ||
2132 | <children xmi:type="notation:Node" xmi:id="_N_vLEPMVEeagPYxz1ZWLIQ" type="6001"> | ||
2133 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_N_vLEfMVEeagPYxz1ZWLIQ" x="-22" y="-10"/> | ||
2134 | </children> | ||
2135 | <children xmi:type="notation:Node" xmi:id="_N_vLEvMVEeagPYxz1ZWLIQ" type="6002"> | ||
2136 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_N_vLE_MVEeagPYxz1ZWLIQ" x="-7" y="10"/> | ||
2137 | </children> | ||
2138 | <children xmi:type="notation:Node" xmi:id="_N_vLFPMVEeagPYxz1ZWLIQ" type="6003"> | ||
2139 | <layoutConstraint xmi:type="notation:Bounds" xmi:id="_N_vLFfMVEeagPYxz1ZWLIQ" x="7" y="10"/> | ||
2140 | </children> | ||
2141 | <styles xmi:type="notation:ConnectorStyle" xmi:id="_N_ukAfMVEeagPYxz1ZWLIQ" routing="Rectilinear"/> | ||
2142 | <styles xmi:type="notation:FontStyle" xmi:id="_N_ukAvMVEeagPYxz1ZWLIQ" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/> | ||
2143 | <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_N_ukA_MVEeagPYxz1ZWLIQ" points="[0, 45, -272, 114]$[272, 45, 0, 114]$[272, -69, 0, 0]"/> | ||
2144 | <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_N_vyIPMVEeagPYxz1ZWLIQ" id="(1.0,0.2459016393442623)"/> | ||
2145 | <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_N_vyIfMVEeagPYxz1ZWLIQ" id="(0.5,1.0)"/> | ||
2146 | </edges> | ||
2147 | </data> | 2308 | </data> |
2148 | </ownedAnnotationEntries> | 2309 | </ownedAnnotationEntries> |
2149 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7VbXDEeamG-Ij7YnW7w" name="PartialInterpretation" tooltipText="" outgoingEdges="_ccU7WrXDEeamG-Ij7YnW7w _ccU7yrXDEeamG-Ij7YnW7w _ccU71LXDEeamG-Ij7YnW7w _QlS4IMF9Eea_b6UyFzv22g _6W19wOW_EearOPSxyAbpKw _N-rbIPMVEeagPYxz1ZWLIQ" width="12" height="10"> | 2310 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7VbXDEeamG-Ij7YnW7w" name="PartialInterpretation" tooltipText="" outgoingEdges="_ccU7WrXDEeamG-Ij7YnW7w _ccU7yrXDEeamG-Ij7YnW7w _ccU71LXDEeamG-Ij7YnW7w _QlS4IMF9Eea_b6UyFzv22g _6W19wOW_EearOPSxyAbpKw" width="12" height="10"> |
2150 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> | 2311 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> |
2151 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> | 2312 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialInterpretation"/> |
2152 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 2313 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
2153 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> | 2314 | <arrangeConstraints>KEEP_SIZE</arrangeConstraints> |
2154 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> | 2315 | <arrangeConstraints>KEEP_RATIO</arrangeConstraints> |
2155 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_QZ78oPMVEeagPYxz1ZWLIQ" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> | 2316 | <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_4SMhEIHhEeeA1-_2v4gJKA" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216"> |
2156 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 2317 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
2157 | </ownedStyle> | 2318 | </ownedStyle> |
2158 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 2319 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
@@ -2172,6 +2333,118 @@ | |||
2172 | </ownedStyle> | 2333 | </ownedStyle> |
2173 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | 2334 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> |
2174 | </ownedElements> | 2335 | </ownedElements> |
2336 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lmj_oIHgEeeA1-_2v4gJKA" name="maxNewIntegers : EInt" tooltipText=""> | ||
2337 | <target xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewIntegers"/> | ||
2338 | <semanticElements xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewIntegers"/> | ||
2339 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmkmsIHgEeeA1-_2v4gJKA" labelAlignment="LEFT" description="_ccUTlrXDEeamG-Ij7YnW7w"> | ||
2340 | <labelFormat>bold</labelFormat> | ||
2341 | </ownedStyle> | ||
2342 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
2343 | </ownedElements> | ||
2344 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmkmsYHgEeeA1-_2v4gJKA" name="maxNewReals : EInt" tooltipText=""> | ||
2345 | <target xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewReals"/> | ||
2346 | <semanticElements xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewReals"/> | ||
2347 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmkmsoHgEeeA1-_2v4gJKA" labelAlignment="LEFT" description="_ccUTlrXDEeamG-Ij7YnW7w"> | ||
2348 | <labelFormat>bold</labelFormat> | ||
2349 | </ownedStyle> | ||
2350 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
2351 | </ownedElements> | ||
2352 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmlNwIHgEeeA1-_2v4gJKA" name="maxNewStrings : EInt" tooltipText=""> | ||
2353 | <target xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewStrings"/> | ||
2354 | <semanticElements xmi:type="ecore:EAttribute" href="PartialInterpretation.ecore#//PartialInterpretation/maxNewStrings"/> | ||
2355 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmlNwYHgEeeA1-_2v4gJKA" labelAlignment="LEFT" description="_ccUTlrXDEeamG-Ij7YnW7w"> | ||
2356 | <labelFormat>bold</labelFormat> | ||
2357 | </ownedStyle> | ||
2358 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/> | ||
2359 | </ownedElements> | ||
2360 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmlNwoHgEeeA1-_2v4gJKA" name=" partialconstantinterpretation : PartialConstantInterpretation" tooltipText=""> | ||
2361 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialconstantinterpretation"/> | ||
2362 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialconstantinterpretation"/> | ||
2363 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lml00IHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2364 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2365 | </ownedStyle> | ||
2366 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2367 | </ownedElements> | ||
2368 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lml00YHgEeeA1-_2v4gJKA" name=" partialrelationinterpretation : PartialRelationInterpretation" tooltipText=""> | ||
2369 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialrelationinterpretation"/> | ||
2370 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialrelationinterpretation"/> | ||
2371 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lml00oHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2372 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2373 | </ownedStyle> | ||
2374 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2375 | </ownedElements> | ||
2376 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lml004HgEeeA1-_2v4gJKA" name=" partialfunctioninterpretation : PartialFunctionInterpretation" tooltipText=""> | ||
2377 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/> | ||
2378 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/partialfunctioninterpretation"/> | ||
2379 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lml01IHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2380 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2381 | </ownedStyle> | ||
2382 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2383 | </ownedElements> | ||
2384 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lml01YHgEeeA1-_2v4gJKA" name=" stringelement : StringElement" tooltipText=""> | ||
2385 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelement"/> | ||
2386 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelement"/> | ||
2387 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lml01oHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2388 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2389 | </ownedStyle> | ||
2390 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2391 | </ownedElements> | ||
2392 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lmmb4IHgEeeA1-_2v4gJKA" name=" stringelements : StringElement" tooltipText=""> | ||
2393 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelements"/> | ||
2394 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/stringelements"/> | ||
2395 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lmmb4YHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2396 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2397 | </ownedStyle> | ||
2398 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2399 | </ownedElements> | ||
2400 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lmmb4oHgEeeA1-_2v4gJKA" name=" realelements : RealElement" tooltipText=""> | ||
2401 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/realelements"/> | ||
2402 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/realelements"/> | ||
2403 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lmmb44HgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2404 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2405 | </ownedStyle> | ||
2406 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2407 | </ownedElements> | ||
2408 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lmmb5IHgEeeA1-_2v4gJKA" name=" integerelements : IntegerElement" tooltipText=""> | ||
2409 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/integerelements"/> | ||
2410 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/integerelements"/> | ||
2411 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lmmb5YHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2412 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2413 | </ownedStyle> | ||
2414 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2415 | </ownedElements> | ||
2416 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_Lmmb5oHgEeeA1-_2v4gJKA" name=" booleanelements : BooleanElement" tooltipText=""> | ||
2417 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/booleanelements"/> | ||
2418 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/booleanelements"/> | ||
2419 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_Lmmb54HgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2420 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2421 | </ownedStyle> | ||
2422 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2423 | </ownedElements> | ||
2424 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_3OH08IHhEeeA1-_2v4gJKA" name=" newStrings : StringElement" tooltipText=""> | ||
2425 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newStrings"/> | ||
2426 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newStrings"/> | ||
2427 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_3OH08YHhEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2428 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2429 | </ownedStyle> | ||
2430 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2431 | </ownedElements> | ||
2432 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_5hOgAIHhEeeA1-_2v4gJKA" name=" newReals : RealElement" tooltipText=""> | ||
2433 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newReals"/> | ||
2434 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newReals"/> | ||
2435 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_5hOgAYHhEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2436 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2437 | </ownedStyle> | ||
2438 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2439 | </ownedElements> | ||
2440 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_65laEIHhEeeA1-_2v4gJKA" name=" newIntegers : IntegerElement" tooltipText=""> | ||
2441 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newIntegers"/> | ||
2442 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/newIntegers"/> | ||
2443 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_65laEYHhEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2444 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2445 | </ownedStyle> | ||
2446 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2447 | </ownedElements> | ||
2175 | </ownedDiagramElements> | 2448 | </ownedDiagramElements> |
2176 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7V7XDEeamG-Ij7YnW7w" name="LogicProblem" tooltipText="" outgoingEdges="_ccU7c7XDEeamG-Ij7YnW7w _ccU7g7XDEeamG-Ij7YnW7w" incomingEdges="_ccU7WrXDEeamG-Ij7YnW7w _6W19wOW_EearOPSxyAbpKw" width="12" height="10"> | 2449 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7V7XDEeamG-Ij7YnW7w" name="LogicProblem" tooltipText="" outgoingEdges="_ccU7c7XDEeamG-Ij7YnW7w _ccU7g7XDEeamG-Ij7YnW7w" incomingEdges="_ccU7WrXDEeamG-Ij7YnW7w _6W19wOW_EearOPSxyAbpKw" width="12" height="10"> |
2177 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/> | 2450 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem"/> |
@@ -2188,6 +2461,54 @@ | |||
2188 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 2461 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
2189 | </ownedStyle> | 2462 | </ownedStyle> |
2190 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 2463 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
2464 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnC8IHgEeeA1-_2v4gJKA" name=" functions : Function" tooltipText=""> | ||
2465 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/functions"/> | ||
2466 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/functions"/> | ||
2467 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmnC8YHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2468 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2469 | </ownedStyle> | ||
2470 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2471 | </ownedElements> | ||
2472 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnC8oHgEeeA1-_2v4gJKA" name=" assertions : Assertion" tooltipText=""> | ||
2473 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/assertions"/> | ||
2474 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/assertions"/> | ||
2475 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmnC84HgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2476 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2477 | </ownedStyle> | ||
2478 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2479 | </ownedElements> | ||
2480 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnC9IHgEeeA1-_2v4gJKA" name=" relations : Relation" tooltipText=""> | ||
2481 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/relations"/> | ||
2482 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/relations"/> | ||
2483 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmnC9YHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2484 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2485 | </ownedStyle> | ||
2486 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2487 | </ownedElements> | ||
2488 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnC9oHgEeeA1-_2v4gJKA" name=" constants : Constant" tooltipText=""> | ||
2489 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/constants"/> | ||
2490 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/constants"/> | ||
2491 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmnqAIHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2492 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2493 | </ownedStyle> | ||
2494 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2495 | </ownedElements> | ||
2496 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnqAYHgEeeA1-_2v4gJKA" name=" containmentHierarchies : ContainmentHierarchy" tooltipText=""> | ||
2497 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/containmentHierarchies"/> | ||
2498 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/containmentHierarchies"/> | ||
2499 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmnqAoHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2500 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2501 | </ownedStyle> | ||
2502 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2503 | </ownedElements> | ||
2504 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnqA4HgEeeA1-_2v4gJKA" name=" annotations : Annotation" tooltipText=""> | ||
2505 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/annotations"/> | ||
2506 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logicproblem.ecore#//LogicProblem/annotations"/> | ||
2507 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmnqBIHgEeeA1-_2v4gJKA" labelAlignment="LEFT" color="114,159,207"> | ||
2508 | <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']/@style"/> | ||
2509 | </ownedStyle> | ||
2510 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2511 | </ownedElements> | ||
2191 | </ownedDiagramElements> | 2512 | </ownedDiagramElements> |
2192 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ccU7WrXDEeamG-Ij7YnW7w" name="[1..1] problem" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7V7XDEeamG-Ij7YnW7w"> | 2513 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_ccU7WrXDEeamG-Ij7YnW7w" name="[1..1] problem" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7V7XDEeamG-Ij7YnW7w"> |
2193 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/problem"/> | 2514 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/problem"/> |
@@ -2218,6 +2539,14 @@ | |||
2218 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> | 2539 | <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/> |
2219 | </ownedStyle> | 2540 | </ownedStyle> |
2220 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> | 2541 | <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/> |
2542 | <ownedElements xmi:type="diagram:DNodeListElement" xmi:id="_LmnqBYHgEeeA1-_2v4gJKA" name=" definedInType : TypeDefinition" tooltipText=""> | ||
2543 | <target xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/> | ||
2544 | <semanticElements xmi:type="ecore:EReference" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//DefinedElement/definedInType"/> | ||
2545 | <ownedStyle xmi:type="diagram:BundledImage" xmi:id="_LmoREYHgEeeA1-_2v4gJKA" labelAlignment="LEFT" description="_LmoREIHgEeeA1-_2v4gJKA" color="114,159,207"> | ||
2546 | <labelFormat>bold</labelFormat> | ||
2547 | </ownedStyle> | ||
2548 | <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EReferenceNode']"/> | ||
2549 | </ownedElements> | ||
2221 | </ownedDiagramElements> | 2550 | </ownedDiagramElements> |
2222 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7arXDEeamG-Ij7YnW7w" name="Type" tooltipText="" outgoingEdges="_ccU7h7XDEeamG-Ij7YnW7w" incomingEdges="_ccU7c7XDEeamG-Ij7YnW7w _ccU7h7XDEeamG-Ij7YnW7w _ccU7p7XDEeamG-Ij7YnW7w" width="12" height="10"> | 2551 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7arXDEeamG-Ij7YnW7w" name="Type" tooltipText="" outgoingEdges="_ccU7h7XDEeamG-Ij7YnW7w" incomingEdges="_ccU7c7XDEeamG-Ij7YnW7w _ccU7h7XDEeamG-Ij7YnW7w _ccU7p7XDEeamG-Ij7YnW7w" width="12" height="10"> |
2223 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Type"/> | 2552 | <target xmi:type="ecore:EClass" href="platform:/resource/hu.bme.mit.inf.dslreasoner.logic.model/model/logiclanguage.ecore#//Type"/> |
@@ -2336,7 +2665,7 @@ | |||
2336 | </ownedStyle> | 2665 | </ownedStyle> |
2337 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 2666 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
2338 | </ownedDiagramElements> | 2667 | </ownedDiagramElements> |
2339 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7zrXDEeamG-Ij7YnW7w" name="PartialTypeInterpratation" tooltipText="" outgoingEdges="_ccU70LXDEeamG-Ij7YnW7w _klCuMLXDEeamG-Ij7YnW7w _bLJ3ANUaEear_rf-Vav0Gw" incomingEdges="_ccU71LXDEeamG-Ij7YnW7w _bLJ3ANUaEear_rf-Vav0Gw _N-rbIPMVEeagPYxz1ZWLIQ" width="12" height="10"> | 2668 | <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_ccU7zrXDEeamG-Ij7YnW7w" name="PartialTypeInterpratation" tooltipText="" outgoingEdges="_ccU70LXDEeamG-Ij7YnW7w _klCuMLXDEeamG-Ij7YnW7w _bLJ3ANUaEear_rf-Vav0Gw" incomingEdges="_ccU71LXDEeamG-Ij7YnW7w _bLJ3ANUaEear_rf-Vav0Gw" width="12" height="10"> |
2340 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialTypeInterpratation"/> | 2669 | <target xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialTypeInterpratation"/> |
2341 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialTypeInterpratation"/> | 2670 | <semanticElements xmi:type="ecore:EClass" href="PartialInterpretation.ecore#//PartialTypeInterpratation"/> |
2342 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> | 2671 | <arrangeConstraints>KEEP_LOCATION</arrangeConstraints> |
@@ -2381,7 +2710,7 @@ | |||
2381 | </ownedStyle> | 2710 | </ownedStyle> |
2382 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 2711 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
2383 | </ownedDiagramElements> | 2712 | </ownedDiagramElements> |
2384 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_QlS4IMF9Eea_b6UyFzv22g" name="[1..1] openWorldElementPrototype" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7YbXDEeamG-Ij7YnW7w"> | 2713 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_QlS4IMF9Eea_b6UyFzv22g" name="[1..*] openWorldElementPrototypes" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7YbXDEeamG-Ij7YnW7w"> |
2385 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> | 2714 | <target xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> |
2386 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> | 2715 | <semanticElements xmi:type="ecore:EReference" href="PartialInterpretation.ecore#//PartialInterpretation/openWorldElementPrototypes"/> |
2387 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_QlUGQMF9Eea_b6UyFzv22g" description="_QlTfMMF9Eea_b6UyFzv22g" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | 2716 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_QlUGQMF9Eea_b6UyFzv22g" description="_QlTfMMF9Eea_b6UyFzv22g" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> |
@@ -2422,17 +2751,6 @@ | |||
2422 | </ownedStyle> | 2751 | </ownedStyle> |
2423 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | 2752 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> |
2424 | </ownedDiagramElements> | 2753 | </ownedDiagramElements> |
2425 | <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_N-rbIPMVEeagPYxz1ZWLIQ" name="[0..*] preGeneratedElements" sourceNode="_ccU7VbXDEeamG-Ij7YnW7w" targetNode="_ccU7zrXDEeamG-Ij7YnW7w"> | ||
2426 | <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_N-spQPMVEeagPYxz1ZWLIQ" description="_ccUTl7XDEeamG-Ij7YnW7w" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0"> | ||
2427 | <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_N-spQfMVEeagPYxz1ZWLIQ" showIcon="false"> | ||
2428 | <customFeatures>labelSize</customFeatures> | ||
2429 | </centerLabelStyle> | ||
2430 | <endLabelStyle xmi:type="diagram:EndLabelStyle" xmi:id="_N-spQvMVEeagPYxz1ZWLIQ" showIcon="false" labelColor="39,76,114"> | ||
2431 | <customFeatures>labelSize</customFeatures> | ||
2432 | </endLabelStyle> | ||
2433 | </ownedStyle> | ||
2434 | <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/> | ||
2435 | </ownedDiagramElements> | ||
2436 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> | 2754 | <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/> |
2437 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_ccU72LXDEeamG-Ij7YnW7w"/> | 2755 | <filterVariableHistory xmi:type="diagram:FilterVariableHistory" xmi:id="_ccU72LXDEeamG-Ij7YnW7w"/> |
2438 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> | 2756 | <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/> |
diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore index 9392bb8a..174e4508 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.ecore | |||
@@ -42,6 +42,12 @@ | |||
42 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 42 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
43 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewStrings" lowerBound="1" | 43 | <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxNewStrings" lowerBound="1" |
44 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> | 44 | eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"/> |
45 | <eStructuralFeatures xsi:type="ecore:EReference" name="newStrings" upperBound="-1" | ||
46 | eType="#//StringElement" containment="true"/> | ||
47 | <eStructuralFeatures xsi:type="ecore:EReference" name="newReals" upperBound="-1" | ||
48 | eType="#//RealElement" containment="true"/> | ||
49 | <eStructuralFeatures xsi:type="ecore:EReference" name="newIntegers" upperBound="-1" | ||
50 | eType="#//IntegerElement" containment="true"/> | ||
45 | </eClassifiers> | 51 | </eClassifiers> |
46 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> | 52 | <eClassifiers xsi:type="ecore:EClass" name="PartialConstantInterpretation"> |
47 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" | 53 | <eStructuralFeatures xsi:type="ecore:EReference" name="interpretationOf" lowerBound="1" |