path: root/chapter05/docs/05-graph2.svg

<?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.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)">
<title>chapter05</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-496 330,-496 330,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"/>
</g>
<g id="clust3" class="cluster">
<title>cluster_Scope1_0</title>
<polygon fill="none" stroke="black" points="38,-8 38,-76 238,-76 238,-8 38,-8"/>
</g>
<g id="clust4" class="cluster">
<title>cluster_Scope1_1</title>
<polygon fill="none" stroke="black" points="160,-16 160,-68 230,-68 230,-16 160,-16"/>
</g>
<!-- 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>
</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>
</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>
</g>
<!-- EQNode8&#45;&gt;Start2 -->
<g id="edge1" class="edge">
<title>EQNode8&#45;&gt;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"/>
</g>
<!-- EQNode8&#45;&gt;Con_7 -->
<g id="edge2" class="edge">
<title>EQNode8&#45;&gt;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"/>
</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>
</g>
<!-- If9&#45;&gt;Start2 -->
<g id="edge3" class="edge">
<title>If9&#45;&gt;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"/>
</g>
<!-- If9&#45;&gt;EQNode8 -->
<g id="edge4" class="edge">
<title>If9&#45;&gt;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"/>
</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>
</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>
</g>
<!-- Add14&#45;&gt;Start2 -->
<g id="edge5" class="edge">
<title>Add14&#45;&gt;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"/>
</g>
<!-- Add14&#45;&gt;Con_13 -->
<g id="edge6" class="edge">
<title>Add14&#45;&gt;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"/>
</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>
</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">&#45;</text>
</g>
<!-- Sub16&#45;&gt;Start2 -->
<g id="edge7" class="edge">
<title>Sub16&#45;&gt;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"/>
</g>
<!-- Sub16&#45;&gt;Con_15 -->
<g id="edge8" class="edge">
<title>Sub16&#45;&gt;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"/>
</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>
</g>
<!-- Region17&#45;&gt;If9 -->
<g id="edge9" class="edge">
<title>Region17&#45;&gt;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"/>
</g>
<!-- Region17&#45;&gt;If9 -->
<g id="edge10" class="edge">
<title>Region17&#45;&gt;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"/>
</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>
</g>
<!-- Phi_a18&#45;&gt;Add14 -->
<g id="edge12" class="edge">
<title>Phi_a18&#45;&gt;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"/>
</g>
<!-- Phi_a18&#45;&gt;Sub16 -->
<g id="edge13" class="edge">
<title>Phi_a18&#45;&gt;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&#45;&gt;Region17 -->
<g id="edge11" class="edge">
<title>Phi_a18&#45;&gt;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"/>
</g>
<!-- Scope1_0 -->
<g id="node11" class="node">
<title>Scope1_0</title>
<polygon fill="cyan" stroke="transparent" points="55,-31 55,-52 71,-52 71,-31 55,-31"/>
<polygon fill="none" stroke="black" points="55,-31 55,-52 71,-52 71,-31 55,-31"/>
<text text-anchor="start" x="58" y="-37.8" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="71,-31 71,-52 111,-52 111,-31 71,-31"/>
<text text-anchor="start" x="74" y="-37.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="111,-31 111,-52 142,-52 142,-31 111,-31"/>
<text text-anchor="start" x="114" y="-37.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Scope1_0&#45;&gt;Start2 -->
<g id="edge15" class="edge">
<title>Scope1_0:Scope1_0_arg&#45;&gt;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"/>
</g>
<!-- Scope1_0&#45;&gt;Region17 -->
<g id="edge14" class="edge">
<title>Scope1_0:Scope1_0_$ctrl&#45;&gt;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"/>
</g>
<!-- Scope1_1 -->
<g id="node12" class="node">
<title>Scope1_1</title>
<polygon fill="cyan" stroke="transparent" points="180,-31 180,-52 196,-52 196,-31 180,-31"/>
<polygon fill="none" stroke="black" points="180,-31 180,-52 196,-52 196,-31 180,-31"/>
<text text-anchor="start" x="183" y="-37.8" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="196,-31 196,-52 211,-52 211,-31 196,-31"/>
<text text-anchor="start" x="199" y="-37.8" font-family="Times,serif" font-size="14.00">a</text>
</g>
<!-- Scope1_1&#45;&gt;Phi_a18 -->
<g id="edge16" class="edge">
<title>Scope1_1:Scope1_1_a&#45;&gt;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"/>
</g>
</g>
</svg>