clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <svg
   3    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 170 110"
  13    height="110mm"
  14    width="170mm">
  15   <defs
  16      id="defs2" />
  17   <g
  18      id="layer1"
  19      inkscape:groupmode="layer"
  20      inkscape:label="Layer 1">
  21     <text
  22        id="text1921"
  23        y="105.83334"
  24        x="89.958336"
  25        style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"
  26        xml:space="preserve"><tspan
  27          style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
  28          y="105.83334"
  29          x="89.958336"
  30          id="tspan1919"
  31          sodipodi:role="line">⊥ = {}</tspan></text>
  32     <text
  33        id="text1925"
  34        y="76.729172"
  35        x="4.0951862"
  36        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"
  37        xml:space="preserve"><tspan
  38          style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"
  39          y="76.729172"
  40          x="4.0951862"
  41          id="tspan1923"
  42          sodipodi:role="line">…</tspan></text>
  43     <text
  44        xml:space="preserve"
  45        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"
  46        x="27.907686"
  47        y="76.729172"
  48        id="text1925-6"><tspan
  49          sodipodi:role="line"
  50          id="tspan1923-9"
  51          x="27.907686"
  52          y="76.729172"
  53          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
  54     <text
  55        xml:space="preserve"
  56        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"
  57        x="16.001438"
  58        y="76.729172"
  59        id="text1925-7"><tspan
  60          sodipodi:role="line"
  61          id="tspan1923-8"
  62          x="16.001438"
  63          y="76.729172"
  64          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−9}</tspan></text>
  65     <text
  66        id="text1925-7-7"
  67        y="76.729172"
  68        x="39.813934"
  69        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"
  70        xml:space="preserve"><tspan
  71          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
  72          y="76.729172"
  73          x="39.813934"
  74          id="tspan1923-8-1"
  75          sodipodi:role="line">{−5}</tspan></text>
  76     <text
  77        id="text1925-6-4"
  78        y="76.729172"
  79        x="51.720184"
  80        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"
  81        xml:space="preserve"><tspan
  82          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
  83          y="76.729172"
  84          x="51.720184"
  85          id="tspan1923-9-4"
  86          sodipodi:role="line">…</tspan></text>
  87     <text
  88        xml:space="preserve"
  89        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"
  90        x="63.626438"
  91        y="76.729172"
  92        id="text1925-7-7-6"><tspan
  93          sodipodi:role="line"
  94          id="tspan1923-8-1-9"
  95          x="63.626438"
  96          y="76.729172"
  97          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3}</tspan></text>
  98     <text
  99        xml:space="preserve"
 100        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"
 101        x="79.501442"
 102        y="76.729172"
 103        id="text1925-7-7-67"><tspan
 104          sodipodi:role="line"
 105          id="tspan1923-8-1-8"
 106          x="79.501442"
 107          y="76.729172"
 108          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−2}</tspan></text>
 109     <text
 110        xml:space="preserve"
 111        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"
 112        x="95.37645"
 113        y="76.729172"
 114        id="text1925-7-7-9"><tspan
 115          sodipodi:role="line"
 116          id="tspan1923-8-1-1"
 117          x="95.37645"
 118          y="76.729172"
 119          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−1}</tspan></text>
 120     <text
 121        xml:space="preserve"
 122        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"
 123        x="109.92851"
 124        y="76.729172"
 125        id="text1925-7-7-7"><tspan
 126          sodipodi:role="line"
 127          id="tspan1923-8-1-0"
 128          x="109.92851"
 129          y="76.729172"
 130          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{0}</tspan></text>
 131     <text
 132        xml:space="preserve"
 133        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"
 134        x="123.15768"
 135        y="76.729172"
 136        id="text1925-7-7-3"><tspan
 137          sodipodi:role="line"
 138          id="tspan1923-8-1-6"
 139          x="123.15768"
 140          y="76.729172"
 141          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1}</tspan></text>
 142     <text
 143        id="text1925-7-7-3-3"
 144        y="76.729172"
 145        x="136.38686"
 146        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"
 147        xml:space="preserve"><tspan
 148          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 149          y="76.729172"
 150          x="136.38686"
 151          id="tspan1923-8-1-6-8"
 152          sodipodi:role="line">{2}</tspan></text>
 153     <text
 154        id="text1925-7-7-3-31"
 155        y="76.729172"
 156        x="149.61603"
 157        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"
 158        xml:space="preserve"><tspan
 159          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 160          y="76.729172"
 161          x="149.61603"
 162          id="tspan1923-8-1-6-5"
 163          sodipodi:role="line">{3}</tspan></text>
 164     <text
 165        xml:space="preserve"
 166        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"
 167        x="160.19936"
 168        y="76.729172"
 169        id="text1925-6-4-0"><tspan
 170          sodipodi:role="line"
 171          id="tspan1923-9-4-8"
 172          x="160.19936"
 173          y="76.729172"
 174          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
 175     <path
 176        sodipodi:nodetypes="cc"
 177        id="path2089"
 178        d="M 16.001436,78.052083 90.084773,100.54166"
 179        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 180     <path
 181        sodipodi:nodetypes="cc"
 182        id="path2091"
 183        d="M 39.813936,78.052083 90.084773,100.54166"
 184        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 185     <path
 186        sodipodi:nodetypes="cc"
 187        id="path2093"
 188        d="M 63.626436,78.052083 90.084773,100.54166"
 189        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 190     <path
 191        sodipodi:nodetypes="cc"
 192        id="path2095"
 193        d="M 79.501436,78.052083 90.084773,100.54166"
 194        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 195     <path
 196        sodipodi:nodetypes="cc"
 197        id="path2097"
 198        d="m 95.376433,78.052083 -5.29166,22.489577"
 199        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 200     <path
 201        sodipodi:nodetypes="cc"
 202        id="path2099"
 203        d="M 109.92852,78.052083 90.084773,100.54166"
 204        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 205     <path
 206        sodipodi:nodetypes="cc"
 207        id="path2101"
 208        d="M 123.15768,78.052083 90.084773,100.54166"
 209        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 210     <path
 211        id="path2121"
 212        d="M 136.38685,78.052082 90.084773,100.54166"
 213        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 214     <path
 215        id="path2123"
 216        d="M 149.61601,78.052082 90.084773,100.54166"
 217        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
 218     <text
 219        xml:space="preserve"
 220        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"
 221        x="9.3868532"
 222        y="50.270832"
 223        id="text1925-62"><tspan
 224          sodipodi:role="line"
 225          id="tspan1923-98"
 226          x="9.3868532"
 227          y="50.270832"
 228          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
 229     <text
 230        id="text1925-6-6"
 231        y="50.270832"
 232        x="53.043102"
 233        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"
 234        xml:space="preserve"><tspan
 235          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 236          y="50.270832"
 237          x="53.043102"
 238          id="tspan1923-9-0"
 239          sodipodi:role="line">…</tspan></text>
 240     <text
 241        id="text1925-7-6"
 242        y="50.270832"
 243        x="29.230604"
 244        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"
 245        xml:space="preserve"><tspan
 246          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 247          y="50.270832"
 248          x="29.230604"
 249          id="tspan1923-8-18"
 250          sodipodi:role="line">{−9, −5}</tspan></text>
 251     <text
 252        xml:space="preserve"
 253        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"
 254        x="79.501442"
 255        y="50.270832"
 256        id="text1925-7-7-31"><tspan
 257          sodipodi:role="line"
 258          id="tspan1923-8-1-87"
 259          x="79.501442"
 260          y="50.270832"
 261          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3, −1}</tspan></text>
 262     <text
 263        xml:space="preserve"
 264        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"
 265        x="108.60561"
 266        y="50.270832"
 267        id="text1925-6-4-5"><tspan
 268          sodipodi:role="line"
 269          id="tspan1923-9-4-85"
 270          x="108.60561"
 271          y="50.270832"
 272          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>
 273     <text
 274        id="text1925-7-7-6-0"
 275        y="50.270832"
 276        x="129.77228"
 277        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"
 278        xml:space="preserve"><tspan
 279          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 280          y="50.270832"
 281          x="129.77228"
 282          id="tspan1923-8-1-9-0"
 283          sodipodi:role="line">{1, 2}</tspan></text>
 284     <text
 285        id="text1925-6-4-5-3"
 286        y="50.270832"
 287        x="149.61603"
 288        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"
 289        xml:space="preserve"><tspan
 290          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 291          y="50.270832"
 292          x="149.61603"
 293          id="tspan1923-9-4-85-4"
 294          sodipodi:role="line">…</tspan></text>
 295     <path
 296        id="path2191"
 297        d="M 16.001436,71.437499 29.230603,51.59375"
 298        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 299        sodipodi:nodetypes="cc" />
 300     <path
 301        id="path2193"
 302        d="M 39.813936,71.437499 29.230603,51.59375"
 303        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 304        sodipodi:nodetypes="cc" />
 305     <path
 306        id="path2195"
 307        d="M 63.626435,71.437499 79.501436,51.59375"
 308        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 309        sodipodi:nodetypes="cc" />
 310     <path
 311        id="path2197"
 312        d="M 95.376433,71.437499 79.501436,51.59375"
 313        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 314        sodipodi:nodetypes="cc" />
 315     <path
 316        id="path2199"
 317        d="M 124.4806,71.437499 129.77227,51.59375"
 318        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 319        sodipodi:nodetypes="cc" />
 320     <path
 321        id="path2201"
 322        d="M 135.06393,71.437499 129.77227,51.59375"
 323        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 324        sodipodi:nodetypes="cc" />
 325     <path
 326        sodipodi:nodetypes="cc"
 327        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 328        d="M 129.77226,44.979165 128.44935,25.135416"
 329        id="path2201-1" />
 330     <text
 331        xml:space="preserve"
 332        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"
 333        x="128.44936"
 334        y="23.812502"
 335        id="text1925-7-7-6-0-2"><tspan
 336          sodipodi:role="line"
 337          id="tspan1923-8-1-9-0-9"
 338          x="128.44936"
 339          y="23.812502"
 340          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1, 2, 3}</tspan></text>
 341     <path
 342        style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
 343        d="M 149.61601,71.437499 128.44935,25.135416"
 344        id="path205" />
 345     <text
 346        id="text1925-6-4-5-0"
 347        y="23.812502"
 348        x="112.57436"
 349        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"
 350        xml:space="preserve"><tspan
 351          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 352          y="23.812502"
 353          x="112.57436"
 354          id="tspan1923-9-4-85-5"
 355          sodipodi:role="line">…</tspan></text>
 356     <text
 357        id="text1925-6-4-5-7"
 358        y="23.812502"
 359        x="143.00143"
 360        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"
 361        xml:space="preserve"><tspan
 362          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 363          y="23.812502"
 364          x="143.00143"
 365          id="tspan1923-9-4-85-0"
 366          sodipodi:role="line">…</tspan></text>
 367     <text
 368        id="text1925-7-7-6-0-2-0"
 369        y="6.6145835"
 370        x="90.084763"
 371        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"
 372        xml:space="preserve"><tspan
 373          style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"
 374          y="6.6145835"
 375          x="90.084763"
 376          id="tspan1923-8-1-9-0-9-0"
 377          sodipodi:role="line">⊤ = ℤ</tspan></text>
 378     <path
 379        style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 380        d="M 90.084773,7.9374993 128.44935,18.520833"
 381        id="path253" />
 382     <path
 383        id="path253-2"
 384        d="M 90.084773,7.9375003 108.6056,44.979166"
 385        style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 386        sodipodi:nodetypes="cc" />
 387     <path
 388        id="path253-8"
 389        d="M 90.084773,7.9375003 79.501436,44.979166"
 390        style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 391        sodipodi:nodetypes="cc" />
 392     <path
 393        id="path253-6"
 394        d="M 90.084773,7.9375003 53.043103,44.979166"
 395        style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 396        sodipodi:nodetypes="cc" />
 397     <path
 398        id="path253-4"
 399        d="M 90.084773,7.9375003 29.230603,44.979166"
 400        style="fill:none;stroke:#000000;stroke-width:0.26499901;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
 401        sodipodi:nodetypes="cc" />
 402   </g>
 403 </svg>