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="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,-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,-412 282,-412 282,-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="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="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="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&#45;&gt;Start2 -->
<g id="edge1" class="edge">
<title>EQNode8&#45;&gt;Start2:p1</title>
<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&#45;&gt;Con_7 -->
<g id="edge2" class="edge">
<title>EQNode8&#45;&gt;Con_7</title>
<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,-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&#45;&gt;Start2 -->
<g id="edge3" class="edge">
<title>If9&#45;&gt;Start2:p0</title>
<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&#45;&gt;EQNode8 -->
<g id="edge4" class="edge">
<title>If9&#45;&gt;EQNode8</title>
<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="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="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&#45;&gt;Start2 -->
<g id="edge5" class="edge">
<title>Add14&#45;&gt;Start2:p1</title>
<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&#45;&gt;Con_13 -->
<g id="edge6" class="edge">
<title>Add14&#45;&gt;Con_13</title>
<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="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="171" cy="-200" rx="27" ry="18"/>
<text text-anchor="middle" x="171" y="-196.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="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&#45;&gt;Con_15 -->
<g id="edge8" class="edge">
<title>Sub16&#45;&gt;Con_15</title>
<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,-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&#45;&gt;If9 -->
<g id="edge9" class="edge">
<title>Region17&#45;&gt;If9:p0</title>
<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&#45;&gt;If9 -->
<g id="edge10" class="edge">
<title>Region17&#45;&gt;If9:p1</title>
<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="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&#45;&gt;Phi_a18 -->
<!-- Phi_a18&#45;&gt;Add14 -->
<g id="edge12" class="edge">
<title>Phi_a18&#45;&gt;Add14</title>
<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&#45;&gt;Sub16 -->
<g id="edge13" class="edge">
<title>Phi_a18&#45;&gt;Sub16</title>
<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">
<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.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&#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,-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">
<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,-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>