1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- <?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="194pt" height="157pt"
- viewBox="0.00 0.00 194.11 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 190.109,-153 190.109,4 -4,4"/>
- <!-- __initial -->
- <g id="node1" class="node">
- <title>__initial</title>
- <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="40" cy="-143.5" rx="5.5" ry="5.5"/>
- </g>
- <!-- _s1 -->
- <g id="node3" class="node">
- <title>_s1</title>
- <polygon fill="transparent" stroke="transparent" stroke-width="2" points="68,-110 12,-110 12,-74 68,-74 68,-110"/>
- <text text-anchor="start" x="33.6646" y="-88.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
- <path fill="none" stroke="#000000" stroke-width="2" d="M24.3333,-75C24.3333,-75 55.6667,-75 55.6667,-75 61.3333,-75 67,-80.6667 67,-86.3333 67,-86.3333 67,-97.6667 67,-97.6667 67,-103.3333 61.3333,-109 55.6667,-109 55.6667,-109 24.3333,-109 24.3333,-109 18.6667,-109 13,-103.3333 13,-97.6667 13,-97.6667 13,-86.3333 13,-86.3333 13,-80.6667 18.6667,-75 24.3333,-75"/>
- </g>
- <!-- __initial->_s1 -->
- <g id="edge1" class="edge">
- <title>__initial->_s1</title>
- <path fill="none" stroke="#000000" d="M40,-137.9886C40,-133.6293 40,-127.1793 40,-120.4801"/>
- <polygon fill="#000000" stroke="#000000" points="43.5001,-120.0122 40,-110.0122 36.5001,-120.0122 43.5001,-120.0122"/>
- <text text-anchor="middle" x="41.3895" y="-121" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
- </g>
- <!-- _s2 -->
- <g id="node2" class="node">
- <title>_s2</title>
- <polygon fill="transparent" stroke="transparent" stroke-width="2" points="80,-46 0,-46 0,0 80,0 80,-46"/>
- <text text-anchor="start" x="33.6646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
- <text text-anchor="start" x="5.5072" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.ok</text>
- <polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 80,-23 80,-23 0,-23"/>
- <path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 67,-1 67,-1 73,-1 79,-7 79,-13 79,-13 79,-33 79,-33 79,-39 73,-45 67,-45 67,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
- </g>
- <!-- _s1->_s2 -->
- <g id="edge3" class="edge">
- <title>_s1->_s2</title>
- <path fill="none" stroke="#000000" d="M40,-73.8711C40,-68.4482 40,-62.3229 40,-56.2494"/>
- <polygon fill="#000000" stroke="#000000" points="43.5001,-56.21 40,-46.21 36.5001,-56.21 43.5001,-56.21"/>
- <text text-anchor="start" x="40" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">start(x:int) [x == 42]   </text>
- </g>
- <!-- _s1->_s1 -->
- <g id="edge2" class="edge">
- <title>_s1->_s1</title>
- <path fill="none" stroke="#000000" d="M68.0183,-97.9381C79.888,-98.3856 90,-96.4063 90,-92 90,-88.9707 85.2205,-87.0885 78.3762,-86.3533"/>
- <polygon fill="#000000" stroke="#000000" points="78.1128,-82.8446 68.0183,-86.0619 77.9158,-89.8419 78.1128,-82.8446"/>
- <text text-anchor="start" x="90" y="-89" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">start(x:int) [inc_x(x)]   </text>
- </g>
- </g>
- </svg>
|