SCCD/test_files/semantics/big_step_maximality/statechart_ortho.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="268pt" height="532pt"
 viewBox="0.00 0.00 268.00 532.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 528)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-528 264,-528 264,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 240,-8 240,-8 246,-8 252,-14 252,-20 252,-20 252,-473 252,-473 252,-479 246,-485 240,-485 240,-485 20,-485 20,-485 14,-485 8,-479 8,-473 8,-473 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="126.6646" y="-466.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="138,-16 138,-447 244,-447 244,-16 138,-16"/>
<text text-anchor="start" x="184.8292" y="-428.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,-447 130,-447 130,-16 24,-16"/>
<text text-anchor="start" x="70.8292" y="-428.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="-518.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,-512.9533C16,-508.7779 16,-502.5043 16,-495.0332"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-494.9971 16,-484.9971 12.5001,-494.9972 19.5001,-494.9971"/>
<text text-anchor="middle" x="17.3895" y="-496" 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="191" cy="-403.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_o1_d -->
<g id="node7" class="node">
<title>_p_o1_d</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="219,-316 163,-316 163,-280 219,-280 219,-316"/>
<text text-anchor="start" x="187.6646" y="-294.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">d</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M175.3333,-281C175.3333,-281 206.6667,-281 206.6667,-281 212.3333,-281 218,-286.6667 218,-292.3333 218,-292.3333 218,-303.6667 218,-303.6667 218,-309.3333 212.3333,-315 206.6667,-315 206.6667,-315 175.3333,-315 175.3333,-315 169.6667,-315 164,-309.3333 164,-303.6667 164,-303.6667 164,-292.3333 164,-292.3333 164,-286.6667 169.6667,-281 175.3333,-281"/>
</g>
<!-- _p_o1_initial&#45;&gt;_p_o1_d -->
<g id="edge2" class="edge">
<title>_p_o1_initial&#45;&gt;_p_o1_d</title>
<path fill="none" stroke="#000000" d="M191,-397.8288C191,-393.1736 191,-386.4097 191,-380.5 191,-380.5 191,-380.5 191,-333.5 191,-331.1079 191,-328.6252 191,-326.1342"/>
<polygon fill="#000000" stroke="#000000" points="194.5001,-326.0597 191,-316.0598 187.5001,-326.0598 194.5001,-326.0597"/>
<text text-anchor="middle" x="192.3895" y="-354" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o1_f -->
<g id="node5" class="node">
<title>_p_o1_f</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="234.5,-70 147.5,-70 147.5,-24 234.5,-24 234.5,-70"/>
<text text-anchor="start" x="189.8326" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">f</text>
<text text-anchor="start" x="153.673" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_f</text>
<polygon fill="#000000" stroke="#000000" points="148,-47 148,-47 235,-47 235,-47 148,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M160.5,-25C160.5,-25 221.5,-25 221.5,-25 227.5,-25 233.5,-31 233.5,-37 233.5,-37 233.5,-57 233.5,-57 233.5,-63 227.5,-69 221.5,-69 221.5,-69 160.5,-69 160.5,-69 154.5,-69 148.5,-63 148.5,-57 148.5,-57 148.5,-37 148.5,-37 148.5,-31 154.5,-25 160.5,-25"/>
</g>
<!-- _p_o1_e -->
<g id="node6" class="node">
<title>_p_o1_e</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="236,-198 146,-198 146,-152 236,-152 236,-198"/>
<text text-anchor="start" x="187.6646" y="-181.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">e</text>
<text text-anchor="start" x="151.505" y="-161.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_e</text>
<polygon fill="#000000" stroke="#000000" points="146,-175 146,-175 236,-175 236,-175 146,-175"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M159,-153C159,-153 223,-153 223,-153 229,-153 235,-159 235,-165 235,-165 235,-185 235,-185 235,-191 229,-197 223,-197 223,-197 159,-197 159,-197 153,-197 147,-191 147,-185 147,-185 147,-165 147,-165 147,-159 153,-153 159,-153"/>
</g>
<!-- _p_o1_e&#45;&gt;_p_o1_f -->
<g id="edge3" class="edge">
<title>_p_o1_e&#45;&gt;_p_o1_f</title>
<path fill="none" stroke="#000000" d="M191,-151.8694C191,-146.1895 191,-140.125 191,-134.5 191,-134.5 191,-134.5 191,-87.5 191,-85.127 191,-82.6757 191,-80.2081"/>
<polygon fill="#000000" stroke="#000000" points="194.5001,-80.1306 191,-70.1306 187.5001,-80.1306 194.5001,-80.1306"/>
<text text-anchor="middle" x="192.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o1_d&#45;&gt;_p_o1_e -->
<g id="edge4" class="edge">
<title>_p_o1_d&#45;&gt;_p_o1_e</title>
<path fill="none" stroke="#000000" d="M191,-279.9402C191,-274.3497 191,-268.1701 191,-262.5 191,-262.5 191,-262.5 191,-215.5 191,-213.127 191,-210.6757 191,-208.2081"/>
<polygon fill="#000000" stroke="#000000" points="194.5001,-208.1306 191,-198.1306 187.5001,-208.1306 194.5001,-208.1306"/>
<text text-anchor="middle" x="192.3895" y="-236" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o0 -->
<!-- _p_o0_initial -->
<g id="node9" class="node">
<title>_p_o0_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="77" cy="-403.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_o0_a -->
<g id="node12" class="node">
<title>_p_o0_a</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="105,-316 49,-316 49,-280 105,-280 105,-316"/>
<text text-anchor="start" x="73.6646" y="-294.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M61.3333,-281C61.3333,-281 92.6667,-281 92.6667,-281 98.3333,-281 104,-286.6667 104,-292.3333 104,-292.3333 104,-303.6667 104,-303.6667 104,-309.3333 98.3333,-315 92.6667,-315 92.6667,-315 61.3333,-315 61.3333,-315 55.6667,-315 50,-309.3333 50,-303.6667 50,-303.6667 50,-292.3333 50,-292.3333 50,-286.6667 55.6667,-281 61.3333,-281"/>
</g>
<!-- _p_o0_initial&#45;&gt;_p_o0_a -->
<g id="edge5" class="edge">
<title>_p_o0_initial&#45;&gt;_p_o0_a</title>
<path fill="none" stroke="#000000" d="M77,-397.8288C77,-393.1736 77,-386.4097 77,-380.5 77,-380.5 77,-380.5 77,-333.5 77,-331.1079 77,-328.6252 77,-326.1342"/>
<polygon fill="#000000" stroke="#000000" points="80.5001,-326.0597 77,-316.0598 73.5001,-326.0598 80.5001,-326.0597"/>
<text text-anchor="middle" x="78.3895" y="-354" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o0_c -->
<g id="node10" class="node">
<title>_p_o0_c</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="122,-70 32,-70 32,-24 122,-24 122,-70"/>
<text text-anchor="start" x="74" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">c</text>
<text text-anchor="start" x="37.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="32,-47 32,-47 122,-47 122,-47 32,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M45,-25C45,-25 109,-25 109,-25 115,-25 121,-31 121,-37 121,-37 121,-57 121,-57 121,-63 115,-69 109,-69 109,-69 45,-69 45,-69 39,-69 33,-63 33,-57 33,-57 33,-37 33,-37 33,-31 39,-25 45,-25"/>
</g>
<!-- _p_o0_b -->
<g id="node11" class="node">
<title>_p_o0_b</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="122,-198 32,-198 32,-152 122,-152 122,-198"/>
<text text-anchor="start" x="73.6646" y="-181.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
<text text-anchor="start" x="37.505" y="-161.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_b</text>
<polygon fill="#000000" stroke="#000000" points="32,-175 32,-175 122,-175 122,-175 32,-175"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M45,-153C45,-153 109,-153 109,-153 115,-153 121,-159 121,-165 121,-165 121,-185 121,-185 121,-191 115,-197 109,-197 109,-197 45,-197 45,-197 39,-197 33,-191 33,-185 33,-185 33,-165 33,-165 33,-159 39,-153 45,-153"/>
</g>
<!-- _p_o0_b&#45;&gt;_p_o0_c -->
<g id="edge6" class="edge">
<title>_p_o0_b&#45;&gt;_p_o0_c</title>
<path fill="none" stroke="#000000" d="M77,-151.8694C77,-146.1895 77,-140.125 77,-134.5 77,-134.5 77,-134.5 77,-87.5 77,-85.127 77,-82.6757 77,-80.2081"/>
<polygon fill="#000000" stroke="#000000" points="80.5001,-80.1306 77,-70.1306 73.5001,-80.1306 80.5001,-80.1306"/>
<text text-anchor="middle" x="78.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o0_a&#45;&gt;_p_o0_b -->
<g id="edge7" class="edge">
<title>_p_o0_a&#45;&gt;_p_o0_b</title>
<path fill="none" stroke="#000000" d="M77,-279.9402C77,-274.3497 77,-268.1701 77,-262.5 77,-262.5 77,-262.5 77,-215.5 77,-213.127 77,-210.6757 77,-208.2081"/>
<polygon fill="#000000" stroke="#000000" points="80.5001,-208.1306 77,-198.1306 73.5001,-208.1306 80.5001,-208.1306"/>
<text text-anchor="middle" x="78.3895" y="-236" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
</g>
</svg>