SCCD/test/test_files/semantics/event_lifeline/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="540pt"
 viewBox="0.00 0.00 268.00 540.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 536)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-536 264,-536 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,-481 252,-481 252,-487 246,-493 240,-493 240,-493 20,-493 20,-493 14,-493 8,-487 8,-481 8,-481 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="126.6646" y="-474.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,-152 138,-455 244,-455 244,-152 138,-152"/>
<text text-anchor="start" x="184.8292" y="-436.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,-455 130,-455 130,-16 24,-16"/>
<text text-anchor="start" x="70.8292" y="-436.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="-526.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,-520.9533C16,-516.7779 16,-510.5043 16,-503.0332"/>
<polygon fill="#000000" stroke="#000000" points="19.5001,-502.9971 16,-492.9971 12.5001,-502.9972 19.5001,-502.9971"/>
<text text-anchor="middle" x="17.3895" y="-504" 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="-411.5" rx="5.5" ry="5.5"/>
</g>
<!-- _p_o1_d -->
<g id="node6" class="node">
<title>_p_o1_d</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="219,-324 163,-324 163,-288 219,-288 219,-324"/>
<text text-anchor="start" x="187.6646" y="-302.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,-289C175.3333,-289 206.6667,-289 206.6667,-289 212.3333,-289 218,-294.6667 218,-300.3333 218,-300.3333 218,-311.6667 218,-311.6667 218,-317.3333 212.3333,-323 206.6667,-323 206.6667,-323 175.3333,-323 175.3333,-323 169.6667,-323 164,-317.3333 164,-311.6667 164,-311.6667 164,-300.3333 164,-300.3333 164,-294.6667 169.6667,-289 175.3333,-289"/>
</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,-405.8288C191,-401.1736 191,-394.4097 191,-388.5 191,-388.5 191,-388.5 191,-341.5 191,-339.1079 191,-336.6252 191,-334.1342"/>
<polygon fill="#000000" stroke="#000000" points="194.5001,-334.0597 191,-324.0598 187.5001,-334.0598 194.5001,-334.0597"/>
<text text-anchor="middle" x="192.3895" y="-362" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_o1_e -->
<g id="node5" class="node">
<title>_p_o1_e</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="236,-206 146,-206 146,-160 236,-160 236,-206"/>
<text text-anchor="start" x="187.6646" y="-189.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">e</text>
<text text-anchor="start" x="151.505" y="-169.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_e</text>
<polygon fill="#000000" stroke="#000000" points="146,-183 146,-183 236,-183 236,-183 146,-183"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M159,-161C159,-161 223,-161 223,-161 229,-161 235,-167 235,-173 235,-173 235,-193 235,-193 235,-199 229,-205 223,-205 223,-205 159,-205 159,-205 153,-205 147,-199 147,-193 147,-193 147,-173 147,-173 147,-167 153,-161 159,-161"/>
</g>
<!-- _p_o1_d&#45;&gt;_p_o1_e -->
<g id="edge3" class="edge">
<title>_p_o1_d&#45;&gt;_p_o1_e</title>
<path fill="none" stroke="#000000" d="M191,-287.9402C191,-282.3497 191,-276.1701 191,-270.5 191,-270.5 191,-270.5 191,-223.5 191,-221.127 191,-218.6757 191,-216.2081"/>
<polygon fill="#000000" stroke="#000000" points="194.5001,-216.1306 191,-206.1306 187.5001,-216.1306 194.5001,-216.1306"/>
<text text-anchor="start" x="191" y="-244" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">f &#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="77" cy="-411.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="105,-324 49,-324 49,-288 105,-288 105,-324"/>
<text text-anchor="start" x="73.6646" y="-302.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,-289C61.3333,-289 92.6667,-289 92.6667,-289 98.3333,-289 104,-294.6667 104,-300.3333 104,-300.3333 104,-311.6667 104,-311.6667 104,-317.3333 98.3333,-323 92.6667,-323 92.6667,-323 61.3333,-323 61.3333,-323 55.6667,-323 50,-317.3333 50,-311.6667 50,-311.6667 50,-300.3333 50,-300.3333 50,-294.6667 55.6667,-289 61.3333,-289"/>
</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="M77,-405.8288C77,-401.1736 77,-394.4097 77,-388.5 77,-388.5 77,-388.5 77,-341.5 77,-339.1079 77,-336.6252 77,-334.1342"/>
<polygon fill="#000000" stroke="#000000" points="80.5001,-334.0597 77,-324.0598 73.5001,-334.0598 80.5001,-334.0597"/>
<text text-anchor="middle" x="78.3895" y="-362" 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="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="node10" class="node">
<title>_p_o0_b</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="122,-206 32,-206 32,-160 122,-160 122,-206"/>
<text text-anchor="start" x="73.6646" y="-189.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
<text text-anchor="start" x="37.505" y="-169.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.in_b</text>
<polygon fill="#000000" stroke="#000000" points="32,-183 32,-183 122,-183 122,-183 32,-183"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M45,-161C45,-161 109,-161 109,-161 115,-161 121,-167 121,-173 121,-173 121,-193 121,-193 121,-199 115,-205 109,-205 109,-205 45,-205 45,-205 39,-205 33,-199 33,-193 33,-193 33,-173 33,-173 33,-167 39,-161 45,-161"/>
</g>
<!-- _p_o0_b&#45;&gt;_p_o0_c -->
<g id="edge5" class="edge">
<title>_p_o0_b&#45;&gt;_p_o0_c</title>
<path fill="none" stroke="#000000" d="M77,-159.8105C77,-151.7932 77,-142.7517 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="start" x="77" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">f &#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="M77,-287.9402C77,-282.3497 77,-276.1701 77,-270.5 77,-270.5 77,-270.5 77,-223.5 77,-221.127 77,-218.6757 77,-216.2081"/>
<polygon fill="#000000" stroke="#000000" points="80.5001,-216.1306 77,-206.1306 73.5001,-216.1306 80.5001,-216.1306"/>
<text text-anchor="start" x="77" y="-244" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e^f &#160;&#160;</text>
</g>
</g>
</svg>