X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;ds=sidebyside;f=choice-case.svg;h=eba9d9e1600aafedf0aa54a10a745aa3dc8d3a53;hb=9b33924eca5a2b90036d4c8cf2c9d3984bf6da21;hp=7d6c9d63532650f50e670d1c4b8d4b0072eb2a61;hpb=432416d4f3cb67cdb0ae332d01a78dae6328d0f5;p=matthijs%2Fmaster-project%2Fdsd-paper.git
diff --git a/choice-case.svg b/choice-case.svg
index 7d6c9d6..eba9d9e 100644
--- a/choice-case.svg
+++ b/choice-case.svg
@@ -11,7 +11,7 @@
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="172.75"
- height="124.93002"
+ height="144.93002"
id="svg2"
version="1.1"
inkscape:version="0.47 r22583"
@@ -23,12 +23,12 @@
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
- inkscape:zoom="2.1106557"
- inkscape:cx="100.30358"
- inkscape:cy="11.570164"
+ inkscape:zoom="3.8827838"
+ inkscape:cx="72.928543"
+ inkscape:cy="40.778119"
inkscape:document-units="px"
inkscape:current-layer="layer1"
- showgrid="true"
+ showgrid="false"
inkscape:snap-grids="true"
inkscape:window-width="1091"
inkscape:window-height="778"
@@ -37,62 +37,62 @@
inkscape:window-maximized="0"
inkscape:snap-center="false">
+ visible="true"
+ empspacing="5"
+ id="grid2818"
+ type="xygrid" />
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Mend">
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path3732" />
+ refX="0"
+ refY="0"
+ orient="auto"
+ inkscape:stockid="Arrow1Send">
+ d="M 0,0 5,-5 -12.5,0 5,5 0,0 z"
+ id="path3738" />
-
+
+ inkscape:vp_y="0 : 1000 : 0"
+ inkscape:vp_z="1 : 0.5 : 1"
+ inkscape:persp3d-origin="0.5 : 0.33333333 : 1"
+ id="perspective3128" />
@@ -102,56 +102,37 @@
image/svg+xml
-
+
+ inkscape:groupmode="layer"
+ inkscape:label="Layer 1">
+ x="20"
+ height="135.5"
+ width="139.5"
+ id="rect6192"
+ style="fill:#ffffff;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none" />
+ d="m 368.86,585.7295 82,0"
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+ d="m 368.86,595.7295 82,0"
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
-
-
+ d="m 226.91,657.82 0.01,-0.04 0.01,-0.05 0.02,-0.04 0.01,-0.04 0.02,-0.04 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.02,-0.04 0.02,-0.03 0.02,-0.03 0.03,-0.03 0.02,-0.02 0.03,-0.03 0.03,-0.02 0.02,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.02 0.03,-0.01 0.03,-0.01 0.03,-0.02 0.04,-0.01 0.03,-0.01 0.03,0 0.03,-0.01 0.04,-0.01 0.03,0 0.03,0 0.03,-0.01 0.04,0 c 0.36,0 0.57,0.25 0.72,0.56 0.18,0.38 0.3,0.96 0.3,0.98 0,0.1 -0.08,0.1 -0.15,0.1 -0.12,0 -0.13,-0.01 -0.19,-0.23 -0.14,-0.56 -0.32,-1.19 -0.66,-1.19 -0.26,0 -0.26,0.27 -0.26,0.41 0,0.07 0,0.23 0.07,0.51 l 0.67,2.71 c 0.04,0.14 0.04,0.16 0.04,0.21 0,0.21 -0.16,0.26 -0.27,0.26 -0.31,0 -0.38,-0.34 -0.39,-0.39 -0.19,0.43 -0.51,0.59 -0.83,0.59 v -0.22 c 0.44,0 0.69,-0.52 0.69,-0.94 0,-0.02 -0.01,-0.07 -0.03,-0.13 h 0 l -0.47,-1.88 c -0.08,-0.32 -0.7,-1.13 -1.25,-1.13 -0.46,0 -0.54,0.59 -0.54,0.89 0,0.5 0.3,1.66 0.48,2.08 0.25,0.61 0.71,1.11 1.12,1.11 v 0.22 c -1.11,0 -2.28,-1.52 -2.28,-2.97 0,-0.85 0.46,-1.55 1.2,-1.55 0.36,0 0.8,0.21 1.2,0.7 z"
+ id="path3817" />
+ transform="matrix(1,0,0,-1,151.32988,1251.5995)"
+ id="g3863"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+
+
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ id="g5140"
+ transform="translate(-75.428753,-10)">
+ id="g4445"
+ transform="translate(118.2,-6.1899623)">
+ sodipodi:ry="10"
+ sodipodi:rx="10"
+ sodipodi:cy="26.984081"
+ sodipodi:cx="40"
+ id="path3641"
+ style="fill:#ffffff;stroke:#000000"
+ sodipodi:type="arc" />
+ ns0:text="$\\mathbf{+}$\n\n"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,191.89,1238.2695)"
+ id="g3067">
+ style="fill:#000000;stroke-width:0" />
+ id="g4438"
+ transform="translate(-67.228753,71.145019)">
+ id="path4429"
+ sodipodi:cx="40"
+ sodipodi:cy="26.984081"
+ sodipodi:rx="10"
+ sodipodi:ry="10"
+ d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+ transform="translate(489,516.3654)" />
+ ns0:text="$\\neq$\n\n\n\n\n"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,301.695,1203.0745)"
+ id="g3583">
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ id="g4579"
+ transform="translate(-12.228753,57.380016)">
+ id="path4581"
+ sodipodi:cx="40"
+ sodipodi:cy="26.984081"
+ sodipodi:rx="10"
+ sodipodi:ry="10"
+ d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+ transform="translate(434,506.3654)" />
+ ns0:text="$\\equiv$\n\n\n\n\n"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,246.72,1192.8695)"
+ id="g4583">
+ d="m 230.27,661.46 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0 0.02,0 0.01,0.01 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0.01 0.01,0 0.02,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.19 -0.18,0.19 -0.35,0.19 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.19 0,-0.2 0.2,-0.2 0.36,-0.2 z" />
+ d="m 230.28,657.59 0.03,0 0.03,0 0.03,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0 0,0.01 0.01,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0 0,0.01 0.01,0.01 0,0.01 0,0.01 c 0,0.2 -0.19,0.2 -0.36,0.2 h -5.93 c -0.16,0 -0.36,0 -0.36,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z" />
+ d="m 230.28,659.52 0.03,0 0.03,0 0.03,0.01 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0 0.01,0 0.02,0.01 0.01,0 0.01,0 0.01,0.01 0.02,0 0.01,0.01 0.01,0.01 0.01,0 0.01,0.01 0.01,0.01 0.01,0.01 0.01,0.01 0,0 0,0.01 0.01,0 0,0.01 0,0.01 0,0 0.01,0.01 0,0.01 0,0 0,0.01 0,0.01 0,0.01 0,0.01 0.01,0 0,0.01 0,0.01 c 0,0.2 -0.18,0.2 -0.35,0.2 h -5.95 c -0.17,0 -0.35,0 -0.35,-0.2 0,-0.2 0.18,-0.2 0.35,-0.2 z" />
+ ns0:text="$\\mathbf{sumif}$\n\n"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="matrix(1,0,0,-1,220.755,1202.9395)"
+ id="g5038">
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ style="fill:#000000;stroke-width:0" />
+ id="path5134" />
+ id="path5136"
+ sodipodi:nodetypes="ccc" />
+ d="m 421.2,585.15952 0.16,-28.2 29.8,0"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+ sodipodi:nodetypes="cc" />
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$0$\n\n\n\n\n"
+ ns0:preamble=""
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+ id="path5247" />
-
+ d="m 471.36,562.65952 15,0"
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+
+ d="m 471.36,590.65952 23,0 0,-13"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+ transform="matrix(1,0,0,-1,-75.428753,1214.8191)"
+ id="g5380">
+ transform="translate(118.2,-6.1899623)"
+ id="g5382">
+ id="path5384"
+ sodipodi:cx="40"
+ sodipodi:cy="26.984081"
+ sodipodi:rx="10"
+ sodipodi:ry="10"
+ d="m 50,26.984081 c 0,5.522848 -4.477153,10 -10,10 -5.522847,0 -10,-4.477152 -10,-10 0,-5.522847 4.477153,-10 10,-10 5.522847,0 10,4.477153 10,10 z"
+ transform="translate(379,551.3654)" />
+ xml:space="preserve"
+ stroke-miterlimit="10.433"
+ font-style="normal"
+ font-variant="normal"
+ font-weight="normal"
+ font-stretch="normal"
+ font-size-adjust="none"
+ letter-spacing="normal"
+ word-spacing="normal"
+ ns0:text="$\\mathbf{+}$\n\n"
+ ns0:preamble=""
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;letter-spacing:normal;word-spacing:normal;text-anchor:start;fill:none;stroke:#000000;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10.43299961;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0">
+ id="path5388" />
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
+ d="m 403.02,595.65956 0,42 49,0"
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)" />
+ id="path5406"
+ sodipodi:nodetypes="ccc" />
+ d="m 476.18,631.15956 10,0"
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#Arrow1Mend)" />
+ ns0:text="$0$\n\n\n\n\n"
+ word-spacing="normal"
+ letter-spacing="normal"
+ font-size-adjust="none"
+ font-stretch="normal"
+ font-weight="normal"
+ font-variant="normal"
+ font-style="normal"
+ stroke-miterlimit="10.433"
+ xml:space="preserve"
+ transform="translate(247.35,-29.030423)"
+ id="g5410">
+ style="fill:#000000;stroke-width:0" />
+ sodipodi:nodetypes="cc" />
-
+ sodipodi:ry="0.79549515"
+ sodipodi:rx="0.79549515"
+ sodipodi:cy="33.558914"
+ sodipodi:cx="35.355339"
+ id="path5418"
+ style="fill:#000000;fill-opacity:1;stroke:#000000;stroke-width:1;stroke-miterlimit:4;stroke-dasharray:none"
+ sodipodi:type="arc" />
+ style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#Arrow1Mend)"
+ d="m 409.2,585.90952 0.16,33.5 41.1,0"
+ id="path5424"
+ sodipodi:nodetypes="ccc" />
+ transform="matrix(1.44,0,0,-1.44,358.24516,633.982)" />
+
+ sodipodi:nodetypes="ccc" />
+ id="path5434" />
+ id="path5438"
+ d="m 130,88.410019 5,0 0,-29 0,0 9,0"
+ style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-start:none;marker-end:url(#Arrow1Mend)" />
+ id="path6184"
+ sodipodi:nodetypes="ccccc" />
-
+ id="path6186"
+ sodipodi:nodetypes="cc" />
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+