|
@@ -1,225 +0,0 @@
|
|
|
-<?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="736pt" height="757pt"
|
|
|
- viewBox="0.00 0.00 736.00 757.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 753)">
|
|
|
-<title>state transitions</title>
|
|
|
-<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-753 732,-753 732,4 -4,4"/>
|
|
|
-<g id="clust1" class="cluster">
|
|
|
-<title>cluster__parallel</title>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 708,-8 708,-8 714,-8 720,-14 720,-20 720,-20 720,-698 720,-698 720,-704 714,-710 708,-710 708,-710 20,-710 20,-710 14,-710 8,-704 8,-698 8,-698 8,-20 8,-20 8,-14 14,-8 20,-8"/>
|
|
|
-<text text-anchor="start" x="344.6668" y="-691.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">parallel</text>
|
|
|
-</g>
|
|
|
-<g id="clust2" class="cluster">
|
|
|
-<title>cluster__parallel_orthogonal_1</title>
|
|
|
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="372,-16 372,-672 712,-672 712,-16 372,-16"/>
|
|
|
-<text text-anchor="start" x="506.9852" y="-653.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_1</text>
|
|
|
-</g>
|
|
|
-<g id="clust3" class="cluster">
|
|
|
-<title>cluster__parallel_orthogonal_1_orthogonal_inner_1</title>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M392,-24C392,-24 566,-24 566,-24 572,-24 578,-30 578,-36 578,-36 578,-494 578,-494 578,-500 572,-506 566,-506 566,-506 392,-506 392,-506 386,-506 380,-500 380,-494 380,-494 380,-36 380,-36 380,-30 386,-24 392,-24"/>
|
|
|
-<text text-anchor="start" x="427.8148" y="-487.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_inner_1</text>
|
|
|
-</g>
|
|
|
-<g id="clust4" class="cluster">
|
|
|
-<title>cluster__parallel_orthogonal_2</title>
|
|
|
-<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-16 24,-672 364,-672 364,-16 24,-16"/>
|
|
|
-<text text-anchor="start" x="158.9852" y="-653.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_2</text>
|
|
|
-</g>
|
|
|
-<g id="clust5" class="cluster">
|
|
|
-<title>cluster__parallel_orthogonal_2_orthogonal_inner_2</title>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M44,-24C44,-24 218,-24 218,-24 224,-24 230,-30 230,-36 230,-36 230,-494 230,-494 230,-500 224,-506 218,-506 218,-506 44,-506 44,-506 38,-506 32,-500 32,-494 32,-494 32,-36 32,-36 32,-30 38,-24 44,-24"/>
|
|
|
-<text text-anchor="start" x="79.8148" y="-487.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">orthogonal_inner_2</text>
|
|
|
-</g>
|
|
|
-<!-- __initial -->
|
|
|
-<g id="node1" class="node">
|
|
|
-<title>__initial</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-743.5" rx="5.5" ry="5.5"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel -->
|
|
|
-<!-- __initial->_parallel -->
|
|
|
-<g id="edge1" class="edge">
|
|
|
-<title>__initial->_parallel</title>
|
|
|
-<path fill="none" stroke="#000000" d="M16,-737.8066C16,-733.6593 16,-727.4774 16,-720.0372"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="19.5001,-719.9984 16,-709.9984 12.5001,-719.9984 19.5001,-719.9984"/>
|
|
|
-<text text-anchor="middle" x="17.3895" y="-721" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1 -->
|
|
|
-<!-- _parallel_orthogonal_1_initial -->
|
|
|
-<g id="node4" class="node">
|
|
|
-<title>_parallel_orthogonal_1_initial</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="676" cy="-611" rx="5.5" ry="5.5"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1 -->
|
|
|
-<!-- _parallel_orthogonal_1_initial->_parallel_orthogonal_1_orthogonal_inner_1 -->
|
|
|
-<g id="edge2" class="edge">
|
|
|
-<title>_parallel_orthogonal_1_initial->_parallel_orthogonal_1_orthogonal_inner_1</title>
|
|
|
-<path fill="none" stroke="#000000" d="M679.2683,-606.3352C686.0449,-596.5807 701,-574.5902 701,-570.5 701,-570.5 701,-570.5 701,-523.5 701,-472.8841 627.784,-457.0089 588.0115,-452.1191"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="588.3166,-448.6318 577.9975,-451.0329 587.5617,-455.591 588.3166,-448.6318"/>
|
|
|
-<text text-anchor="middle" x="702.3895" y="-544" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_outer_1 -->
|
|
|
-<g id="node5" class="node">
|
|
|
-<title>_parallel_orthogonal_1_outer_1</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="605.5,-634 422.5,-634 422.5,-588 605.5,-588 605.5,-634"/>
|
|
|
-<text text-anchor="start" x="494.1582" y="-617.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer_1</text>
|
|
|
-<text text-anchor="start" x="428.652" y="-597.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^test_output.in_outer_1</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="423,-611 423,-611 606,-611 606,-611 423,-611"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M435.5,-589C435.5,-589 592.5,-589 592.5,-589 598.5,-589 604.5,-595 604.5,-601 604.5,-601 604.5,-621 604.5,-621 604.5,-627 598.5,-633 592.5,-633 592.5,-633 435.5,-633 435.5,-633 429.5,-633 423.5,-627 423.5,-621 423.5,-621 423.5,-601 423.5,-601 423.5,-595 429.5,-589 435.5,-589"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_history_1 -->
|
|
|
-<g id="node10" class="node">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_history_1</title>
|
|
|
-<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="413" cy="-450" rx="18" ry="18"/>
|
|
|
-<text text-anchor="middle" x="413" y="-446.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_outer_1->_parallel_orthogonal_1_orthogonal_inner_1_history_1 -->
|
|
|
-<g id="edge7" class="edge">
|
|
|
-<title>_parallel_orthogonal_1_outer_1->_parallel_orthogonal_1_orthogonal_inner_1_history_1</title>
|
|
|
-<path fill="none" stroke="#000000" d="M422.2824,-589.2745C410.2548,-583.954 402,-577.6851 402,-570.5 402,-570.5 402,-570.5 402,-523.5 402,-508.3305 404.3201,-491.5919 406.8293,-477.925"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="410.3424,-478.1996 408.8414,-467.7116 403.4744,-476.8465 410.3424,-478.1996"/>
|
|
|
-<text text-anchor="start" x="402" y="-544" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.to_history_1   </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1->_parallel_orthogonal_1_outer_1 -->
|
|
|
-<g id="edge6" class="edge">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1->_parallel_orthogonal_1_outer_1</title>
|
|
|
-<path fill="none" stroke="#000000" d="M555.6355,-505.9972C555.2395,-511.8972 555,-517.815 555,-523.5 555,-570.5 555,-570.5 555,-570.5 555,-573.4015 554.4739,-576.1654 553.5408,-578.7856"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="550.4189,-577.1973 548.5938,-587.6338 556.5288,-580.6134 550.4189,-577.1973"/>
|
|
|
-<text text-anchor="start" x="555" y="-544" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.to_outer_1   </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_initial -->
|
|
|
-<g id="node7" class="node">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_initial</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="479" cy="-450" rx="5.5" ry="5.5"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_state_1 -->
|
|
|
-<g id="node8" class="node">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_state_1</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="570,-278 388,-278 388,-232 570,-232 570,-278"/>
|
|
|
-<text text-anchor="start" x="459.3236" y="-261.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_1</text>
|
|
|
-<text text-anchor="start" x="393.8174" y="-241.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^test_output.in_state_1</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="388,-255 388,-255 570,-255 570,-255 388,-255"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M401,-233C401,-233 557,-233 557,-233 563,-233 569,-239 569,-245 569,-245 569,-265 569,-265 569,-271 563,-277 557,-277 557,-277 401,-277 401,-277 395,-277 389,-271 389,-265 389,-265 389,-245 389,-245 389,-239 395,-233 401,-233"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_initial->_parallel_orthogonal_1_orthogonal_inner_1_state_1 -->
|
|
|
-<g id="edge3" class="edge">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_initial->_parallel_orthogonal_1_orthogonal_inner_1_state_1</title>
|
|
|
-<path fill="none" stroke="#000000" d="M479,-444.4659C479,-437.482 479,-425.1007 479,-414.5 479,-414.5 479,-414.5 479,-295.5 479,-293.127 479,-290.6757 479,-288.2081"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="482.5001,-288.1306 479,-278.1306 475.5001,-288.1306 482.5001,-288.1306"/>
|
|
|
-<text text-anchor="middle" x="480.3895" y="-352" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_state_2 -->
|
|
|
-<g id="node9" class="node">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_state_2</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="570,-78 388,-78 388,-32 570,-32 570,-78"/>
|
|
|
-<text text-anchor="start" x="459.3236" y="-61.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_2</text>
|
|
|
-<text text-anchor="start" x="393.8174" y="-41.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^test_output.in_state_2</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="388,-55 388,-55 570,-55 570,-55 388,-55"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M401,-33C401,-33 557,-33 557,-33 563,-33 569,-39 569,-45 569,-45 569,-65 569,-65 569,-71 563,-77 557,-77 557,-77 401,-77 401,-77 395,-77 389,-71 389,-65 389,-65 389,-45 389,-45 389,-39 395,-33 401,-33"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_state_1->_parallel_orthogonal_1_orthogonal_inner_1_state_2 -->
|
|
|
-<g id="edge4" class="edge">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_state_1->_parallel_orthogonal_1_orthogonal_inner_1_state_2</title>
|
|
|
-<path fill="none" stroke="#000000" d="M471.2193,-231.6816C469.9283,-226.1156 469,-220.1491 469,-214.5 469,-214.5 469,-214.5 469,-95.5 469,-93.1168 469.1652,-90.6771 469.4532,-88.2348"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="472.9116,-88.7772 471.2193,-78.3184 466.02,-87.5498 472.9116,-88.7772"/>
|
|
|
-<text text-anchor="start" x="469" y="-152" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.to_state_2   </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_1_orthogonal_inner_1_history_1->_parallel_orthogonal_1_orthogonal_inner_1_state_1 -->
|
|
|
-<g id="edge5" class="edge">
|
|
|
-<title>_parallel_orthogonal_1_orthogonal_inner_1_history_1->_parallel_orthogonal_1_orthogonal_inner_1_state_1</title>
|
|
|
-<path fill="none" stroke="#000000" d="M421.5988,-433.8304C424.0164,-427.9161 426,-421.0634 426,-414.5 426,-414.5 426,-414.5 426,-295.5 426,-292.3516 426.5978,-289.4151 427.6663,-286.6811"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="430.6567,-288.5 432.9288,-278.1516 424.6993,-284.8244 430.6567,-288.5"/>
|
|
|
-<text text-anchor="middle" x="427.3895" y="-352" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2 -->
|
|
|
-<!-- _parallel_orthogonal_2_initial -->
|
|
|
-<g id="node12" class="node">
|
|
|
-<title>_parallel_orthogonal_2_initial</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="328" cy="-611" rx="5.5" ry="5.5"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2 -->
|
|
|
-<!-- _parallel_orthogonal_2_initial->_parallel_orthogonal_2_orthogonal_inner_2 -->
|
|
|
-<g id="edge8" class="edge">
|
|
|
-<title>_parallel_orthogonal_2_initial->_parallel_orthogonal_2_orthogonal_inner_2</title>
|
|
|
-<path fill="none" stroke="#000000" d="M331.2683,-606.3352C338.0449,-596.5807 353,-574.5902 353,-570.5 353,-570.5 353,-570.5 353,-523.5 353,-473.0138 280.4529,-457.113 240.1808,-452.1756"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="240.3165,-448.67 229.9985,-451.0758 239.5648,-455.6295 240.3165,-448.67"/>
|
|
|
-<text text-anchor="middle" x="354.3895" y="-544" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_outer_2 -->
|
|
|
-<g id="node13" class="node">
|
|
|
-<title>_parallel_orthogonal_2_outer_2</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="260.5,-634 77.5,-634 77.5,-588 260.5,-588 260.5,-634"/>
|
|
|
-<text text-anchor="start" x="149.1582" y="-617.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">outer_2</text>
|
|
|
-<text text-anchor="start" x="83.652" y="-597.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^test_output.in_outer_2</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="78,-611 78,-611 261,-611 261,-611 78,-611"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M90.5,-589C90.5,-589 247.5,-589 247.5,-589 253.5,-589 259.5,-595 259.5,-601 259.5,-601 259.5,-621 259.5,-621 259.5,-627 253.5,-633 247.5,-633 247.5,-633 90.5,-633 90.5,-633 84.5,-633 78.5,-627 78.5,-621 78.5,-621 78.5,-601 78.5,-601 78.5,-595 84.5,-589 90.5,-589"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_history_2 -->
|
|
|
-<g id="node18" class="node">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_history_2</title>
|
|
|
-<ellipse fill="transparent" stroke="#000000" stroke-width="2" cx="65" cy="-450" rx="18" ry="18"/>
|
|
|
-<text text-anchor="middle" x="65" y="-446.4" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">H</text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_outer_2->_parallel_orthogonal_2_orthogonal_inner_2_history_2 -->
|
|
|
-<g id="edge13" class="edge">
|
|
|
-<title>_parallel_orthogonal_2_outer_2->_parallel_orthogonal_2_orthogonal_inner_2_history_2</title>
|
|
|
-<path fill="none" stroke="#000000" d="M86.3399,-587.8996C68.0561,-581.6109 54,-575.2362 54,-570.5 54,-570.5 54,-570.5 54,-523.5 54,-508.3305 56.3201,-491.5919 58.8293,-477.925"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="62.3424,-478.1996 60.8414,-467.7116 55.4744,-476.8465 62.3424,-478.1996"/>
|
|
|
-<text text-anchor="start" x="54" y="-544" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.to_history_2   </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2->_parallel_orthogonal_2_outer_2 -->
|
|
|
-<g id="edge12" class="edge">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2->_parallel_orthogonal_2_outer_2</title>
|
|
|
-<path fill="none" stroke="#000000" d="M207.5571,-505.995C207.21,-511.8979 207,-517.817 207,-523.5 207,-570.5 207,-570.5 207,-570.5 207,-573.3835 206.4814,-576.1459 205.5654,-578.7763"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="202.4147,-577.2444 200.7251,-587.7036 208.5684,-580.5809 202.4147,-577.2444"/>
|
|
|
-<text text-anchor="start" x="207" y="-544" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.to_outer_2   </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_initial -->
|
|
|
-<g id="node15" class="node">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_initial</title>
|
|
|
-<ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="131" cy="-450" rx="5.5" ry="5.5"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_state_3 -->
|
|
|
-<g id="node16" class="node">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_state_3</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="222,-278 40,-278 40,-232 222,-232 222,-278"/>
|
|
|
-<text text-anchor="start" x="111.3236" y="-261.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_3</text>
|
|
|
-<text text-anchor="start" x="45.8174" y="-241.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^test_output.in_state_3</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="40,-255 40,-255 222,-255 222,-255 40,-255"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M53,-233C53,-233 209,-233 209,-233 215,-233 221,-239 221,-245 221,-245 221,-265 221,-265 221,-271 215,-277 209,-277 209,-277 53,-277 53,-277 47,-277 41,-271 41,-265 41,-265 41,-245 41,-245 41,-239 47,-233 53,-233"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_initial->_parallel_orthogonal_2_orthogonal_inner_2_state_3 -->
|
|
|
-<g id="edge9" class="edge">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_initial->_parallel_orthogonal_2_orthogonal_inner_2_state_3</title>
|
|
|
-<path fill="none" stroke="#000000" d="M131,-444.4659C131,-437.482 131,-425.1007 131,-414.5 131,-414.5 131,-414.5 131,-295.5 131,-293.127 131,-290.6757 131,-288.2081"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="134.5001,-288.1306 131,-278.1306 127.5001,-288.1306 134.5001,-288.1306"/>
|
|
|
-<text text-anchor="middle" x="132.3895" y="-352" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_state_4 -->
|
|
|
-<g id="node17" class="node">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_state_4</title>
|
|
|
-<polygon fill="transparent" stroke="transparent" stroke-width="2" points="222,-78 40,-78 40,-32 222,-32 222,-78"/>
|
|
|
-<text text-anchor="start" x="111.3236" y="-61.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">state_4</text>
|
|
|
-<text text-anchor="start" x="45.8174" y="-41.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">onentry/ ^test_output.in_state_4</text>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="40,-55 40,-55 222,-55 222,-55 40,-55"/>
|
|
|
-<path fill="none" stroke="#000000" stroke-width="2" d="M53,-33C53,-33 209,-33 209,-33 215,-33 221,-39 221,-45 221,-45 221,-65 221,-65 221,-71 215,-77 209,-77 209,-77 53,-77 53,-77 47,-77 41,-71 41,-65 41,-65 41,-45 41,-45 41,-39 47,-33 53,-33"/>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_state_3->_parallel_orthogonal_2_orthogonal_inner_2_state_4 -->
|
|
|
-<g id="edge10" class="edge">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_state_3->_parallel_orthogonal_2_orthogonal_inner_2_state_4</title>
|
|
|
-<path fill="none" stroke="#000000" d="M123.2193,-231.6816C121.9283,-226.1156 121,-220.1491 121,-214.5 121,-214.5 121,-214.5 121,-95.5 121,-93.1168 121.1652,-90.6771 121.4532,-88.2348"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="124.9116,-88.7772 123.2193,-78.3184 118.02,-87.5498 124.9116,-88.7772"/>
|
|
|
-<text text-anchor="start" x="121" y="-152" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">test_input.to_state_4   </text>
|
|
|
-</g>
|
|
|
-<!-- _parallel_orthogonal_2_orthogonal_inner_2_history_2->_parallel_orthogonal_2_orthogonal_inner_2_state_3 -->
|
|
|
-<g id="edge11" class="edge">
|
|
|
-<title>_parallel_orthogonal_2_orthogonal_inner_2_history_2->_parallel_orthogonal_2_orthogonal_inner_2_state_3</title>
|
|
|
-<path fill="none" stroke="#000000" d="M73.5988,-433.8304C76.0164,-427.9161 78,-421.0634 78,-414.5 78,-414.5 78,-414.5 78,-295.5 78,-292.3516 78.5978,-289.4151 79.6663,-286.6811"/>
|
|
|
-<polygon fill="#000000" stroke="#000000" points="82.6567,-288.5 84.9288,-278.1516 76.6993,-284.8244 82.6567,-288.5"/>
|
|
|
-<text text-anchor="middle" x="79.3895" y="-352" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
|
|
|
-</g>
|
|
|
-</g>
|
|
|
-</svg>
|