diff options
Diffstat (limited to 'chapter05/docs/05-graph3.svg')
| -rw-r--r-- | chapter05/docs/05-graph3.svg | 170 |
1 files changed, 90 insertions, 80 deletions
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> |
