begriffs open source - ai-pg/blob - full-docs/src/sgml/html/gin.svg

   1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
   2 <!-- Generated by graphviz version 2.40.1 (20161225.0304)
   3  --><!-- Title: gin Pages: 1 --><!DOCTYPE svg PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="836pt" height="432pt" viewBox="0.00 0.00 836.00 432.00">
   4 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 428)">
   5 <title>gin</title>
   6 <polygon fill="#ffffff" stroke="none" points="-4,4 -4,-428 832,-428 832,4 -4,4"></polygon>
   7 <g id="clust1" class="cluster">
   8 <title>cluster01</title>
   9 <polygon fill="none" stroke="#000000" points="100,-162 100,-380 694,-380 694,-162 100,-162"></polygon>
  10 <text text-anchor="middle" x="397" y="-364.8" font-family="Times,serif" font-size="14.00" fill="#000000">entry tree</text>
  11 </g>
  12 <g id="clust5" class="cluster">
  13 <title>cluster02</title>
  14 <polygon fill="none" stroke="#000000" points="8,-8 8,-154 245,-154 245,-8 8,-8"></polygon>
  15 <text text-anchor="middle" x="126.5" y="-138.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting tree</text>
  16 </g>
  17 <g id="clust8" class="cluster">
  18 <title>cluster03</title>
  19 <polygon fill="none" stroke="#000000" points="279,-80 279,-154 397,-154 397,-80 279,-80"></polygon>
  20 <text text-anchor="middle" x="338" y="-138.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting tree</text>
  21 </g>
  22 <g id="clust10" class="cluster">
  23 <title>cluster04</title>
  24 <polygon fill="none" stroke="#000000" points="405,-8 405,-154 642,-154 642,-8 405,-8"></polygon>
  25 <text text-anchor="middle" x="523.5" y="-138.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting tree</text>
  26 </g>
  27 <g id="clust13" class="cluster">
  28 <title>cluster05</title>
  29 <polygon fill="none" stroke="#000000" points="702,-80 702,-380 820,-380 820,-80 702,-80"></polygon>
  30 <text text-anchor="middle" x="761" y="-364.8" font-family="Times,serif" font-size="14.00" fill="#000000">pending list</text>
  31 </g>
  32 <!-- m1 -->
  33 <g id="node1" class="node">
  34 <title>m1</title>
  35 <polygon fill="#c0c0c0" stroke="#000000" points="688.5,-424 587.5,-424 587.5,-388 688.5,-388 688.5,-424"></polygon>
  36 <text text-anchor="middle" x="638" y="-401.8" font-family="Times,serif" font-size="14.00" fill="#000000">meta page</text>
  37 </g>
  38 <!-- e1 -->
  39 <g id="node2" class="node">
  40 <title>e1</title>
  41 <polygon fill="#c0c0c0" stroke="#000000" points="506.5,-350 405.5,-350 405.5,-314 506.5,-314 506.5,-350"></polygon>
  42 </g>
  43 <!-- m1&#45;&gt;e1 -->
  44 <g id="edge24" class="edge">
  45 <title>m1-&gt;e1</title>
  46 <path fill="none" stroke="#000000" d="M593.4778,-387.8976C568.2655,-377.6464 536.5468,-364.7498 509.931,-353.928"></path>
  47 <polygon fill="#000000" stroke="#000000" points="510.9595,-350.568 500.3776,-350.0436 508.3229,-357.0525 510.9595,-350.568"></polygon>
  48 </g>
  49 <!-- n1 -->
  50 <g id="node18" class="node">
  51 <title>n1</title>
  52 <polygon fill="#ff0000" stroke="#000000" points="811.5,-350 710.5,-350 710.5,-314 811.5,-314 811.5,-350"></polygon>
  53 </g>
  54 <!-- m1&#45;&gt;n1 -->
  55 <g id="edge28" class="edge">
  56 <title>m1-&gt;n1</title>
  57 <path fill="none" stroke="#000000" d="M683.1514,-387.8551C688.2504,-385.3905 693.2983,-382.7547 698,-380 709.7018,-373.1438 721.7385,-364.4455 732.115,-356.3423"></path>
  58 <polygon fill="#000000" stroke="#000000" points="734.4083,-358.9902 740.0427,-350.0178 730.0428,-353.5181 734.4083,-358.9902"></polygon>
  59 </g>
  60 <!-- e2 -->
  61 <g id="node3" class="node">
  62 <title>e2</title>
  63 <polygon fill="#c0c0c0" stroke="#000000" points="328.5,-278 227.5,-278 227.5,-242 328.5,-242 328.5,-278"></polygon>
  64 </g>
  65 <!-- e1&#45;&gt;e2 -->
  66 <g id="edge9" class="edge">
  67 <title>e1-&gt;e2</title>
  68 <path fill="none" stroke="#000000" d="M411.0831,-313.8314C387.065,-304.1162 357.3166,-292.0831 332.0408,-281.8592"></path>
  69 <polygon fill="#000000" stroke="#000000" points="333.1767,-278.5432 322.5939,-278.038 330.5518,-285.0325 333.1767,-278.5432"></polygon>
  70 </g>
  71 <!-- e3 -->
  72 <g id="node4" class="node">
  73 <title>e3</title>
  74 <polygon fill="#c0c0c0" stroke="#000000" points="447.5,-278 346.5,-278 346.5,-242 447.5,-242 447.5,-278"></polygon>
  75 </g>
  76 <!-- e1&#45;&gt;e3 -->
  77 <g id="edge8" class="edge">
  78 <title>e1-&gt;e3</title>
  79 <path fill="none" stroke="#000000" d="M441.1118,-313.8314C434.247,-305.454 425.9699,-295.3531 418.4489,-286.1749"></path>
  80 <polygon fill="#000000" stroke="#000000" points="421.1341,-283.9297 412.0886,-278.4133 415.7197,-288.3665 421.1341,-283.9297"></polygon>
  81 </g>
  82 <!-- e4 -->
  83 <g id="node5" class="node">
  84 <title>e4</title>
  85 <polygon fill="#c0c0c0" stroke="#000000" points="566.5,-278 465.5,-278 465.5,-242 566.5,-242 566.5,-278"></polygon>
  86 </g>
  87 <!-- e1&#45;&gt;e4 -->
  88 <g id="edge7" class="edge">
  89 <title>e1-&gt;e4</title>
  90 <path fill="none" stroke="#000000" d="M471.1405,-313.8314C478.1217,-305.454 486.5391,-295.3531 494.1876,-286.1749"></path>
  91 <polygon fill="#000000" stroke="#000000" points="496.9425,-288.3362 500.6556,-278.4133 491.5649,-283.8548 496.9425,-288.3362"></polygon>
  92 </g>
  93 <!-- e2&#45;&gt;e3 -->
  94 <g id="edge1" class="edge">
  95 <title>e2-&gt;e3</title>
  96 <path fill="none" stroke="#000000" d="M328.668,-260C331.1453,-260 333.6227,-260 336.1001,-260"></path>
  97 <polygon fill="#000000" stroke="#000000" points="336.2849,-263.5001 346.2848,-260 336.2848,-256.5001 336.2849,-263.5001"></polygon>
  98 </g>
  99 <!-- e5 -->
 100 <g id="node6" class="node">
 101 <title>e5</title>
 102 <polygon fill="#008b00" stroke="#000000" points="209.5,-206 108.5,-206 108.5,-170 209.5,-170 209.5,-206"></polygon>
 103 </g>
 104 <!-- e2&#45;&gt;e5 -->
 105 <g id="edge10" class="edge">
 106 <title>e2-&gt;e5</title>
 107 <path fill="none" stroke="#000000" d="M247.9713,-241.8314C232.7504,-232.6221 214.0872,-221.3301 197.7917,-211.4706"></path>
 108 <polygon fill="#000000" stroke="#000000" points="199.3868,-208.345 189.0191,-206.1628 195.7631,-214.3341 199.3868,-208.345"></polygon>
 109 </g>
 110 <!-- e6 -->
 111 <g id="node7" class="node">
 112 <title>e6</title>
 113 <polygon fill="#00ff00" stroke="#000000" points="328.5,-206 227.5,-206 227.5,-170 328.5,-170 328.5,-206"></polygon>
 114 <text text-anchor="middle" x="278" y="-183.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting list</text>
 115 </g>
 116 <!-- e2&#45;&gt;e6 -->
 117 <g id="edge11" class="edge">
 118 <title>e2-&gt;e6</title>
 119 <path fill="none" stroke="#000000" d="M278,-241.8314C278,-234.131 278,-224.9743 278,-216.4166"></path>
 120 <polygon fill="#000000" stroke="#000000" points="281.5001,-216.4132 278,-206.4133 274.5001,-216.4133 281.5001,-216.4132"></polygon>
 121 </g>
 122 <!-- e3&#45;&gt;e4 -->
 123 <g id="edge2" class="edge">
 124 <title>e3-&gt;e4</title>
 125 <path fill="none" stroke="#000000" d="M447.668,-260C450.1453,-260 452.6227,-260 455.1001,-260"></path>
 126 <polygon fill="#000000" stroke="#000000" points="455.2849,-263.5001 465.2848,-260 455.2848,-256.5001 455.2849,-263.5001"></polygon>
 127 </g>
 128 <!-- e7 -->
 129 <g id="node8" class="node">
 130 <title>e7</title>
 131 <polygon fill="#008b00" stroke="#000000" points="447.5,-206 346.5,-206 346.5,-170 447.5,-170 447.5,-206"></polygon>
 132 </g>
 133 <!-- e3&#45;&gt;e7 -->
 134 <g id="edge12" class="edge">
 135 <title>e3-&gt;e7</title>
 136 <path fill="none" stroke="#000000" d="M397,-241.8314C397,-234.131 397,-224.9743 397,-216.4166"></path>
 137 <polygon fill="#000000" stroke="#000000" points="400.5001,-216.4132 397,-206.4133 393.5001,-216.4133 400.5001,-216.4132"></polygon>
 138 </g>
 139 <!-- e8 -->
 140 <g id="node9" class="node">
 141 <title>e8</title>
 142 <polygon fill="#00ff00" stroke="#000000" points="566.5,-206 465.5,-206 465.5,-170 566.5,-170 566.5,-206"></polygon>
 143 <text text-anchor="middle" x="516" y="-183.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting list</text>
 144 </g>
 145 <!-- e4&#45;&gt;e8 -->
 146 <g id="edge13" class="edge">
 147 <title>e4-&gt;e8</title>
 148 <path fill="none" stroke="#000000" d="M516,-241.8314C516,-234.131 516,-224.9743 516,-216.4166"></path>
 149 <polygon fill="#000000" stroke="#000000" points="519.5001,-216.4132 516,-206.4133 512.5001,-216.4133 519.5001,-216.4132"></polygon>
 150 </g>
 151 <!-- e9 -->
 152 <g id="node10" class="node">
 153 <title>e9</title>
 154 <polygon fill="#00ff00" stroke="#000000" points="685.5,-206 584.5,-206 584.5,-170 685.5,-170 685.5,-206"></polygon>
 155 <text text-anchor="middle" x="635" y="-183.8" font-family="Times,serif" font-size="14.00" fill="#000000">posting list</text>
 156 </g>
 157 <!-- e4&#45;&gt;e9 -->
 158 <g id="edge14" class="edge">
 159 <title>e4-&gt;e9</title>
 160 <path fill="none" stroke="#000000" d="M546.0287,-241.8314C561.2496,-232.6221 579.9128,-221.3301 596.2083,-211.4706"></path>
 161 <polygon fill="#000000" stroke="#000000" points="598.2369,-214.3341 604.9809,-206.1628 594.6132,-208.345 598.2369,-214.3341"></polygon>
 162 </g>
 163 <!-- e5&#45;&gt;e6 -->
 164 <g id="edge3" class="edge">
 165 <title>e5-&gt;e6</title>
 166 <path fill="none" stroke="#000000" d="M209.668,-188C212.1453,-188 214.6227,-188 217.1001,-188"></path>
 167 <polygon fill="#000000" stroke="#000000" points="217.2849,-191.5001 227.2848,-188 217.2848,-184.5001 217.2849,-191.5001"></polygon>
 168 </g>
 169 <!-- p1 -->
 170 <g id="node11" class="node">
 171 <title>p1</title>
 172 <polygon fill="#c0c0c0" stroke="#000000" points="209.5,-124 108.5,-124 108.5,-88 209.5,-88 209.5,-124"></polygon>
 173 </g>
 174 <!-- e5&#45;&gt;p1 -->
 175 <g id="edge25" class="edge">
 176 <title>e5-&gt;p1</title>
 177 <path fill="none" stroke="#000000" d="M159,-169.8015C159,-159.3976 159,-146.1215 159,-134.3768"></path>
 178 <polygon fill="#000000" stroke="#000000" points="162.5001,-134.1476 159,-124.1476 155.5001,-134.1476 162.5001,-134.1476"></polygon>
 179 </g>
 180 <!-- e6&#45;&gt;e7 -->
 181 <g id="edge4" class="edge">
 182 <title>e6-&gt;e7</title>
 183 <path fill="none" stroke="#000000" d="M328.668,-188C331.1453,-188 333.6227,-188 336.1001,-188"></path>
 184 <polygon fill="#000000" stroke="#000000" points="336.2849,-191.5001 346.2848,-188 336.2848,-184.5001 336.2849,-191.5001"></polygon>
 185 </g>
 186 <!-- e7&#45;&gt;e8 -->
 187 <g id="edge5" class="edge">
 188 <title>e7-&gt;e8</title>
 189 <path fill="none" stroke="#000000" d="M447.668,-188C450.1453,-188 452.6227,-188 455.1001,-188"></path>
 190 <polygon fill="#000000" stroke="#000000" points="455.2849,-191.5001 465.2848,-188 455.2848,-184.5001 455.2849,-191.5001"></polygon>
 191 </g>
 192 <!-- p4 -->
 193 <g id="node14" class="node">
 194 <title>p4</title>
 195 <polygon fill="#00ff00" stroke="#000000" points="388.5,-124 287.5,-124 287.5,-88 388.5,-88 388.5,-124"></polygon>
 196 <text text-anchor="middle" x="338" y="-101.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
 197 </g>
 198 <!-- e7&#45;&gt;p4 -->
 199 <g id="edge26" class="edge">
 200 <title>e7-&gt;p4</title>
 201 <path fill="none" stroke="#000000" d="M383.906,-169.8015C376.0383,-158.8668 365.8878,-144.7593 357.133,-132.5916"></path>
 202 <polygon fill="#000000" stroke="#000000" points="359.7389,-130.2207 351.0574,-124.1476 354.0569,-134.309 359.7389,-130.2207"></polygon>
 203 </g>
 204 <!-- p5 -->
 205 <g id="node15" class="node">
 206 <title>p5</title>
 207 <polygon fill="#c0c0c0" stroke="#000000" points="514.5,-124 413.5,-124 413.5,-88 514.5,-88 514.5,-124"></polygon>
 208 </g>
 209 <!-- e7&#45;&gt;p5 -->
 210 <g id="edge27" class="edge">
 211 <title>e7-&gt;p5</title>
 212 <path fill="none" stroke="#000000" d="M411.8695,-169.8015C420.8907,-158.7606 432.5549,-144.4851 442.5618,-132.2378"></path>
 213 <polygon fill="#000000" stroke="#000000" points="445.5552,-134.1059 449.1721,-124.1476 440.1345,-129.6768 445.5552,-134.1059"></polygon>
 214 </g>
 215 <!-- e8&#45;&gt;e9 -->
 216 <g id="edge6" class="edge">
 217 <title>e8-&gt;e9</title>
 218 <path fill="none" stroke="#000000" d="M566.668,-188C569.1453,-188 571.6227,-188 574.1001,-188"></path>
 219 <polygon fill="#000000" stroke="#000000" points="574.2849,-191.5001 584.2848,-188 574.2848,-184.5001 574.2849,-191.5001"></polygon>
 220 </g>
 221 <!-- p2 -->
 222 <g id="node12" class="node">
 223 <title>p2</title>
 224 <polygon fill="#00ff00" stroke="#000000" points="117.5,-52 16.5,-52 16.5,-16 117.5,-16 117.5,-52"></polygon>
 225 <text text-anchor="middle" x="67" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
 226 </g>
 227 <!-- p1&#45;&gt;p2 -->
 228 <g id="edge16" class="edge">
 229 <title>p1-&gt;p2</title>
 230 <path fill="none" stroke="#000000" d="M135.7845,-87.8314C124.453,-78.9632 110.6536,-68.1637 98.3973,-58.5718"></path>
 231 <polygon fill="#000000" stroke="#000000" points="100.2402,-55.5697 90.2081,-52.1628 95.926,-61.0822 100.2402,-55.5697"></polygon>
 232 </g>
 233 <!-- p3 -->
 234 <g id="node13" class="node">
 235 <title>p3</title>
 236 <polygon fill="#00ff00" stroke="#000000" points="236.5,-52 135.5,-52 135.5,-16 236.5,-16 236.5,-52"></polygon>
 237 <text text-anchor="middle" x="186" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
 238 </g>
 239 <!-- p1&#45;&gt;p3 -->
 240 <g id="edge17" class="edge">
 241 <title>p1-&gt;p3</title>
 242 <path fill="none" stroke="#000000" d="M165.8132,-87.8314C168.7644,-79.9617 172.2858,-70.5712 175.555,-61.8533"></path>
 243 <polygon fill="#000000" stroke="#000000" points="178.8609,-63.0055 179.095,-52.4133 172.3066,-60.5476 178.8609,-63.0055"></polygon>
 244 </g>
 245 <!-- p2&#45;&gt;p3 -->
 246 <g id="edge15" class="edge">
 247 <title>p2-&gt;p3</title>
 248 <path fill="none" stroke="#000000" d="M117.668,-34C120.1453,-34 122.6227,-34 125.1001,-34"></path>
 249 <polygon fill="#000000" stroke="#000000" points="125.2849,-37.5001 135.2848,-34 125.2848,-30.5001 125.2849,-37.5001"></polygon>
 250 </g>
 251 <!-- p6 -->
 252 <g id="node16" class="node">
 253 <title>p6</title>
 254 <polygon fill="#00ff00" stroke="#000000" points="514.5,-52 413.5,-52 413.5,-16 514.5,-16 514.5,-52"></polygon>
 255 <text text-anchor="middle" x="464" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
 256 </g>
 257 <!-- p5&#45;&gt;p6 -->
 258 <g id="edge19" class="edge">
 259 <title>p5-&gt;p6</title>
 260 <path fill="none" stroke="#000000" d="M464,-87.8314C464,-80.131 464,-70.9743 464,-62.4166"></path>
 261 <polygon fill="#000000" stroke="#000000" points="467.5001,-62.4132 464,-52.4133 460.5001,-62.4133 467.5001,-62.4132"></polygon>
 262 </g>
 263 <!-- p7 -->
 264 <g id="node17" class="node">
 265 <title>p7</title>
 266 <polygon fill="#00ff00" stroke="#000000" points="633.5,-52 532.5,-52 532.5,-16 633.5,-16 633.5,-52"></polygon>
 267 <text text-anchor="middle" x="583" y="-29.8" font-family="Times,serif" font-size="14.00" fill="#000000">heap ptr</text>
 268 </g>
 269 <!-- p5&#45;&gt;p7 -->
 270 <g id="edge20" class="edge">
 271 <title>p5-&gt;p7</title>
 272 <path fill="none" stroke="#000000" d="M494.0287,-87.8314C509.2496,-78.6221 527.9128,-67.3301 544.2083,-57.4706"></path>
 273 <polygon fill="#000000" stroke="#000000" points="546.2369,-60.3341 552.9809,-52.1628 542.6132,-54.345 546.2369,-60.3341"></polygon>
 274 </g>
 275 <!-- p6&#45;&gt;p7 -->
 276 <g id="edge18" class="edge">
 277 <title>p6-&gt;p7</title>
 278 <path fill="none" stroke="#000000" d="M514.668,-34C517.1453,-34 519.6227,-34 522.1001,-34"></path>
 279 <polygon fill="#000000" stroke="#000000" points="522.2849,-37.5001 532.2848,-34 522.2848,-30.5001 522.2849,-37.5001"></polygon>
 280 </g>
 281 <!-- n2 -->
 282 <g id="node19" class="node">
 283 <title>n2</title>
 284 <polygon fill="#ff0000" stroke="#000000" points="811.5,-278 710.5,-278 710.5,-242 811.5,-242 811.5,-278"></polygon>
 285 </g>
 286 <!-- n1&#45;&gt;n2 -->
 287 <g id="edge21" class="edge">
 288 <title>n1-&gt;n2</title>
 289 <path fill="none" stroke="#000000" d="M761,-313.8314C761,-306.131 761,-296.9743 761,-288.4166"></path>
 290 <polygon fill="#000000" stroke="#000000" points="764.5001,-288.4132 761,-278.4133 757.5001,-288.4133 764.5001,-288.4132"></polygon>
 291 </g>
 292 <!-- n3 -->
 293 <g id="node20" class="node">
 294 <title>n3</title>
 295 <polygon fill="#ff0000" stroke="#000000" points="811.5,-206 710.5,-206 710.5,-170 811.5,-170 811.5,-206"></polygon>
 296 </g>
 297 <!-- n2&#45;&gt;n3 -->
 298 <g id="edge22" class="edge">
 299 <title>n2-&gt;n3</title>
 300 <path fill="none" stroke="#000000" d="M761,-241.8314C761,-234.131 761,-224.9743 761,-216.4166"></path>
 301 <polygon fill="#000000" stroke="#000000" points="764.5001,-216.4132 761,-206.4133 757.5001,-216.4133 764.5001,-216.4132"></polygon>
 302 </g>
 303 <!-- n4 -->
 304 <g id="node21" class="node">
 305 <title>n4</title>
 306 <polygon fill="#ff0000" stroke="#000000" points="811.5,-124 710.5,-124 710.5,-88 811.5,-88 811.5,-124"></polygon>
 307 </g>
 308 <!-- n3&#45;&gt;n4 -->
 309 <g id="edge23" class="edge">
 310 <title>n3-&gt;n4</title>
 311 <path fill="none" stroke="#000000" d="M761,-169.8015C761,-159.3976 761,-146.1215 761,-134.3768"></path>
 312 <polygon fill="#000000" stroke="#000000" points="764.5001,-134.1476 761,-124.1476 757.5001,-134.1476 764.5001,-134.1476"></polygon>
 313 </g>
 314 </g>
 315 </svg>