sccd/test/test_files/features/history/test_history.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="180pt" height="356pt"
 viewBox="0.00 0.00 179.50 356.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 352)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-352 175.5,-352 175.5,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__composite_1</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M35.5,-8C35.5,-8 151.5,-8 151.5,-8 157.5,-8 163.5,-14 163.5,-20 163.5,-20 163.5,-262 163.5,-262 163.5,-268 157.5,-274 151.5,-274 151.5,-274 35.5,-274 35.5,-274 29.5,-274 23.5,-268 23.5,-262 23.5,-262 23.5,-20 23.5,-20 23.5,-14 29.5,-8 35.5,-8"/>
<text text-anchor="start" x="59.4914" y="-255.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">composite_1</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="161.5" cy="-325" rx="5.5" ry="5.5"/>
</g>
<!-- _composite_1 -->
<!-- __initial&#45;&gt;_composite_1 -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_composite_1</title>
<path fill="none" stroke="#000000" d="M160.3788,-319.5468C158.8975,-312.3426 156.1159,-298.8137 153.0549,-283.9259"/>
<polygon fill="#000000" stroke="#000000" points="156.4562,-283.0893 151.0138,-273.9991 149.5996,-284.4992 156.4562,-283.0893"/>
<text text-anchor="middle" x="155.8895" y="-285" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _state_3 -->
<g id="node2" class="node">
<title>_state_3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="123,-348 0,-348 0,-302 123,-302 123,-348"/>
<text text-anchor="start" x="42.3236" y="-331.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_3</text>
<text text-anchor="start" x="6.4994" y="-311.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.in_state_3</text>
<polygon fill="#000000" stroke="#000000" points=".5,-325 .5,-325 123.5,-325 123.5,-325 .5,-325"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M13,-303C13,-303 110,-303 110,-303 116,-303 122,-309 122,-315 122,-315 122,-335 122,-335 122,-341 116,-347 110,-347 110,-347 13,-347 13,-347 7,-347 1,-341 1,-335 1,-335 1,-315 1,-315 1,-309 7,-303 13,-303"/>
</g>
<!-- _composite_1_composite_history -->
<g id="node7" class="node">
<title>_composite_1_composite_history</title>
<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="49.5" cy="-218" rx="18" ry="18"/>
<text text-anchor="middle" x="49.5" y="-214.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
</g>
<!-- _state_3&#45;&gt;_composite_1_composite_history -->
<g id="edge2" class="edge">
<title>_state_3&#45;&gt;_composite_1_composite_history</title>
<path fill="none" stroke="#000000" d="M57.8015,-301.9978C57.4137,-299.3048 57.0439,-296.5938 56.721,-294 54.764,-278.2788 53.0603,-260.6697 51.7999,-246.363"/>
<polygon fill="#000000" stroke="#000000" points="55.2661,-245.8173 50.9257,-236.1524 48.2916,-246.4145 55.2661,-245.8173"/>
<text text-anchor="middle" x="58.8895" y="-285" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _composite_1&#45;&gt;_state_3 -->
<g id="edge5" class="edge">
<title>_composite_1&#45;&gt;_state_3</title>
<path fill="none" stroke="#000000" d="M112.5,-274C105.4917,-280.5391 100.0247,-276.0982 92.472,-282 88.1224,-285.3989 84.1103,-289.5666 80.5165,-293.956"/>
<polygon fill="#000000" stroke="#000000" points="77.703,-291.874 74.5167,-301.9784 83.3087,-296.0664 77.703,-291.874"/>
<text text-anchor="start" x="91.5" y="-285" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_state_3 &#160;&#160;</text>
</g>
<!-- _composite_1_initial -->
<g id="node4" class="node">
<title>_composite_1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="95.5" cy="-218" rx="5.5" ry="5.5"/>
</g>
<!-- _composite_1_state_1 -->
<g id="node6" class="node">
<title>_composite_1_state_1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="155,-154 32,-154 32,-108 155,-108 155,-154"/>
<text text-anchor="start" x="74.3236" y="-137.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_1</text>
<text text-anchor="start" x="38.4994" y="-117.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.in_state_1</text>
<polygon fill="#000000" stroke="#000000" points="32.5,-131 32.5,-131 155.5,-131 155.5,-131 32.5,-131"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M45,-109C45,-109 142,-109 142,-109 148,-109 154,-115 154,-121 154,-121 154,-141 154,-141 154,-147 148,-153 142,-153 142,-153 45,-153 45,-153 39,-153 33,-147 33,-141 33,-141 33,-121 33,-121 33,-115 39,-109 45,-109"/>
</g>
<!-- _composite_1_initial&#45;&gt;_composite_1_state_1 -->
<g id="edge3" class="edge">
<title>_composite_1_initial&#45;&gt;_composite_1_state_1</title>
<path fill="none" stroke="#000000" d="M95.3688,-212.2917C95.1465,-202.6218 94.6798,-182.3234 94.2685,-164.4303"/>
<polygon fill="#000000" stroke="#000000" points="97.764,-164.1884 94.035,-154.2715 90.7658,-164.3494 97.764,-164.1884"/>
<text text-anchor="middle" x="95.8895" y="-174" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _composite_1_state_2 -->
<g id="node5" class="node">
<title>_composite_1_state_2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="155,-62 32,-62 32,-16 155,-16 155,-62"/>
<text text-anchor="start" x="74.3236" y="-45.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_2</text>
<text text-anchor="start" x="38.4994" y="-25.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.in_state_2</text>
<polygon fill="#000000" stroke="#000000" points="32.5,-39 32.5,-39 155.5,-39 155.5,-39 32.5,-39"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M45,-17C45,-17 142,-17 142,-17 148,-17 154,-23 154,-29 154,-29 154,-49 154,-49 154,-55 148,-61 142,-61 142,-61 45,-61 45,-61 39,-61 33,-55 33,-49 33,-49 33,-29 33,-29 33,-23 39,-17 45,-17"/>
</g>
<!-- _composite_1_state_1&#45;&gt;_composite_1_state_2 -->
<g id="edge4" class="edge">
<title>_composite_1_state_1&#45;&gt;_composite_1_state_2</title>
<path fill="none" stroke="#000000" d="M93.5,-107.7845C93.5,-97.1067 93.5,-84.2376 93.5,-72.5333"/>
<polygon fill="#000000" stroke="#000000" points="97.0001,-72.208 93.5,-62.2081 90.0001,-72.2081 97.0001,-72.208"/>
<text text-anchor="start" x="93.5" y="-82" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_state_2 &#160;&#160;</text>
</g>
</g>
</svg>