forked from OSchip/llvm-project
521 lines
25 KiB
XML
521 lines
25 KiB
XML
<?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 220 210"
|
||
height="210mm"
|
||
width="220mm">
|
||
<defs
|
||
id="defs2">
|
||
<marker
|
||
inkscape:isstock="true"
|
||
style="overflow:visible"
|
||
id="Arrow2Lend"
|
||
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="path1109" />
|
||
</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="path1091" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-5"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-7"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-6"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-77"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-1"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-0"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-8"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-73"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-81"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-8"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-7"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-5"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-2"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-6"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-83"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-88"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-0"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-81"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
<marker
|
||
inkscape:stockid="Arrow2Lend"
|
||
orient="auto"
|
||
refY="0"
|
||
refX="0"
|
||
id="Arrow2Lend-15"
|
||
style="overflow:visible"
|
||
inkscape:isstock="true">
|
||
<path
|
||
id="path1109-67"
|
||
style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
|
||
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"
|
||
transform="matrix(-1.1,0,0,-1.1,-1.1,0)" />
|
||
</marker>
|
||
</defs>
|
||
<g
|
||
id="layer1"
|
||
inkscape:groupmode="layer"
|
||
inkscape:label="Layer 1">
|
||
<rect
|
||
y="2.6458333"
|
||
x="55.5625"
|
||
height="10.583333"
|
||
width="42.333332"
|
||
id="rect12"
|
||
style="fill:none;stroke:#000000;stroke-width:0.265;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
|
||
<text
|
||
id="text839"
|
||
y="9.2361279"
|
||
x="76.561562"
|
||
style="font-size:4.93889px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
|
||
xml:space="preserve"><tspan
|
||
style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
|
||
y="9.2361279"
|
||
x="76.561562"
|
||
id="tspan837"
|
||
sodipodi:role="line">Entry</tspan></text>
|
||
<rect
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
|
||
id="rect12-8"
|
||
width="52.916668"
|
||
height="26.458334"
|
||
x="50.270832"
|
||
y="23.812498" />
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
|
||
x="54.303524"
|
||
y="30.288889"
|
||
id="text839-6"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-3"
|
||
x="54.303524"
|
||
y="30.288889"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;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">// Pre: x is ⊥</tspan><tspan
|
||
id="tspan876"
|
||
sodipodi:role="line"
|
||
x="54.303524"
|
||
y="35.772423"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;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">int x;</tspan><tspan
|
||
id="tspan878"
|
||
sodipodi:role="line"
|
||
x="54.303524"
|
||
y="41.255955"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;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">if (n > 0)</tspan><tspan
|
||
id="tspan874"
|
||
sodipodi:role="line"
|
||
x="54.303524"
|
||
y="47.197174"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;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">// Post: x is ⊥</tspan></text>
|
||
<rect
|
||
y="92.604164"
|
||
x="2.6458302"
|
||
height="21.166666"
|
||
width="52.916668"
|
||
id="rect12-8-6"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
|
||
<text
|
||
id="text839-6-0"
|
||
y="99.405327"
|
||
x="6.154747"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;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:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="99.405327"
|
||
x="6.154747"
|
||
id="tspan837-3-1"
|
||
sodipodi:role="line">// Pre: x is ⊥</tspan><tspan
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="104.88886"
|
||
x="6.154747"
|
||
sodipodi:role="line"
|
||
id="tspan878-2">x = n;</tspan><tspan
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="110.37239"
|
||
x="6.154747"
|
||
sodipodi:role="line"
|
||
id="tspan874-3">// Post: x is ⊤</tspan></text>
|
||
<rect
|
||
y="60.854168"
|
||
x="121.70833"
|
||
height="21.166666"
|
||
width="52.916668"
|
||
id="rect12-8-3"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
|
||
<text
|
||
id="text839-6-3"
|
||
y="67.426483"
|
||
x="125.74102"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;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:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="67.426483"
|
||
x="125.74102"
|
||
id="tspan837-3-7"
|
||
sodipodi:role="line">// Pre: x is ⊥</tspan><tspan
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="72.910019"
|
||
x="125.74102"
|
||
sodipodi:role="line"
|
||
id="tspan878-1">if (n == 42)</tspan><tspan
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="78.851234"
|
||
x="125.74102"
|
||
sodipodi:role="line"
|
||
id="tspan874-8">// Post: x is ⊥</tspan></text>
|
||
<rect
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
|
||
id="rect12-8-3-3"
|
||
width="58.208344"
|
||
height="21.16667"
|
||
x="84.666664"
|
||
y="92.604164" />
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
|
||
x="88.860504"
|
||
y="99.025513"
|
||
id="text839-6-3-7"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-3-7-6"
|
||
x="88.860504"
|
||
y="99.025513"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊥</tspan><tspan
|
||
id="tspan878-1-1"
|
||
sodipodi:role="line"
|
||
x="88.860504"
|
||
y="104.50905"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">x = 5;</tspan><tspan
|
||
id="tspan874-8-5"
|
||
sodipodi:role="line"
|
||
x="88.860504"
|
||
y="109.99258"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is {5}</tspan></text>
|
||
<rect
|
||
y="92.604164"
|
||
x="153.45834"
|
||
height="21.166677"
|
||
width="58.208328"
|
||
id="rect12-8-3-3-3"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" />
|
||
<text
|
||
id="text839-6-3-7-8"
|
||
y="99.025513"
|
||
x="156.17146"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;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:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="99.025513"
|
||
x="156.17146"
|
||
id="tspan837-3-7-6-0"
|
||
sodipodi:role="line">// Pre: x is ⊥</tspan><tspan
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="104.50905"
|
||
x="156.17146"
|
||
sodipodi:role="line"
|
||
id="tspan878-1-1-7">x = 44;</tspan><tspan
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583"
|
||
y="109.99258"
|
||
x="156.17146"
|
||
sodipodi:role="line"
|
||
id="tspan874-8-5-9">// Post: x is {44}</tspan></text>
|
||
<rect
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
|
||
id="rect12-8-3-35"
|
||
width="68.791672"
|
||
height="21.166672"
|
||
x="113.77083"
|
||
y="124.35416" />
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
|
||
x="117.2491"
|
||
y="130.77551"
|
||
id="text839-6-3-8"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-3-7-7"
|
||
x="117.2491"
|
||
y="130.77551"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is {5; 44}</tspan><tspan
|
||
id="tspan878-1-2"
|
||
sodipodi:role="line"
|
||
x="117.2491"
|
||
y="136.25905"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">print(x);</tspan><tspan
|
||
id="tspan874-8-54"
|
||
sodipodi:role="line"
|
||
x="117.2491"
|
||
y="141.74258"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is {5; 44}</tspan></text>
|
||
<rect
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
|
||
id="rect12-8-6-3"
|
||
width="52.916668"
|
||
height="21.166666"
|
||
x="50.270832"
|
||
y="156.10417" />
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1.1;font-family:sans-serif;text-align:start;word-spacing:0px;text-anchor:start;stroke-width:0.264583"
|
||
x="53.695339"
|
||
y="162.79588"
|
||
id="text839-6-0-3"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-3-1-7"
|
||
x="53.695339"
|
||
y="162.79588"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Pre: x is ⊤</tspan><tspan
|
||
id="tspan878-2-0"
|
||
sodipodi:role="line"
|
||
x="53.695339"
|
||
y="168.49834"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">print(x);</tspan><tspan
|
||
id="tspan874-3-8"
|
||
sodipodi:role="line"
|
||
x="53.695339"
|
||
y="173.98187"
|
||
style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.9389px;font-family:monospace;-inkscape-font-specification:monospace;text-align:start;text-anchor:start;stroke-width:0.264583">// Post: x is ⊤</tspan></text>
|
||
<path
|
||
id="path1086"
|
||
d="M 76.729166,13.229166 V 23.812499"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend)" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-6)"
|
||
d="M 95.249999,50.270833 129.64583,60.854166"
|
||
id="path1086-0" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-1)"
|
||
d="M 58.208333,50.270833 29.104166,92.604166"
|
||
id="path1086-08" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-8)"
|
||
d="M 129.64583,82.020833 111.125,92.604166"
|
||
id="path1086-2" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-81)"
|
||
d="m 166.6875,82.020833 15.875,10.583333"
|
||
id="path1086-5" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-7)"
|
||
d="m 111.125,113.77084 10.58333,10.58333"
|
||
id="path1086-9" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-2)"
|
||
d="m 182.5625,113.77084 -7.9375,10.58333"
|
||
id="path1086-6" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-83)"
|
||
d="M 148.16667,145.52084 95.249999,156.10417"
|
||
id="path1086-59" />
|
||
<path
|
||
sodipodi:nodetypes="cc"
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-0)"
|
||
d="m 29.104166,113.77084 29.104167,42.33333"
|
||
id="path1086-8" />
|
||
<rect
|
||
style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
|
||
id="rect12-3"
|
||
width="42.333332"
|
||
height="10.583333"
|
||
x="55.5625"
|
||
y="187.85417" />
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
|
||
x="76.561569"
|
||
y="194.44447"
|
||
id="text839-3"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-6"
|
||
x="76.561569"
|
||
y="194.44447"
|
||
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">Exit</tspan></text>
|
||
<path
|
||
style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow2Lend-15)"
|
||
d="m 76.729166,177.27084 v 10.58334"
|
||
id="path1086-1" />
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
|
||
x="119.0625"
|
||
y="55.562504"
|
||
id="text839-1"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-4"
|
||
x="119.0625"
|
||
y="55.562504"
|
||
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">True</tspan></text>
|
||
<text
|
||
id="text839-1-4"
|
||
y="87.3125"
|
||
x="179.91667"
|
||
style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
|
||
xml:space="preserve"><tspan
|
||
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
|
||
y="87.3125"
|
||
x="179.91667"
|
||
id="tspan837-4-2"
|
||
sodipodi:role="line">True</tspan></text>
|
||
<text
|
||
id="text839-1-5"
|
||
y="87.3125"
|
||
x="113.77083"
|
||
style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
|
||
xml:space="preserve"><tspan
|
||
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
|
||
y="87.3125"
|
||
x="113.77083"
|
||
id="tspan837-4-7"
|
||
sodipodi:role="line">False</tspan></text>
|
||
<text
|
||
xml:space="preserve"
|
||
style="font-size:4.9389px;line-height:1;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
|
||
x="44.979164"
|
||
y="58.208332"
|
||
id="text839-1-5-5"><tspan
|
||
sodipodi:role="line"
|
||
id="tspan837-4-7-4"
|
||
x="44.979164"
|
||
y="58.208332"
|
||
style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">False</tspan></text>
|
||
</g>
|
||
</svg>
|