123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105 |
- <?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="491pt" height="412pt"
- viewBox="0.00 0.00 491.00 412.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 408)">
- <title>state transitions</title>
- <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-408 487,-408 487,4 -4,4"/>
- <g id="clust1" class="cluster">
- <title>cluster__p</title>
- <path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 463,-8 463,-8 469,-8 475,-14 475,-20 475,-20 475,-353 475,-353 475,-359 469,-365 463,-365 463,-365 20,-365 20,-365 14,-365 8,-359 8,-353 8,-353 8,-20 8,-20 8,-14 14,-8 20,-8"/>
- <text text-anchor="start" x="238.1646" y="-346.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
- </g>
- <g id="clust2" class="cluster">
- <title>cluster__p_status</title>
- <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="357,-16 357,-327 467,-327 467,-16 357,-16"/>
- <text text-anchor="start" x="395.9944" y="-308.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">status</text>
- </g>
- <g id="clust3" class="cluster">
- <title>cluster__p_increment</title>
- <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-152 24,-327 349,-327 349,-152 24,-152"/>
- <text text-anchor="start" x="160.1648" y="-308.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">increment</text>
- </g>
- <!-- __initial -->
- <g id="node1" class="node">
- <title>__initial</title>
- <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-398.5" rx="5.5" ry="5.5"/>
- </g>
- <!-- _p -->
- <!-- __initial->_p -->
- <g id="edge1" class="edge">
- <title>__initial->_p</title>
- <path fill="none" stroke="#000000" d="M16,-392.9533C16,-388.7779 16,-382.5043 16,-375.0332"/>
- <polygon fill="#000000" stroke="#000000" points="19.5001,-374.9971 16,-364.9971 12.5001,-374.9972 19.5001,-374.9971"/>
- <text text-anchor="middle" x="17.3895" y="-376" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
- </g>
- <!-- _p_status -->
- <!-- _p_status_initial -->
- <g id="node4" class="node">
- <title>_p_status_initial</title>
- <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="412" cy="-283.5" rx="5.5" ry="5.5"/>
- </g>
- <!-- _p_status_counting -->
- <g id="node6" class="node">
- <title>_p_status_counting</title>
- <polygon fill="transparent" stroke="transparent" stroke-width="2" points="445.5,-196 378.5,-196 378.5,-160 445.5,-160 445.5,-196"/>
- <text text-anchor="start" x="389.8242" y="-174.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">counting</text>
- <path fill="none" stroke="#000000" stroke-width="2" d="M390.8333,-161C390.8333,-161 433.1667,-161 433.1667,-161 438.8333,-161 444.5,-166.6667 444.5,-172.3333 444.5,-172.3333 444.5,-183.6667 444.5,-183.6667 444.5,-189.3333 438.8333,-195 433.1667,-195 433.1667,-195 390.8333,-195 390.8333,-195 385.1667,-195 379.5,-189.3333 379.5,-183.6667 379.5,-183.6667 379.5,-172.3333 379.5,-172.3333 379.5,-166.6667 385.1667,-161 390.8333,-161"/>
- </g>
- <!-- _p_status_initial->_p_status_counting -->
- <g id="edge2" class="edge">
- <title>_p_status_initial->_p_status_counting</title>
- <path fill="none" stroke="#000000" d="M412,-277.8288C412,-273.1736 412,-266.4097 412,-260.5 412,-260.5 412,-260.5 412,-213.5 412,-211.1079 412,-208.6252 412,-206.1342"/>
- <polygon fill="#000000" stroke="#000000" points="415.5001,-206.0597 412,-196.0598 408.5001,-206.0598 415.5001,-206.0597"/>
- <text text-anchor="middle" x="413.3895" y="-234" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
- </g>
- <!-- _p_status_done -->
- <g id="node5" class="node">
- <title>_p_status_done</title>
- <polygon fill="transparent" stroke="transparent" stroke-width="2" points="459,-70 365,-70 365,-24 459,-24 459,-70"/>
- <text text-anchor="start" x="398.6584" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">done</text>
- <text text-anchor="start" x="370.8364" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.done</text>
- <polygon fill="#000000" stroke="#000000" points="365,-47 365,-47 459,-47 459,-47 365,-47"/>
- <path fill="none" stroke="#000000" stroke-width="2" d="M378,-25C378,-25 446,-25 446,-25 452,-25 458,-31 458,-37 458,-37 458,-57 458,-57 458,-63 452,-69 446,-69 446,-69 378,-69 378,-69 372,-69 366,-63 366,-57 366,-57 366,-37 366,-37 366,-31 372,-25 378,-25"/>
- </g>
- <!-- _p_status_counting->_p_status_done -->
- <g id="edge3" class="edge">
- <title>_p_status_counting->_p_status_done</title>
- <path fill="none" stroke="#000000" d="M412,-159.7983C412,-152.007 412,-142.8073 412,-134.5 412,-134.5 412,-134.5 412,-87.5 412,-85.127 412,-82.6757 412,-80.2081"/>
- <polygon fill="#000000" stroke="#000000" points="415.5001,-80.1306 412,-70.1306 408.5001,-80.1306 415.5001,-80.1306"/>
- <text text-anchor="start" x="412" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[i == 2]   </text>
- </g>
- <!-- _p_increment -->
- <!-- _p_increment_initial -->
- <g id="node8" class="node">
- <title>_p_increment_initial</title>
- <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="60" cy="-283.5" rx="5.5" ry="5.5"/>
- </g>
- <!-- _p_increment_a -->
- <g id="node9" class="node">
- <title>_p_increment_a</title>
- <polygon fill="transparent" stroke="transparent" stroke-width="2" points="88,-196 32,-196 32,-160 88,-160 88,-196"/>
- <text text-anchor="start" x="56.6646" y="-174.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
- <path fill="none" stroke="#000000" stroke-width="2" d="M44.3333,-161C44.3333,-161 75.6667,-161 75.6667,-161 81.3333,-161 87,-166.6667 87,-172.3333 87,-172.3333 87,-183.6667 87,-183.6667 87,-189.3333 81.3333,-195 75.6667,-195 75.6667,-195 44.3333,-195 44.3333,-195 38.6667,-195 33,-189.3333 33,-183.6667 33,-183.6667 33,-172.3333 33,-172.3333 33,-166.6667 38.6667,-161 44.3333,-161"/>
- </g>
- <!-- _p_increment_initial->_p_increment_a -->
- <g id="edge4" class="edge">
- <title>_p_increment_initial->_p_increment_a</title>
- <path fill="none" stroke="#000000" d="M60,-277.8288C60,-273.1736 60,-266.4097 60,-260.5 60,-260.5 60,-260.5 60,-213.5 60,-211.1079 60,-208.6252 60,-206.1342"/>
- <polygon fill="#000000" stroke="#000000" points="63.5001,-206.0597 60,-196.0598 56.5001,-206.0598 63.5001,-206.0597"/>
- <text text-anchor="middle" x="61.3895" y="-234" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
- </g>
- <!-- _p_increment_a->_p_increment_a -->
- <g id="edge5" class="edge">
- <title>_p_increment_a->_p_increment_a</title>
- <path fill="none" stroke="#000000" d="M88.0183,-182.8247C99.888,-183.1883 110,-181.5801 110,-178 110,-175.5387 105.2205,-174.0094 98.3762,-173.4121"/>
- <polygon fill="#000000" stroke="#000000" points="98.0957,-169.9049 88.0183,-173.1753 97.9356,-176.903 98.0957,-169.9049"/>
- <text text-anchor="start" x="110" y="-175" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e [not INSTATE(["/p/status/done"])]^out.inc /i = i + 1   </text>
- </g>
- </g>
- </svg>
|