SCCD/test/test_files/xml_syntax/stateref/test_flat_absolute.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="102pt" height="157pt"
 viewBox="0.00 0.00 102.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 98,-153 98,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="47" cy="-143.5" rx="5.5" ry="5.5"/>
</g>
<!-- _a -->
<g id="node3" class="node">
<title>_a</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="75,-110 19,-110 19,-74 75,-74 75,-110"/>
<text text-anchor="start" x="43.6646" 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="M31.3333,-75C31.3333,-75 62.6667,-75 62.6667,-75 68.3333,-75 74,-80.6667 74,-86.3333 74,-86.3333 74,-97.6667 74,-97.6667 74,-103.3333 68.3333,-109 62.6667,-109 62.6667,-109 31.3333,-109 31.3333,-109 25.6667,-109 20,-103.3333 20,-97.6667 20,-97.6667 20,-86.3333 20,-86.3333 20,-80.6667 25.6667,-75 31.3333,-75"/>
</g>
<!-- __initial&#45;&gt;_a -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_a</title>
<path fill="none" stroke="#000000" d="M47,-137.9886C47,-133.6293 47,-127.1793 47,-120.4801"/>
<polygon fill="#000000" stroke="#000000" points="50.5001,-120.0122 47,-110.0122 43.5001,-120.0122 50.5001,-120.0122"/>
<text text-anchor="middle" x="48.3895" y="-121" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _b -->
<g id="node2" class="node">
<title>_b</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="94,-46 0,-46 0,0 94,0 94,-46"/>
<text text-anchor="start" x="43.6646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
<text text-anchor="start" x="5.8364" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.done</text>
<polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 94,-23 94,-23 0,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 81,-1 81,-1 87,-1 93,-7 93,-13 93,-13 93,-33 93,-33 93,-39 87,-45 81,-45 81,-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;_b -->
<g id="edge2" class="edge">
<title>_a&#45;&gt;_b</title>
<path fill="none" stroke="#000000" d="M47,-73.8711C47,-68.4482 47,-62.3229 47,-56.2494"/>
<polygon fill="#000000" stroke="#000000" points="50.5001,-56.21 47,-46.21 43.5001,-56.21 50.5001,-56.21"/>
<text text-anchor="middle" x="48.3895" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
</g>
</svg>