SCCD/test_files/semantics/priority/statechart_flat.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="214pt" height="157pt"
 viewBox="0.00 0.00 214.00 157.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 153)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-153 210,-153 210,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="103" cy="-143.5" rx="5.5" ry="5.5"/>
</g>
<!-- _A -->
<g id="node4" class="node">
<title>_A</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="131,-110 75,-110 75,-74 131,-74 131,-110"/>
<text text-anchor="start" x="98.9986" y="-88.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">A</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M87.3333,-75C87.3333,-75 118.6667,-75 118.6667,-75 124.3333,-75 130,-80.6667 130,-86.3333 130,-86.3333 130,-97.6667 130,-97.6667 130,-103.3333 124.3333,-109 118.6667,-109 118.6667,-109 87.3333,-109 87.3333,-109 81.6667,-109 76,-103.3333 76,-97.6667 76,-97.6667 76,-86.3333 76,-86.3333 76,-80.6667 81.6667,-75 87.3333,-75"/>
</g>
<!-- __initial&#45;&gt;_A -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_A</title>
<path fill="none" stroke="#000000" d="M103,-137.9886C103,-133.6293 103,-127.1793 103,-120.4801"/>
<polygon fill="#000000" stroke="#000000" points="106.5001,-120.0122 103,-110.0122 99.5001,-120.0122 106.5001,-120.0122"/>
<text text-anchor="middle" x="104.3895" y="-121" 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="206,-46 114,-46 114,0 206,0 206,-46"/>
<text text-anchor="start" x="155.6686" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">C</text>
<text text-anchor="start" x="119.509" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_C</text>
<polygon fill="#000000" stroke="#000000" points="114,-23 114,-23 206,-23 206,-23 114,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M127,-1C127,-1 193,-1 193,-1 199,-1 205,-7 205,-13 205,-13 205,-33 205,-33 205,-39 199,-45 193,-45 193,-45 127,-45 127,-45 121,-45 115,-39 115,-33 115,-33 115,-13 115,-13 115,-7 121,-1 127,-1"/>
</g>
<!-- _B -->
<g id="node3" class="node">
<title>_B</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="92,-46 0,-46 0,0 92,0 92,-46"/>
<text text-anchor="start" x="41.9986" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">B</text>
<text text-anchor="start" x="5.839" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_B</text>
<polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 92,-23 92,-23 0,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 79,-1 79,-1 85,-1 91,-7 91,-13 91,-13 91,-33 91,-33 91,-39 85,-45 79,-45 79,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
</g>
<!-- _A&#45;&gt;_C -->
<g id="edge3" class="edge">
<title>_A&#45;&gt;_C</title>
<path fill="none" stroke="#000000" d="M117.9761,-73.8711C123.0021,-67.7869 128.7586,-60.8185 134.3657,-54.031"/>
<polygon fill="#000000" stroke="#000000" points="137.1561,-56.1487 140.8265,-46.21 131.7593,-51.6905 137.1561,-56.1487"/>
<text text-anchor="middle" x="134.3895" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _A&#45;&gt;_B -->
<g id="edge2" class="edge">
<title>_A&#45;&gt;_B</title>
<path fill="none" stroke="#000000" d="M88.0239,-73.8711C82.9979,-67.7869 77.2414,-60.8185 71.6343,-54.031"/>
<polygon fill="#000000" stroke="#000000" points="74.2407,-51.6905 65.1735,-46.21 68.8439,-56.1487 74.2407,-51.6905"/>
<text text-anchor="middle" x="82.3895" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
</g>
</svg>