| <?xml version="1.0" encoding="UTF-8" standalone="no"?> | |
| <svg | |
| xmlns:dc="http://purl.org/dc/elements/1.1/" | |
| xmlns:cc="http://creativecommons.org/ns#" | |
| xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" | |
| xmlns:svg="http://www.w3.org/2000/svg" | |
| xmlns="http://www.w3.org/2000/svg" | |
| xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" | |
| xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" | |
| id="svg8" | |
| version="1.1" | |
| viewBox="0 0 180 70" | |
| height="70mm" | |
| width="180mm"> | |
| <defs | |
| id="defs2"> | |
| <marker | |
| inkscape:isstock="true" | |
| style="overflow:visible" | |
| id="marker1412" | |
| refX="0" | |
| refY="0" | |
| orient="auto" | |
| inkscape:stockid="Arrow2Lend"> | |
| <path | |
| transform="matrix(-1.1,0,0,-1.1,-1.1,0)" | |
| 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" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" | |
| id="path1410" /> | |
| </marker> | |
| <marker | |
| inkscape:isstock="true" | |
| style="overflow:visible" | |
| id="Arrow1Lend" | |
| refX="0" | |
| refY="0" | |
| orient="auto" | |
| inkscape:stockid="Arrow1Lend"> | |
| <path | |
| transform="matrix(-0.8,0,0,-0.8,-10,0)" | |
| style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1" | |
| d="M 0,0 5,-5 -12.5,0 5,5 Z" | |
| id="path1083" /> | |
| </marker> | |
| </defs> | |
| <g | |
| id="layer1" | |
| inkscape:groupmode="layer" | |
| inkscape:label="Layer 1"> | |
| <text | |
| id="text32" | |
| y="5.2916665" | |
| x="2.6458333" | |
| style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-size:4.93889px;stroke-width:0.264583" | |
| y="5.2916665" | |
| x="2.6458333" | |
| id="tspan30" | |
| sodipodi:role="line">(Given)</tspan></text> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| x="2.6458333" | |
| y="66.145836" | |
| id="text32-2"><tspan | |
| sodipodi:role="line" | |
| id="tspan30-8" | |
| x="2.6458333" | |
| y="66.145836" | |
| style="font-size:4.9389px;stroke-width:0.264583">(Conclusion)</tspan></text> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| x="29.104166" | |
| y="5.2916665" | |
| id="text32-1"><tspan | |
| sodipodi:role="line" | |
| id="tspan30-9" | |
| x="29.104166" | |
| y="5.2916665" | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"><tspan | |
| id="tspan72" | |
| 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><tspan | |
| id="tspan70" | |
| style="font-size:65%;text-align:center;baseline-shift:sub;text-anchor:middle">1</tspan></tspan></text> | |
| <text | |
| id="text32-1-5" | |
| y="5.2916665" | |
| x="43.65625" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" | |
| y="5.2916665" | |
| x="43.65625" | |
| id="tspan30-9-7" | |
| sodipodi:role="line"><tspan | |
| 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" | |
| id="tspan72-5">in</tspan><tspan | |
| style="font-size:3.2103px;text-align:center;baseline-shift:sub;text-anchor:middle;stroke-width:0.264583" | |
| id="tspan70-9">2</tspan></tspan></text> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| x="70.114578" | |
| y="5.2916665" | |
| id="text32-1-5-3"><tspan | |
| sodipodi:role="line" | |
| id="tspan30-9-7-0" | |
| x="70.114578" | |
| y="5.2916665" | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"><tspan | |
| id="tspan72-5-9" | |
| 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><tspan | |
| id="tspan70-9-5" | |
| style="font-size:3.2103px;text-align:center;baseline-shift:sub;text-anchor:middle;stroke-width:0.264583">n</tspan></tspan></text> | |
| <text | |
| id="text32-1-56" | |
| y="31.75" | |
| x="50.270832" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| 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" | |
| y="31.75" | |
| x="50.270832" | |
| id="tspan30-9-5" | |
| sodipodi:role="line"><tspan | |
| id="tspan148" | |
| 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>(<tspan | |
| id="tspan156" | |
| 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><tspan | |
| id="tspan150" | |
| style="font-size:65%;baseline-shift:sub">1</tspan>, <tspan | |
| id="tspan158" | |
| 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><tspan | |
| id="tspan152" | |
| style="font-size:65%;baseline-shift:sub">2</tspan>, …, <tspan | |
| id="tspan160" | |
| 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><tspan | |
| id="tspan154" | |
| style="font-size:65%;baseline-shift:sub">n</tspan>)</tspan></text> | |
| <text | |
| xml:space="preserve" | |
| 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" | |
| x="52.916668" | |
| y="66.145836" | |
| id="text32-1-56-8"><tspan | |
| sodipodi:role="line" | |
| id="tspan30-9-5-4" | |
| x="52.916668" | |
| y="66.145836" | |
| 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"><tspan | |
| 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" | |
| id="tspan148-3">out<tspan | |
| id="tspan203" | |
| 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<tspan | |
| id="tspan201" | |
| 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 | |
| id="tspan205" | |
| 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>(<tspan | |
| 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" | |
| id="tspan156-6">in</tspan><tspan | |
| style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583" | |
| id="tspan150-4">1</tspan>, <tspan | |
| 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" | |
| id="tspan158-3">in</tspan><tspan | |
| style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583" | |
| id="tspan152-8">2</tspan>, …, <tspan | |
| 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" | |
| id="tspan160-3">in</tspan><tspan | |
| style="font-size:3.2103px;text-align:start;baseline-shift:sub;text-anchor:start;stroke-width:0.264583" | |
| id="tspan154-1">n</tspan>))</tspan></text> | |
| <rect | |
| y="23.8125" | |
| x="15.874998" | |
| height="31.75" | |
| width="68.791664" | |
| id="rect207" | |
| style="fill:none;stroke:#000000;stroke-width:0.264999" /> | |
| <text | |
| id="text32-2-8" | |
| y="44.979168" | |
| x="50.270836" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| xml:space="preserve"><tspan | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" | |
| y="44.979168" | |
| x="50.270836" | |
| id="tspan30-8-8" | |
| sodipodi:role="line">Basic block</tspan></text> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| id="path227" | |
| d="M 27.781249,6.6145827 50.270832,23.8125" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| id="path229" | |
| d="M 42.333333,6.6145827 50.270832,23.8125" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> | |
| <text | |
| xml:space="preserve" | |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" | |
| x="56.885418" | |
| y="5.2916665" | |
| id="text32-1-5-35"><tspan | |
| sodipodi:role="line" | |
| id="tspan30-9-7-00" | |
| x="56.885418" | |
| y="5.2916665" | |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text> | |
| <path | |
| sodipodi:nodetypes="cc" | |
| id="path255" | |
| d="M 68.791666,6.6145827 50.270832,23.8125" | |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1" /> | |
| <path | |
| id="path1492" | |
| d="M 50.270832,55.562499 V 70.114582" | |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker1412)" /> | |
| </g> | |
| </svg> |
