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="507pt" height="412pt"
 viewBox="0.00 0.00 507.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 503,-408 503,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 479,-8 479,-8 485,-8 491,-14 491,-20 491,-20 491,-353 491,-353 491,-359 485,-365 479,-365 479,-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="246.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 483,-327 483,-16 357,-16"/>
<text text-anchor="start" x="403.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&#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="420" 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="453.5,-196 386.5,-196 386.5,-160 453.5,-160 453.5,-196"/>
<text text-anchor="start" x="397.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="M398.8333,-161C398.8333,-161 441.1667,-161 441.1667,-161 446.8333,-161 452.5,-166.6667 452.5,-172.3333 452.5,-172.3333 452.5,-183.6667 452.5,-183.6667 452.5,-189.3333 446.8333,-195 441.1667,-195 441.1667,-195 398.8333,-195 398.8333,-195 393.1667,-195 387.5,-189.3333 387.5,-183.6667 387.5,-183.6667 387.5,-172.3333 387.5,-172.3333 387.5,-166.6667 393.1667,-161 398.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="M420,-277.8288C420,-273.1736 420,-266.4097 420,-260.5 420,-260.5 420,-260.5 420,-213.5 420,-211.1079 420,-208.6252 420,-206.1342"/>
<polygon fill="#000000" stroke="#000000" points="423.5001,-206.0597 420,-196.0598 416.5001,-206.0598 423.5001,-206.0597"/>
<text text-anchor="middle" x="421.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="475.5,-70 364.5,-70 364.5,-24 475.5,-24 475.5,-70"/>
<text text-anchor="start" x="407.1584" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">done</text>
<text text-anchor="start" x="370.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="365,-47 365,-47 476,-47 476,-47 365,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M377.5,-25C377.5,-25 462.5,-25 462.5,-25 468.5,-25 474.5,-31 474.5,-37 474.5,-37 474.5,-57 474.5,-57 474.5,-63 468.5,-69 462.5,-69 462.5,-69 377.5,-69 377.5,-69 371.5,-69 365.5,-63 365.5,-57 365.5,-57 365.5,-37 365.5,-37 365.5,-31 371.5,-25 377.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="M420,-159.7983C420,-152.007 420,-142.8073 420,-134.5 420,-134.5 420,-134.5 420,-87.5 420,-85.127 420,-82.6757 420,-80.2081"/>
<polygon fill="#000000" stroke="#000000" points="423.5001,-80.1306 420,-70.1306 416.5001,-80.1306 423.5001,-80.1306"/>
<text text-anchor="start" x="420" 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 = i + 1 &#160;&#160;</text>
</g>
</g>
</svg>