path: root/chapter05/docs/05-graph3.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="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)">
<title>chapter05</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-560 330,-560 330,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"/>
</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>
</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>
</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>
</g>
<!-- Stop3&#45;&gt;Return19 -->
<g id="edge1" class="edge">
<title>Stop3&#45;&gt;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"/>
</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>
</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>
</g>
<!-- EQNode8&#45;&gt;Start2 -->
<g id="edge2" class="edge">
<title>EQNode8&#45;&gt;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"/>
</g>
<!-- EQNode8&#45;&gt;Con_7 -->
<g id="edge3" class="edge">
<title>EQNode8&#45;&gt;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"/>
</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>
</g>
<!-- If9&#45;&gt;Start2 -->
<g id="edge4" class="edge">
<title>If9&#45;&gt;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"/>
</g>
<!-- If9&#45;&gt;EQNode8 -->
<g id="edge5" class="edge">
<title>If9&#45;&gt;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"/>
</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>
</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>
</g>
<!-- Add14&#45;&gt;Start2 -->
<g id="edge6" class="edge">
<title>Add14&#45;&gt;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"/>
</g>
<!-- Add14&#45;&gt;Con_13 -->
<g id="edge7" class="edge">
<title>Add14&#45;&gt;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"/>
</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>
</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">&#45;</text>
</g>
<!-- Sub16&#45;&gt;Start2 -->
<g id="edge8" class="edge">
<title>Sub16&#45;&gt;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"/>
</g>
<!-- Sub16&#45;&gt;Con_15 -->
<g id="edge9" class="edge">
<title>Sub16&#45;&gt;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"/>
</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>
</g>
<!-- Region17&#45;&gt;If9 -->
<g id="edge10" class="edge">
<title>Region17&#45;&gt;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"/>
</g>
<!-- Region17&#45;&gt;If9 -->
<g id="edge11" class="edge">
<title>Region17&#45;&gt;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"/>
</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>
</g>
<!-- Phi_a18&#45;&gt;Add14 -->
<g id="edge13" class="edge">
<title>Phi_a18&#45;&gt;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"/>
</g>
<!-- Phi_a18&#45;&gt;Sub16 -->
<g id="edge14" class="edge">
<title>Phi_a18&#45;&gt;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&#45;&gt;Region17 -->
<g id="edge12" class="edge">
<title>Phi_a18&#45;&gt;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"/>
</g>
<!-- Return19&#45;&gt;Region17 -->
<g id="edge15" class="edge">
<title>Return19&#45;&gt;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"/>
</g>
<!-- Return19&#45;&gt;Phi_a18 -->
<g id="edge16" class="edge">
<title>Return19&#45;&gt;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"/>
</g>
</g>
</svg>