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="251pt" height="157pt"
 viewBox="0.00 0.00 250.50 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 246.5,-153 246.5,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>
<!-- _counting -->
<g id="node3" class="node">
<title>_counting</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="80.5,-110 13.5,-110 13.5,-74 80.5,-74 80.5,-110"/>
<text text-anchor="start" x="24.8242" 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="M25.8333,-75C25.8333,-75 68.1667,-75 68.1667,-75 73.8333,-75 79.5,-80.6667 79.5,-86.3333 79.5,-86.3333 79.5,-97.6667 79.5,-97.6667 79.5,-103.3333 73.8333,-109 68.1667,-109 68.1667,-109 25.8333,-109 25.8333,-109 20.1667,-109 14.5,-103.3333 14.5,-97.6667 14.5,-97.6667 14.5,-86.3333 14.5,-86.3333 14.5,-80.6667 20.1667,-75 25.8333,-75"/>
</g>
<!-- __initial&#45;&gt;_counting -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_counting</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>
<!-- _done -->
<g id="node2" class="node">
<title>_done</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="33.6584" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">done</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>
<!-- _counting&#45;&gt;_done -->
<g id="edge4" class="edge">
<title>_counting&#45;&gt;_done</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="start" x="47" 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="M80.597,-94.9971C92.6628,-95.0615 102.5,-94.0625 102.5,-92 102.5,-90.582 97.8504,-89.6667 91.0236,-89.2541"/>
<polygon fill="#000000" stroke="#000000" points="90.6784,-85.7448 80.597,-89.0029 90.5097,-92.7428 90.6784,-85.7448"/>
<text text-anchor="start" x="102.5" 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="M80.8606,-97.4987C103.0366,-98.9891 124.5,-97.1563 124.5,-92 124.5,-87.6293 109.0781,-85.6465 90.8727,-86.0515"/>
<polygon fill="#000000" stroke="#000000" points="90.6934,-82.556 80.8606,-86.5013 91.0076,-89.5489 90.6934,-82.556"/>
<text text-anchor="start" x="124.5" 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>