sccd/test/test_files/features/datamodel/test_guard_action.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="259pt" height="157pt"
 viewBox="0.00 0.00 259.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 255,-153 255,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="55.5" cy="-143.5" rx="5.5" ry="5.5"/>
</g>
<!-- _counting -->
<g id="node3" class="node">
<title>_counting</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="89,-110 22,-110 22,-74 89,-74 89,-110"/>
<text text-anchor="start" x="33.3242" y="-88.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">counting</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M34.3333,-75C34.3333,-75 76.6667,-75 76.6667,-75 82.3333,-75 88,-80.6667 88,-86.3333 88,-86.3333 88,-97.6667 88,-97.6667 88,-103.3333 82.3333,-109 76.6667,-109 76.6667,-109 34.3333,-109 34.3333,-109 28.6667,-109 23,-103.3333 23,-97.6667 23,-97.6667 23,-86.3333 23,-86.3333 23,-80.6667 28.6667,-75 34.3333,-75"/>
</g>
<!-- __initial&#45;&gt;_counting -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_counting</title>
<path fill="none" stroke="#000000" d="M55.5,-137.9886C55.5,-133.6293 55.5,-127.1793 55.5,-120.4801"/>
<polygon fill="#000000" stroke="#000000" points="59.0001,-120.0122 55.5,-110.0122 52.0001,-120.0122 59.0001,-120.0122"/>
<text text-anchor="middle" x="56.8895" y="-121" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _done -->
<g id="node2" class="node">
<title>_done</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="111,-46 0,-46 0,0 111,0 111,-46"/>
<text text-anchor="start" x="42.6584" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">done</text>
<text text-anchor="start" x="6.4982" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.done</text>
<polygon fill="#000000" stroke="#000000" points=".5,-23 .5,-23 111.5,-23 111.5,-23 .5,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 98,-1 98,-1 104,-1 110,-7 110,-13 110,-13 110,-33 110,-33 110,-39 104,-45 98,-45 98,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
</g>
<!-- _counting&#45;&gt;_done -->
<g id="edge4" class="edge">
<title>_counting&#45;&gt;_done</title>
<path fill="none" stroke="#000000" d="M55.5,-73.8711C55.5,-68.4482 55.5,-62.3229 55.5,-56.2494"/>
<polygon fill="#000000" stroke="#000000" points="59.0001,-56.21 55.5,-46.21 52.0001,-56.21 59.0001,-56.21"/>
<text text-anchor="start" x="55.5" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x == 3] &#160;&#160;</text>
</g>
<!-- _counting&#45;&gt;_counting -->
<g id="edge2" class="edge">
<title>_counting&#45;&gt;_counting</title>
<path fill="none" stroke="#000000" d="M89.097,-94.9971C101.1628,-95.0615 111,-94.0625 111,-92 111,-90.582 106.3504,-89.6667 99.5236,-89.2541"/>
<polygon fill="#000000" stroke="#000000" points="99.1784,-85.7448 89.097,-89.0029 99.0097,-92.7428 99.1784,-85.7448"/>
<text text-anchor="start" x="111" y="-89" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e &#160;&#160;</text>
</g>
<!-- _counting&#45;&gt;_counting -->
<g id="edge3" class="edge">
<title>_counting&#45;&gt;_counting</title>
<path fill="none" stroke="#000000" d="M89.3606,-97.4987C111.5366,-98.9891 133,-97.1563 133,-92 133,-87.6293 117.5781,-85.6465 99.3727,-86.0515"/>
<polygon fill="#000000" stroke="#000000" points="99.1934,-82.556 89.3606,-86.5013 99.5076,-89.5489 99.1934,-82.556"/>
<text text-anchor="start" x="133" y="-89" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[x &lt; 3]/x = x + 1 ^out.inc &#160;&#160;</text>
</g>
</g>
</svg>