sccd/test/semantics/original_semantics/inner_first_Class1.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="224pt" height="311pt"
 viewBox="0.00 0.00 223.92 311.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 307)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-307 219.923,-307 219.923,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__state1</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 113,-8 113,-8 119,-8 125,-14 125,-20 125,-20 125,-252 125,-252 125,-258 119,-264 113,-264 113,-264 20,-264 20,-264 14,-264 8,-258 8,-252 8,-252 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="50.159" y="-245.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state1</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="117" cy="-297.5" rx="5.5" ry="5.5"/>
</g>
<!-- _state1 -->
<!-- __initial&#45;&gt;_state1 -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_state1</title>
<path fill="none" stroke="#000000" d="M117,-291.9623C117,-287.7143 117,-281.3733 117,-274.1925"/>
<polygon fill="#000000" stroke="#000000" points="120.5001,-273.9976 117,-263.9976 113.5001,-273.9976 120.5001,-273.9976"/>
<text text-anchor="middle" x="118.3895" y="-275" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _stateb -->
<g id="node2" class="node">
<title>_stateb</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="189,-187 133,-187 133,-151 189,-151 189,-187"/>
<text text-anchor="start" x="144.659" y="-165.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">stateb</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M145.3333,-152C145.3333,-152 176.6667,-152 176.6667,-152 182.3333,-152 188,-157.6667 188,-163.3333 188,-163.3333 188,-174.6667 188,-174.6667 188,-180.3333 182.3333,-186 176.6667,-186 176.6667,-186 145.3333,-186 145.3333,-186 139.6667,-186 134,-180.3333 134,-174.6667 134,-174.6667 134,-163.3333 134,-163.3333 134,-157.6667 139.6667,-152 145.3333,-152"/>
</g>
<!-- _state1&#45;&gt;_stateb -->
<g id="edge4" class="edge">
<title>_state1&#45;&gt;_stateb</title>
<path fill="none" stroke="#000000" d="M124.9962,-211.1408C128.9147,-206.5544 133.8475,-200.7808 138.7942,-194.9909"/>
<polygon fill="#000000" stroke="#000000" points="141.6061,-197.0878 145.4408,-187.2113 136.284,-192.5408 141.6061,-197.0878"/>
<text text-anchor="start" x="137" y="-198" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.event &#160;&#160;</text>
</g>
<!-- _state1_initial -->
<g id="node4" class="node">
<title>_state1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="44" cy="-220.5" rx="5.5" ry="5.5"/>
</g>
<!-- _state1_state1 -->
<g id="node5" class="node">
<title>_state1_state1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="72,-134 16,-134 16,-98 72,-98 72,-134"/>
<text text-anchor="start" x="27.659" y="-112.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state1</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M28.3333,-99C28.3333,-99 59.6667,-99 59.6667,-99 65.3333,-99 71,-104.6667 71,-110.3333 71,-110.3333 71,-121.6667 71,-121.6667 71,-127.3333 65.3333,-133 59.6667,-133 59.6667,-133 28.3333,-133 28.3333,-133 22.6667,-133 17,-127.3333 17,-121.6667 17,-121.6667 17,-110.3333 17,-110.3333 17,-104.6667 22.6667,-99 28.3333,-99"/>
</g>
<!-- _state1_initial&#45;&gt;_state1_state1 -->
<g id="edge2" class="edge">
<title>_state1_initial&#45;&gt;_state1_state1</title>
<path fill="none" stroke="#000000" d="M44,-214.8816C44,-201.8087 44,-168.6145 44,-144.2784"/>
<polygon fill="#000000" stroke="#000000" points="47.5001,-144.1502 44,-134.1503 40.5001,-144.1503 47.5001,-144.1502"/>
<text text-anchor="middle" x="45.3895" y="-166" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _state1_statea -->
<g id="node6" class="node">
<title>_state1_statea</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="72,-52 16,-52 16,-16 72,-16 72,-52"/>
<text text-anchor="start" x="27.659" y="-30.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">statea</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M28.3333,-17C28.3333,-17 59.6667,-17 59.6667,-17 65.3333,-17 71,-22.6667 71,-28.3333 71,-28.3333 71,-39.6667 71,-39.6667 71,-45.3333 65.3333,-51 59.6667,-51 59.6667,-51 28.3333,-51 28.3333,-51 22.6667,-51 17,-45.3333 17,-39.6667 17,-39.6667 17,-28.3333 17,-28.3333 17,-22.6667 22.6667,-17 28.3333,-17"/>
</g>
<!-- _state1_state1&#45;&gt;_state1_statea -->
<g id="edge3" class="edge">
<title>_state1_state1&#45;&gt;_state1_statea</title>
<path fill="none" stroke="#000000" d="M44,-97.8015C44,-87.3976 44,-74.1215 44,-62.3768"/>
<polygon fill="#000000" stroke="#000000" points="47.5001,-62.1476 44,-52.1476 40.5001,-62.1476 47.5001,-62.1476"/>
<text text-anchor="start" x="44" y="-72" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.event &#160;&#160;</text>
</g>
</g>
</svg>