SCCD/test/test_files/semantics/priority/statechart_hierarchical.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: state transitions Pages: 1 -->
<svg width="196pt" height="261pt"
 viewBox="0.00 0.00 195.61 261.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 257)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-257 191.611,-257 191.611,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__A</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-64C20,-64 68,-64 68,-64 74,-64 80,-70 80,-76 80,-76 80,-202 80,-202 80,-208 74,-214 68,-214 68,-214 20,-214 20,-214 14,-214 8,-208 8,-202 8,-202 8,-76 8,-76 8,-70 14,-64 20,-64"/>
<text text-anchor="start" x="39.9986" y="-195.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">A</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="72" cy="-247.5" rx="5.5" ry="5.5"/>
</g>
<!-- _A -->
<!-- __initial&#45;&gt;_A -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_A</title>
<path fill="none" stroke="#000000" d="M72,-241.9623C72,-237.7143 72,-231.3733 72,-224.1925"/>
<polygon fill="#000000" stroke="#000000" points="75.5001,-223.9976 72,-213.9976 68.5001,-223.9976 75.5001,-223.9976"/>
<text text-anchor="middle" x="73.3895" y="-225" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _C -->
<g id="node2" class="node">
<title>_C</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="103,-36 47,-36 47,0 103,0 103,-36"/>
<text text-anchor="start" x="70.6686" y="-14.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">C</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M59.3333,-1C59.3333,-1 90.6667,-1 90.6667,-1 96.3333,-1 102,-6.6667 102,-12.3333 102,-12.3333 102,-23.6667 102,-23.6667 102,-29.3333 96.3333,-35 90.6667,-35 90.6667,-35 59.3333,-35 59.3333,-35 53.6667,-35 48,-29.3333 48,-23.6667 48,-23.6667 48,-12.3333 48,-12.3333 48,-6.6667 53.6667,-1 59.3333,-1"/>
</g>
<!-- _A&#45;&gt;_C -->
<g id="edge4" class="edge">
<title>_A&#45;&gt;_C</title>
<path fill="none" stroke="#000000" d="M79.9986,-152.9702C89.5903,-130.8978 105.1108,-91.5556 111,-56 111.8715,-50.7384 113.428,-48.7486 111,-44 110.6446,-43.305 110.2611,-42.6243 109.8521,-41.9578"/>
<polygon fill="#000000" stroke="#000000" points="112.408,-39.5569 103.3302,-34.0938 107.0198,-44.0255 112.408,-39.5569"/>
<text text-anchor="start" x="94" y="-119" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^out.source_parent &#160;&#160;</text>
</g>
<!-- _A_initial -->
<g id="node4" class="node">
<title>_A_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="44" cy="-170.5" rx="5.5" ry="5.5"/>
</g>
<!-- _A_B -->
<g id="node5" class="node">
<title>_A_B</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="72,-108 16,-108 16,-72 72,-72 72,-108"/>
<text text-anchor="start" x="39.9986" y="-86.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">B</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M28.3333,-73C28.3333,-73 59.6667,-73 59.6667,-73 65.3333,-73 71,-78.6667 71,-84.3333 71,-84.3333 71,-95.6667 71,-95.6667 71,-101.3333 65.3333,-107 59.6667,-107 59.6667,-107 28.3333,-107 28.3333,-107 22.6667,-107 17,-101.3333 17,-95.6667 17,-95.6667 17,-84.3333 17,-84.3333 17,-78.6667 22.6667,-73 28.3333,-73"/>
</g>
<!-- _A_initial&#45;&gt;_A_B -->
<g id="edge2" class="edge">
<title>_A_initial&#45;&gt;_A_B</title>
<path fill="none" stroke="#000000" d="M44,-164.9669C44,-155.4359 44,-135.3065 44,-118.3042"/>
<polygon fill="#000000" stroke="#000000" points="47.5001,-118.2447 44,-108.2447 40.5001,-118.2447 47.5001,-118.2447"/>
<text text-anchor="middle" x="45.3895" y="-139" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _A_B&#45;&gt;_C -->
<g id="edge3" class="edge">
<title>_A_B&#45;&gt;_C</title>
<path fill="none" stroke="#000000" d="M28.2616,-71.9413C22.6159,-63.2108 18.8226,-52.7536 24.177,-44 27.5369,-38.5071 32.4648,-34.1276 37.9484,-30.6502"/>
<polygon fill="#000000" stroke="#000000" points="39.6942,-33.686 46.8773,-25.8979 36.4053,-27.5067 39.6942,-33.686"/>
<text text-anchor="start" x="25" y="-47" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">^out.source_child &#160;&#160;</text>
</g>
</g>
</svg>