diff options
author | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-16 17:07:39 +0200 |
---|---|---|
committer | OszkarSemerath <oszka@SEMERATH-LAPTOP> | 2017-08-16 17:07:39 +0200 |
commit | 397731960acde06c0dea80a502a7869bd85208e2 (patch) | |
tree | 539a92eae15024b176efb1308b87f97595cd8b72 /Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model | |
parent | Alloy mapping of integer scopes (diff) | |
download | VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.tar.gz VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.tar.zst VIATRA-Generator-397731960acde06c0dea80a502a7869bd85208e2.zip |
Added separate symbolic objects to all primitive objects
Diffstat (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model')
2 files changed, 364 insertions, 40 deletions
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" |