SCCD/test/test_files/semantics/memory_protocol/statechart_enabledness.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="499pt" height="412pt"
 viewBox="0.00 0.00 499.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 495,-408 495,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 471,-8 471,-8 477,-8 483,-14 483,-20 483,-20 483,-353 483,-353 483,-359 477,-365 471,-365 471,-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="242.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="349,-16 349,-327 475,-327 475,-16 349,-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 341,-327 341,-152 24,-152"/>
<text text-anchor="start" x="156.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&#45;&gt;_p -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_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&#45;&gt;_p_status_counting -->
<g id="edge2" class="edge">
<title>_p_status_initial&#45;&gt;_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="467.5,-70 356.5,-70 356.5,-24 467.5,-24 467.5,-70"/>
<text text-anchor="start" x="399.1584" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">done</text>
<text text-anchor="start" x="362.9982" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^out.done</text>
<polygon fill="#000000" stroke="#000000" points="357,-47 357,-47 468,-47 468,-47 357,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M369.5,-25C369.5,-25 454.5,-25 454.5,-25 460.5,-25 466.5,-31 466.5,-37 466.5,-37 466.5,-57 466.5,-57 466.5,-63 460.5,-69 454.5,-69 454.5,-69 369.5,-69 369.5,-69 363.5,-69 357.5,-63 357.5,-57 357.5,-57 357.5,-37 357.5,-37 357.5,-31 363.5,-25 369.5,-25"/>
</g>
<!-- _p_status_counting&#45;&gt;_p_status_done -->
<g id="edge3" class="edge">
<title>_p_status_counting&#45;&gt;_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] &#160;&#160;</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&#45;&gt;_p_increment_a -->
<g id="edge4" class="edge">
<title>_p_increment_initial&#45;&gt;_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&#45;&gt;_p_increment_a -->
<g id="edge5" class="edge">
<title>_p_increment_a&#45;&gt;_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([&quot;/p/status/done&quot;])]^out.inc /i += 1 &#160;&#160;</text>
</g>
</g>
</svg>