SCCD/test_files/features/history/test_composite_shallow.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="298pt" height="420pt"
 viewBox="0.00 0.00 298.00 420.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 416)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-416 294,-416 294,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__composite</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 270,-8 270,-8 276,-8 282,-14 282,-20 282,-20 282,-297 282,-297 282,-303 276,-309 270,-309 270,-309 20,-309 20,-309 14,-309 8,-303 8,-297 8,-297 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="117.6622" y="-290.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">composite</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__composite_b</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M134,-16C134,-16 262,-16 262,-16 268,-16 274,-22 274,-28 274,-28 274,-259 274,-259 274,-265 268,-271 262,-271 262,-271 134,-271 134,-271 128,-271 122,-265 122,-259 122,-259 122,-28 122,-28 122,-22 128,-16 134,-16"/>
<text text-anchor="start" x="194.6646" y="-252.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">b</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="170" cy="-406.5" rx="5.5" ry="5.5"/>
</g>
<!-- _outer -->
<g id="node3" class="node">
<title>_outer</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="198,-373 142,-373 142,-337 198,-337 198,-373"/>
<text text-anchor="start" x="156.329" y="-351.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M154.3333,-338C154.3333,-338 185.6667,-338 185.6667,-338 191.3333,-338 197,-343.6667 197,-349.3333 197,-349.3333 197,-360.6667 197,-360.6667 197,-366.3333 191.3333,-372 185.6667,-372 185.6667,-372 154.3333,-372 154.3333,-372 148.6667,-372 143,-366.3333 143,-360.6667 143,-360.6667 143,-349.3333 143,-349.3333 143,-343.6667 148.6667,-338 154.3333,-338"/>
</g>
<!-- __initial&#45;&gt;_outer -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_outer</title>
<path fill="none" stroke="#000000" d="M170,-400.9886C170,-396.6293 170,-390.1793 170,-383.4801"/>
<polygon fill="#000000" stroke="#000000" points="173.5001,-383.0122 170,-373.0122 166.5001,-383.0122 173.5001,-383.0122"/>
<text text-anchor="middle" x="171.3895" y="-384" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _outer2 -->
<g id="node2" class="node">
<title>_outer2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="106,-373 50,-373 50,-337 106,-337 106,-373"/>
<text text-anchor="start" x="60.9936" y="-351.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer2</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M62.3333,-338C62.3333,-338 93.6667,-338 93.6667,-338 99.3333,-338 105,-343.6667 105,-349.3333 105,-349.3333 105,-360.6667 105,-360.6667 105,-366.3333 99.3333,-372 93.6667,-372 93.6667,-372 62.3333,-372 62.3333,-372 56.6667,-372 51,-366.3333 51,-360.6667 51,-360.6667 51,-349.3333 51,-349.3333 51,-343.6667 56.6667,-338 62.3333,-338"/>
</g>
<!-- _composite_history -->
<g id="node7" class="node">
<title>_composite_history</title>
<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="34" cy="-210" rx="18" ry="18"/>
<text text-anchor="middle" x="34" y="-206.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
</g>
<!-- _outer2&#45;&gt;_composite_history -->
<g id="edge5" class="edge">
<title>_outer2&#45;&gt;_composite_history</title>
<path fill="none" stroke="#000000" d="M72.4086,-336.6466C69.844,-328.2237 66.7653,-318.1058 64,-309 56.6229,-284.7083 48.2456,-257.0577 42.222,-237.1644"/>
<polygon fill="#000000" stroke="#000000" points="45.552,-236.0843 39.3044,-227.5275 38.8523,-238.1127 45.552,-236.0843"/>
<text text-anchor="middle" x="70.3895" y="-320" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _composite_b_s1 -->
<g id="node11" class="node">
<title>_composite_b_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="210,-233 130,-233 130,-187 210,-187 210,-233"/>
<text text-anchor="start" x="163.6646" y="-216.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<text text-anchor="start" x="135.5072" y="-196.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.s1</text>
<polygon fill="#000000" stroke="#000000" points="130,-210 130,-210 210,-210 210,-210 130,-210"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M143,-188C143,-188 197,-188 197,-188 203,-188 209,-194 209,-200 209,-200 209,-220 209,-220 209,-226 203,-232 197,-232 197,-232 143,-232 143,-232 137,-232 131,-226 131,-220 131,-220 131,-200 131,-200 131,-194 137,-188 143,-188"/>
</g>
<!-- _outer&#45;&gt;_composite_b_s1 -->
<g id="edge6" class="edge">
<title>_outer&#45;&gt;_composite_b_s1</title>
<path fill="none" stroke="#000000" d="M170,-336.9288C170,-313.5344 170,-272.3213 170,-243.2131"/>
<polygon fill="#000000" stroke="#000000" points="173.5001,-243.0921 170,-233.0921 166.5001,-243.0922 173.5001,-243.0921"/>
<text text-anchor="middle" x="171.3895" y="-320" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _composite -->
<!-- _composite_initial -->
<g id="node5" class="node">
<title>_composite_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="80" cy="-210" rx="5.5" ry="5.5"/>
</g>
<!-- _composite_a -->
<g id="node6" class="node">
<title>_composite_a</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="108,-141 52,-141 52,-105 108,-105 108,-141"/>
<text text-anchor="start" x="76.6646" y="-119.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M64.3333,-106C64.3333,-106 95.6667,-106 95.6667,-106 101.3333,-106 107,-111.6667 107,-117.3333 107,-117.3333 107,-128.6667 107,-128.6667 107,-134.3333 101.3333,-140 95.6667,-140 95.6667,-140 64.3333,-140 64.3333,-140 58.6667,-140 53,-134.3333 53,-128.6667 53,-128.6667 53,-117.3333 53,-117.3333 53,-111.6667 58.6667,-106 64.3333,-106"/>
</g>
<!-- _composite_initial&#45;&gt;_composite_a -->
<g id="edge2" class="edge">
<title>_composite_initial&#45;&gt;_composite_a</title>
<path fill="none" stroke="#000000" d="M80,-204.2917C80,-193.6876 80,-170.3024 80,-151.3237"/>
<polygon fill="#000000" stroke="#000000" points="83.5001,-151.066 80,-141.0661 76.5001,-151.0661 83.5001,-151.066"/>
<text text-anchor="middle" x="81.3895" y="-161" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _composite_b -->
<!-- _composite_b_initial -->
<g id="node9" class="node">
<title>_composite_b_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="238" cy="-210" rx="5.5" ry="5.5"/>
</g>
<!-- _composite_b_s2 -->
<g id="node10" class="node">
<title>_composite_b_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="266,-70 186,-70 186,-24 266,-24 266,-70"/>
<text text-anchor="start" x="219.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<text text-anchor="start" x="191.5072" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.s2</text>
<polygon fill="#000000" stroke="#000000" points="186,-47 186,-47 266,-47 266,-47 186,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M199,-25C199,-25 253,-25 253,-25 259,-25 265,-31 265,-37 265,-37 265,-57 265,-57 265,-63 259,-69 253,-69 253,-69 199,-69 199,-69 193,-69 187,-63 187,-57 187,-57 187,-37 187,-37 187,-31 193,-25 199,-25"/>
</g>
<!-- _composite_b_initial&#45;&gt;_composite_b_s2 -->
<g id="edge3" class="edge">
<title>_composite_b_initial&#45;&gt;_composite_b_s2</title>
<path fill="none" stroke="#000000" d="M236.7858,-204.3655C235.0326,-195.7239 232,-178.6578 232,-164 232,-164 232,-164 232,-87.5 232,-85.1011 231.8957,-82.6307 231.7146,-80.1495"/>
<polygon fill="#000000" stroke="#000000" points="235.1758,-79.6033 230.6084,-70.0436 228.2174,-80.3651 235.1758,-79.6033"/>
<text text-anchor="middle" x="233.3895" y="-120" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _composite_b_s1&#45;&gt;_outer2 -->
<g id="edge4" class="edge">
<title>_composite_b_s1&#45;&gt;_outer2</title>
<path fill="none" stroke="#000000" d="M162.5412,-233.3378C155.1916,-254.2877 142.6513,-285.2994 126,-309 120.8494,-316.3312 114.409,-323.4458 107.9346,-329.8012"/>
<polygon fill="#000000" stroke="#000000" points="105.2889,-327.4843 100.3939,-336.8805 110.0801,-332.5877 105.2889,-327.4843"/>
<text text-anchor="middle" x="120.3895" y="-320" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
</g>
</svg>