SCCD/test_files/day_atlee/statechart_fig7_dialer.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="250pt" height="83pt"
 viewBox="0.00 0.00 250.47 83.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 79)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-79 246.471,-79 246.471,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="28" cy="-69.5" rx="5.5" ry="5.5"/>
</g>
<!-- _D -->
<g id="node2" class="node">
<title>_D</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="56,-36 0,-36 0,0 56,0 56,-36"/>
<text text-anchor="start" x="23.6686" y="-14.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">D</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M12.3333,-1C12.3333,-1 43.6667,-1 43.6667,-1 49.3333,-1 55,-6.6667 55,-12.3333 55,-12.3333 55,-23.6667 55,-23.6667 55,-29.3333 49.3333,-35 43.6667,-35 43.6667,-35 12.3333,-35 12.3333,-35 6.6667,-35 1,-29.3333 1,-23.6667 1,-23.6667 1,-12.3333 1,-12.3333 1,-6.6667 6.6667,-1 12.3333,-1"/>
</g>
<!-- __initial&#45;&gt;_D -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_D</title>
<path fill="none" stroke="#000000" d="M28,-63.9886C28,-59.6293 28,-53.1793 28,-46.4801"/>
<polygon fill="#000000" stroke="#000000" points="31.5001,-46.0122 28,-36.0122 24.5001,-46.0122 31.5001,-46.0122"/>
<text text-anchor="middle" x="29.3895" y="-47" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _D&#45;&gt;_D -->
<g id="edge2" class="edge">
<title>_D&#45;&gt;_D</title>
<path fill="none" stroke="#000000" d="M56.0183,-23.9381C67.888,-24.3856 78,-22.4063 78,-18 78,-14.9707 73.2205,-13.0885 66.3762,-12.3533"/>
<polygon fill="#000000" stroke="#000000" points="66.1128,-8.8446 56.0183,-12.0619 65.9158,-15.8419 66.1128,-8.8446"/>
<text text-anchor="start" x="78" y="-15" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">dial(d:int) [c &lt; 10]/c = c + 1 ^out.out &#160;&#160;</text>
</g>
</g>
</svg>