SCCD/test/test_files/xml_syntax/stateref/test_nested_relative.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="246pt" height="520pt"
 viewBox="0.00 0.00 246.00 520.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 516)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-516 242,-516 242,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__d</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M116,-8C116,-8 218,-8 218,-8 224,-8 230,-14 230,-20 230,-20 230,-395 230,-395 230,-401 224,-407 218,-407 218,-407 116,-407 116,-407 110,-407 104,-401 104,-395 104,-395 104,-20 104,-20 104,-14 110,-8 116,-8"/>
<text text-anchor="start" x="163.6646" y="-388.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">d</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__d_e</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M124,-16C124,-16 210,-16 210,-16 216,-16 222,-22 222,-28 222,-28 222,-262 222,-262 222,-268 216,-274 210,-274 210,-274 124,-274 124,-274 118,-274 112,-268 112,-262 112,-262 112,-28 112,-28 112,-22 118,-16 124,-16"/>
<text text-anchor="start" x="163.6646" y="-255.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">e</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__a</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-98C20,-98 84,-98 84,-98 90,-98 96,-104 96,-110 96,-110 96,-461 96,-461 96,-467 90,-473 84,-473 84,-473 20,-473 20,-473 14,-473 8,-467 8,-461 8,-461 8,-110 8,-110 8,-104 14,-98 20,-98"/>
<text text-anchor="start" x="48.6646" y="-454.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
</g>
<g id="clust4" class="cluster">
<title>cluster__a_b</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M28,-106C28,-106 76,-106 76,-106 82,-106 88,-112 88,-118 88,-118 88,-328.5 88,-328.5 88,-334.5 82,-340.5 76,-340.5 76,-340.5 28,-340.5 28,-340.5 22,-340.5 16,-334.5 16,-328.5 16,-328.5 16,-118 16,-118 16,-112 22,-106 28,-106"/>
<text text-anchor="start" x="48.6646" y="-321.7" 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="88" cy="-506.5" rx="5.5" ry="5.5"/>
</g>
<!-- _a -->
<!-- __initial&#45;&gt;_a -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_a</title>
<path fill="none" stroke="#000000" d="M88,-500.9623C88,-496.7143 88,-490.3733 88,-483.1925"/>
<polygon fill="#000000" stroke="#000000" points="91.5001,-482.9976 88,-472.9976 84.5001,-482.9976 91.5001,-482.9976"/>
<text text-anchor="middle" x="89.3895" y="-484" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _d -->
<!-- _d_initial -->
<g id="node3" class="node">
<title>_d_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="194" cy="-363.5" rx="5.5" ry="5.5"/>
</g>
<!-- _d_e -->
<!-- _d_initial&#45;&gt;_d_e -->
<g id="edge2" class="edge">
<title>_d_initial&#45;&gt;_d_e</title>
<path fill="none" stroke="#000000" d="M194,-357.7852C194,-344.9688 194,-312.7952 194,-284.0036"/>
<polygon fill="#000000" stroke="#000000" points="197.5001,-283.998 194,-273.998 190.5001,-283.9981 197.5001,-283.998"/>
<text text-anchor="middle" x="195.3895" y="-294" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _d_e_initial -->
<g id="node5" class="node">
<title>_d_e_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="166" cy="-230.5" rx="5.5" ry="5.5"/>
</g>
<!-- _d_e_f -->
<g id="node6" class="node">
<title>_d_e_f</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="214,-70 120,-70 120,-24 214,-24 214,-70"/>
<text text-anchor="start" x="165.3326" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">f</text>
<text text-anchor="start" x="125.501" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.done</text>
<polygon fill="#000000" stroke="#000000" points="120,-47 120,-47 214,-47 214,-47 120,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M133,-25C133,-25 201,-25 201,-25 207,-25 213,-31 213,-37 213,-37 213,-57 213,-57 213,-63 207,-69 201,-69 201,-69 133,-69 133,-69 127,-69 121,-63 121,-57 121,-57 121,-37 121,-37 121,-31 127,-25 133,-25"/>
</g>
<!-- _d_e_initial&#45;&gt;_d_e_f -->
<g id="edge3" class="edge">
<title>_d_e_initial&#45;&gt;_d_e_f</title>
<path fill="none" stroke="#000000" d="M166,-224.8223C166,-219.0703 166,-209.9167 166,-202 166,-202 166,-202 166,-132 166,-114.973 166.2031,-96.0287 166.4263,-80.3538"/>
<polygon fill="#000000" stroke="#000000" points="169.9298,-80.1399 166.5817,-70.088 162.9306,-80.0339 169.9298,-80.1399"/>
<text text-anchor="middle" x="167.3895" y="-170" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _a_initial -->
<g id="node8" class="node">
<title>_a_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="60" cy="-429.5" rx="5.5" ry="5.5"/>
</g>
<!-- _a_b -->
<!-- _a_initial&#45;&gt;_a_b -->
<g id="edge4" class="edge">
<title>_a_initial&#45;&gt;_a_b</title>
<path fill="none" stroke="#000000" d="M60.3867,-423.8066C61.2487,-411.1164 63.4046,-379.3763 65.3438,-350.828"/>
<polygon fill="#000000" stroke="#000000" points="68.8598,-350.71 66.0456,-340.4958 61.8758,-350.2356 68.8598,-350.71"/>
<text text-anchor="middle" x="65.3895" y="-360.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _a_b_initial -->
<g id="node10" class="node">
<title>_a_b_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="41" cy="-297" rx="5.5" ry="5.5"/>
</g>
<!-- _a_b_c -->
<g id="node11" class="node">
<title>_a_b_c</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="80,-150 24,-150 24,-114 80,-114 80,-150"/>
<text text-anchor="start" x="49" y="-128.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">c</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M36.3333,-115C36.3333,-115 67.6667,-115 67.6667,-115 73.3333,-115 79,-120.6667 79,-126.3333 79,-126.3333 79,-137.6667 79,-137.6667 79,-143.3333 73.3333,-149 67.6667,-149 67.6667,-149 36.3333,-149 36.3333,-149 30.6667,-149 25,-143.3333 25,-137.6667 25,-137.6667 25,-126.3333 25,-126.3333 25,-120.6667 30.6667,-115 36.3333,-115"/>
</g>
<!-- _a_b_initial&#45;&gt;_a_b_c -->
<g id="edge5" class="edge">
<title>_a_b_initial&#45;&gt;_a_b_c</title>
<path fill="none" stroke="#000000" d="M42.1124,-291.5094C44.3105,-280.1647 49,-253.2916 49,-230.5 49,-230.5 49,-230.5 49,-173 49,-168.9408 49.1481,-164.6615 49.3784,-160.4603"/>
<polygon fill="#000000" stroke="#000000" points="52.8794,-160.567 50.0831,-150.3478 45.8963,-160.0803 52.8794,-160.567"/>
<text text-anchor="middle" x="50.3895" y="-199" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _a_b_c&#45;&gt;_d_e_f -->
<g id="edge6" class="edge">
<title>_a_b_c&#45;&gt;_d_e_f</title>
<path fill="none" stroke="#000000" d="M76.3885,-113.9737C91.2336,-103.0013 110.5452,-88.7274 127.5243,-76.1777"/>
<polygon fill="#000000" stroke="#000000" points="129.6808,-78.9361 135.6422,-70.1775 125.5201,-73.3068 129.6808,-78.9361"/>
<text text-anchor="middle" x="124.3895" y="-81" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
</g>
</svg>