SCCD/test_files/features/after/test_after_reentry.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="527pt" height="404pt"
 viewBox="0.00 0.00 527.00 404.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 400)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-400 523,-400 523,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 499,-8 499,-8 505,-8 511,-14 511,-20 511,-20 511,-345 511,-345 511,-351 505,-357 499,-357 499,-357 20,-357 20,-357 14,-357 8,-351 8,-345 8,-345 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="256.1646" y="-338.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__p_o1</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="397,-21 397,-319 503,-319 503,-21 397,-21"/>
<text text-anchor="start" x="443.8292" y="-300.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">o1</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__p_o0</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-319 389,-319 389,-16 24,-16"/>
<text text-anchor="start" x="200.3292" y="-300.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">o0</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-390.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,-384.9533C16,-380.7779 16,-374.5043 16,-367.0332"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-366.9971 16,-356.9971 12.5001,-366.9972 19.5001,-366.9971"/>
<text text-anchor="middle" x="17.3895" y="-368" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o1 -->
<!-- _p_o1_initial -->
<g id="node4" class="node">
<title>_p_o1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="433" cy="-275.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_o1_x -->
<g id="node6" class="node">
<title>_p_o1_x</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="461,-188 405,-188 405,-152 461,-152 461,-188"/>
<text text-anchor="start" x="430" y="-166.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">x</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M417.3333,-153C417.3333,-153 448.6667,-153 448.6667,-153 454.3333,-153 460,-158.6667 460,-164.3333 460,-164.3333 460,-175.6667 460,-175.6667 460,-181.3333 454.3333,-187 448.6667,-187 448.6667,-187 417.3333,-187 417.3333,-187 411.6667,-187 406,-181.3333 406,-175.6667 406,-175.6667 406,-164.3333 406,-164.3333 406,-158.6667 411.6667,-153 417.3333,-153"/>
</g>
<!-- _p_o1_initial&#45;&gt;_p_o1_x -->
<g id="edge2" class="edge">
<title>_p_o1_initial&#45;&gt;_p_o1_x</title>
<path fill="none" stroke="#000000" d="M433,-269.8288C433,-265.1736 433,-258.4097 433,-252.5 433,-252.5 433,-252.5 433,-205.5 433,-203.1079 433,-200.6252 433,-198.1342"/>
<polygon fill="#000000" stroke="#000000" points="436.5001,-198.0597 433,-188.0598 429.5001,-198.0598 436.5001,-198.0597"/>
<text text-anchor="middle" x="434.3895" y="-226" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o1_y -->
<g id="node5" class="node">
<title>_p_o1_y</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="461,-65 405,-65 405,-29 461,-29 461,-65"/>
<text text-anchor="start" x="430" y="-43.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">y</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M417.3333,-30C417.3333,-30 448.6667,-30 448.6667,-30 454.3333,-30 460,-35.6667 460,-41.3333 460,-41.3333 460,-52.6667 460,-52.6667 460,-58.3333 454.3333,-64 448.6667,-64 448.6667,-64 417.3333,-64 417.3333,-64 411.6667,-64 406,-58.3333 406,-52.6667 406,-52.6667 406,-41.3333 406,-41.3333 406,-35.6667 411.6667,-30 417.3333,-30"/>
</g>
<!-- _p_o1_x&#45;&gt;_p_o1_y -->
<g id="edge3" class="edge">
<title>_p_o1_x&#45;&gt;_p_o1_y</title>
<path fill="none" stroke="#000000" d="M428.7033,-151.6741C427.7416,-146.1833 427,-140.1255 427,-134.5 427,-134.5 427,-134.5 427,-87.5 427,-83.4573 427.2962,-79.2119 427.7569,-75.0534"/>
<polygon fill="#000000" stroke="#000000" points="431.2353,-75.4511 429.1661,-65.0603 424.3039,-74.4736 431.2353,-75.4511"/>
<text text-anchor="start" x="427" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(250 ms) &#160;&#160;</text>
</g>
<!-- _p_o0 -->
<!-- _p_o0_initial -->
<g id="node8" class="node">
<title>_p_o0_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="101" cy="-275.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_o0_a -->
<g id="node11" class="node">
<title>_p_o0_a</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="129,-188 73,-188 73,-152 129,-152 129,-188"/>
<text text-anchor="start" x="97.6646" y="-166.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M85.3333,-153C85.3333,-153 116.6667,-153 116.6667,-153 122.3333,-153 128,-158.6667 128,-164.3333 128,-164.3333 128,-175.6667 128,-175.6667 128,-181.3333 122.3333,-187 116.6667,-187 116.6667,-187 85.3333,-187 85.3333,-187 79.6667,-187 74,-181.3333 74,-175.6667 74,-175.6667 74,-164.3333 74,-164.3333 74,-158.6667 79.6667,-153 85.3333,-153"/>
</g>
<!-- _p_o0_initial&#45;&gt;_p_o0_a -->
<g id="edge4" class="edge">
<title>_p_o0_initial&#45;&gt;_p_o0_a</title>
<path fill="none" stroke="#000000" d="M101,-269.8288C101,-265.1736 101,-258.4097 101,-252.5 101,-252.5 101,-252.5 101,-205.5 101,-203.1079 101,-200.6252 101,-198.1342"/>
<polygon fill="#000000" stroke="#000000" points="104.5001,-198.0597 101,-188.0598 97.5001,-198.0598 104.5001,-198.0597"/>
<text text-anchor="middle" x="102.3895" y="-226" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o0_c -->
<g id="node9" class="node">
<title>_p_o0_c</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="358,-70 268,-70 268,-24 358,-24 358,-70"/>
<text text-anchor="start" x="310" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">c</text>
<text text-anchor="start" x="273.8404" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_c</text>
<polygon fill="#000000" stroke="#000000" points="268,-47 268,-47 358,-47 358,-47 268,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M281,-25C281,-25 345,-25 345,-25 351,-25 357,-31 357,-37 357,-37 357,-57 357,-57 357,-63 351,-69 345,-69 345,-69 281,-69 281,-69 275,-69 269,-63 269,-57 269,-57 269,-37 269,-37 269,-31 275,-25 281,-25"/>
</g>
<!-- _p_o0_b -->
<g id="node10" class="node">
<title>_p_o0_b</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="134,-70 44,-70 44,-24 134,-24 134,-70"/>
<text text-anchor="start" x="85.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
<text text-anchor="start" x="49.505" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_b</text>
<polygon fill="#000000" stroke="#000000" points="44,-47 44,-47 134,-47 134,-47 44,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M57,-25C57,-25 121,-25 121,-25 127,-25 133,-31 133,-37 133,-37 133,-57 133,-57 133,-63 127,-69 121,-69 121,-69 57,-69 57,-69 51,-69 45,-63 45,-57 45,-57 45,-37 45,-37 45,-31 51,-25 57,-25"/>
</g>
<!-- _p_o0_b&#45;&gt;_p_o0_a -->
<g id="edge5" class="edge">
<title>_p_o0_b&#45;&gt;_p_o0_a</title>
<path fill="none" stroke="#000000" d="M60.0965,-70.2213C56.4695,-75.361 54,-81.1807 54,-87.5 54,-134.5 54,-134.5 54,-134.5 54,-142.4809 58.3685,-148.8951 64.4418,-153.9561"/>
<polygon fill="#000000" stroke="#000000" points="62.6059,-156.94 72.8459,-159.659 66.5365,-151.1477 62.6059,-156.94"/>
<text text-anchor="middle" x="55.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o0_a&#45;&gt;_p_o0_c -->
<g id="edge7" class="edge">
<title>_p_o0_a&#45;&gt;_p_o0_c</title>
<path fill="none" stroke="#000000" d="M129.152,-168.1724C186.8201,-164.0503 313,-152.9258 313,-134.5 313,-134.5 313,-134.5 313,-87.5 313,-85.127 313,-82.6757 313,-80.2081"/>
<polygon fill="#000000" stroke="#000000" points="316.5001,-80.1306 313,-70.1306 309.5001,-80.1306 316.5001,-80.1306"/>
<text text-anchor="start" x="313" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(150 ms) &#160;&#160;</text>
</g>
<!-- _p_o0_a&#45;&gt;_p_o0_b -->
<g id="edge6" class="edge">
<title>_p_o0_a&#45;&gt;_p_o0_b</title>
<path fill="none" stroke="#000000" d="M101,-151.9402C101,-146.3497 101,-140.1701 101,-134.5 101,-134.5 101,-134.5 101,-87.5 101,-85.0869 100.8017,-82.6249 100.4562,-80.1666"/>
<polygon fill="#000000" stroke="#000000" points="103.8432,-79.267 98.3368,-70.2155 96.9967,-80.7252 103.8432,-79.267"/>
<text text-anchor="start" x="101" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms) [INSTATE([&quot;/p/o1/x&quot;])] &#160;&#160;</text>
</g>
</g>
</svg>