From 250722c453223a238192fda8db9e692ea776afc7 Mon Sep 17 00:00:00 2001 From: ArenBabikian Date: Sun, 19 May 2019 04:57:59 -0400 Subject: REALMET: first impl of n'hood visualis. minor bug with adding outgng 0s. --- .../outputs/realisticModel.gml | 1891 ++++++++++++++++++++ 1 file changed, 1891 insertions(+) create mode 100644 Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml (limited to 'Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml') diff --git a/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml new file mode 100644 index 00000000..cd7c028b --- /dev/null +++ b/Metrics/ca.mcgill.ecse.dslreasoner.realistic.metrics/outputs/realisticModel.gml @@ -0,0 +1,1891 @@ +Creator "yFiles" +Version "2.16" +graph +[ + hierarchic 1 + label "" + directed 1 + node + [ + id 0 + label "true" + graphics + [ + x 832.9 + y 301.0 + w 41.800000000000004 + h 26.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "true" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 1 + label "false" + graphics + [ + x 740.3 + y 301.0 + w 50.6 + h 26.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "false" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 2 + label "null" + graphics + [ + x 401.79999999999995 + y 546.0 + w 184.8 + h 54.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Statechart class + CompositeElement class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 3 + label "null" + graphics + [ + x 379.29999999999995 + y 356.0 + w 107.80000000000001 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Region class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 4 + label "null" + graphics + [ + x 522.8 + y 412.0 + w 146.3 + h 68.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Pseudostate class + Vertex class + Entry class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 5 + label "null" + graphics + [ + x 413.8 + y 251.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 6 + label "null" + graphics + [ + x 300.8 + y 148.0 + w 184.8 + h 82.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Vertex class + State class + RegularState class + CompositeElement class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 7 + label "null" + graphics + [ + x 168.8 + y 34.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 8 + label "null" + graphics + [ + x 233.3 + y 231.0 + w 184.8 + h 82.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Vertex class + State class + RegularState class + CompositeElement class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 9 + label "null" + graphics + [ + x 309.3 + y 20.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 10 + label "null" + graphics + [ + x 100.80000000000001 + y 148.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 11 + label "null" + graphics + [ + x 69.30000000000001 + y 395.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 12 + label "null" + graphics + [ + x 428.3 + y 86.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 13 + label "null" + graphics + [ + x 231.8 + y 355.0 + w 184.8 + h 82.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Vertex class + State class + RegularState class + CompositeElement class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 14 + label "null" + graphics + [ + x 298.3 + y 420.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 15 + label "null" + graphics + [ + x 194.8 + y 502.0 + w 184.8 + h 82.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Vertex class + State class + RegularState class + CompositeElement class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 16 + label "null" + graphics + [ + x 100.30000000000001 + y 293.0 + w 138.60000000000002 + h 40.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Transition class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 17 + label "null" + graphics + [ + x 576.8 + y 240.0 + w 184.8 + h 82.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "null" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + Vertex class + State class + RegularState class + CompositeElement class + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 18 + label "New Integers" + graphics + [ + x 771.1 + y 13.0 + w 112.2 + h 26.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Integers" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 19 + label "New Reals" + graphics + [ + x 757.9 + y 229.0 + w 85.80000000000001 + h 26.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Reals" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 20 + label "New Strings" + graphics + [ + x 766.7 + y 85.0 + w 103.4 + h 26.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Strings" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + node + [ + id 21 + label "New Objects" + graphics + [ + x 766.7 + y 157.0 + w 103.4 + h 26.0 + type "rectangle" + fill "#FFFFFF" + fill2 "#FFFFFF" + outline "#000000" + ] + LabelGraphics + [ + text "New Objects" + outline "#000000" + fill "#FFFFFF" + fontSize 16 + fontName "Monospace" + autoSizePolicy "node_width" + anchor "t" + borderDistance 0.0 + ] + LabelGraphics + [ + text " + " + fontSize 14 + fontName "Consolas" + alignment "left" + anchor "tl" + borderDistance 6.0 + ] + ] + edge + [ + source 6 + target 5 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.08032754342061545 + xTarget 0.10710339122748727 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 6 + target 9 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.05423173536706701 + xTarget -0.07230898048942268 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 6 + target 16 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.09234115756532207 + xTarget 0.12312154342042972 + yTarget 2.2204460492503132E-17 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 7 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.056939112509911224 + xTarget -0.07591881667988142 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 14 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.05722329714569708 + xTarget 0.07629772952759617 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 13 + target 10 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.06403825675031763 + xTarget -0.08538434233375684 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 15 + target 11 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.0834051215952323 + xTarget -0.11120682879364265 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 17 + target 12 + label "incomingTransitions reference Vertex" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.07517258170522839 + xTarget -0.10023010894030451 + ] + LabelGraphics + [ + text "incomingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 4 + target 5 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.08254431858692544 + xTarget -0.08713011406397665 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 6 + target 7 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.08278902855860473 + xTarget -0.11038537141147287 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 9 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.05751572768585484 + xTarget -0.07668763691447326 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 10 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.10193355770368039 + xTarget -0.13591141027157383 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 11 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.07652670792062202 + xTarget 0.10203561056082977 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 8 + target 12 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.09068594476953899 + xTarget -0.1209145930260524 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 13 + target 14 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.07741474435720763 + xTarget 0.10321965914294319 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 15 + target 16 + label "outgoingTransitions reference Vertex" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.059386954907372135 + xTarget -0.07918260654316284 + ] + LabelGraphics + [ + text "outgoingTransitions reference Vertex" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 281.1015625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 4 + label "vertices reference Region" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 196.431640625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 6 + label "vertices reference Region" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 196.431640625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 8 + label "vertices reference Region" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 196.431640625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 13 + label "vertices reference Region" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 196.431640625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 15 + label "vertices reference Region" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 196.431640625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 3 + target 17 + label "vertices reference Region" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "vertices reference Region" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 196.431640625 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 5 + target 6 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.10710339122748727 + xTarget -0.08032754342061535 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 7 + target 8 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.07591881667988142 + xTarget 0.056939112509911224 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 9 + target 6 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.07230898048942265 + xTarget 0.05423173536706701 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 10 + target 13 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.08538434233375643 + xTarget 0.06403825675031717 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 11 + target 15 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.11120682879364265 + xTarget 0.0834051215952323 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 12 + target 17 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.10023010894030451 + xTarget 0.07517258170522809 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 14 + target 8 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.0762977295275961 + xTarget -0.05722329714569708 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 16 + target 6 + label "target reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.12312154342042972 + xTarget -0.09234115756532262 + ] + LabelGraphics + [ + text "target reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 5 + target 4 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.08713011406397665 + xTarget 0.08254431858692544 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 7 + target 6 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.11038537141147287 + xTarget 0.08278902855860439 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 9 + target 8 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.07668763691447301 + xTarget 0.05751572768585469 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 10 + target 8 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.13591141027157425 + xTarget 0.10193355770368054 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 11 + target 8 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.10203561056082977 + xTarget -0.07652670792062218 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 12 + target 8 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.12091459302605259 + xTarget 0.0906859447695393 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 14 + target 13 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource -0.10321965914294329 + ySource -7.105427357601002E-16 + xTarget -0.07741474435720733 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 16 + target 15 + label "source reference Transition" + graphics + [ + fill "#000000" + targetArrow "standard" + ] + edgeAnchor + [ + xSource 0.07918260654316284 + xTarget 0.059386954907372135 + ] + LabelGraphics + [ + text "source reference Transition" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 211.826171875 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] + edge + [ + source 2 + target 3 + label "regions reference CompositeElement" + graphics + [ + width 3 + fill "#000000" + targetArrow "standard" + ] + LabelGraphics + [ + text "regions reference CompositeElement" + fontSize 14 + fontName "Consolas" + configuration "AutoFlippingLabel" + contentWidth 265.70703125 + contentHeight 18.0 + model "six_pos" + position "thead" + ] + ] +] -- cgit v1.2.3-54-g00ecf