diff options
Diffstat (limited to 'chapter05/docs')
| -rw-r--r-- | chapter05/docs/05-graph1.gv | 20 | ||||
| -rw-r--r-- | chapter05/docs/05-graph1.svg | 8 | ||||
| -rw-r--r-- | chapter05/docs/05-graph2.gv | 29 | ||||
| -rw-r--r-- | chapter05/docs/05-graph2.svg | 159 | ||||
| -rw-r--r-- | chapter05/docs/05-graph3.gv | 35 | ||||
| -rw-r--r-- | chapter05/docs/05-graph3.svg | 170 |
6 files changed, 225 insertions, 196 deletions
diff --git a/chapter05/docs/05-graph1.gv b/chapter05/docs/05-graph1.gv index 6b2a5788..539ee7f2 100644 --- a/chapter05/docs/05-graph1.gv +++ b/chapter05/docs/05-graph1.gv @@ -7,6 +7,7 @@ else { a = arg-3; #showGraph; } +#showGraph; return a; */ @@ -67,14 +68,15 @@ return a; </TABLE>>]; } } - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; + edge [ fontname=Helvetica, fontsize=8 ]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> EQNode8[taillabel=1]; + Add14 -> Start2:p1[taillabel=1]; + Add14 -> Con_13[taillabel=2]; + Sub16 -> Start2:p1[taillabel=1]; + Sub16 -> Con_15[taillabel=2]; edge [style=dashed color=cornflowerblue]; Scope1_0:"Scope1_0_$ctrl" -> If9:p0; Scope1_0:"Scope1_0_arg" -> Start2:p1; @@ -83,4 +85,4 @@ return a; Scope12_0:"Scope12_0_$ctrl" -> If9:p1; Scope12_0:"Scope12_0_arg" -> Start2:p1; Scope12_1:"Scope12_1_a" -> Sub16; -}
\ No newline at end of file +} diff --git a/chapter05/docs/05-graph1.svg b/chapter05/docs/05-graph1.svg index ac1f91fc..efe0a0e8 100644 --- a/chapter05/docs/05-graph1.svg +++ b/chapter05/docs/05-graph1.svg @@ -59,12 +59,14 @@ <title>EQNode8->Start2:p1</title> <path fill="none" stroke="black" d="M240.7,-231.97C238.58,-241.48 236.3,-253.83 235.4,-265.95"/> <polygon fill="black" stroke="black" points="231.9,-265.87 235,-276 238.89,-266.15 231.9,-265.87"/> +<text text-anchor="middle" x="237.7" y="-234.57" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- EQNode8->Con_7 --> <g id="edge2" class="edge"> <title>EQNode8->Con_7</title> <path fill="none" stroke="black" d="M256.56,-230.41C266.06,-243.08 279.67,-261.23 290.51,-275.68"/> <polygon fill="black" stroke="black" points="287.72,-277.79 296.52,-283.69 293.32,-273.59 287.72,-277.79"/> +<text text-anchor="middle" x="253.56" y="-233.01" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- If9 --> <g id="node4" class="node"> @@ -85,12 +87,14 @@ <title>If9->Start2:p0</title> <path fill="none" stroke="red" d="M210.29,-160.14C205.78,-187.26 200.08,-228.01 199.14,-265.52"/> <polygon fill="red" stroke="red" points="195.63,-265.96 199,-276 202.63,-266.05 195.63,-265.96"/> +<text text-anchor="middle" x="207.29" y="-162.74" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> </g> <!-- If9->EQNode8 --> <g id="edge4" class="edge"> <title>If9->EQNode8</title> <path fill="none" stroke="black" d="M226.8,-160.28C229.78,-168.9 232.97,-178.17 235.85,-186.49"/> <polygon fill="black" stroke="black" points="232.58,-187.76 239.16,-196.07 239.2,-185.48 232.58,-187.76"/> +<text text-anchor="middle" x="223.8" y="-162.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Con_13 --> <g id="node5" class="node"> @@ -109,12 +113,14 @@ <title>Add14->Start2:p1</title> <path fill="none" stroke="black" d="M174.12,-225.69C193.67,-236.17 221.18,-252.54 231.18,-266.44"/> <polygon fill="black" stroke="black" points="228.04,-268.01 235,-276 234.54,-265.42 228.04,-268.01"/> +<text text-anchor="middle" x="171.12" y="-228.29" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Add14->Con_13 --> <g id="edge6" class="edge"> <title>Add14->Con_13</title> <path fill="none" stroke="black" d="M146.48,-231.6C141.87,-243.33 135.59,-259.3 130.31,-272.76"/> <polygon fill="black" stroke="black" points="126.91,-271.85 126.51,-282.44 133.42,-274.41 126.91,-271.85"/> +<text text-anchor="middle" x="143.48" y="-234.2" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Con_15 --> <g id="node7" class="node"> @@ -133,12 +139,14 @@ <title>Sub16->Start2:p1</title> <path fill="none" stroke="black" d="M304.31,-229.92C290.9,-245.57 270.14,-269.43 258.76,-280.7"/> <polygon fill="black" stroke="black" points="256.56,-277.98 251,-287 260.97,-283.41 256.56,-277.98"/> +<text text-anchor="middle" x="301.31" y="-232.52" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Sub16->Con_15 --> <g id="edge8" class="edge"> <title>Sub16->Con_15</title> <path fill="none" stroke="black" d="M328.56,-230.41C338.06,-243.08 351.67,-261.23 362.51,-275.68"/> <polygon fill="black" stroke="black" points="359.72,-277.79 368.52,-283.69 365.32,-273.59 359.72,-277.79"/> +<text text-anchor="middle" x="325.56" y="-233.01" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Scope1_0 --> <g id="node9" class="node"> diff --git a/chapter05/docs/05-graph2.gv b/chapter05/docs/05-graph2.gv index ee2feeed..0be7c1d6 100644 --- a/chapter05/docs/05-graph2.gv +++ b/chapter05/docs/05-graph2.gv @@ -43,7 +43,7 @@ return a; Sub16 [ label="-" ]; Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; - { rank=same; Phi_a18;} + { rank=same; Region17;Phi_a18;} } node [shape=plaintext]; subgraph cluster_Scope1_0 { @@ -58,19 +58,20 @@ return a; </TABLE>>]; } } - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; - Region17 -> If9:p0 [color=red]; - Region17 -> If9:p1 [color=red]; - Phi_a18 -> Region17 [color=red]; - Phi_a18 -> Add14; - Phi_a18 -> Sub16; + edge [ fontname=Helvetica, fontsize=8 ]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> EQNode8[taillabel=1]; + Add14 -> Start2:p1[taillabel=1]; + Add14 -> Con_13[taillabel=2]; + Sub16 -> Start2:p1[taillabel=1]; + Sub16 -> Con_15[taillabel=2]; + Region17 -> If9:p0[taillabel=1; color=red]; + Region17 -> If9:p1[taillabel=2; color=red]; + Region17 -> Phi_a18 [style=invis] + Phi_a18 -> Add14[taillabel=1]; + Phi_a18 -> Sub16[taillabel=2]; edge [style=dashed color=cornflowerblue]; Scope1_0:"Scope1_0_$ctrl" -> Region17; Scope1_0:"Scope1_0_arg" -> Start2:p1; diff --git a/chapter05/docs/05-graph2.svg b/chapter05/docs/05-graph2.svg index 5282b4c4..ebc4ffac 100644 --- a/chapter05/docs/05-graph2.svg +++ b/chapter05/docs/05-graph2.svg @@ -4,14 +4,14 @@ <!-- Generated by graphviz version 2.43.0 (0) --> <!-- Title: chapter05 Pages: 1 --> -<svg width="334pt" height="500pt" - viewBox="0.00 0.00 334.00 500.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 496)"> +<svg width="302pt" height="428pt" + viewBox="0.00 0.00 302.28 428.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 424)"> <title>chapter05</title> -<polygon fill="white" stroke="transparent" points="-4,4 -4,-496 330,-496 330,4 -4,4"/> +<polygon fill="white" stroke="transparent" points="-4,4 -4,-424 298.28,-424 298.28,4 -4,4"/> <g id="clust1" class="cluster"> <title>cluster_Nodes</title> -<polygon fill="none" stroke="black" points="8,-88 8,-484 318,-484 318,-88 8,-88"/> +<polygon fill="none" stroke="black" points="8,-88 8,-412 282,-412 282,-88 8,-88"/> </g> <g id="clust3" class="cluster"> <title>cluster_Scope1_0</title> @@ -24,156 +24,163 @@ <!-- Start2 --> <g id="node1" class="node"> <title>Start2</title> -<polygon fill="yellow" stroke="transparent" points="149,-447 149,-472 230,-472 230,-447 149,-447"/> -<polygon fill="none" stroke="black" points="149,-447 149,-472 230,-472 230,-447 149,-447"/> -<text text-anchor="start" x="171" y="-455.8" font-family="Times,serif" font-size="14.00">Start</text> -<polygon fill="none" stroke="black" points="149,-416 149,-447 230,-447 230,-416 149,-416"/> -<polygon fill="yellow" stroke="transparent" points="154,-421 154,-442 194,-442 194,-421 154,-421"/> -<polygon fill="none" stroke="black" points="154,-421 154,-442 194,-442 194,-421 154,-421"/> -<text text-anchor="start" x="157" y="-427.8" font-family="Times,serif" font-size="14.00">$ctrl</text> -<polygon fill="none" stroke="black" points="194,-421 194,-442 225,-442 225,-421 194,-421"/> -<text text-anchor="start" x="197" y="-427.8" font-family="Times,serif" font-size="14.00">arg</text> +<polygon fill="yellow" stroke="transparent" points="118,-375 118,-400 199,-400 199,-375 118,-375"/> +<polygon fill="none" stroke="black" points="118,-375 118,-400 199,-400 199,-375 118,-375"/> +<text text-anchor="start" x="140" y="-383.8" font-family="Times,serif" font-size="14.00">Start</text> +<polygon fill="none" stroke="black" points="118,-344 118,-375 199,-375 199,-344 118,-344"/> +<polygon fill="yellow" stroke="transparent" points="123,-349 123,-370 163,-370 163,-349 123,-349"/> +<polygon fill="none" stroke="black" points="123,-349 123,-370 163,-370 163,-349 123,-349"/> +<text text-anchor="start" x="126" y="-355.8" font-family="Times,serif" font-size="14.00">$ctrl</text> +<polygon fill="none" stroke="black" points="163,-349 163,-370 194,-370 194,-349 163,-349"/> +<text text-anchor="start" x="166" y="-355.8" font-family="Times,serif" font-size="14.00">arg</text> </g> <!-- Con_7 --> <g id="node2" class="node"> <title>Con_7</title> -<ellipse fill="none" stroke="black" cx="95" cy="-444" rx="27" ry="18"/> -<text text-anchor="middle" x="95" y="-440.3" font-family="Times,serif" font-size="14.00">#1</text> +<ellipse fill="none" stroke="black" cx="63" cy="-372" rx="27" ry="18"/> +<text text-anchor="middle" x="63" y="-368.3" font-family="Times,serif" font-size="14.00">#1</text> </g> <!-- EQNode8 --> <g id="node3" class="node"> <title>EQNode8</title> -<ellipse fill="none" stroke="black" cx="117" cy="-358" rx="27" ry="18"/> -<text text-anchor="middle" x="117" y="-354.3" font-family="Times,serif" font-size="14.00">==</text> +<ellipse fill="none" stroke="black" cx="63" cy="-286" rx="27" ry="18"/> +<text text-anchor="middle" x="63" y="-282.3" font-family="Times,serif" font-size="14.00">==</text> </g> <!-- EQNode8->Start2 --> <g id="edge1" class="edge"> <title>EQNode8->Start2:p1</title> -<path fill="none" stroke="black" d="M142.41,-364.17C166.94,-370.63 201.39,-384.14 208.63,-409.93"/> -<polygon fill="black" stroke="black" points="205.18,-410.56 210,-420 212.12,-409.62 205.18,-410.56"/> +<path fill="none" stroke="black" d="M84.55,-297.13C110.75,-309.58 153.66,-330.41 171.18,-341.44"/> +<polygon fill="black" stroke="black" points="169.09,-344.25 179,-348 173.59,-338.89 169.09,-344.25"/> +<text text-anchor="middle" x="87.55" y="-299.73" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- EQNode8->Con_7 --> <g id="edge2" class="edge"> <title>EQNode8->Con_7</title> -<path fill="none" stroke="black" d="M112.55,-376C109.54,-387.5 105.49,-402.93 102.05,-416.08"/> -<polygon fill="black" stroke="black" points="98.59,-415.47 99.45,-426.03 105.36,-417.24 98.59,-415.47"/> +<path fill="none" stroke="black" d="M63,-304.4C63,-315.74 63,-330.77 63,-343.68"/> +<polygon fill="black" stroke="black" points="59.5,-343.9 63,-353.9 66.5,-343.9 59.5,-343.9"/> +<text text-anchor="middle" x="60" y="-307" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- If9 --> <g id="node4" class="node"> <title>If9</title> -<polygon fill="yellow" stroke="transparent" points="24,-275 24,-300 118,-300 118,-275 24,-275"/> -<polygon fill="none" stroke="black" points="24,-275 24,-300 118,-300 118,-275 24,-275"/> -<text text-anchor="start" x="65.5" y="-283.8" font-family="Times,serif" font-size="14.00">If</text> -<polygon fill="none" stroke="black" points="24,-244 24,-275 118,-275 118,-244 24,-244"/> -<polygon fill="yellow" stroke="transparent" points="29,-249 29,-270 69,-270 69,-249 29,-249"/> -<polygon fill="none" stroke="black" points="29,-249 29,-270 69,-270 69,-249 29,-249"/> -<text text-anchor="start" x="32" y="-255.8" font-family="Times,serif" font-size="14.00">True</text> -<polygon fill="yellow" stroke="transparent" points="69,-249 69,-270 113,-270 113,-249 69,-249"/> -<polygon fill="none" stroke="black" points="69,-249 69,-270 113,-270 113,-249 69,-249"/> -<text text-anchor="start" x="72" y="-255.8" font-family="Times,serif" font-size="14.00">False</text> +<polygon fill="yellow" stroke="transparent" points="24,-203 24,-228 118,-228 118,-203 24,-203"/> +<polygon fill="none" stroke="black" points="24,-203 24,-228 118,-228 118,-203 24,-203"/> +<text text-anchor="start" x="65.5" y="-211.8" font-family="Times,serif" font-size="14.00">If</text> +<polygon fill="none" stroke="black" points="24,-172 24,-203 118,-203 118,-172 24,-172"/> +<polygon fill="yellow" stroke="transparent" points="29,-177 29,-198 69,-198 69,-177 29,-177"/> +<polygon fill="none" stroke="black" points="29,-177 29,-198 69,-198 69,-177 29,-177"/> +<text text-anchor="start" x="32" y="-183.8" font-family="Times,serif" font-size="14.00">True</text> +<polygon fill="yellow" stroke="transparent" points="69,-177 69,-198 113,-198 113,-177 69,-177"/> +<polygon fill="none" stroke="black" points="69,-177 69,-198 113,-198 113,-177 69,-177"/> +<text text-anchor="start" x="72" y="-183.8" font-family="Times,serif" font-size="14.00">False</text> </g> <!-- If9->Start2 --> <g id="edge3" class="edge"> <title>If9->Start2:p0</title> -<path fill="none" stroke="red" d="M67.56,-304.31C66.67,-325.84 68.55,-354.35 81,-376 94.65,-399.74 109.51,-395.03 131,-412 137.5,-417.13 139.4,-423.48 143.32,-427.39"/> -<polygon fill="red" stroke="red" points="142.41,-430.78 153,-431 144.85,-424.23 142.41,-430.78"/> +<path fill="none" stroke="red" d="M42.24,-232.39C26.58,-253.43 12.99,-281.34 27,-304 45.81,-334.43 69.02,-320.48 99,-340 106.29,-344.75 108.21,-351.45 112.41,-355.49"/> +<polygon fill="red" stroke="red" points="111.41,-358.85 122,-359 113.81,-352.28 111.41,-358.85"/> +<text text-anchor="middle" x="39.24" y="-234.99" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> </g> <!-- If9->EQNode8 --> <g id="edge4" class="edge"> <title>If9->EQNode8</title> -<path fill="none" stroke="black" d="M88.13,-304.28C93.08,-313.32 98.42,-323.08 103.15,-331.71"/> -<polygon fill="black" stroke="black" points="100.11,-333.45 107.99,-340.54 106.25,-330.09 100.11,-333.45"/> +<path fill="none" stroke="black" d="M68.02,-232.28C67.23,-240.58 66.38,-249.48 65.61,-257.56"/> +<polygon fill="black" stroke="black" points="62.12,-257.31 64.66,-267.6 69.09,-257.97 62.12,-257.31"/> +<text text-anchor="middle" x="65.02" y="-234.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Con_13 --> <g id="node5" class="node"> <title>Con_13</title> -<ellipse fill="none" stroke="black" cx="263" cy="-272" rx="27" ry="18"/> -<text text-anchor="middle" x="263" y="-268.3" font-family="Times,serif" font-size="14.00">#2</text> +<ellipse fill="none" stroke="black" cx="227" cy="-286" rx="27" ry="18"/> +<text text-anchor="middle" x="227" y="-282.3" font-family="Times,serif" font-size="14.00">#2</text> </g> <!-- Add14 --> <g id="node6" class="node"> <title>Add14</title> -<ellipse fill="none" stroke="black" cx="254" cy="-186" rx="27" ry="18"/> -<text text-anchor="middle" x="254" y="-182.3" font-family="Times,serif" font-size="14.00">+</text> +<ellipse fill="none" stroke="black" cx="243" cy="-200" rx="27" ry="18"/> +<text text-anchor="middle" x="243" y="-196.3" font-family="Times,serif" font-size="14.00">+</text> </g> <!-- Add14->Start2 --> <g id="edge5" class="edge"> <title>Add14->Start2:p1</title> -<path fill="none" stroke="black" d="M271.28,-200.03C289.35,-215.37 314.41,-242.4 309,-271"/> -<path fill="none" stroke="black" d="M309,-273C306.31,-287.22 306.93,-291.89 299,-304 279.51,-333.77 252.75,-324.18 239,-357"/> +<path fill="none" stroke="black" d="M255.66,-216.26C268.24,-233.4 284.18,-261.85 273,-285"/> +<path fill="none" stroke="black" d="M273,-287C256.15,-321.89 246.19,-348.04 217.03,-356.27"/> +<polygon fill="black" stroke="black" points="215.98,-352.91 206.86,-358.3 217.35,-359.77 215.98,-352.91"/> +<text text-anchor="middle" x="252.66" y="-218.86" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Add14->Con_13 --> <g id="edge6" class="edge"> <title>Add14->Con_13</title> -<path fill="none" stroke="black" d="M255.82,-204C257.04,-215.38 258.67,-230.62 260.07,-243.69"/> -<polygon fill="black" stroke="black" points="256.64,-244.46 261.18,-254.03 263.6,-243.71 256.64,-244.46"/> +<path fill="none" stroke="black" d="M239.76,-218C237.57,-229.5 234.63,-244.93 232.13,-258.08"/> +<polygon fill="black" stroke="black" points="228.67,-257.55 230.23,-268.03 235.54,-258.86 228.67,-257.55"/> +<text text-anchor="middle" x="236.76" y="-220.6" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Con_15 --> <g id="node7" class="node"> <title>Con_15</title> -<ellipse fill="none" stroke="black" cx="171" cy="-272" rx="27" ry="18"/> -<text text-anchor="middle" x="171" y="-268.3" font-family="Times,serif" font-size="14.00">#3</text> +<ellipse fill="none" stroke="black" cx="135" cy="-286" rx="27" ry="18"/> +<text text-anchor="middle" x="135" y="-282.3" font-family="Times,serif" font-size="14.00">#3</text> </g> <!-- Sub16 --> <g id="node8" class="node"> <title>Sub16</title> -<ellipse fill="none" stroke="black" cx="182" cy="-186" rx="27" ry="18"/> -<text text-anchor="middle" x="182" y="-182.3" font-family="Times,serif" font-size="14.00">-</text> +<ellipse fill="none" stroke="black" cx="171" cy="-200" rx="27" ry="18"/> +<text text-anchor="middle" x="171" y="-196.3" font-family="Times,serif" font-size="14.00">-</text> </g> <!-- Sub16->Start2 --> <g id="edge7" class="edge"> <title>Sub16->Start2:p1</title> -<path fill="none" stroke="black" d="M190.64,-203.39C195.85,-213.71 202.35,-227.4 207,-240 209.34,-246.32 241.62,-350.79 239,-357"/> -<path fill="none" stroke="black" d="M239,-359C230.25,-379.89 218.2,-386.89 212.81,-401.96"/> -<polygon fill="black" stroke="black" points="209.35,-401.39 210.48,-411.92 216.16,-402.98 209.35,-401.39"/> +<path fill="none" stroke="black" d="M172.54,-218.18C174.7,-243.68 178.43,-293.32 178.94,-337.97"/> +<polygon fill="black" stroke="black" points="175.44,-338.02 179,-348 182.44,-337.98 175.44,-338.02"/> +<text text-anchor="middle" x="169.54" y="-220.78" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Sub16->Con_15 --> <g id="edge8" class="edge"> <title>Sub16->Con_15</title> -<path fill="none" stroke="black" d="M179.77,-204C178.27,-215.5 176.25,-230.93 174.52,-244.08"/> -<polygon fill="black" stroke="black" points="171.05,-243.66 173.22,-254.03 177.99,-244.57 171.05,-243.66"/> +<path fill="none" stroke="black" d="M163.89,-217.6C158.81,-229.45 151.88,-245.62 146.08,-259.15"/> +<polygon fill="black" stroke="black" points="142.82,-257.87 142.1,-268.44 149.25,-260.63 142.82,-257.87"/> +<text text-anchor="middle" x="160.89" y="-220.2" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Region17 --> <g id="node9" class="node"> <title>Region17</title> -<polygon fill="yellow" stroke="black" points="124,-204 58,-204 58,-168 124,-168 124,-204"/> -<text text-anchor="middle" x="91" y="-182.3" font-family="Times,serif" font-size="14.00">Region</text> +<polygon fill="yellow" stroke="black" points="124,-132 58,-132 58,-96 124,-96 124,-132"/> +<text text-anchor="middle" x="91" y="-110.3" font-family="Times,serif" font-size="14.00">Region</text> </g> <!-- Region17->If9 --> <g id="edge9" class="edge"> <title>Region17->If9:p0</title> -<path fill="none" stroke="red" d="M70.98,-204.12C62.36,-213.06 53.52,-224.84 50.29,-237.84"/> -<polygon fill="red" stroke="red" points="46.78,-237.64 49,-248 53.73,-238.52 46.78,-237.64"/> +<path fill="none" stroke="red" d="M70.98,-132.12C62.36,-141.06 53.52,-152.84 50.29,-165.84"/> +<polygon fill="red" stroke="red" points="46.78,-165.64 49,-176 53.73,-166.52 46.78,-165.64"/> +<text text-anchor="middle" x="67.98" y="-134.72" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Region17->If9 --> <g id="edge10" class="edge"> <title>Region17->If9:p1</title> -<path fill="none" stroke="red" d="M91,-204.09C91,-213.55 91,-225.77 91,-237.69"/> -<polygon fill="red" stroke="red" points="87.5,-238 91,-248 94.5,-238 87.5,-238"/> +<path fill="none" stroke="red" d="M91,-132.09C91,-141.55 91,-153.77 91,-165.69"/> +<polygon fill="red" stroke="red" points="87.5,-166 91,-176 94.5,-166 87.5,-166"/> +<text text-anchor="middle" x="88" y="-134.69" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Phi_a18 --> <g id="node10" class="node"> <title>Phi_a18</title> -<ellipse fill="lightyellow" stroke="black" cx="193" cy="-114" rx="27" ry="18"/> -<text text-anchor="middle" x="193" y="-110.3" font-family="Times,serif" font-size="14.00">φ_a</text> +<ellipse fill="lightyellow" stroke="black" cx="187" cy="-114" rx="27" ry="18"/> +<text text-anchor="middle" x="187" y="-110.3" font-family="Times,serif" font-size="14.00">φ_a</text> </g> +<!-- Region17->Phi_a18 --> <!-- Phi_a18->Add14 --> <g id="edge12" class="edge"> <title>Phi_a18->Add14</title> -<path fill="none" stroke="black" d="M205.94,-129.85C214.19,-139.31 225.04,-151.76 234.34,-162.44"/> -<polygon fill="black" stroke="black" points="231.87,-164.94 241.08,-170.18 237.15,-160.34 231.87,-164.94"/> +<path fill="none" stroke="black" d="M197.53,-130.8C205.75,-143.12 217.3,-160.45 226.7,-174.55"/> +<polygon fill="black" stroke="black" points="224.05,-176.89 232.51,-183.27 229.88,-173.01 224.05,-176.89"/> +<text text-anchor="middle" x="194.53" y="-133.4" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Phi_a18->Sub16 --> <g id="edge13" class="edge"> <title>Phi_a18->Sub16</title> -<path fill="none" stroke="black" d="M190.34,-131.95C189.13,-139.65 187.66,-148.97 186.3,-157.64"/> -<polygon fill="black" stroke="black" points="182.81,-157.3 184.71,-167.72 189.72,-158.39 182.81,-157.3"/> -</g> -<!-- Phi_a18->Region17 --> -<g id="edge11" class="edge"> -<title>Phi_a18->Region17</title> -<path fill="none" stroke="red" d="M174.76,-127.51C160.81,-137.09 141.18,-150.57 124.43,-162.06"/> -<polygon fill="red" stroke="red" points="122.24,-159.32 115.97,-167.86 126.2,-165.09 122.24,-159.32"/> +<path fill="none" stroke="black" d="M183.76,-132C181.57,-143.5 178.63,-158.93 176.13,-172.08"/> +<polygon fill="black" stroke="black" points="172.67,-171.55 174.23,-182.03 179.54,-172.86 172.67,-171.55"/> +<text text-anchor="middle" x="180.76" y="-134.6" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Scope1_0 --> <g id="node11" class="node"> @@ -189,13 +196,13 @@ <!-- Scope1_0->Start2 --> <g id="edge15" class="edge"> <title>Scope1_0:Scope1_0_arg->Start2:p1</title> -<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M143,-41C159.59,-41 143.19,-65.45 156,-76 181.38,-96.9 200.5,-71.61 229,-88 268.96,-110.98 276.52,-125.77 295,-168 313.52,-210.32 317.58,-225.61 309,-271"/> +<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M143,-41C159.59,-41 143.27,-65.36 156,-76 179.21,-95.4 197.18,-72.23 223,-88 261.16,-111.31 269.69,-125.64 284,-168 300.71,-217.48 295.71,-237.97 273,-285"/> </g> <!-- Scope1_0->Region17 --> <g id="edge14" class="edge"> <title>Scope1_0:Scope1_0_$ctrl->Region17</title> -<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M91,-53C91,-89.25 91,-131.11 91,-157.8"/> -<polygon fill="cornflowerblue" stroke="cornflowerblue" points="87.5,-157.91 91,-167.91 94.5,-157.91 87.5,-157.91"/> +<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M91,-53C91,-63.75 91,-75.58 91,-85.87"/> +<polygon fill="cornflowerblue" stroke="cornflowerblue" points="87.5,-85.93 91,-95.93 94.5,-85.93 87.5,-85.93"/> </g> <!-- Scope1_1 --> <g id="node12" class="node"> @@ -209,8 +216,8 @@ <!-- Scope1_1->Phi_a18 --> <g id="edge16" class="edge"> <title>Scope1_1:Scope1_1_a->Phi_a18</title> -<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M204,-53C204,-63.93 202.21,-75.79 200.08,-86.06"/> -<polygon fill="cornflowerblue" stroke="cornflowerblue" points="196.61,-85.55 197.79,-96.08 203.43,-87.11 196.61,-85.55"/> +<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M204,-53C204,-64.37 201.14,-76.5 197.77,-86.87"/> +<polygon fill="cornflowerblue" stroke="cornflowerblue" points="194.38,-85.95 194.31,-96.54 200.97,-88.3 194.38,-85.95"/> </g> </g> </svg> diff --git a/chapter05/docs/05-graph3.gv b/chapter05/docs/05-graph3.gv index a09fcca5..59a8a3e2 100644 --- a/chapter05/docs/05-graph3.gv +++ b/chapter05/docs/05-graph3.gv @@ -45,22 +45,23 @@ return a; Region17 [ shape=box style=filled fillcolor=yellow label="Region" ]; Phi_a18 [ style=filled fillcolor=lightyellow label="φ_a" ]; Return19 [ shape=box style=filled fillcolor=yellow label="Return" ]; - { rank=same; Phi_a18;} + { rank=same; Region17;Phi_a18;} } - Stop3 -> Return19 [color=red]; - EQNode8 -> Start2:p1; - EQNode8 -> Con_7; - If9 -> Start2:p0 [color=red]; - If9 -> EQNode8; - Add14 -> Start2:p1; - Add14 -> Con_13; - Sub16 -> Start2:p1; - Sub16 -> Con_15; - Region17 -> If9:p0 [color=red]; - Region17 -> If9:p1 [color=red]; - Phi_a18 -> Region17 [color=red]; - Phi_a18 -> Add14; - Phi_a18 -> Sub16; - Return19 -> Region17 [color=red]; - Return19 -> Phi_a18; + edge [ fontname=Helvetica, fontsize=8 ]; + Stop3 -> Return19[taillabel=0; color=red]; + EQNode8 -> Start2:p1[taillabel=1]; + EQNode8 -> Con_7[taillabel=2]; + If9 -> Start2:p0[taillabel=0; color=red]; + If9 -> EQNode8[taillabel=1]; + Add14 -> Start2:p1[taillabel=1]; + Add14 -> Con_13[taillabel=2]; + Sub16 -> Start2:p1[taillabel=1]; + Sub16 -> Con_15[taillabel=2]; + Region17 -> If9:p0[taillabel=1; color=red]; + Region17 -> If9:p1[taillabel=2; color=red]; + Region17 -> Phi_a18 [style=invis] + Phi_a18 -> Add14[taillabel=1]; + Phi_a18 -> Sub16[taillabel=2]; + Return19 -> Region17[taillabel=0; color=red]; + Return19 -> Phi_a18[taillabel=1]; } diff --git a/chapter05/docs/05-graph3.svg b/chapter05/docs/05-graph3.svg index 07a07ced..5b6f0c86 100644 --- a/chapter05/docs/05-graph3.svg +++ b/chapter05/docs/05-graph3.svg @@ -4,197 +4,207 @@ <!-- Generated by graphviz version 2.43.0 (0) --> <!-- Title: chapter05 Pages: 1 --> -<svg width="334pt" height="564pt" - viewBox="0.00 0.00 334.00 564.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 560)"> +<svg width="298pt" height="492pt" + viewBox="0.00 0.00 298.00 492.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 488)"> <title>chapter05</title> -<polygon fill="white" stroke="transparent" points="-4,4 -4,-560 330,-560 330,4 -4,4"/> +<polygon fill="white" stroke="transparent" points="-4,4 -4,-488 294,-488 294,4 -4,4"/> <g id="clust1" class="cluster"> <title>cluster_Nodes</title> -<polygon fill="none" stroke="black" points="8,-8 8,-548 318,-548 318,-8 8,-8"/> +<polygon fill="none" stroke="black" points="8,-8 8,-476 282,-476 282,-8 8,-8"/> </g> <!-- Start2 --> <g id="node1" class="node"> <title>Start2</title> -<polygon fill="yellow" stroke="transparent" points="135,-511 135,-536 216,-536 216,-511 135,-511"/> -<polygon fill="none" stroke="black" points="135,-511 135,-536 216,-536 216,-511 135,-511"/> -<text text-anchor="start" x="157" y="-519.8" font-family="Times,serif" font-size="14.00">Start</text> -<polygon fill="none" stroke="black" points="135,-480 135,-511 216,-511 216,-480 135,-480"/> -<polygon fill="yellow" stroke="transparent" points="140,-485 140,-506 180,-506 180,-485 140,-485"/> -<polygon fill="none" stroke="black" points="140,-485 140,-506 180,-506 180,-485 140,-485"/> -<text text-anchor="start" x="143" y="-491.8" font-family="Times,serif" font-size="14.00">$ctrl</text> -<polygon fill="none" stroke="black" points="180,-485 180,-506 211,-506 211,-485 180,-485"/> -<text text-anchor="start" x="183" y="-491.8" font-family="Times,serif" font-size="14.00">arg</text> +<polygon fill="yellow" stroke="transparent" points="97,-439 97,-464 178,-464 178,-439 97,-439"/> +<polygon fill="none" stroke="black" points="97,-439 97,-464 178,-464 178,-439 97,-439"/> +<text text-anchor="start" x="119" y="-447.8" font-family="Times,serif" font-size="14.00">Start</text> +<polygon fill="none" stroke="black" points="97,-408 97,-439 178,-439 178,-408 97,-408"/> +<polygon fill="yellow" stroke="transparent" points="102,-413 102,-434 142,-434 142,-413 102,-413"/> +<polygon fill="none" stroke="black" points="102,-413 102,-434 142,-434 142,-413 102,-413"/> +<text text-anchor="start" x="105" y="-419.8" font-family="Times,serif" font-size="14.00">$ctrl</text> +<polygon fill="none" stroke="black" points="142,-413 142,-434 173,-434 173,-413 142,-413"/> +<text text-anchor="start" x="145" y="-419.8" font-family="Times,serif" font-size="14.00">arg</text> </g> <!-- Stop3 --> <g id="node2" class="node"> <title>Stop3</title> -<polygon fill="yellow" stroke="black" points="221,-52 167,-52 167,-16 221,-16 221,-52"/> -<text text-anchor="middle" x="194" y="-30.3" font-family="Times,serif" font-size="14.00">Stop</text> +<polygon fill="yellow" stroke="black" points="157,-52 103,-52 103,-16 157,-16 157,-52"/> +<text text-anchor="middle" x="130" y="-30.3" font-family="Times,serif" font-size="14.00">Stop</text> </g> <!-- Return19 --> <g id="node12" class="node"> <title>Return19</title> -<polygon fill="yellow" stroke="black" points="227,-124 161,-124 161,-88 227,-88 227,-124"/> -<text text-anchor="middle" x="194" y="-102.3" font-family="Times,serif" font-size="14.00">Return</text> +<polygon fill="yellow" stroke="black" points="163,-124 97,-124 97,-88 163,-88 163,-124"/> +<text text-anchor="middle" x="130" y="-102.3" font-family="Times,serif" font-size="14.00">Return</text> </g> <!-- Stop3->Return19 --> <g id="edge1" class="edge"> <title>Stop3->Return19</title> -<path fill="none" stroke="red" d="M194,-52.3C194,-60.02 194,-69.29 194,-77.89"/> -<polygon fill="red" stroke="red" points="190.5,-77.9 194,-87.9 197.5,-77.9 190.5,-77.9"/> +<path fill="none" stroke="red" d="M130,-52.3C130,-60.02 130,-69.29 130,-77.89"/> +<polygon fill="red" stroke="red" points="126.5,-77.9 130,-87.9 133.5,-77.9 126.5,-77.9"/> +<text text-anchor="middle" x="127" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> </g> <!-- Con_7 --> <g id="node3" class="node"> <title>Con_7</title> -<ellipse fill="none" stroke="black" cx="269" cy="-508" rx="27" ry="18"/> -<text text-anchor="middle" x="269" y="-504.3" font-family="Times,serif" font-size="14.00">#1</text> +<ellipse fill="none" stroke="black" cx="43" cy="-436" rx="27" ry="18"/> +<text text-anchor="middle" x="43" y="-432.3" font-family="Times,serif" font-size="14.00">#1</text> </g> <!-- EQNode8 --> <g id="node4" class="node"> <title>EQNode8</title> -<ellipse fill="none" stroke="black" cx="255" cy="-422" rx="27" ry="18"/> -<text text-anchor="middle" x="255" y="-418.3" font-family="Times,serif" font-size="14.00">==</text> +<ellipse fill="none" stroke="black" cx="63" cy="-350" rx="27" ry="18"/> +<text text-anchor="middle" x="63" y="-346.3" font-family="Times,serif" font-size="14.00">==</text> </g> <!-- EQNode8->Start2 --> <g id="edge2" class="edge"> <title>EQNode8->Start2:p1</title> -<path fill="none" stroke="black" d="M248.78,-439.7C242.25,-456.15 231.48,-480.23 221.01,-490.3"/> -<polygon fill="black" stroke="black" points="219.25,-487.27 212,-495 222.49,-493.48 219.25,-487.27"/> +<path fill="none" stroke="black" d="M85.51,-360.31C108.56,-370.43 142.57,-387.19 154.05,-402.35"/> +<polygon fill="black" stroke="black" points="150.97,-404.07 158,-412 157.45,-401.42 150.97,-404.07"/> +<text text-anchor="middle" x="88.51" y="-362.91" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- EQNode8->Con_7 --> <g id="edge3" class="edge"> <title>EQNode8->Con_7</title> -<path fill="none" stroke="black" d="M257.83,-440C259.75,-451.5 262.32,-466.93 264.51,-480.08"/> -<polygon fill="black" stroke="black" points="261.07,-480.74 266.17,-490.03 267.98,-479.59 261.07,-480.74"/> +<path fill="none" stroke="black" d="M58.95,-368C56.21,-379.5 52.54,-394.93 49.41,-408.08"/> +<polygon fill="black" stroke="black" points="45.95,-407.49 47.04,-418.03 52.76,-409.11 45.95,-407.49"/> +<text text-anchor="middle" x="55.95" y="-370.6" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- If9 --> <g id="node5" class="node"> <title>If9</title> -<polygon fill="yellow" stroke="transparent" points="208,-339 208,-364 302,-364 302,-339 208,-339"/> -<polygon fill="none" stroke="black" points="208,-339 208,-364 302,-364 302,-339 208,-339"/> -<text text-anchor="start" x="249.5" y="-347.8" font-family="Times,serif" font-size="14.00">If</text> -<polygon fill="none" stroke="black" points="208,-308 208,-339 302,-339 302,-308 208,-308"/> -<polygon fill="yellow" stroke="transparent" points="213,-313 213,-334 253,-334 253,-313 213,-313"/> -<polygon fill="none" stroke="black" points="213,-313 213,-334 253,-334 253,-313 213,-313"/> -<text text-anchor="start" x="216" y="-319.8" font-family="Times,serif" font-size="14.00">True</text> -<polygon fill="yellow" stroke="transparent" points="253,-313 253,-334 297,-334 297,-313 253,-313"/> -<polygon fill="none" stroke="black" points="253,-313 253,-334 297,-334 297,-313 253,-313"/> -<text text-anchor="start" x="256" y="-319.8" font-family="Times,serif" font-size="14.00">False</text> +<polygon fill="yellow" stroke="transparent" points="24,-267 24,-292 118,-292 118,-267 24,-267"/> +<polygon fill="none" stroke="black" points="24,-267 24,-292 118,-292 118,-267 24,-267"/> +<text text-anchor="start" x="65.5" y="-275.8" font-family="Times,serif" font-size="14.00">If</text> +<polygon fill="none" stroke="black" points="24,-236 24,-267 118,-267 118,-236 24,-236"/> +<polygon fill="yellow" stroke="transparent" points="29,-241 29,-262 69,-262 69,-241 29,-241"/> +<polygon fill="none" stroke="black" points="29,-241 29,-262 69,-262 69,-241 29,-241"/> +<text text-anchor="start" x="32" y="-247.8" font-family="Times,serif" font-size="14.00">True</text> +<polygon fill="yellow" stroke="transparent" points="69,-241 69,-262 113,-262 113,-241 69,-241"/> +<polygon fill="none" stroke="black" points="69,-241 69,-262 113,-262 113,-241 69,-241"/> +<text text-anchor="start" x="72" y="-247.8" font-family="Times,serif" font-size="14.00">False</text> </g> <!-- If9->Start2 --> <g id="edge4" class="edge"> <title>If9->Start2:p0</title> -<path fill="none" stroke="red" d="M234.15,-368.33C211.65,-402.25 177.35,-454.28 164.81,-475.08"/> -<polygon fill="red" stroke="red" points="161.66,-473.54 160,-484 167.82,-476.86 161.66,-473.54"/> +<path fill="none" stroke="red" d="M42.97,-296.24C27.91,-316.97 14.73,-344.58 27,-368 40.05,-392.9 56.78,-386.79 79,-404 85.54,-409.07 87.43,-415.44 91.34,-419.37"/> +<polygon fill="red" stroke="red" points="90.41,-422.76 101,-423 92.87,-416.2 90.41,-422.76"/> +<text text-anchor="middle" x="39.97" y="-298.84" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> </g> <!-- If9->EQNode8 --> <g id="edge5" class="edge"> <title>If9->EQNode8</title> -<path fill="none" stroke="black" d="M255,-368.28C255,-376.58 255,-385.48 255,-393.56"/> -<polygon fill="black" stroke="black" points="251.5,-393.6 255,-403.6 258.5,-393.6 251.5,-393.6"/> +<path fill="none" stroke="black" d="M68.02,-296.28C67.23,-304.58 66.38,-313.48 65.61,-321.56"/> +<polygon fill="black" stroke="black" points="62.12,-321.31 64.66,-331.6 69.09,-321.97 62.12,-321.31"/> +<text text-anchor="middle" x="65.02" y="-298.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Con_13 --> <g id="node6" class="node"> <title>Con_13</title> -<ellipse fill="none" stroke="black" cx="63" cy="-336" rx="27" ry="18"/> -<text text-anchor="middle" x="63" y="-332.3" font-family="Times,serif" font-size="14.00">#2</text> +<ellipse fill="none" stroke="black" cx="247" cy="-350" rx="27" ry="18"/> +<text text-anchor="middle" x="247" y="-346.3" font-family="Times,serif" font-size="14.00">#2</text> </g> <!-- Add14 --> <g id="node7" class="node"> <title>Add14</title> -<ellipse fill="none" stroke="black" cx="63" cy="-250" rx="27" ry="18"/> -<text text-anchor="middle" x="63" y="-246.3" font-family="Times,serif" font-size="14.00">+</text> +<ellipse fill="none" stroke="black" cx="243" cy="-264" rx="27" ry="18"/> +<text text-anchor="middle" x="243" y="-260.3" font-family="Times,serif" font-size="14.00">+</text> </g> <!-- Add14->Start2 --> <g id="edge6" class="edge"> <title>Add14->Start2:p1</title> -<path fill="none" stroke="black" d="M49.25,-265.93C41.04,-275.9 31.38,-289.75 27,-304 18.64,-331.19 10.48,-344.84 27,-368 69.04,-426.93 155.55,-353.24 181,-421"/> -<path fill="none" stroke="black" d="M181,-423C182.58,-427.33 188.61,-449.48 192.53,-466.05"/> -<polygon fill="black" stroke="black" points="189.13,-466.89 194.73,-475.88 195.96,-465.36 189.13,-466.89"/> +<path fill="none" stroke="black" d="M235.08,-281.55C223.08,-306.49 200.67,-352.43 191,-368 180.22,-385.36 164.4,-387.36 159.5,-401.83"/> +<polygon fill="black" stroke="black" points="156,-401.6 158,-412 162.92,-402.62 156,-401.6"/> +<text text-anchor="middle" x="232.08" y="-284.15" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Add14->Con_13 --> <g id="edge7" class="edge"> <title>Add14->Con_13</title> -<path fill="none" stroke="black" d="M63,-268.4C63,-279.74 63,-294.77 63,-307.68"/> -<polygon fill="black" stroke="black" points="59.5,-307.9 63,-317.9 66.5,-307.9 59.5,-307.9"/> +<path fill="none" stroke="black" d="M243.81,-282C244.35,-293.31 245.07,-308.42 245.69,-321.43"/> +<polygon fill="black" stroke="black" points="242.21,-321.92 246.18,-331.74 249.2,-321.58 242.21,-321.92"/> +<text text-anchor="middle" x="240.81" y="-284.6" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Con_15 --> <g id="node8" class="node"> <title>Con_15</title> -<ellipse fill="none" stroke="black" cx="135" cy="-336" rx="27" ry="18"/> -<text text-anchor="middle" x="135" y="-332.3" font-family="Times,serif" font-size="14.00">#3</text> +<ellipse fill="none" stroke="black" cx="155" cy="-350" rx="27" ry="18"/> +<text text-anchor="middle" x="155" y="-346.3" font-family="Times,serif" font-size="14.00">#3</text> </g> <!-- Sub16 --> <g id="node9" class="node"> <title>Sub16</title> -<ellipse fill="none" stroke="black" cx="155" cy="-250" rx="27" ry="18"/> -<text text-anchor="middle" x="155" y="-246.3" font-family="Times,serif" font-size="14.00">-</text> +<ellipse fill="none" stroke="black" cx="171" cy="-264" rx="27" ry="18"/> +<text text-anchor="middle" x="171" y="-260.3" font-family="Times,serif" font-size="14.00">-</text> </g> <!-- Sub16->Start2 --> <g id="edge8" class="edge"> <title>Sub16->Start2:p1</title> -<path fill="none" stroke="black" d="M161.1,-267.96C164.56,-278.25 168.65,-291.73 171,-304 180.82,-355.26 163.3,-371.9 181,-421"/> +<path fill="none" stroke="black" d="M155.57,-278.95C143,-291.44 126.2,-310.97 119,-332 113.82,-347.14 113.32,-353.04 119,-368 126.82,-388.61 149.21,-387.16 156.01,-401.9"/> +<polygon fill="black" stroke="black" points="152.64,-402.86 158,-412 159.5,-401.51 152.64,-402.86"/> +<text text-anchor="middle" x="152.57" y="-281.55" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Sub16->Con_15 --> <g id="edge9" class="edge"> <title>Sub16->Con_15</title> -<path fill="none" stroke="black" d="M150.95,-268C148.21,-279.5 144.54,-294.93 141.41,-308.08"/> -<polygon fill="black" stroke="black" points="137.95,-307.49 139.04,-318.03 144.76,-309.11 137.95,-307.49"/> +<path fill="none" stroke="black" d="M167.76,-282C165.57,-293.5 162.63,-308.93 160.13,-322.08"/> +<polygon fill="black" stroke="black" points="156.67,-321.55 158.23,-332.03 163.54,-322.86 156.67,-321.55"/> +<text text-anchor="middle" x="164.76" y="-284.6" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Region17 --> <g id="node10" class="node"> <title>Region17</title> -<polygon fill="yellow" stroke="black" points="266,-268 200,-268 200,-232 266,-232 266,-268"/> -<text text-anchor="middle" x="233" y="-246.3" font-family="Times,serif" font-size="14.00">Region</text> +<polygon fill="yellow" stroke="black" points="124,-196 58,-196 58,-160 124,-160 124,-196"/> +<text text-anchor="middle" x="91" y="-174.3" font-family="Times,serif" font-size="14.00">Region</text> </g> <!-- Region17->If9 --> <g id="edge10" class="edge"> <title>Region17->If9:p0</title> -<path fill="none" stroke="red" d="M233,-268.09C233,-277.55 233,-289.77 233,-301.69"/> -<polygon fill="red" stroke="red" points="229.5,-302 233,-312 236.5,-302 229.5,-302"/> +<path fill="none" stroke="red" d="M70.98,-196.12C62.36,-205.06 53.52,-216.84 50.29,-229.84"/> +<polygon fill="red" stroke="red" points="46.78,-229.64 49,-240 53.73,-230.52 46.78,-229.64"/> +<text text-anchor="middle" x="67.98" y="-198.72" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Region17->If9 --> <g id="edge11" class="edge"> <title>Region17->If9:p1</title> -<path fill="none" stroke="red" d="M253.02,-268.12C261.64,-277.06 270.48,-288.84 273.71,-301.84"/> -<polygon fill="red" stroke="red" points="270.27,-302.52 275,-312 277.22,-301.64 270.27,-302.52"/> +<path fill="none" stroke="red" d="M91,-196.09C91,-205.55 91,-217.77 91,-229.69"/> +<polygon fill="red" stroke="red" points="87.5,-230 91,-240 94.5,-230 87.5,-230"/> +<text text-anchor="middle" x="88" y="-198.69" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Phi_a18 --> <g id="node11" class="node"> <title>Phi_a18</title> -<ellipse fill="lightyellow" stroke="black" cx="163" cy="-178" rx="27" ry="18"/> -<text text-anchor="middle" x="163" y="-174.3" font-family="Times,serif" font-size="14.00">φ_a</text> +<ellipse fill="lightyellow" stroke="black" cx="170" cy="-178" rx="27" ry="18"/> +<text text-anchor="middle" x="170" y="-174.3" font-family="Times,serif" font-size="14.00">φ_a</text> </g> +<!-- Region17->Phi_a18 --> <!-- Phi_a18->Add14 --> <g id="edge13" class="edge"> <title>Phi_a18->Add14</title> -<path fill="none" stroke="black" d="M145.12,-191.51C129.72,-202.3 107.26,-218.02 89.72,-230.3"/> -<polygon fill="black" stroke="black" points="87.25,-227.76 81.06,-236.36 91.26,-233.49 87.25,-227.76"/> +<path fill="none" stroke="black" d="M183.05,-194.02C194.26,-206.92 210.59,-225.71 223.38,-240.42"/> +<polygon fill="black" stroke="black" points="220.86,-242.86 230.06,-248.11 226.14,-238.27 220.86,-242.86"/> +<text text-anchor="middle" x="180.05" y="-196.62" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> <!-- Phi_a18->Sub16 --> <g id="edge14" class="edge"> <title>Phi_a18->Sub16</title> -<path fill="none" stroke="black" d="M161.02,-196.3C160.14,-204.02 159.08,-213.29 158.1,-221.89"/> -<polygon fill="black" stroke="black" points="154.61,-221.56 156.95,-231.9 161.57,-222.36 154.61,-221.56"/> -</g> -<!-- Phi_a18->Region17 --> -<g id="edge12" class="edge"> -<title>Phi_a18->Region17</title> -<path fill="none" stroke="red" d="M177.5,-193.5C186.46,-202.46 198.19,-214.19 208.55,-224.55"/> -<polygon fill="red" stroke="red" points="206.25,-227.2 215.8,-231.8 211.2,-222.25 206.25,-227.2"/> +<path fill="none" stroke="black" d="M170.21,-196.4C170.34,-207.74 170.52,-222.77 170.67,-235.68"/> +<polygon fill="black" stroke="black" points="167.18,-235.95 170.8,-245.9 174.18,-235.86 167.18,-235.95"/> +<text text-anchor="middle" x="167.21" y="-199" font-family="Helvetica,sans-Serif" font-size="8.00">2</text> </g> <!-- Return19->Region17 --> <g id="edge15" class="edge"> <title>Return19->Region17</title> -<path fill="none" stroke="red" d="M198.7,-124.13C205.38,-148.44 217.67,-193.18 225.58,-221.99"/> -<polygon fill="red" stroke="red" points="222.26,-223.09 228.28,-231.81 229.01,-221.24 222.26,-223.09"/> +<path fill="none" stroke="red" d="M120.36,-124.3C115.87,-132.36 110.44,-142.11 105.48,-151.02"/> +<polygon fill="red" stroke="red" points="102.34,-149.46 100.53,-159.9 108.45,-152.86 102.34,-149.46"/> +<text text-anchor="middle" x="117.36" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text> </g> <!-- Return19->Phi_a18 --> <g id="edge16" class="edge"> <title>Return19->Phi_a18</title> -<path fill="none" stroke="black" d="M186.34,-124.3C182.76,-132.39 178.42,-142.19 174.46,-151.13"/> -<polygon fill="black" stroke="black" points="171.21,-149.82 170.36,-160.38 177.61,-152.65 171.21,-149.82"/> +<path fill="none" stroke="black" d="M139.89,-124.3C144.68,-132.68 150.52,-142.9 155.77,-152.1"/> +<polygon fill="black" stroke="black" points="152.77,-153.91 160.77,-160.86 158.85,-150.44 152.77,-153.91"/> +<text text-anchor="middle" x="136.89" y="-126.9" font-family="Helvetica,sans-Serif" font-size="8.00">1</text> </g> </g> </svg> |
