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
|
<?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="330pt" height="492pt"
viewBox="0.00 0.00 330.00 492.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 488)">
<title>chapter07</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-488 326,-488 326,4 -4,4"/>
<g id="clust1" class="cluster">
<title>cluster_Nodes</title>
<polygon fill="none" stroke="black" points="8,-8 8,-476 314,-476 314,-8 8,-8"/>
</g>
<!-- Start2 -->
<g id="node1" class="node">
<title>Start2</title>
<polygon fill="yellow" stroke="transparent" points="141,-439 141,-464 222,-464 222,-439 141,-439"/>
<polygon fill="none" stroke="black" points="141,-439 141,-464 222,-464 222,-439 141,-439"/>
<text text-anchor="start" x="163" y="-447.8" font-family="Times,serif" font-size="14.00">Start</text>
<polygon fill="none" stroke="black" points="141,-408 141,-439 222,-439 222,-408 141,-408"/>
<polygon fill="yellow" stroke="transparent" points="146,-413 146,-434 186,-434 186,-413 146,-413"/>
<polygon fill="none" stroke="black" points="146,-413 146,-434 186,-434 186,-413 146,-413"/>
<text text-anchor="start" x="149" y="-419.8" font-family="Times,serif" font-size="14.00">$ctrl</text>
<polygon fill="none" stroke="black" points="186,-413 186,-434 217,-434 217,-413 186,-413"/>
<text text-anchor="start" x="189" y="-419.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="153,-52 99,-52 99,-16 153,-16 153,-52"/>
<text text-anchor="middle" x="126" y="-30.3" font-family="Times,serif" font-size="14.00">Stop</text>
</g>
<!-- Return17 -->
<g id="node10" class="node">
<title>Return17</title>
<polygon fill="yellow" stroke="black" points="159,-124 93,-124 93,-88 159,-88 159,-124"/>
<text text-anchor="middle" x="126" y="-102.3" font-family="Times,serif" font-size="14.00">Return</text>
</g>
<!-- Stop3->Return17 -->
<g id="edge1" class="edge">
<title>Stop3->Return17</title>
<path fill="none" stroke="red" d="M126,-52.3C126,-60.02 126,-69.29 126,-77.89"/>
<polygon fill="red" stroke="red" points="122.5,-77.9 126,-87.9 129.5,-77.9 122.5,-77.9"/>
<text text-anchor="middle" x="123" y="-54.9" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Loop6 -->
<g id="node3" class="node">
<title>Loop6</title>
<polygon fill="yellow" stroke="black" points="306,-368 252,-368 252,-332 306,-332 306,-368"/>
<text text-anchor="middle" x="279" y="-346.3" font-family="Times,serif" font-size="14.00">Loop</text>
</g>
<!-- Loop6->Start2 -->
<g id="edge2" class="edge">
<title>Loop6->Start2:p0</title>
<path fill="none" stroke="red" d="M251.93,-364.13C226.34,-376.71 189.56,-395.24 173.73,-405.41"/>
<polygon fill="red" stroke="red" points="171.34,-402.85 166,-412 175.88,-408.18 171.34,-402.85"/>
<text text-anchor="middle" x="248.93" y="-357.73" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- If11 -->
<g id="node7" class="node">
<title>If11</title>
<polygon fill="yellow" stroke="transparent" points="32,-195 32,-220 126,-220 126,-195 32,-195"/>
<polygon fill="none" stroke="black" points="32,-195 32,-220 126,-220 126,-195 32,-195"/>
<text text-anchor="start" x="73.5" y="-203.8" font-family="Times,serif" font-size="14.00">If</text>
<polygon fill="none" stroke="black" points="32,-164 32,-195 126,-195 126,-164 32,-164"/>
<polygon fill="yellow" stroke="transparent" points="37,-169 37,-190 77,-190 77,-169 37,-169"/>
<polygon fill="none" stroke="black" points="37,-169 37,-190 77,-190 77,-169 37,-169"/>
<text text-anchor="start" x="40" y="-175.8" font-family="Times,serif" font-size="14.00">True</text>
<polygon fill="yellow" stroke="transparent" points="77,-169 77,-190 121,-190 121,-169 77,-169"/>
<polygon fill="none" stroke="black" points="77,-169 77,-190 121,-190 121,-169 77,-169"/>
<text text-anchor="start" x="80" y="-175.8" font-family="Times,serif" font-size="14.00">False</text>
</g>
<!-- Loop6->If11 -->
<g id="edge3" class="edge">
<title>Loop6->If11:p0</title>
<path fill="none" stroke="red" d="M251.78,-335.24C248.86,-334.04 245.9,-332.93 243,-332 156.98,-304.48 103.76,-362.82 43,-296 18.41,-268.96 14.64,-203.69 27.49,-184.44"/>
<polygon fill="red" stroke="red" points="29.46,-187.33 36,-179 25.69,-181.43 29.46,-187.33"/>
<text text-anchor="middle" x="248.78" y="-328.84" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Phi_arg8 -->
<g id="node4" class="node">
<title>Phi_arg8</title>
<ellipse fill="lightyellow" stroke="black" cx="125" cy="-350" rx="37.09" ry="18"/>
<text text-anchor="middle" x="125" y="-346.3" font-family="Times,serif" font-size="14.00">φ_arg</text>
</g>
<!-- Phi_arg8->Start2 -->
<g id="edge5" class="edge">
<title>Phi_arg8->Start2:p1</title>
<path fill="none" stroke="black" d="M154.55,-360.93C173.21,-369 194.84,-382.27 200.56,-401.87"/>
<polygon fill="black" stroke="black" points="197.12,-402.59 202,-412 204.05,-401.61 197.12,-402.59"/>
<text text-anchor="middle" x="151.55" y="-363.53" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Phi_arg8->Loop6 -->
<g id="edge4" class="edge">
<title>Phi_arg8->Loop6</title>
<path fill="none" stroke="black" stroke-dasharray="1,5" d="M143.47,-334.01C153.54,-326.34 166.66,-317.98 180,-314 203,-307.14 211.35,-306.06 234,-314 241.14,-316.5 247.99,-320.67 254.09,-325.3"/>
<polygon fill="black" stroke="black" points="251.99,-328.1 261.92,-331.78 256.45,-322.71 251.99,-328.1"/>
<text text-anchor="middle" x="140.47" y="-327.61" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- Add16 -->
<g id="node9" class="node">
<title>Add16</title>
<ellipse fill="none" stroke="black" cx="203" cy="-278" rx="27" ry="18"/>
<text text-anchor="middle" x="203" y="-274.3" font-family="Times,serif" font-size="14.00">+</text>
</g>
<!-- Con_9 -->
<g id="node5" class="node">
<title>Con_9</title>
<ellipse fill="none" stroke="black" cx="43" cy="-350" rx="27" ry="18"/>
<text text-anchor="middle" x="43" y="-346.3" font-family="Times,serif" font-size="14.00">10</text>
</g>
<!-- LT10 -->
<g id="node6" class="node">
<title>LT10</title>
<ellipse fill="none" stroke="black" cx="79" cy="-278" rx="27" ry="18"/>
<text text-anchor="middle" x="79" y="-274.3" font-family="Times,serif" font-size="14.00"><</text>
</g>
<!-- LT10->Phi_arg8 -->
<g id="edge7" class="edge">
<title>LT10->Phi_arg8</title>
<path fill="none" stroke="black" d="M89.44,-294.88C95.12,-303.53 102.28,-314.42 108.68,-324.17"/>
<polygon fill="black" stroke="black" points="105.87,-326.26 114.28,-332.69 111.72,-322.41 105.87,-326.26"/>
<text text-anchor="middle" x="86.44" y="-297.48" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- LT10->Con_9 -->
<g id="edge8" class="edge">
<title>LT10->Con_9</title>
<path fill="none" stroke="black" d="M70.65,-295.24C66.29,-303.72 60.85,-314.29 55.96,-323.8"/>
<polygon fill="black" stroke="black" points="52.77,-322.36 51.3,-332.85 58.99,-325.56 52.77,-322.36"/>
<text text-anchor="middle" x="67.65" y="-297.84" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- If11->Loop6 -->
<g id="edge9" class="edge">
<title>If11->Loop6</title>
<path fill="none" stroke="red" d="M134.07,-205.07C167.93,-214.93 210.21,-231.94 239,-260 256.28,-276.84 266.71,-302.48 272.57,-321.93"/>
<polygon fill="red" stroke="red" points="269.24,-323.03 275.3,-331.72 275.98,-321.15 269.24,-323.03"/>
<text text-anchor="middle" x="137.07" y="-198.67" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
<!-- If11->LT10 -->
<g id="edge10" class="edge">
<title>If11->LT10</title>
<path fill="none" stroke="black" d="M79,-224.28C79,-232.58 79,-241.48 79,-249.56"/>
<polygon fill="black" stroke="black" points="75.5,-249.6 79,-259.6 82.5,-249.6 75.5,-249.6"/>
<text text-anchor="middle" x="76" y="-226.88" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Con_15 -->
<g id="node8" class="node">
<title>Con_15</title>
<ellipse fill="none" stroke="black" cx="207" cy="-350" rx="27" ry="18"/>
<text text-anchor="middle" x="207" y="-346.3" font-family="Times,serif" font-size="14.00">1</text>
</g>
<!-- Add16->Phi_arg8 -->
<g id="edge11" class="edge">
<title>Add16->Phi_arg8</title>
<path fill="none" stroke="black" d="M180.01,-299.63C170.41,-308.25 159.23,-318.28 149.47,-327.04"/>
<polygon fill="black" stroke="black" points="182.48,-302.11 187.59,-292.83 177.81,-296.9 182.48,-302.11"/>
<polygon fill="black" stroke="black" points="147.11,-324.46 142,-333.74 151.78,-329.67 147.11,-324.46"/>
<text text-anchor="middle" x="184.59" y="-295.43" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Add16->Con_15 -->
<g id="edge12" class="edge">
<title>Add16->Con_15</title>
<path fill="none" stroke="black" d="M203.99,-296.3C204.43,-304.02 204.96,-313.29 205.45,-321.89"/>
<polygon fill="black" stroke="black" points="201.96,-322.11 206.02,-331.9 208.95,-321.71 201.96,-322.11"/>
<text text-anchor="middle" x="200.99" y="-298.9" font-family="Helvetica,sans-Serif" font-size="8.00">2</text>
</g>
<!-- Return17->Phi_arg8 -->
<g id="edge14" class="edge">
<title>Return17->Phi_arg8</title>
<path fill="none" stroke="black" d="M133.07,-124.33C136.84,-134.53 141.09,-147.78 143,-160 151.97,-217.35 140.08,-285.24 131.79,-322.03"/>
<polygon fill="black" stroke="black" points="128.33,-321.44 129.46,-331.97 135.14,-323.03 128.33,-321.44"/>
<text text-anchor="middle" x="130.07" y="-126.93" font-family="Helvetica,sans-Serif" font-size="8.00">1</text>
</g>
<!-- Return17->If11 -->
<g id="edge13" class="edge">
<title>Return17->If11:p1</title>
<path fill="none" stroke="red" d="M113.92,-124C108.25,-133.3 102.24,-145.44 99.95,-157.94"/>
<polygon fill="red" stroke="red" points="96.46,-157.71 99,-168 103.43,-158.38 96.46,-157.71"/>
<text text-anchor="middle" x="110.92" y="-126.6" font-family="Helvetica,sans-Serif" font-size="8.00">0</text>
</g>
</g>
</svg>
|
