diff options
Diffstat (limited to 'chapter05/docs/05-graph2.svg')
| -rw-r--r-- | chapter05/docs/05-graph2.svg | 159 |
1 files changed, 83 insertions, 76 deletions
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> |
