search

eclipse / elk

Eclipse Layout Kernel - Automatic layout for Java applications.
https://www.eclipse.org/elk/
Other
258 stars 86 forks source link

Edge-Node overlap in JSON format #1093

Open Drakae opened 3 days ago

Drakae commented 3 days ago

Describe the bug An edge is routed through a node leading to a node-edge overlap. This only happens in the JSON format and not with the ELKT format. Graph showing the problem is in the comments because it is too big for this issue and for a link to elklive.

Expected behavior No node-edge overlap.

Screenshots Edge overlaps with the node "SC1" elkbug

ELK Version JSON 0.9.3 ELKT 0.9.1

Drakae commented 3 days ago
Graph showing the problem ``` { "id": "root", "layoutOptions": { "org.eclipse.elk.partitioning.activate": "true", "org.eclipse.elk.direction": "DOWN" }, "children": [ { "id": "relationships", "layoutOptions": { "org.eclipse.elk.layered.thoroughness": "70", "org.eclipse.elk.partitioning.activate": "true", "org.eclipse.elk.direction": "UP", "org.eclipse.elk.layered.nodePlacement.strategy": "NETWORK_SIMPLEX", "org.eclipse.elk.layered.nodePlacement.networkSimplex.nodeFlexibility.default": "NODE_SIZE", "org.eclipse.elk.spacing.portPort": "10", "org.eclipse.elk.spacing.portsSurrounding": "[top=10.0,left=10.0,bottom=10.0,right=10.0]", "org.eclipse.elk.priority": "0", "org.eclipse.elk.layered.considerModelOrder.strategy": "NODES_AND_EDGES", "org.eclipse.elk.layered.crossingMinimization.forceNodeModelOrder": "true", "org.eclipse.elk.separateConnectedComponents": "false" }, "children": [ { "id": "L1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "0", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "L1_label", "text": "L1", "x": 10, "y": 10, "width": 14.466145515441895, "height": 14.166666030883789 } ], "ports": [ { "id": "H1_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H2_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H3_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H4_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H5_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H6_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H7_L1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 34.466145515441895, "height": 34.16666603088379 }, { "id": "L2", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "0", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "L2_label", "text": "L2", "x": 10, "y": 10, "width": 14.72996997833252, "height": 14.166666030883789 } ], "ports": [ { "id": "H1_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H2_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H3_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H4_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H5_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H6_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "H7_L2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 34.72996997833252, "height": 34.16666603088379 }, { "id": "H1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H1_label", "text": "H1", "x": 10, "y": 10, "width": 16.62760353088379, "height": 14.166666030883789 } ], "ports": [ { "id": "H1_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "SC1_H1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA3_H1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario5_H1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.62760353088379, "height": 34.16666603088379 }, { "id": "H2", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H2_label", "text": "H2", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "H2_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA5_H2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA6_H2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario6_H2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "H3", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H3_label", "text": "H3", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "H3_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA6_H3_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "H4", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H4_label", "text": "H4", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "H4_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "SC4_H4_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA7_H4_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "H5", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H5_label", "text": "H5", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "H5_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "H6", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H6_label", "text": "H6", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "H6_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA2_H6_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA8_H6_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA7_H6_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA9_H6_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario7_H6_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "H7", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-1", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "H7_label", "text": "H7", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "H7_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "SC7_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA2_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA1_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA4_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA8_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA7_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "UCA9_H7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "SC1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-2", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "SC1_label", "text": "SC1", "x": 10, "y": 10, "width": 25.29947853088379, "height": 14.166666030883789 } ], "ports": [ { "id": "SC1_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "R1_SC1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "R2_SC1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "R5_SC1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 45.29947853088379, "height": 34.16666603088379 }, { "id": "SC4", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-2", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "SC4_label", "text": "SC4", "x": 10, "y": 10, "width": 25.55906867980957, "height": 14.166666030883789 } ], "ports": [ { "id": "SC4_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "R3_SC4_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 45.55906867980957, "height": 34.16666603088379 }, { "id": "SC7", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-2", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "SC7_label", "text": "SC7", "x": 10, "y": 10, "width": 25.55906867980957, "height": 14.166666030883789 } ], "ports": [ { "id": "SC7_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "R4_SC7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "R6_SC7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 45.55906867980957, "height": 34.16666603088379 }, { "id": "R1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-3", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "R1_label", "text": "R1", "x": 10, "y": 10, "width": 16.62760353088379, "height": 14.166666030883789 } ], "ports": [ { "id": "R1_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.62760353088379, "height": 34.16666603088379 }, { "id": "R2", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-3", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "R2_label", "text": "R2", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "R2_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "R3", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-3", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "R3_label", "text": "R3", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "R3_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "R4", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-3", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "R4_label", "text": "R4", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "R4_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "R5", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-3", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "R5_label", "text": "R5", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "R5_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "R6", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-3", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "R6_label", "text": "R6", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "R6_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "UCA2", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA2_label", "text": "UCA2", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA2_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "C2_UCA2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario4_UCA2_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA5", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA5_label", "text": "UCA5", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA5_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "C5_UCA5_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA6", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA6_label", "text": "UCA6", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA6_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "C6_UCA6_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA1_label", "text": "UCA1", "x": 10, "y": 10, "width": 34.6875, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA1_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "C1_UCA1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario1_UCA1_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.6875, "height": 34.16666603088379 }, { "id": "UCA3", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA3_label", "text": "UCA3", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA3_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "C3_UCA3_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario2_UCA3_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA4", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA4_label", "text": "UCA4", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA4_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "C4_UCA4_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA8", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA8_label", "text": "UCA8", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA8_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA7", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA7_label", "text": "UCA7", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA7_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 }, { "id": "Scenario3_UCA7_newTransition", "layoutOptions": { "org.eclipse.elk.port.side": "SOUTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "UCA9", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-4", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "UCA9_label", "text": "UCA9", "x": 10, "y": 10, "width": 34.947242736816406, "height": 14.166666030883789 } ], "ports": [ { "id": "UCA9_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 54.947242736816406, "height": 34.16666603088379 }, { "id": "C1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-5", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "C1_label", "text": "C1", "x": 10, "y": 10, "width": 16.62760353088379, "height": 14.166666030883789 } ], "ports": [ { "id": "C1_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.62760353088379, "height": 34.16666603088379 }, { "id": "C2", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-5", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "C2_label", "text": "C2", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "C2_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "C3", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-5", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "C3_label", "text": "C3", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "C3_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "C4", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-5", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "C4_label", "text": "C4", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "C4_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "C5", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-5", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "C5_label", "text": "C5", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "C5_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "C6", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-5", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "C6_label", "text": "C6", "x": 10, "y": 10, "width": 16.888172149658203, "height": 14.166666030883789 } ], "ports": [ { "id": "C6_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 36.8881721496582, "height": 34.16666603088379 }, { "id": "Scenario1", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario1_label", "text": "Scenario1", "x": 10, "y": 10, "width": 58.541664123535156, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario1_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.54166412353516, "height": 34.16666603088379 }, { "id": "Scenario2", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario2_label", "text": "Scenario2", "x": 10, "y": 10, "width": 58.80804443359375, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario2_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.80804443359375, "height": 34.16666603088379 }, { "id": "Scenario3", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario3_label", "text": "Scenario3", "x": 10, "y": 10, "width": 58.80804443359375, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario3_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.80804443359375, "height": 34.16666603088379 }, { "id": "Scenario4", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario4_label", "text": "Scenario4", "x": 10, "y": 10, "width": 58.80804443359375, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario4_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.80804443359375, "height": 34.16666603088379 }, { "id": "Scenario5", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario5_label", "text": "Scenario5", "x": 10, "y": 10, "width": 58.80804443359375, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario5_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.80804443359375, "height": 34.16666603088379 }, { "id": "Scenario6", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario6_label", "text": "Scenario6", "x": 10, "y": 10, "width": 58.80804443359375, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario6_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.80804443359375, "height": 34.16666603088379 }, { "id": "Scenario7", "layoutOptions": { "org.eclipse.elk.alignment": "CENTER", "org.eclipse.elk.nodeLabels.placement": "INSIDE V_CENTER H_CENTER", "org.eclipse.elk.partitioning.partition": "-6", "org.eclipse.elk.portConstraints": "FIXED_SIDE", "org.eclipse.elk.nodeSize.constraints": "NODE_LABELS" }, "children": [], "edges": [], "labels": [ { "id": "Scenario7_label", "text": "Scenario7", "x": 10, "y": 10, "width": 58.80804443359375, "height": 14.166666030883789 } ], "ports": [ { "id": "Scenario7_outPort", "layoutOptions": { "org.eclipse.elk.port.side": "NORTH" }, "x": 0, "y": 0, "width": 0, "height": 0 } ], "width": 78.80804443359375, "height": 34.16666603088379 } ], "edges": [ { "id": "H1_L1", "sources": [ "H1_outPort" ], "targets": [ "H1_L1_newTransition" ], "labels": [] }, { "id": "H1_L2", "sources": [ "H1_outPort" ], "targets": [ "H1_L2_newTransition" ], "labels": [] }, { "id": "H2_L1", "sources": [ "H2_outPort" ], "targets": [ "H2_L1_newTransition" ], "labels": [] }, { "id": "H2_L2", "sources": [ "H2_outPort" ], "targets": [ "H2_L2_newTransition" ], "labels": [] }, { "id": "H3_L1", "sources": [ "H3_outPort" ], "targets": [ "H3_L1_newTransition" ], "labels": [] }, { "id": "H3_L2", "sources": [ "H3_outPort" ], "targets": [ "H3_L2_newTransition" ], "labels": [] }, { "id": "H4_L1", "sources": [ "H4_outPort" ], "targets": [ "H4_L1_newTransition" ], "labels": [] }, { "id": "H4_L2", "sources": [ "H4_outPort" ], "targets": [ "H4_L2_newTransition" ], "labels": [] }, { "id": "H5_L1", "sources": [ "H5_outPort" ], "targets": [ "H5_L1_newTransition" ], "labels": [] }, { "id": "H5_L2", "sources": [ "H5_outPort" ], "targets": [ "H5_L2_newTransition" ], "labels": [] }, { "id": "H6_L1", "sources": [ "H6_outPort" ], "targets": [ "H6_L1_newTransition" ], "labels": [] }, { "id": "H6_L2", "sources": [ "H6_outPort" ], "targets": [ "H6_L2_newTransition" ], "labels": [] }, { "id": "H7_L1", "sources": [ "H7_outPort" ], "targets": [ "H7_L1_newTransition" ], "labels": [] }, { "id": "H7_L2", "sources": [ "H7_outPort" ], "targets": [ "H7_L2_newTransition" ], "labels": [] }, { "id": "SC1_H1", "sources": [ "SC1_outPort" ], "targets": [ "SC1_H1_newTransition" ], "labels": [] }, { "id": "SC4_H4", "sources": [ "SC4_outPort" ], "targets": [ "SC4_H4_newTransition" ], "labels": [] }, { "id": "SC7_H7", "sources": [ "SC7_outPort" ], "targets": [ "SC7_H7_newTransition" ], "labels": [] }, { "id": "R1_SC1", "sources": [ "R1_outPort" ], "targets": [ "R1_SC1_newTransition" ], "labels": [] }, { "id": "R2_SC1", "sources": [ "R2_outPort" ], "targets": [ "R2_SC1_newTransition" ], "labels": [] }, { "id": "R3_SC4", "sources": [ "R3_outPort" ], "targets": [ "R3_SC4_newTransition" ], "labels": [] }, { "id": "R4_SC7", "sources": [ "R4_outPort" ], "targets": [ "R4_SC7_newTransition" ], "labels": [] }, { "id": "R5_SC1", "sources": [ "R5_outPort" ], "targets": [ "R5_SC1_newTransition" ], "labels": [] }, { "id": "R6_SC7", "sources": [ "R6_outPort" ], "targets": [ "R6_SC7_newTransition" ], "labels": [] }, { "id": "UCA2_H7", "sources": [ "UCA2_outPort" ], "targets": [ "UCA2_H7_newTransition" ], "labels": [] }, { "id": "UCA2_H6", "sources": [ "UCA2_outPort" ], "targets": [ "UCA2_H6_newTransition" ], "labels": [] }, { "id": "UCA5_H2", "sources": [ "UCA5_outPort" ], "targets": [ "UCA5_H2_newTransition" ], "labels": [] }, { "id": "UCA6_H2", "sources": [ "UCA6_outPort" ], "targets": [ "UCA6_H2_newTransition" ], "labels": [] }, { "id": "UCA6_H3", "sources": [ "UCA6_outPort" ], "targets": [ "UCA6_H3_newTransition" ], "labels": [] }, { "id": "UCA1_H7", "sources": [ "UCA1_outPort" ], "targets": [ "UCA1_H7_newTransition" ], "labels": [] }, { "id": "UCA3_H1", "sources": [ "UCA3_outPort" ], "targets": [ "UCA3_H1_newTransition" ], "labels": [] }, { "id": "UCA4_H7", "sources": [ "UCA4_outPort" ], "targets": [ "UCA4_H7_newTransition" ], "labels": [] }, { "id": "UCA8_H6", "sources": [ "UCA8_outPort" ], "targets": [ "UCA8_H6_newTransition" ], "labels": [] }, { "id": "UCA8_H7", "sources": [ "UCA8_outPort" ], "targets": [ "UCA8_H7_newTransition" ], "labels": [] }, { "id": "UCA7_H6", "sources": [ "UCA7_outPort" ], "targets": [ "UCA7_H6_newTransition" ], "labels": [] }, { "id": "UCA7_H7", "sources": [ "UCA7_outPort" ], "targets": [ "UCA7_H7_newTransition" ], "labels": [] }, { "id": "UCA7_H4", "sources": [ "UCA7_outPort" ], "targets": [ "UCA7_H4_newTransition" ], "labels": [] }, { "id": "UCA9_H6", "sources": [ "UCA9_outPort" ], "targets": [ "UCA9_H6_newTransition" ], "labels": [] }, { "id": "UCA9_H7", "sources": [ "UCA9_outPort" ], "targets": [ "UCA9_H7_newTransition" ], "labels": [] }, { "id": "C1_UCA1", "sources": [ "C1_outPort" ], "targets": [ "C1_UCA1_newTransition" ], "labels": [] }, { "id": "C2_UCA2", "sources": [ "C2_outPort" ], "targets": [ "C2_UCA2_newTransition" ], "labels": [] }, { "id": "C3_UCA3", "sources": [ "C3_outPort" ], "targets": [ "C3_UCA3_newTransition" ], "labels": [] }, { "id": "C4_UCA4", "sources": [ "C4_outPort" ], "targets": [ "C4_UCA4_newTransition" ], "labels": [] }, { "id": "C5_UCA5", "sources": [ "C5_outPort" ], "targets": [ "C5_UCA5_newTransition" ], "labels": [] }, { "id": "C6_UCA6", "sources": [ "C6_outPort" ], "targets": [ "C6_UCA6_newTransition" ], "labels": [] }, { "id": "Scenario1_UCA1", "sources": [ "Scenario1_outPort" ], "targets": [ "Scenario1_UCA1_newTransition" ], "labels": [] }, { "id": "Scenario2_UCA3", "sources": [ "Scenario2_outPort" ], "targets": [ "Scenario2_UCA3_newTransition" ], "labels": [] }, { "id": "Scenario3_UCA7", "sources": [ "Scenario3_outPort" ], "targets": [ "Scenario3_UCA7_newTransition" ], "labels": [] }, { "id": "Scenario4_UCA2", "sources": [ "Scenario4_outPort" ], "targets": [ "Scenario4_UCA2_newTransition" ], "labels": [] }, { "id": "Scenario5_H1", "sources": [ "Scenario5_outPort" ], "targets": [ "Scenario5_H1_newTransition" ], "labels": [] }, { "id": "Scenario6_H2", "sources": [ "Scenario6_outPort" ], "targets": [ "Scenario6_H2_newTransition" ], "labels": [] }, { "id": "Scenario7_H6", "sources": [ "Scenario7_outPort" ], "targets": [ "Scenario7_H6_newTransition" ], "labels": [] } ], "labels": [], "ports": [], "width": 58.80804443359375, "height": 17.16666603088379 } ], "edges": [] } ```
skieffer commented 2 days ago

Are you getting the following layout when you use ELKT?

Screenshot 2024-11-27 at 23 02 07

I tried auto-translating the given JSON into ELKT, and that's what I got.

What's interesting to me is that the layout is different in many ways, not just in the one node-edge crossing. In fact, it's a different graph:

skieffer commented 2 days ago

Also @Drakae , maybe consider putting the JSON into a <details> section to make this page easier to read.

https://docs.github.com/en/get-started/writing-on-github/working-with-advanced-formatting/organizing-information-with-collapsed-sections

soerendomroes commented 2 days ago

@skieffer The json above also uses ports but they have a smaller size per default. But apparently this is not the issue @Drakae is facing, so I asked her to create an issue.

Drakae commented 2 days ago

Originally, I set the size of the ports to (5,5). However, when using Sprotty the size is not applied if it is not used for rendering the ports. That is why this resulted in size (0,0) in the provided JSON graph. Changing this to (1,1) solves the problem.

soerendomroes commented 2 days ago

@Drakae do you think the bug is a result of the node flexibility option?

Drakae commented 2 days ago

@Drakae do you think the bug is a result of the node flexibility option?

Could be, at least for the given diagram deleting the option solves the problem.