SCCD/test/test_files/features/after/test_after.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="215pt" height="231pt"
 viewBox="0.00 0.00 214.78 231.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 227)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-227 210.785,-227 210.785,4 -4,4"/>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="101" cy="-217.5" rx="5.5" ry="5.5"/>
</g>
<!-- _s1 -->
<g id="node5" class="node">
<title>_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="129,-184 73,-184 73,-148 129,-148 129,-184"/>
<text text-anchor="start" x="94.6646" y="-162.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M85.3333,-149C85.3333,-149 116.6667,-149 116.6667,-149 122.3333,-149 128,-154.6667 128,-160.3333 128,-160.3333 128,-171.6667 128,-171.6667 128,-177.3333 122.3333,-183 116.6667,-183 116.6667,-183 85.3333,-183 85.3333,-183 79.6667,-183 74,-177.3333 74,-171.6667 74,-171.6667 74,-160.3333 74,-160.3333 74,-154.6667 79.6667,-149 85.3333,-149"/>
</g>
<!-- __initial&#45;&gt;_s1 -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_s1</title>
<path fill="none" stroke="#000000" d="M101,-211.9886C101,-207.6293 101,-201.1793 101,-194.4801"/>
<polygon fill="#000000" stroke="#000000" points="104.5001,-194.0122 101,-184.0122 97.5001,-194.0122 104.5001,-194.0122"/>
<text text-anchor="middle" x="102.3895" y="-195" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _s4 -->
<g id="node2" class="node">
<title>_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="90,-46 0,-46 0,0 90,0 90,-46"/>
<text text-anchor="start" x="38.6646" y="-29.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<text text-anchor="start" x="5.505" y="-9.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_4</text>
<polygon fill="#000000" stroke="#000000" points="0,-23 0,-23 90,-23 90,-23 0,-23"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-1C13,-1 77,-1 77,-1 83,-1 89,-7 89,-13 89,-13 89,-33 89,-33 89,-39 83,-45 77,-45 77,-45 13,-45 13,-45 7,-45 1,-39 1,-33 1,-33 1,-13 1,-13 1,-7 7,-1 13,-1"/>
</g>
<!-- _s3 -->
<g id="node3" class="node">
<title>_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="202,-120 112,-120 112,-74 202,-74 202,-120"/>
<text text-anchor="start" x="150.6646" y="-103.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<text text-anchor="start" x="117.505" y="-83.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_3</text>
<polygon fill="#000000" stroke="#000000" points="112,-97 112,-97 202,-97 202,-97 112,-97"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M125,-75C125,-75 189,-75 189,-75 195,-75 201,-81 201,-87 201,-87 201,-107 201,-107 201,-113 195,-119 189,-119 189,-119 125,-119 125,-119 119,-119 113,-113 113,-107 113,-107 113,-87 113,-87 113,-81 119,-75 125,-75"/>
</g>
<!-- _s2 -->
<g id="node4" class="node">
<title>_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="90,-120 0,-120 0,-74 90,-74 90,-120"/>
<text text-anchor="start" x="38.6646" y="-103.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<text text-anchor="start" x="5.505" y="-83.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_2</text>
<polygon fill="#000000" stroke="#000000" points="0,-97 0,-97 90,-97 90,-97 0,-97"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-75C13,-75 77,-75 77,-75 83,-75 89,-81 89,-87 89,-87 89,-107 89,-107 89,-113 83,-119 77,-119 77,-119 13,-119 13,-119 7,-119 1,-113 1,-107 1,-107 1,-87 1,-87 1,-81 7,-75 13,-75"/>
</g>
<!-- _s2&#45;&gt;_s4 -->
<g id="edge2" class="edge">
<title>_s2&#45;&gt;_s4</title>
<path fill="none" stroke="#000000" d="M45,-73.9916C45,-68.476 45,-62.474 45,-56.5881"/>
<polygon fill="#000000" stroke="#000000" points="48.5001,-56.249 45,-46.2491 41.5001,-56.2491 48.5001,-56.249"/>
<text text-anchor="start" x="45" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(150 ms) &#160;&#160;</text>
</g>
<!-- _s1&#45;&gt;_s3 -->
<g id="edge4" class="edge">
<title>_s1&#45;&gt;_s3</title>
<path fill="none" stroke="#000000" d="M123.6999,-147.7069C126.2816,-145.2327 128.7793,-142.6351 131,-140 133.9251,-136.5291 136.7352,-132.6927 139.3563,-128.783"/>
<polygon fill="#000000" stroke="#000000" points="142.3837,-130.5439 144.7633,-120.2197 136.4649,-126.8065 142.3837,-130.5439"/>
<text text-anchor="start" x="139" y="-131" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(200 ms) &#160;&#160;</text>
</g>
<!-- _s1&#45;&gt;_s2 -->
<g id="edge3" class="edge">
<title>_s1&#45;&gt;_s2</title>
<path fill="none" stroke="#000000" d="M72.9897,-150.2633C69.0317,-147.217 65.2754,-143.7804 62.215,-140 59.6694,-136.8554 57.4594,-133.286 55.5515,-129.5802"/>
<polygon fill="#000000" stroke="#000000" points="58.6673,-127.9725 51.412,-120.2517 52.269,-130.8118 58.6673,-127.9725"/>
<text text-anchor="start" x="63" y="-131" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">after(100 ms) &#160;&#160;</text>
</g>
</g>
</svg>