|
@@ -4,242 +4,247 @@
|
|
|
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
|
|
|
-->
|
|
|
<!-- Title: state transitions Pages: 1 -->
|
|
|
-<svg width="441pt" height="1568pt"
|
|
|
- viewBox="0.00 0.00 441.00 1567.50" 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 1563.5)">
|
|
|
+<svg width="441pt" height="1599pt"
|
|
|
+ viewBox="0.00 0.00 441.00 1598.50" 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 1594.5)">
|
|
|
<title>state transitions</title>
|
|
|
-<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1563.5 437,-1563.5 437,4 -4,4"/>
|
|
|
+<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-1594.5 437,-1594.5 437,4 -4,4"/>
|
|
|
<g id="clust1" class="cluster">
|
|
|
-<title>cluster_parallel</title>
|
|
|
+<title>cluster__parallel</title>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 413,-8 413,-8 419,-8 425,-14 425,-20 425,-20 425,-1539.5 425,-1539.5 425,-1545.5 419,-1551.5 413,-1551.5 413,-1551.5 20,-1551.5 20,-1551.5 14,-1551.5 8,-1545.5 8,-1539.5 8,-1539.5 8,-20 8,-20 8,-14 14,-8 20,-8"/>
|
|
|
<text text-anchor="start" x="197.1668" y="-1532.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">parallel</text>
|
|
|
</g>
|
|
|
<g id="clust2" class="cluster">
|
|
|
-<title>cluster_orthogonal</title>
|
|
|
+<title>cluster__parallel_orthogonal</title>
|
|
|
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="149,-16 149,-1513.5 417,-1513.5 417,-16 149,-16"/>
|
|
|
<text text-anchor="start" x="254.656" y="-1494.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal</text>
|
|
|
</g>
|
|
|
<g id="clust3" class="cluster">
|
|
|
-<title>cluster_wrapper</title>
|
|
|
+<title>cluster__parallel_orthogonal_wrapper</title>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M169,-24C169,-24 397,-24 397,-24 403,-24 409,-30 409,-36 409,-36 409,-1345.5 409,-1345.5 409,-1351.5 403,-1357.5 397,-1357.5 397,-1357.5 169,-1357.5 169,-1357.5 163,-1357.5 157,-1351.5 157,-1345.5 157,-1345.5 157,-36 157,-36 157,-30 163,-24 169,-24"/>
|
|
|
<text text-anchor="start" x="261.8322" y="-1338.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">wrapper</text>
|
|
|
</g>
|
|
|
<g id="clust4" class="cluster">
|
|
|
-<title>cluster_state_1</title>
|
|
|
+<title>cluster__parallel_orthogonal_wrapper_state_1</title>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M177,-553C177,-553 287,-553 287,-553 293,-553 299,-559 299,-565 299,-565 299,-1071.5 299,-1071.5 299,-1077.5 293,-1083.5 287,-1083.5 287,-1083.5 177,-1083.5 177,-1083.5 171,-1083.5 165,-1077.5 165,-1071.5 165,-1071.5 165,-565 165,-565 165,-559 171,-553 177,-553"/>
|
|
|
<text text-anchor="start" x="212.8236" y="-1064.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_1</text>
|
|
|
</g>
|
|
|
<g id="clust5" class="cluster">
|
|
|
-<title>cluster_state_2</title>
|
|
|
+<title>cluster__parallel_orthogonal_wrapper_state_2</title>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M319,-32C319,-32 389,-32 389,-32 395,-32 401,-38 401,-44 401,-44 401,-797.5 401,-797.5 401,-803.5 395,-809.5 389,-809.5 389,-809.5 319,-809.5 319,-809.5 313,-809.5 307,-803.5 307,-797.5 307,-797.5 307,-44 307,-44 307,-38 313,-32 319,-32"/>
|
|
|
<text text-anchor="start" x="334.8236" y="-790.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_2</text>
|
|
|
</g>
|
|
|
<g id="clust6" class="cluster">
|
|
|
-<title>cluster_orthogonal_tester</title>
|
|
|
+<title>cluster__parallel_orthogonal_tester</title>
|
|
|
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-740 24,-1501 141,-1501 141,-740 24,-740"/>
|
|
|
<text text-anchor="start" x="36.3176" y="-1482.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_tester</text>
|
|
|
</g>
|
|
|
-<!-- parallel -->
|
|
|
-<!-- orthogonal -->
|
|
|
-<!-- initial_400 -->
|
|
|
-<g id="node3" class="node">
|
|
|
-<title>initial_400</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="381" cy="-1457.5" rx="5.5" ry="5.5"/>
|
|
|
+<!-- __initial -->
|
|
|
+<g id="node1" class="node">
|
|
|
+<title>__initial</title>
|
|
|
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-1585" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
-<!-- wrapper -->
|
|
|
-<!-- initial_400->wrapper -->
|
|
|
-<g id="edge2" class="edge">
|
|
|
-<title>initial_400->wrapper</title>
|
|
|
-<path fill="none" stroke="#000000" d="M382.5141,-1452.0144C384.2915,-1445.0806 387,-1432.751 387,-1422 387,-1422 387,-1422 387,-1375 387,-1372.4287 386.8171,-1369.8556 386.477,-1367.2938"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="389.9023,-1366.5739 384.4405,-1357.4954 383.0488,-1367.9984 389.9023,-1366.5739"/>
|
|
|
-<text text-anchor="middle" x="388.3895" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
+<!-- _parallel -->
|
|
|
+<!-- __initial->_parallel -->
|
|
|
+<g id="edge1" class="edge">
|
|
|
+<title>__initial->_parallel</title>
|
|
|
+<path fill="none" stroke="#000000" d="M16,-1579.1903C16,-1575.1144 16,-1569.1212 16,-1561.946"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="19.5001,-1561.4982 16,-1551.4982 12.5001,-1561.4982 19.5001,-1561.4982"/>
|
|
|
+<text text-anchor="middle" x="17.3895" y="-1562.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- outer -->
|
|
|
+<!-- _parallel_orthogonal -->
|
|
|
+<!-- _parallel_orthogonal_initial -->
|
|
|
<g id="node4" class="node">
|
|
|
-<title>outer</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="278,-1475.5 222,-1475.5 222,-1439.5 278,-1439.5 278,-1475.5"/>
|
|
|
-<text text-anchor="start" x="236.329" y="-1453.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer</text>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M234.3333,-1440.5C234.3333,-1440.5 265.6667,-1440.5 265.6667,-1440.5 271.3333,-1440.5 277,-1446.1667 277,-1451.8333 277,-1451.8333 277,-1463.1667 277,-1463.1667 277,-1468.8333 271.3333,-1474.5 265.6667,-1474.5 265.6667,-1474.5 234.3333,-1474.5 234.3333,-1474.5 228.6667,-1474.5 223,-1468.8333 223,-1463.1667 223,-1463.1667 223,-1451.8333 223,-1451.8333 223,-1446.1667 228.6667,-1440.5 234.3333,-1440.5"/>
|
|
|
+<title>_parallel_orthogonal_initial</title>
|
|
|
+<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="372" cy="-1457.5" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
-<!-- history -->
|
|
|
-<g id="node7" class="node">
|
|
|
-<title>history</title>
|
|
|
-<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="226" cy="-1301.5" rx="18" ry="18"/>
|
|
|
-<text text-anchor="middle" x="226" y="-1297.9" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
|
|
|
+<!-- _parallel_orthogonal_wrapper -->
|
|
|
+<!-- _parallel_orthogonal_initial->_parallel_orthogonal_wrapper -->
|
|
|
+<g id="edge2" class="edge">
|
|
|
+<title>_parallel_orthogonal_initial->_parallel_orthogonal_wrapper</title>
|
|
|
+<path fill="none" stroke="#000000" d="M372,-1451.9659C372,-1444.982 372,-1432.6007 372,-1422 372,-1422 372,-1422 372,-1375 372,-1372.5596 371.871,-1370.0984 371.6313,-1367.6314"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="375.0515,-1366.845 370.0681,-1357.4953 368.1332,-1367.912 375.0515,-1366.845"/>
|
|
|
+<text text-anchor="middle" x="373.3895" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
+</g>
|
|
|
+<!-- _parallel_orthogonal_outer -->
|
|
|
+<g id="node5" class="node">
|
|
|
+<title>_parallel_orthogonal_outer</title>
|
|
|
+<polygon fill="transparent" stroke="transparent" stroke-width="2" points="263,-1475.5 207,-1475.5 207,-1439.5 263,-1439.5 263,-1475.5"/>
|
|
|
+<text text-anchor="start" x="221.329" y="-1453.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer</text>
|
|
|
+<path fill="none" stroke="#000000" stroke-width="2" d="M219.3333,-1440.5C219.3333,-1440.5 250.6667,-1440.5 250.6667,-1440.5 256.3333,-1440.5 262,-1446.1667 262,-1451.8333 262,-1451.8333 262,-1463.1667 262,-1463.1667 262,-1468.8333 256.3333,-1474.5 250.6667,-1474.5 250.6667,-1474.5 219.3333,-1474.5 219.3333,-1474.5 213.6667,-1474.5 208,-1468.8333 208,-1463.1667 208,-1463.1667 208,-1451.8333 208,-1451.8333 208,-1446.1667 213.6667,-1440.5 219.3333,-1440.5"/>
|
|
|
+</g>
|
|
|
+<!-- _parallel_orthogonal_wrapper_history -->
|
|
|
+<g id="node8" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_history</title>
|
|
|
+<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="187" cy="-1301.5" rx="18" ry="18"/>
|
|
|
+<text text-anchor="middle" x="187" y="-1297.9" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
|
|
|
+</g>
|
|
|
+<!-- _parallel_orthogonal_outer->_parallel_orthogonal_wrapper_history -->
|
|
|
+<g id="edge9" class="edge">
|
|
|
+<title>_parallel_orthogonal_outer->_parallel_orthogonal_wrapper_history</title>
|
|
|
+<path fill="none" stroke="#000000" d="M206.8006,-1447.6078C196.3523,-1442.0016 187,-1433.7122 187,-1422 187,-1422 187,-1422 187,-1375 187,-1360.0982 187,-1343.497 187,-1329.8478"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="190.5001,-1329.6232 187,-1319.6232 183.5001,-1329.6233 190.5001,-1329.6232"/>
|
|
|
+<text text-anchor="start" x="187" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_history   </text>
|
|
|
</g>
|
|
|
-<!-- outer->history -->
|
|
|
-<g id="edge3" class="edge">
|
|
|
-<title>outer->history</title>
|
|
|
-<path fill="none" stroke="#000000" d="M221.8006,-1447.6078C211.3523,-1442.0016 202,-1433.7122 202,-1422 202,-1422 202,-1422 202,-1375 202,-1358.4734 207.551,-1340.8431 213.3137,-1326.9932"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="216.605,-1328.2056 217.4709,-1317.6462 210.209,-1325.3609 216.605,-1328.2056"/>
|
|
|
-<text text-anchor="start" x="202" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_history   </text>
|
|
|
+<!-- _parallel_orthogonal_wrapper->_parallel_orthogonal_outer -->
|
|
|
+<g id="edge8" class="edge">
|
|
|
+<title>_parallel_orthogonal_wrapper->_parallel_orthogonal_outer</title>
|
|
|
+<path fill="none" stroke="#000000" d="M308,-1357.5C298.4795,-1367.1598 283,-1361.4372 283,-1375 283,-1422 283,-1422 283,-1422 283,-1430.2352 278.3764,-1436.7781 271.9991,-1441.886"/>
|
|
|
+<polygon fill="#000000" stroke="#000000" points="269.6751,-1439.2222 263.1994,-1447.6078 273.491,-1445.0907 269.6751,-1439.2222"/>
|
|
|
+<text text-anchor="start" x="283" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_outer   </text>
|
|
|
</g>
|
|
|
-<!-- wrapper->outer -->
|
|
|
-<g id="edge5" class="edge">
|
|
|
-<title>wrapper->outer</title>
|
|
|
-<path fill="none" stroke="#000000" d="M308.8281,-1357.4962C302.4885,-1366.5801 298,-1373.5304 298,-1375 298,-1422 298,-1422 298,-1422 298,-1430.2352 293.3764,-1436.7781 286.9991,-1441.886"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="284.6751,-1439.2222 278.1994,-1447.6078 288.491,-1445.0907 284.6751,-1439.2222"/>
|
|
|
-<text text-anchor="start" x="298" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_outer   </text>
|
|
|
-</g>
|
|
|
-<!-- initial_500 -->
|
|
|
-<g id="node6" class="node">
|
|
|
-<title>initial_500</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_initial -->
|
|
|
+<g id="node7" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_initial</title>
|
|
|
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="291" cy="-1301.5" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
-<!-- state_1 -->
|
|
|
-<!-- initial_500->state_1 -->
|
|
|
-<g id="edge4" class="edge">
|
|
|
-<title>initial_500->state_1</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_1 -->
|
|
|
+<!-- _parallel_orthogonal_wrapper_initial->_parallel_orthogonal_wrapper_state_1 -->
|
|
|
+<g id="edge3" class="edge">
|
|
|
+<title>_parallel_orthogonal_wrapper_initial->_parallel_orthogonal_wrapper_state_1</title>
|
|
|
<path fill="none" stroke="#000000" d="M291,-1295.9659C291,-1288.982 291,-1276.6007 291,-1266 291,-1266 291,-1266 291,-1101 291,-1098.6063 291,-1096.1687 291,-1093.7066"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="294.5001,-1093.4956 291,-1083.4957 287.5001,-1093.4957 294.5001,-1093.4956"/>
|
|
|
<text text-anchor="middle" x="292.3895" y="-1180.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- history->state_1 -->
|
|
|
-<g id="edge6" class="edge">
|
|
|
-<title>history->state_1</title>
|
|
|
-<path fill="none" stroke="#000000" d="M230.1672,-1283.9027C231.191,-1278.2226 232,-1271.8756 232,-1266 232,-1266 232,-1266 232,-1101 232,-1082.0184 255.2283,-1094.6011 271.4717,-1089.1607"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="273.6039,-1091.9464 280,-1083.5 269.7327,-1086.1142 273.6039,-1091.9464"/>
|
|
|
-<text text-anchor="middle" x="233.3895" y="-1180.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- state_2 -->
|
|
|
-<!-- state_1->state_2 -->
|
|
|
-<g id="edge9" class="edge">
|
|
|
-<title>state_1->state_2</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_2 -->
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_1->_parallel_orthogonal_wrapper_state_2 -->
|
|
|
+<g id="edge5" class="edge">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_1->_parallel_orthogonal_wrapper_state_2</title>
|
|
|
<path fill="none" stroke="#000000" d="M298.9989,-1023.7913C309.3297,-1018.3846 326,-1007.2911 326,-992 326,-992 326,-992 326,-827 326,-818.4104 333.1955,-818.3213 339.8948,-815.6936"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="342.1794,-818.3527 348,-809.5 337.9291,-812.7907 342.1794,-818.3527"/>
|
|
|
<text text-anchor="start" x="326" y="-906.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_state_2   </text>
|
|
|
</g>
|
|
|
-<!-- initial_600 -->
|
|
|
-<g id="node9" class="node">
|
|
|
-<title>initial_600</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_1_initial -->
|
|
|
+<g id="node10" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_1_initial</title>
|
|
|
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="263" cy="-1027.5" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
-<!-- inner_1 -->
|
|
|
-<g id="node10" class="node">
|
|
|
-<title>inner_1</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_1_inner_1 -->
|
|
|
+<g id="node11" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_1_inner_1</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="291,-597 229,-597 229,-561 291,-561 291,-597"/>
|
|
|
<text text-anchor="start" x="239.9942" y="-575.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_1</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M241.3333,-562C241.3333,-562 278.6667,-562 278.6667,-562 284.3333,-562 290,-567.6667 290,-573.3333 290,-573.3333 290,-584.6667 290,-584.6667 290,-590.3333 284.3333,-596 278.6667,-596 278.6667,-596 241.3333,-596 241.3333,-596 235.6667,-596 230,-590.3333 230,-584.6667 230,-584.6667 230,-573.3333 230,-573.3333 230,-567.6667 235.6667,-562 241.3333,-562"/>
|
|
|
</g>
|
|
|
-<!-- initial_600->inner_1 -->
|
|
|
-<g id="edge8" class="edge">
|
|
|
-<title>initial_600->inner_1</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_1_initial->_parallel_orthogonal_wrapper_state_1_inner_1 -->
|
|
|
+<g id="edge4" class="edge">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_1_initial->_parallel_orthogonal_wrapper_state_1_inner_1</title>
|
|
|
<path fill="none" stroke="#000000" d="M262.4953,-1021.9713C261.9028,-1014.993 261,-1002.6175 261,-992 261,-992 261,-992 261,-614.5 261,-612.107 260.977,-609.6235 260.938,-607.1322"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="264.4354,-606.9735 260.7054,-597.057 257.4372,-607.1351 264.4354,-606.9735"/>
|
|
|
<text text-anchor="middle" x="262.3895" y="-763" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- inner_2 -->
|
|
|
-<g id="node11" class="node">
|
|
|
-<title>inner_2</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_1_inner_2 -->
|
|
|
+<g id="node12" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_1_inner_2</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="235,-1045.5 173,-1045.5 173,-1009.5 235,-1009.5 235,-1045.5"/>
|
|
|
<text text-anchor="start" x="183.9942" y="-1023.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_2</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M185.3333,-1010.5C185.3333,-1010.5 222.6667,-1010.5 222.6667,-1010.5 228.3333,-1010.5 234,-1016.1667 234,-1021.8333 234,-1021.8333 234,-1033.1667 234,-1033.1667 234,-1038.8333 228.3333,-1044.5 222.6667,-1044.5 222.6667,-1044.5 185.3333,-1044.5 185.3333,-1044.5 179.6667,-1044.5 174,-1038.8333 174,-1033.1667 174,-1033.1667 174,-1021.8333 174,-1021.8333 174,-1016.1667 179.6667,-1010.5 185.3333,-1010.5"/>
|
|
|
</g>
|
|
|
-<!-- initial_601 -->
|
|
|
-<g id="node13" class="node">
|
|
|
-<title>initial_601</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_2_initial -->
|
|
|
+<g id="node14" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_2_initial</title>
|
|
|
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="331" cy="-766" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
-<!-- inner_3 -->
|
|
|
-<g id="node14" class="node">
|
|
|
-<title>inner_3</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_2_inner_3 -->
|
|
|
+<g id="node15" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_2_inner_3</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="377,-410 315,-410 315,-374 377,-374 377,-410"/>
|
|
|
<text text-anchor="start" x="325.9942" y="-388.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_3</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M327.3333,-375C327.3333,-375 364.6667,-375 364.6667,-375 370.3333,-375 376,-380.6667 376,-386.3333 376,-386.3333 376,-397.6667 376,-397.6667 376,-403.3333 370.3333,-409 364.6667,-409 364.6667,-409 327.3333,-409 327.3333,-409 321.6667,-409 316,-403.3333 316,-397.6667 316,-397.6667 316,-386.3333 316,-386.3333 316,-380.6667 321.6667,-375 327.3333,-375"/>
|
|
|
</g>
|
|
|
-<!-- initial_601->inner_3 -->
|
|
|
-<g id="edge7" class="edge">
|
|
|
-<title>initial_601->inner_3</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_2_initial->_parallel_orthogonal_wrapper_state_2_inner_3 -->
|
|
|
+<g id="edge6" class="edge">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_2_initial->_parallel_orthogonal_wrapper_state_2_inner_3</title>
|
|
|
<path fill="none" stroke="#000000" d="M333.0236,-760.7324C335.9457,-752.6398 341,-736.6033 341,-722.5 341,-722.5 341,-722.5 341,-427.5 341,-425.2243 341.102,-422.8746 341.2768,-420.5183"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="344.7801,-420.6846 342.4194,-410.3561 337.8239,-419.9024 344.7801,-420.6846"/>
|
|
|
<text text-anchor="middle" x="342.3895" y="-576" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- inner_4 -->
|
|
|
-<g id="node15" class="node">
|
|
|
-<title>inner_4</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_2_inner_4 -->
|
|
|
+<g id="node16" class="node">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_2_inner_4</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="377,-76 315,-76 315,-40 377,-40 377,-76"/>
|
|
|
<text text-anchor="start" x="325.9942" y="-54.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">inner_4</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M327.3333,-41C327.3333,-41 364.6667,-41 364.6667,-41 370.3333,-41 376,-46.6667 376,-52.3333 376,-52.3333 376,-63.6667 376,-63.6667 376,-69.3333 370.3333,-75 364.6667,-75 364.6667,-75 327.3333,-75 327.3333,-75 321.6667,-75 316,-69.3333 316,-63.6667 316,-63.6667 316,-52.3333 316,-52.3333 316,-46.6667 321.6667,-41 327.3333,-41"/>
|
|
|
</g>
|
|
|
-<!-- inner_3->inner_4 -->
|
|
|
-<g id="edge10" class="edge">
|
|
|
-<title>inner_3->inner_4</title>
|
|
|
+<!-- _parallel_orthogonal_wrapper_state_2_inner_3->_parallel_orthogonal_wrapper_state_2_inner_4 -->
|
|
|
+<g id="edge7" class="edge">
|
|
|
+<title>_parallel_orthogonal_wrapper_state_2_inner_3->_parallel_orthogonal_wrapper_state_2_inner_4</title>
|
|
|
<path fill="none" stroke="#000000" d="M339.555,-373.7962C338.1124,-368.3088 337,-362.2224 337,-356.5 337,-356.5 337,-356.5 337,-93.5 337,-91.0859 337.198,-88.607 337.5352,-86.1355"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="340.9918,-86.7008 339.555,-76.2038 334.1322,-85.3057 340.9918,-86.7008"/>
|
|
|
<text text-anchor="start" x="337" y="-222" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">to_inner_4   </text>
|
|
|
</g>
|
|
|
-<!-- orthogonal_tester -->
|
|
|
-<!-- initial_401 -->
|
|
|
-<g id="node17" class="node">
|
|
|
-<title>initial_401</title>
|
|
|
+<!-- _parallel_orthogonal_tester -->
|
|
|
+<!-- _parallel_orthogonal_tester_initial -->
|
|
|
+<g id="node18" class="node">
|
|
|
+<title>_parallel_orthogonal_tester_initial</title>
|
|
|
<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="71" cy="-1457.5" rx="5.5" ry="5.5"/>
|
|
|
</g>
|
|
|
-<!-- start -->
|
|
|
-<g id="node18" class="node">
|
|
|
-<title>start</title>
|
|
|
+<!-- _parallel_orthogonal_tester_start -->
|
|
|
+<g id="node19" class="node">
|
|
|
+<title>_parallel_orthogonal_tester_start</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-1319.5 43,-1319.5 43,-1283.5 99,-1283.5 99,-1319.5"/>
|
|
|
<text text-anchor="start" x="59.3324" y="-1297.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">start</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M55.3333,-1284.5C55.3333,-1284.5 86.6667,-1284.5 86.6667,-1284.5 92.3333,-1284.5 98,-1290.1667 98,-1295.8333 98,-1295.8333 98,-1307.1667 98,-1307.1667 98,-1312.8333 92.3333,-1318.5 86.6667,-1318.5 86.6667,-1318.5 55.3333,-1318.5 55.3333,-1318.5 49.6667,-1318.5 44,-1312.8333 44,-1307.1667 44,-1307.1667 44,-1295.8333 44,-1295.8333 44,-1290.1667 49.6667,-1284.5 55.3333,-1284.5"/>
|
|
|
</g>
|
|
|
-<!-- initial_401->start -->
|
|
|
-<g id="edge1" class="edge">
|
|
|
-<title>initial_401->start</title>
|
|
|
+<!-- _parallel_orthogonal_tester_initial->_parallel_orthogonal_tester_start -->
|
|
|
+<g id="edge10" class="edge">
|
|
|
+<title>_parallel_orthogonal_tester_initial->_parallel_orthogonal_tester_start</title>
|
|
|
<path fill="none" stroke="#000000" d="M71,-1451.9659C71,-1444.982 71,-1432.6007 71,-1422 71,-1422 71,-1422 71,-1375 71,-1360.0982 71,-1343.497 71,-1329.8478"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="74.5001,-1329.6232 71,-1319.6232 67.5001,-1329.6233 74.5001,-1329.6232"/>
|
|
|
<text text-anchor="middle" x="72.3895" y="-1395.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- step1 -->
|
|
|
-<g id="node19" class="node">
|
|
|
-<title>step1</title>
|
|
|
+<!-- _parallel_orthogonal_tester_step1 -->
|
|
|
+<g id="node20" class="node">
|
|
|
+<title>_parallel_orthogonal_tester_step1</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-1201.5 43,-1201.5 43,-1165.5 99,-1165.5 99,-1201.5"/>
|
|
|
<text text-anchor="start" x="56.3264" y="-1179.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step1</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M55.3333,-1166.5C55.3333,-1166.5 86.6667,-1166.5 86.6667,-1166.5 92.3333,-1166.5 98,-1172.1667 98,-1177.8333 98,-1177.8333 98,-1189.1667 98,-1189.1667 98,-1194.8333 92.3333,-1200.5 86.6667,-1200.5 86.6667,-1200.5 55.3333,-1200.5 55.3333,-1200.5 49.6667,-1200.5 44,-1194.8333 44,-1189.1667 44,-1189.1667 44,-1177.8333 44,-1177.8333 44,-1172.1667 49.6667,-1166.5 55.3333,-1166.5"/>
|
|
|
</g>
|
|
|
-<!-- start->step1 -->
|
|
|
-<g id="edge14" class="edge">
|
|
|
-<title>start->step1</title>
|
|
|
+<!-- _parallel_orthogonal_tester_start->_parallel_orthogonal_tester_step1 -->
|
|
|
+<g id="edge11" class="edge">
|
|
|
+<title>_parallel_orthogonal_tester_start->_parallel_orthogonal_tester_step1</title>
|
|
|
<path fill="none" stroke="#000000" d="M71,-1283.4402C71,-1277.8497 71,-1271.6701 71,-1266 71,-1266 71,-1266 71,-1219 71,-1216.6079 71,-1214.1252 71,-1211.6342"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="74.5001,-1211.5597 71,-1201.5598 67.5001,-1211.5598 74.5001,-1211.5597"/>
|
|
|
<text text-anchor="middle" x="72.3895" y="-1239.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- step2 -->
|
|
|
-<g id="node20" class="node">
|
|
|
-<title>step2</title>
|
|
|
+<!-- _parallel_orthogonal_tester_step2 -->
|
|
|
+<g id="node21" class="node">
|
|
|
+<title>_parallel_orthogonal_tester_step2</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-1045.5 43,-1045.5 43,-1009.5 99,-1009.5 99,-1045.5"/>
|
|
|
<text text-anchor="start" x="56.3264" y="-1023.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step2</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M55.3333,-1010.5C55.3333,-1010.5 86.6667,-1010.5 86.6667,-1010.5 92.3333,-1010.5 98,-1016.1667 98,-1021.8333 98,-1021.8333 98,-1033.1667 98,-1033.1667 98,-1038.8333 92.3333,-1044.5 86.6667,-1044.5 86.6667,-1044.5 55.3333,-1044.5 55.3333,-1044.5 49.6667,-1044.5 44,-1038.8333 44,-1033.1667 44,-1033.1667 44,-1021.8333 44,-1021.8333 44,-1016.1667 49.6667,-1010.5 55.3333,-1010.5"/>
|
|
|
</g>
|
|
|
-<!-- step1->step2 -->
|
|
|
-<g id="edge13" class="edge">
|
|
|
-<title>step1->step2</title>
|
|
|
+<!-- _parallel_orthogonal_tester_step1->_parallel_orthogonal_tester_step2 -->
|
|
|
+<g id="edge12" class="edge">
|
|
|
+<title>_parallel_orthogonal_tester_step1->_parallel_orthogonal_tester_step2</title>
|
|
|
<path fill="none" stroke="#000000" d="M71,-1165.4402C71,-1159.8497 71,-1153.6701 71,-1148 71,-1148 71,-1148 71,-1101 71,-1086.0982 71,-1069.497 71,-1055.8478"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="74.5001,-1055.6232 71,-1045.6232 67.5001,-1055.6233 74.5001,-1055.6232"/>
|
|
|
<text text-anchor="middle" x="72.3895" y="-1121.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- step3 -->
|
|
|
-<g id="node21" class="node">
|
|
|
-<title>step3</title>
|
|
|
+<!-- _parallel_orthogonal_tester_step3 -->
|
|
|
+<g id="node22" class="node">
|
|
|
+<title>_parallel_orthogonal_tester_step3</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-927.5 43,-927.5 43,-891.5 99,-891.5 99,-927.5"/>
|
|
|
<text text-anchor="start" x="56.3264" y="-905.7" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">step3</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M55.3333,-892.5C55.3333,-892.5 86.6667,-892.5 86.6667,-892.5 92.3333,-892.5 98,-898.1667 98,-903.8333 98,-903.8333 98,-915.1667 98,-915.1667 98,-920.8333 92.3333,-926.5 86.6667,-926.5 86.6667,-926.5 55.3333,-926.5 55.3333,-926.5 49.6667,-926.5 44,-920.8333 44,-915.1667 44,-915.1667 44,-903.8333 44,-903.8333 44,-898.1667 49.6667,-892.5 55.3333,-892.5"/>
|
|
|
</g>
|
|
|
-<!-- step2->step3 -->
|
|
|
-<g id="edge12" class="edge">
|
|
|
-<title>step2->step3</title>
|
|
|
+<!-- _parallel_orthogonal_tester_step2->_parallel_orthogonal_tester_step3 -->
|
|
|
+<g id="edge13" class="edge">
|
|
|
+<title>_parallel_orthogonal_tester_step2->_parallel_orthogonal_tester_step3</title>
|
|
|
<path fill="none" stroke="#000000" d="M71,-1009.4402C71,-1003.8497 71,-997.6701 71,-992 71,-992 71,-992 71,-945 71,-942.6079 71,-940.1252 71,-937.6342"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="74.5001,-937.5597 71,-927.5598 67.5001,-937.5598 74.5001,-937.5597"/>
|
|
|
<text text-anchor="middle" x="72.3895" y="-965.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
</g>
|
|
|
-<!-- end -->
|
|
|
-<g id="node22" class="node">
|
|
|
-<title>end</title>
|
|
|
+<!-- _parallel_orthogonal_tester_end -->
|
|
|
+<g id="node23" class="node">
|
|
|
+<title>_parallel_orthogonal_tester_end</title>
|
|
|
<polygon fill="transparent" stroke="transparent" stroke-width="2" points="99,-784 43,-784 43,-748 99,-748 99,-784"/>
|
|
|
<text text-anchor="start" x="60.9938" y="-762.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">end</text>
|
|
|
<path fill="none" stroke="#000000" stroke-width="2" d="M55.3333,-749C55.3333,-749 86.6667,-749 86.6667,-749 92.3333,-749 98,-754.6667 98,-760.3333 98,-760.3333 98,-771.6667 98,-771.6667 98,-777.3333 92.3333,-783 86.6667,-783 86.6667,-783 55.3333,-783 55.3333,-783 49.6667,-783 44,-777.3333 44,-771.6667 44,-771.6667 44,-760.3333 44,-760.3333 44,-754.6667 49.6667,-749 55.3333,-749"/>
|
|
|
</g>
|
|
|
-<!-- step3->end -->
|
|
|
-<g id="edge11" class="edge">
|
|
|
-<title>step3->end</title>
|
|
|
+<!-- _parallel_orthogonal_tester_step3->_parallel_orthogonal_tester_end -->
|
|
|
+<g id="edge14" class="edge">
|
|
|
+<title>_parallel_orthogonal_tester_step3->_parallel_orthogonal_tester_end</title>
|
|
|
<path fill="none" stroke="#000000" d="M71,-891.4402C71,-885.8497 71,-879.6701 71,-874 71,-874 71,-874 71,-827 71,-816.3104 71,-804.5672 71,-794.263"/>
|
|
|
<polygon fill="#000000" stroke="#000000" points="74.5001,-794.1503 71,-784.1503 67.5001,-794.1504 74.5001,-794.1503"/>
|
|
|
<text text-anchor="middle" x="72.3895" y="-847.5" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|