docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg

<?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"
   width="170mm"
   height="110mm"
   viewBox="0 0 170 110"
   version="1.1"
   id="svg8">
  <defs
     id="defs2" />
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1">
    <text
       xml:space="preserve"
       style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
       x="89.958336"
       y="105.83334"
       id="text1921"><tspan
         sodipodi:role="line"
         id="tspan1919"
         x="89.958336"
         y="105.83334"
         style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583">⊥ = {}</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="4.0951862"
       y="76.729172"
       id="text1925"><tspan
         sodipodi:role="line"
         id="tspan1923"
         x="4.0951862"
         y="76.729172"
         style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
    <text
       id="text1925-6"
       y="76.729172"
       x="27.907686"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="27.907686"
         id="tspan1923-9"
         sodipodi:role="line">…</tspan></text>
    <text
       id="text1925-7"
       y="76.729172"
       x="16.001438"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="16.001438"
         id="tspan1923-8"
         sodipodi:role="line">{−9}</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="39.813934"
       y="76.729172"
       id="text1925-7-7"><tspan
         sodipodi:role="line"
         id="tspan1923-8-1"
         x="39.813934"
         y="76.729172"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−5}</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="51.720184"
       y="76.729172"
       id="text1925-6-4"><tspan
         sodipodi:role="line"
         id="tspan1923-9-4"
         x="51.720184"
         y="76.729172"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
    <text
       id="text1925-7-7-6"
       y="76.729172"
       x="63.626438"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="63.626438"
         id="tspan1923-8-1-9"
         sodipodi:role="line">{−3}</tspan></text>
    <text
       id="text1925-7-7-67"
       y="76.729172"
       x="79.501442"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="79.501442"
         id="tspan1923-8-1-8"
         sodipodi:role="line">{−2}</tspan></text>
    <text
       id="text1925-7-7-9"
       y="76.729172"
       x="95.37645"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="95.37645"
         id="tspan1923-8-1-1"
         sodipodi:role="line">{−1}</tspan></text>
    <text
       id="text1925-7-7-7"
       y="76.729172"
       x="109.92851"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="109.92851"
         id="tspan1923-8-1-0"
         sodipodi:role="line">{0}</tspan></text>
    <text
       id="text1925-7-7-3"
       y="76.729172"
       x="123.15768"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="123.15768"
         id="tspan1923-8-1-6"
         sodipodi:role="line">{1}</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="136.38686"
       y="76.729172"
       id="text1925-7-7-3-3"><tspan
         sodipodi:role="line"
         id="tspan1923-8-1-6-8"
         x="136.38686"
         y="76.729172"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{2}</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="149.61603"
       y="76.729172"
       id="text1925-7-7-3-31"><tspan
         sodipodi:role="line"
         id="tspan1923-8-1-6-5"
         x="149.61603"
         y="76.729172"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{3}</tspan></text>
    <text
       id="text1925-6-4-0"
       y="76.729172"
       x="160.19936"
       style="font-size:4.9389px;line-height:1.25;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="76.729172"
         x="160.19936"
         id="tspan1923-9-4-8"
         sodipodi:role="line">…</tspan></text>
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 16.001436,78.052083 90.084773,100.54166"
       id="path2089"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 39.813936,78.052083 90.084773,100.54166"
       id="path2091"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 63.626436,78.052083 90.084773,100.54166"
       id="path2093"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 79.501436,78.052083 90.084773,100.54166"
       id="path2095"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 95.376433,78.052083 -5.29166,22.489577"
       id="path2097"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 109.92852,78.052083 90.084773,100.54166"
       id="path2099"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 123.15768,78.052083 90.084773,100.54166"
       id="path2101"
       sodipodi:nodetypes="cc" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 136.38685,78.052082 90.084773,100.54166"
       id="path2121" />
    <path
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 149.61601,78.052082 90.084773,100.54166"
       id="path2123" />
    <text
       id="text1925-62"
       y="50.270832"
       x="9.3868532"
       style="font-size:4.9389px;line-height:1.25;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="50.270832"
         x="9.3868532"
         id="tspan1923-98"
         sodipodi:role="line">…</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="53.043102"
       y="50.270832"
       id="text1925-6-6"><tspan
         sodipodi:role="line"
         id="tspan1923-9-0"
         x="53.043102"
         y="50.270832"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="29.230604"
       y="50.270832"
       id="text1925-7-6"><tspan
         sodipodi:role="line"
         id="tspan1923-8-18"
         x="29.230604"
         y="50.270832"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−9, −5}</tspan></text>
    <text
       id="text1925-7-7-31"
       y="50.270832"
       x="79.501442"
       style="font-size:4.9389px;line-height:1.25;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="50.270832"
         x="79.501442"
         id="tspan1923-8-1-87"
         sodipodi:role="line">{−3, −1}</tspan></text>
    <text
       id="text1925-6-4-5"
       y="50.270832"
       x="108.60561"
       style="font-size:4.9389px;line-height:1.25;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="50.270832"
         x="108.60561"
         id="tspan1923-9-4-85"
         sodipodi:role="line">…</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="129.77228"
       y="50.270832"
       id="text1925-7-7-6-0"><tspan
         sodipodi:role="line"
         id="tspan1923-8-1-9-0"
         x="129.77228"
         y="50.270832"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1, 2}</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="149.61603"
       y="50.270832"
       id="text1925-6-4-5-3"><tspan
         sodipodi:role="line"
         id="tspan1923-9-4-85-4"
         x="149.61603"
         y="50.270832"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 16.001436,71.437499 29.230603,51.59375"
       id="path2191" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 39.813936,71.437499 29.230603,51.59375"
       id="path2193" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 63.626435,71.437499 79.501436,51.59375"
       id="path2195" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 95.376433,71.437499 79.501436,51.59375"
       id="path2197" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 124.4806,71.437499 129.77227,51.59375"
       id="path2199" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="M 135.06393,71.437499 129.77227,51.59375"
       id="path2201" />
    <path
       id="path2201-1"
       d="M 129.77226,44.979165 128.44935,25.135416"
       style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       sodipodi:nodetypes="cc" />
    <text
       id="text1925-7-7-6-0-2"
       y="23.812502"
       x="128.44936"
       style="font-size:4.9389px;line-height:1.25;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="23.812502"
         x="128.44936"
         id="tspan1923-8-1-9-0-9"
         sodipodi:role="line">{1, 2, 3}</tspan></text>
    <path
       id="path205"
       d="M 149.61601,71.437499 128.44935,25.135416"
       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;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="112.57436"
       y="23.812502"
       id="text1925-6-4-5-0"><tspan
         sodipodi:role="line"
         id="tspan1923-9-4-85-5"
         x="112.57436"
         y="23.812502"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="143.00143"
       y="23.812502"
       id="text1925-6-4-5-7"><tspan
         sodipodi:role="line"
         id="tspan1923-9-4-85-0"
         x="143.00143"
         y="23.812502"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583"
       x="90.084763"
       y="6.6145835"
       id="text1925-7-7-6-0-2-0"><tspan
         sodipodi:role="line"
         id="tspan1923-8-1-9-0-9-0"
         x="90.084763"
         y="6.6145835"
         style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">(goes up infinitely)</tspan></text>
    <path
       id="path253"
       d="M 90.084773,7.9374993 128.44935,18.520833"
       style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2.12, 2.12;stroke-dashoffset:0;stroke-opacity:1" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2.12, 2.12;stroke-dashoffset:0;stroke-opacity:1"
       d="M 90.084773,7.9375003 108.6056,44.979166"
       id="path253-2" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2.12, 2.12;stroke-dashoffset:0;stroke-opacity:1"
       d="M 90.084773,7.9375003 79.501436,44.979166"
       id="path253-8" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2.12, 2.12;stroke-dashoffset:0;stroke-opacity:1"
       d="M 90.084773,7.9375003 53.043103,44.979166"
       id="path253-6" />
    <path
       sodipodi:nodetypes="cc"
       style="fill:none;stroke:#000000;stroke-width:0.264999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:2.12, 2.12;stroke-dashoffset:0;stroke-opacity:1"
       d="M 90.084773,7.9375003 29.230603,44.979166"
       id="path253-4" />
  </g>
</svg>