223 lines · plain
1<?xml version="1.0" encoding="UTF-8" standalone="no"?>2<svg3 xmlns:dc="http://purl.org/dc/elements/1.1/"4 xmlns:cc="http://creativecommons.org/ns#"5 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"6 xmlns:svg="http://www.w3.org/2000/svg"7 xmlns="http://www.w3.org/2000/svg"8 xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"9 xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"10 id="svg8"11 version="1.1"12 viewBox="0 0 180 70"13 height="70mm"14 width="180mm">15 <defs16 id="defs2">17 <marker18 inkscape:isstock="true"19 style="overflow:visible"20 id="marker1412"21 refX="0"22 refY="0"23 orient="auto"24 inkscape:stockid="Arrow2Lend">25 <path26 transform="matrix(-1.1,0,0,-1.1,-1.1,0)"27 d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"28 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"29 id="path1410" />30 </marker>31 <marker32 inkscape:isstock="true"33 style="overflow:visible"34 id="Arrow1Lend"35 refX="0"36 refY="0"37 orient="auto"38 inkscape:stockid="Arrow1Lend">39 <path40 transform="matrix(-0.8,0,0,-0.8,-10,0)"41 style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"42 d="M 0,0 5,-5 -12.5,0 5,5 Z"43 id="path1083" />44 </marker>45 </defs>46 <g47 id="layer1"48 inkscape:groupmode="layer"49 inkscape:label="Layer 1">50 <text51 id="text32"52 y="5.2916665"53 x="2.6458333"54 style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"55 xml:space="preserve"><tspan56 style="font-size:4.93889px;stroke-width:0.264583"57 y="5.2916665"58 x="2.6458333"59 id="tspan30"60 sodipodi:role="line">(Given)</tspan></text>61 <text62 xml:space="preserve"63 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"64 x="2.6458333"65 y="66.145836"66 id="text32-2"><tspan67 sodipodi:role="line"68 id="tspan30-8"69 x="2.6458333"70 y="66.145836"71 style="font-size:4.9389px;stroke-width:0.264583">(Conclusion)</tspan></text>72 <text73 xml:space="preserve"74 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"75 x="29.104166"76 y="5.2916665"77 id="text32-1"><tspan78 sodipodi:role="line"79 id="tspan30-9"80 x="29.104166"81 y="5.2916665"82 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"><tspan83 id="tspan72"84 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle">in</tspan><tspan85 id="tspan70"86 style="font-size:65%;text-align:center;baseline-shift:sub;text-anchor:middle">1</tspan></tspan></text>87 <text88 id="text32-1-5"89 y="5.2916665"90 x="43.65625"91 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"92 xml:space="preserve"><tspan93 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"94 y="5.2916665"95 x="43.65625"96 id="tspan30-9-7"97 sodipodi:role="line"><tspan98 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle;stroke-width:0.264583"99 id="tspan72-5">in</tspan><tspan100 style="font-size:3.2103px;text-align:center;baseline-shift:sub;text-anchor:middle;stroke-width:0.264583"101 id="tspan70-9">2</tspan></tspan></text>102 <text103 xml:space="preserve"104 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"105 x="70.114578"106 y="5.2916665"107 id="text32-1-5-3"><tspan108 sodipodi:role="line"109 id="tspan30-9-7-0"110 x="70.114578"111 y="5.2916665"112 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"><tspan113 id="tspan72-5-9"114 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle;stroke-width:0.264583">in</tspan><tspan115 id="tspan70-9-5"116 style="font-size:3.2103px;text-align:center;baseline-shift:sub;text-anchor:middle;stroke-width:0.264583">n</tspan></tspan></text>117 <text118 id="text32-1-56"119 y="31.75"120 x="50.270832"121 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"122 xml:space="preserve"><tspan123 style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:center;text-anchor:middle;stroke-width:0.264583"124 y="31.75"125 x="50.270832"126 id="tspan30-9-5"127 sodipodi:role="line"><tspan128 id="tspan148"129 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">join</tspan>(<tspan130 id="tspan156"131 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">in</tspan><tspan132 id="tspan150"133 style="font-size:65%;baseline-shift:sub">1</tspan>, <tspan134 id="tspan158"135 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">in</tspan><tspan136 id="tspan152"137 style="font-size:65%;baseline-shift:sub">2</tspan>, …, <tspan138 id="tspan160"139 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal">in</tspan><tspan140 id="tspan154"141 style="font-size:65%;baseline-shift:sub">n</tspan>)</tspan></text>142 <text143 xml:space="preserve"144 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"145 x="52.916668"146 y="66.145836"147 id="text32-1-56-8"><tspan148 sodipodi:role="line"149 id="tspan30-9-5-4"150 x="52.916668"151 y="66.145836"152 style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"><tspan153 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"154 id="tspan148-3">out<tspan155 id="tspan203"156 style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start"> = </tspan>transfer<tspan157 id="tspan201"158 style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start">(<tspan159 id="tspan205"160 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start">basic_block</tspan>, </tspan>join</tspan>(<tspan161 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"162 id="tspan156-6">in</tspan><tspan163 style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583"164 id="tspan150-4">1</tspan>, <tspan165 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"166 id="tspan158-3">in</tspan><tspan167 style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583"168 id="tspan152-8">2</tspan>, …, <tspan169 style="font-style:italic;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;text-align:start;text-anchor:start;stroke-width:0.264583"170 id="tspan160-3">in</tspan><tspan171 style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583"172 id="tspan154-1">n</tspan>))</tspan></text>173 <rect174 y="23.8125"175 x="15.874998"176 height="31.75"177 width="68.791664"178 id="rect207"179 style="fill:none;stroke:#000000;stroke-width:0.264999" />180 <text181 id="text32-2-8"182 y="44.979168"183 x="50.270836"184 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"185 xml:space="preserve"><tspan186 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"187 y="44.979168"188 x="50.270836"189 id="tspan30-8-8"190 sodipodi:role="line">Basic block</tspan></text>191 <path192 sodipodi:nodetypes="cc"193 id="path227"194 d="M 27.781249,6.6145827 50.270832,23.8125"195 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />196 <path197 sodipodi:nodetypes="cc"198 id="path229"199 d="M 42.333333,6.6145827 50.270832,23.8125"200 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />201 <text202 xml:space="preserve"203 style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"204 x="56.885418"205 y="5.2916665"206 id="text32-1-5-35"><tspan207 sodipodi:role="line"208 id="tspan30-9-7-00"209 x="56.885418"210 y="5.2916665"211 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>212 <path213 sodipodi:nodetypes="cc"214 id="path255"215 d="M 68.791666,6.6145827 50.270832,23.8125"216 style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" />217 <path218 id="path1492"219 d="M 50.270832,55.562499 V 70.114582"220 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker1412)" />221 </g>222</svg>223