sccd/test/test_files/features/parallel/test_parallel.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="366pt" height="385pt"
 viewBox="0.00 0.00 366.00 385.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 381)">
<title>state transitions</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-381 362,-381 362,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster__p</title>
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 338,-8 338,-8 344,-8 350,-14 350,-20 350,-20 350,-262 350,-262 350,-268 344,-274 338,-274 338,-274 20,-274 20,-274 14,-274 8,-268 8,-262 8,-262 8,-20 8,-20 8,-14 14,-8 20,-8"/>
<text text-anchor="start" x="175.6646" y="-255.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
</g>
<g id="clust2" class="cluster">
<title>cluster__p_region2</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="190,-16 190,-236 342,-236 342,-16 190,-16"/>
<text text-anchor="start" x="245.9942" y="-217.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">region2</text>
</g>
<g id="clust3" class="cluster">
<title>cluster__p_region1</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="30,-16 30,-236 182,-236 182,-16 30,-16"/>
<text text-anchor="start" x="85.9942" y="-217.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">region1</text>
</g>
<!-- __initial -->
<g id="node1" class="node">
<title>__initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="238" cy="-371.5" rx="5.5" ry="5.5"/>
</g>
<!-- _outer -->
<g id="node2" class="node">
<title>_outer</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="266,-338 210,-338 210,-302 266,-302 266,-338"/>
<text text-anchor="start" x="224.329" y="-316.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer</text>
<path fill="none" stroke="#000000" stroke-width="2" d="M222.3333,-303C222.3333,-303 253.6667,-303 253.6667,-303 259.3333,-303 265,-308.6667 265,-314.3333 265,-314.3333 265,-325.6667 265,-325.6667 265,-331.3333 259.3333,-337 253.6667,-337 253.6667,-337 222.3333,-337 222.3333,-337 216.6667,-337 211,-331.3333 211,-325.6667 211,-325.6667 211,-314.3333 211,-314.3333 211,-308.6667 216.6667,-303 222.3333,-303"/>
</g>
<!-- __initial&#45;&gt;_outer -->
<g id="edge1" class="edge">
<title>__initial&#45;&gt;_outer</title>
<path fill="none" stroke="#000000" d="M238,-365.9886C238,-361.6293 238,-355.1793 238,-348.4801"/>
<polygon fill="#000000" stroke="#000000" points="241.5001,-348.0122 238,-338.0122 234.5001,-348.0122 241.5001,-348.0122"/>
<text text-anchor="middle" x="239.3895" y="-349" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_region2_s4 -->
<g id="node6" class="node">
<title>_p_region2_s4</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="278,-198 198,-198 198,-152 278,-152 278,-198"/>
<text text-anchor="start" x="231.6646" y="-181.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s4</text>
<text text-anchor="start" x="203.5072" y="-161.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.s4</text>
<polygon fill="#000000" stroke="#000000" points="198,-175 198,-175 278,-175 278,-175 198,-175"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M211,-153C211,-153 265,-153 265,-153 271,-153 277,-159 277,-165 277,-165 277,-185 277,-185 277,-191 271,-197 265,-197 265,-197 211,-197 211,-197 205,-197 199,-191 199,-185 199,-185 199,-165 199,-165 199,-159 205,-153 211,-153"/>
</g>
<!-- _outer&#45;&gt;_p_region2_s4 -->
<g id="edge4" class="edge">
<title>_outer&#45;&gt;_p_region2_s4</title>
<path fill="none" stroke="#000000" d="M238,-301.9288C238,-278.5344 238,-237.3213 238,-208.2131"/>
<polygon fill="#000000" stroke="#000000" points="241.5001,-208.0921 238,-198.0921 234.5001,-208.0922 241.5001,-208.0921"/>
<text text-anchor="middle" x="239.3895" y="-285" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p -->
<!-- _p_region2 -->
<!-- _p_region2_initial -->
<g id="node5" class="node">
<title>_p_region2_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="306" cy="-175" rx="5.5" ry="5.5"/>
</g>
<!-- _p_region2_s3 -->
<g id="node7" class="node">
<title>_p_region2_s3</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="334,-70 254,-70 254,-24 334,-24 334,-70"/>
<text text-anchor="start" x="287.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s3</text>
<text text-anchor="start" x="259.5072" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.s3</text>
<polygon fill="#000000" stroke="#000000" points="254,-47 254,-47 334,-47 334,-47 254,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M267,-25C267,-25 321,-25 321,-25 327,-25 333,-31 333,-37 333,-37 333,-57 333,-57 333,-63 327,-69 321,-69 321,-69 267,-69 267,-69 261,-69 255,-63 255,-57 255,-57 255,-37 255,-37 255,-31 261,-25 267,-25"/>
</g>
<!-- _p_region2_initial&#45;&gt;_p_region2_s3 -->
<g id="edge2" class="edge">
<title>_p_region2_initial&#45;&gt;_p_region2_s3</title>
<path fill="none" stroke="#000000" d="M304.6684,-169.5354C302.9008,-161.7901 300,-147.1522 300,-134.5 300,-134.5 300,-134.5 300,-87.5 300,-85.1011 299.8957,-82.6307 299.7146,-80.1495"/>
<polygon fill="#000000" stroke="#000000" points="303.1758,-79.6033 298.6084,-70.0436 296.2174,-80.3651 303.1758,-79.6033"/>
<text text-anchor="middle" x="301.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_region1 -->
<!-- _p_region1_initial -->
<g id="node9" class="node">
<title>_p_region1_initial</title>
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="146" cy="-175" rx="5.5" ry="5.5"/>
</g>
<!-- _p_region1_s1 -->
<g id="node11" class="node">
<title>_p_region1_s1</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="174,-70 94,-70 94,-24 174,-24 174,-70"/>
<text text-anchor="start" x="127.6646" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s1</text>
<text text-anchor="start" x="99.5072" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.s1</text>
<polygon fill="#000000" stroke="#000000" points="94,-47 94,-47 174,-47 174,-47 94,-47"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M107,-25C107,-25 161,-25 161,-25 167,-25 173,-31 173,-37 173,-37 173,-57 173,-57 173,-63 167,-69 161,-69 161,-69 107,-69 107,-69 101,-69 95,-63 95,-57 95,-57 95,-37 95,-37 95,-31 101,-25 107,-25"/>
</g>
<!-- _p_region1_initial&#45;&gt;_p_region1_s1 -->
<g id="edge3" class="edge">
<title>_p_region1_initial&#45;&gt;_p_region1_s1</title>
<path fill="none" stroke="#000000" d="M144.6684,-169.5354C142.9008,-161.7901 140,-147.1522 140,-134.5 140,-134.5 140,-134.5 140,-87.5 140,-85.1011 139.8957,-82.6307 139.7146,-80.1495"/>
<polygon fill="#000000" stroke="#000000" points="143.1758,-79.6033 138.6084,-70.0436 136.2174,-80.3651 143.1758,-79.6033"/>
<text text-anchor="middle" x="141.3895" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
</g>
<!-- _p_region1_s2 -->
<g id="node10" class="node">
<title>_p_region1_s2</title>
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="118,-198 38,-198 38,-152 118,-152 118,-198"/>
<text text-anchor="start" x="71.6646" y="-181.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">s2</text>
<text text-anchor="start" x="43.5072" y="-161.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">enter ^out.s2</text>
<polygon fill="#000000" stroke="#000000" points="38,-175 38,-175 118,-175 118,-175 38,-175"/>
<path fill="none" stroke="#000000" stroke-width="2" d="M51,-153C51,-153 105,-153 105,-153 111,-153 117,-159 117,-165 117,-165 117,-185 117,-185 117,-191 111,-197 105,-197 105,-197 51,-197 51,-197 45,-197 39,-191 39,-185 39,-185 39,-165 39,-165 39,-159 45,-153 51,-153"/>
</g>
</g>
</svg>