1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
|
<?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: chapter07 Pages: 1 -->
<svg width="726pt" height="440pt"
viewBox="0.00 0.00 726.00 440.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 436)">
<title>chapter07</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-436 722,-436 722,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_Nodes</title>
<polygon fill="none" stroke="black" points="196,-100 196,-424 502,-424 502,-100 196,-100"/>
</g>
<g id="clust3" class="cluster">
<title>cluster_Scope7_1</title>
<polygon fill="none" stroke="black" points="8,-8 8,-92 288,-92 288,-8 8,-8"/>
</g>
<g id="clust4" class="cluster">
<title>cluster_Scope7_2</title>
<polygon fill="none" stroke="black" points="80,-16 80,-84 280,-84 280,-16 80,-16"/>
</g>
<g id="clust5" class="cluster">
<title>cluster_Scope7_3</title>
<polygon fill="none" stroke="black" points="152,-24 152,-76 272,-76 272,-24 152,-24"/>
</g>
<g id="clust6" class="cluster">
<title>cluster_Scope1_1</title>
<polygon fill="none" stroke="black" points="510,-192 510,-260 710,-260 710,-192 510,-192"/>
</g>
<g id="clust7" class="cluster">
<title>cluster_Scope1_2</title>
<polygon fill="none" stroke="black" points="582,-200 582,-252 702,-252 702,-200 582,-200"/>
</g>
<g id="clust8" class="cluster">
<title>cluster_Scope14_1</title>
<polygon fill="none" stroke="black" points="296,-16 296,-84 496,-84 496,-16 296,-16"/>
</g>
<g id="clust9" class="cluster">
<title>cluster_Scope14_2</title>
<polygon fill="none" stroke="black" points="368,-24 368,-76 488,-76 488,-24 368,-24"/>
</g>
<!-- Start2 -->
<g id="node1" class="node">
<title>Start2</title>
<polygon fill="yellow" stroke="transparent" points="365,-387 365,-412 446,-412 446,-387 365,-387"/>
<polygon fill="none" stroke="black" points="365,-387 365,-412 446,-412 446,-387 365,-387"/>
<text text-anchor="start" x="387" y="-395.8" font-family="Times,serif" font-size="14.00">Start</text>
<polygon fill="none" stroke="black" points="365,-356 365,-387 446,-387 446,-356 365,-356"/>
<polygon fill="yellow" stroke="transparent" points="370,-361 370,-382 410,-382 410,-361 370,-361"/>
<polygon fill="none" stroke="black" points="370,-361 370,-382 410,-382 410,-361 370,-361"/>
<text text-anchor="start" x="373" y="-367.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="410,-361 410,-382 441,-382 441,-361 410,-361"/>
<text text-anchor="start" x="413" y="-367.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Loop6 -->
<g id="node2" class="node">
<title>Loop6</title>
<polygon fill="yellow" stroke="black" points="494,-316 440,-316 440,-280 494,-280 494,-316"/>
<text text-anchor="middle" x="467" y="-294.3" font-family="Times,serif" font-size="14.00">Loop</text>
</g>
<!-- Loop6->Start2 -->
<g id="edge1" class="edge">
<title>Loop6->Start2:p0</title>
<path fill="none" stroke="red" d="M439.64,-314.34C422.52,-324.68 402.19,-338.54 393.85,-350.32"/>
<polygon fill="red" stroke="red" points="390.45,-349.41 390,-360 396.95,-352 390.45,-349.41"/>
<text text-anchor="middle" x="436.64" y="-307.94" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_arg8 -->
<g id="node3" class="node">
<title>Phi_arg8</title>
<ellipse fill="lightyellow" stroke="black" cx="385" cy="-298" rx="37.09" ry="18"/>
<text text-anchor="middle" x="385" y="-294.3" font-family="Times,serif" font-size="14.00">φ_arg</text>
</g>
<!-- Phi_arg8->Start2 -->
<g id="edge3" class="edge">
<title>Phi_arg8->Start2:p1</title>
<path fill="none" stroke="black" d="M402.63,-314.22C411.57,-323.35 421.25,-335.86 424.7,-349.71"/>
<polygon fill="black" stroke="black" points="421.27,-350.52 426,-360 428.22,-349.64 421.27,-350.52"/>
<text text-anchor="middle" x="399.63" y="-316.82" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_arg8->Loop6 -->
<g id="edge2" class="edge">
<title>Phi_arg8->Loop6</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M422.16,-298C424.62,-298 427.08,-298 429.55,-298"/>
<polygon fill="black" stroke="black" points="429.67,-301.5 439.67,-298 429.67,-294.5 429.67,-301.5"/>
<text text-anchor="middle" x="425.16" y="-291.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Con_9 -->
<g id="node4" class="node">
<title>Con_9</title>
<ellipse fill="none" stroke="black" cx="303" cy="-298" rx="27" ry="18"/>
<text text-anchor="middle" x="303" y="-294.3" font-family="Times,serif" font-size="14.00">10</text>
</g>
<!-- LT10 -->
<g id="node5" class="node">
<title>LT10</title>
<ellipse fill="none" stroke="black" cx="374" cy="-226" rx="27" ry="18"/>
<text text-anchor="middle" x="374" y="-222.3" font-family="Times,serif" font-size="14.00"><</text>
</g>
<!-- LT10->Phi_arg8 -->
<g id="edge4" class="edge">
<title>LT10->Phi_arg8</title>
<path fill="none" stroke="black" d="M376.66,-243.95C377.87,-251.65 379.34,-260.97 380.7,-269.64"/>
<polygon fill="black" stroke="black" points="377.28,-270.39 382.29,-279.72 384.19,-269.3 377.28,-270.39"/>
<text text-anchor="middle" x="373.66" y="-246.55" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- LT10->Con_9 -->
<g id="edge5" class="edge">
<title>LT10->Con_9</title>
<path fill="none" stroke="black" d="M359.29,-241.5C349.39,-251.27 336.16,-264.31 325.01,-275.3"/>
<polygon fill="black" stroke="black" points="322.36,-273 317.69,-282.51 327.27,-277.99 322.36,-273"/>
<text text-anchor="middle" x="356.29" y="-244.1" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- If11 -->
<g id="node6" class="node">
<title>If11</title>
<polygon fill="yellow" stroke="transparent" points="327,-143 327,-168 421,-168 421,-143 327,-143"/>
<polygon fill="none" stroke="black" points="327,-143 327,-168 421,-168 421,-143 327,-143"/>
<text text-anchor="start" x="368.5" y="-151.8" font-family="Times,serif" font-size="14.00">If</text>
<polygon fill="none" stroke="black" points="327,-112 327,-143 421,-143 421,-112 327,-112"/>
<polygon fill="yellow" stroke="transparent" points="332,-117 332,-138 372,-138 372,-117 332,-117"/>
<polygon fill="none" stroke="black" points="332,-117 332,-138 372,-138 372,-117 332,-117"/>
<text text-anchor="start" x="335" y="-123.8" font-family="Times,serif" font-size="14.00">True</text>
<polygon fill="yellow" stroke="transparent" points="372,-117 372,-138 416,-138 416,-117 372,-117"/>
<polygon fill="none" stroke="black" points="372,-117 372,-138 416,-138 416,-117 372,-117"/>
<text text-anchor="start" x="375" y="-123.8" font-family="Times,serif" font-size="14.00">False</text>
</g>
<!-- If11->Loop6 -->
<g id="edge6" class="edge">
<title>If11->Loop6</title>
<path fill="none" stroke="red" d="M396.87,-172.17C401.36,-178.63 405.94,-185.46 410,-192 426.23,-218.13 442.79,-249.22 453.84,-270.75"/>
<polygon fill="red" stroke="red" points="450.85,-272.6 458.51,-279.92 457.09,-269.42 450.85,-272.6"/>
<text text-anchor="middle" x="393.87" y="-174.77" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- If11->LT10 -->
<g id="edge7" class="edge">
<title>If11->LT10</title>
<path fill="none" stroke="black" d="M374,-172.28C374,-180.58 374,-189.48 374,-197.56"/>
<polygon fill="black" stroke="black" points="370.5,-197.6 374,-207.6 377.5,-197.6 370.5,-197.6"/>
<text text-anchor="middle" x="371" y="-174.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Con_15 -->
<g id="node7" class="node">
<title>Con_15</title>
<ellipse fill="none" stroke="black" cx="231" cy="-298" rx="27" ry="18"/>
<text text-anchor="middle" x="231" y="-294.3" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- Add16 -->
<g id="node8" class="node">
<title>Add16</title>
<ellipse fill="none" stroke="black" cx="241" cy="-226" rx="27" ry="18"/>
<text text-anchor="middle" x="241" y="-222.3" font-family="Times,serif" font-size="14.00">+</text>
</g>
<!-- Add16->Phi_arg8 -->
<g id="edge8" class="edge">
<title>Add16->Phi_arg8</title>
<path fill="none" stroke="black" d="M262.25,-237.33C285.48,-248.62 323.06,-266.89 350.53,-280.24"/>
<polygon fill="black" stroke="black" points="349.26,-283.52 359.78,-284.74 352.32,-277.22 349.26,-283.52"/>
<text text-anchor="middle" x="265.25" y="-239.93" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Add16->Con_15 -->
<g id="edge9" class="edge">
<title>Add16->Con_15</title>
<path fill="none" stroke="black" d="M238.58,-243.95C237.48,-251.65 236.15,-260.97 234.91,-269.64"/>
<polygon fill="black" stroke="black" points="231.42,-269.33 233.47,-279.72 238.35,-270.32 231.42,-269.33"/>
<text text-anchor="middle" x="235.58" y="-246.55" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Scope7_1 -->
<g id="node9" class="node">
<title>Scope7_1</title>
<polygon fill="cyan" stroke="transparent" points="35,-39 35,-60 51,-60 51,-39 35,-39"/>
<polygon fill="none" stroke="black" points="35,-39 35,-60 51,-60 51,-39 35,-39"/>
<text text-anchor="start" x="38" y="-45.8" font-family="Times,serif" font-size="14.00">2</text>
</g>
<!-- Scope7_2 -->
<g id="node10" class="node">
<title>Scope7_2</title>
<polygon fill="cyan" stroke="transparent" points="107,-39 107,-60 123,-60 123,-39 107,-39"/>
<polygon fill="none" stroke="black" points="107,-39 107,-60 123,-60 123,-39 107,-39"/>
<text text-anchor="start" x="110" y="-45.8" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- Scope7_3 -->
<g id="node11" class="node">
<title>Scope7_3</title>
<polygon fill="cyan" stroke="transparent" points="169,-39 169,-60 185,-60 185,-39 169,-39"/>
<polygon fill="none" stroke="black" points="169,-39 169,-60 185,-60 185,-39 169,-39"/>
<text text-anchor="start" x="172" y="-45.8" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="185,-39 185,-60 225,-60 225,-39 185,-39"/>
<text text-anchor="start" x="188" y="-45.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="225,-39 225,-60 256,-60 256,-39 225,-39"/>
<text text-anchor="start" x="228" y="-45.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Scope7_3->If11 -->
<g id="edge10" class="edge">
<title>Scope7_3:Scope7_3_$ctrl->If11:p0</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M205,-61C205,-74.83 289.37,-114.99 321.05,-124.81"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="320.48,-128.27 331,-127 321.98,-121.43 320.48,-128.27"/>
</g>
<!-- Scope7_3->Add16 -->
<g id="edge11" class="edge">
<title>Scope7_3:Scope7_3_arg->Add16</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M241,-61C241,-109.09 241,-165.12 241,-197.67"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="237.5,-197.76 241,-207.76 244.5,-197.76 237.5,-197.76"/>
</g>
<!-- Scope1_1 -->
<g id="node12" class="node">
<title>Scope1_1</title>
<polygon fill="cyan" stroke="transparent" points="537,-215 537,-236 553,-236 553,-215 537,-215"/>
<polygon fill="none" stroke="black" points="537,-215 537,-236 553,-236 553,-215 537,-215"/>
<text text-anchor="start" x="540" y="-221.8" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- Scope1_2 -->
<g id="node13" class="node">
<title>Scope1_2</title>
<polygon fill="cyan" stroke="transparent" points="599,-215 599,-236 615,-236 615,-215 599,-215"/>
<polygon fill="none" stroke="black" points="599,-215 599,-236 615,-236 615,-215 599,-215"/>
<text text-anchor="start" x="602" y="-221.8" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="615,-215 615,-236 655,-236 655,-215 615,-215"/>
<text text-anchor="start" x="618" y="-221.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="655,-215 655,-236 686,-236 686,-215 655,-215"/>
<text text-anchor="start" x="658" y="-221.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Scope1_2->Loop6 -->
<g id="edge12" class="edge">
<title>Scope1_2:Scope1_2_$ctrl->Loop6</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M635,-237C635,-264.54 553.92,-282.77 504.41,-291.34"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="503.65,-287.92 494.37,-293.02 504.81,-294.82 503.65,-287.92"/>
</g>
<!-- Scope1_2->Phi_arg8 -->
<g id="edge13" class="edge">
<title>Scope1_2:Scope1_2_arg->Phi_arg8</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M671,-237C671,-275.71 624.96,-252.41 587,-260 518.46,-273.71 498.88,-263.33 431,-280 428.04,-280.73 425,-281.58 421.97,-282.52"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="420.79,-279.23 412.41,-285.72 423.01,-285.86 420.79,-279.23"/>
</g>
<!-- Scope14_1 -->
<g id="node14" class="node">
<title>Scope14_1</title>
<polygon fill="cyan" stroke="transparent" points="323,-39 323,-60 339,-60 339,-39 323,-39"/>
<polygon fill="none" stroke="black" points="323,-39 323,-60 339,-60 339,-39 323,-39"/>
<text text-anchor="start" x="326" y="-45.8" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- Scope14_2 -->
<g id="node15" class="node">
<title>Scope14_2</title>
<polygon fill="cyan" stroke="transparent" points="385,-39 385,-60 401,-60 401,-39 385,-39"/>
<polygon fill="none" stroke="black" points="385,-39 385,-60 401,-60 401,-39 385,-39"/>
<text text-anchor="start" x="388" y="-45.8" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="401,-39 401,-60 441,-60 441,-39 401,-39"/>
<text text-anchor="start" x="404" y="-45.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="441,-39 441,-60 472,-60 472,-39 441,-39"/>
<text text-anchor="start" x="444" y="-45.8" font-family="Times,serif" font-size="14.00">arg</text>
</g>
<!-- Scope14_2->Phi_arg8 -->
<g id="edge15" class="edge">
<title>Scope14_2:Scope14_2_arg->Phi_arg8</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M457,-61C457,-151.88 449.62,-178.21 410,-260 408.01,-264.11 405.61,-268.3 403.09,-272.3"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="400.15,-270.4 397.51,-280.67 405.97,-274.28 400.15,-270.4"/>
</g>
<!-- Scope14_2->If11 -->
<g id="edge14" class="edge">
<title>Scope14_2:Scope14_2_$ctrl->If11:p1</title>
<path fill="none" stroke="cornflowerblue" stroke-dasharray="5,2" d="M421,-61C421,-84.4 401.06,-88.09 395.45,-105.95"/>
<polygon fill="cornflowerblue" stroke="cornflowerblue" points="391.97,-105.6 394,-116 398.89,-106.6 391.97,-105.6"/>
</g>
</g>
</svg>
|
