diff options
Diffstat (limited to 'docs/chapter02/02-lattice.svg')
| -rw-r--r-- | docs/chapter02/02-lattice.svg | 143 |
1 files changed, 143 insertions, 0 deletions
diff --git a/docs/chapter02/02-lattice.svg b/docs/chapter02/02-lattice.svg new file mode 100644 index 00000000..218acc6a --- /dev/null +++ b/docs/chapter02/02-lattice.svg @@ -0,0 +1,143 @@ +<?xml version="1.0" encoding="UTF-8" standalone="no"?> +<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" + "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd"> +<!-- Generated by graphviz version 2.43.0 (0) + --> +<!-- Title: Lattice Pages: 1 --> +<svg width="548pt" height="266pt" + viewBox="0.00 0.00 547.59 265.88" xmlns="http://www.w3.org/2000/svg"> + <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 261.88)"> + <title>Lattice</title> + <polygon fill="white" stroke="transparent" points="-4,4 -4,-261.88 543.59,-261.88 543.59,4 -4,4"/> + <!-- Top --> + <g id="node1" class="node"> + <title>Top</title> + <ellipse fill="lightblue" stroke="black" cx="269.65" cy="-238.39" rx="19.5" ry="19.5"/> + <text text-anchor="middle" x="269.65" y="-234.69" font-family="Times,serif" font-size="14.00">⊤</text> + </g> + <!-- A --> + <g id="node3" class="node"> + <title>A</title> + <ellipse fill="lightblue" stroke="black" cx="52.65" cy="-128.94" rx="52.79" ry="52.79"/> + <text text-anchor="middle" x="52.65" y="-125.24" font-family="Times,serif" font-size="14.00">MIN_INT</text> + </g> + <!-- Top->A --> + <g id="edge1" class="edge"> + <title>Top->A</title> + <path fill="none" stroke="black" + d="M250.55,-233.09C220.3,-225.77 160.13,-209.08 114.65,-182.89 106.3,-178.08 98.02,-172.1 90.35,-165.89"/> + </g> + <!-- B --> + <g id="node4" class="node"> + <title>B</title> + <text text-anchor="middle" x="150.65" y="-125.24" font-family="Times,serif" font-size="14.00">...</text> + </g> + <!-- Top->B --> + <g id="edge2" class="edge"> + <title>Top->B</title> + <path fill="none" stroke="black" + d="M252.34,-228.66C234.5,-219.09 206.55,-202.47 186.65,-182.89 175.87,-172.28 166.38,-158 159.86,-146.95"/> + </g> + <!-- C --> + <g id="node5" class="node"> + <title>C</title> + <ellipse fill="lightblue" stroke="black" cx="214.65" cy="-128.94" rx="19.5" ry="19.5"/> + <text text-anchor="middle" x="214.65" y="-125.24" font-family="Times,serif" font-size="14.00">-1</text> + </g> + <!-- Top->C --> + <g id="edge3" class="edge"> + <title>Top->C</title> + <path fill="none" stroke="black" d="M261.05,-220.6C250.72,-200.41 233.48,-166.74 223.18,-146.61"/> + </g> + <!-- D --> + <g id="node6" class="node"> + <title>D</title> + <ellipse fill="lightblue" stroke="black" cx="269.65" cy="-128.94" rx="18" ry="18"/> + <text text-anchor="middle" x="269.65" y="-125.24" font-family="Times,serif" font-size="14.00">0</text> + </g> + <!-- Top->D --> + <g id="edge4" class="edge"> + <title>Top->D</title> + <path fill="none" stroke="black" d="M269.65,-218.67C269.65,-198.47 269.65,-166.57 269.65,-147.03"/> + </g> + <!-- E --> + <g id="node7" class="node"> + <title>E</title> + <ellipse fill="lightblue" stroke="black" cx="323.65" cy="-128.94" rx="18" ry="18"/> + <text text-anchor="middle" x="323.65" y="-125.24" font-family="Times,serif" font-size="14.00">1</text> + </g> + <!-- Top->E --> + <g id="edge5" class="edge"> + <title>Top->E</title> + <path fill="none" stroke="black" d="M278.08,-220.6C288.46,-199.94 305.94,-165.16 315.97,-145.22"/> + </g> + <!-- F --> + <g id="node8" class="node"> + <title>F</title> + <text text-anchor="middle" x="386.65" y="-125.24" font-family="Times,serif" font-size="14.00">...</text> + </g> + <!-- Top->F --> + <g id="edge6" class="edge"> + <title>Top->F</title> + <path fill="none" stroke="black" + d="M286.52,-228.57C303.92,-218.93 331.18,-202.25 350.65,-182.89 361.2,-172.38 370.57,-158.37 377.1,-147.4"/> + </g> + <!-- G --> + <g id="node9" class="node"> + <title>G</title> + <ellipse fill="lightblue" stroke="black" cx="485.65" cy="-128.94" rx="53.89" ry="53.89"/> + <text text-anchor="middle" x="485.65" y="-125.24" font-family="Times,serif" font-size="14.00">MAX_INT</text> + </g> + <!-- Top->G --> + <g id="edge7" class="edge"> + <title>Top->G</title> + <path fill="none" stroke="black" + d="M288.46,-233C318.29,-225.56 377.63,-208.69 422.65,-182.89 430.83,-178.2 438.98,-172.41 446.57,-166.39"/> + </g> + <!-- Bottom --> + <g id="node2" class="node"> + <title>Bottom</title> + <ellipse fill="lightblue" stroke="black" cx="269.65" cy="-19.5" rx="19.5" ry="19.5"/> + <text text-anchor="middle" x="269.65" y="-15.8" font-family="Times,serif" font-size="14.00">⊥</text> + </g> + <!-- A->Bottom --> + <g id="edge8" class="edge"> + <title>A->Bottom</title> + <path fill="none" stroke="black" + d="M90.35,-91.99C98.02,-85.79 106.3,-79.8 114.65,-75 160.13,-48.81 220.3,-32.11 250.55,-24.79"/> + </g> + <!-- B->Bottom --> + <g id="edge9" class="edge"> + <title>B->Bottom</title> + <path fill="none" stroke="black" + d="M159.86,-110.94C166.38,-99.88 175.87,-85.6 186.65,-75 206.55,-55.41 234.5,-38.79 252.34,-29.22"/> + </g> + <!-- C->Bottom --> + <g id="edge10" class="edge"> + <title>C->Bottom</title> + <path fill="none" stroke="black" d="M223.24,-111.15C233.57,-90.97 250.81,-57.3 261.11,-37.17"/> + </g> + <!-- D->Bottom --> + <g id="edge11" class="edge"> + <title>D->Bottom</title> + <path fill="none" stroke="black" d="M269.65,-110.68C269.65,-91.1 269.65,-59.3 269.65,-39.16"/> + </g> + <!-- E->Bottom --> + <g id="edge12" class="edge"> + <title>E->Bottom</title> + <path fill="none" stroke="black" d="M315.91,-112.55C305.88,-92.59 288.44,-57.9 278.08,-37.28"/> + </g> + <!-- F->Bottom --> + <g id="edge13" class="edge"> + <title>F->Bottom</title> + <path fill="none" stroke="black" + d="M377.1,-110.49C370.57,-99.52 361.2,-85.5 350.65,-75 331.18,-55.63 303.92,-38.95 286.52,-29.31"/> + </g> + <!-- G->Bottom --> + <g id="edge14" class="edge"> + <title>G->Bottom</title> + <path fill="none" stroke="black" + d="M446.57,-91.49C438.98,-85.48 430.83,-79.69 422.65,-75 377.63,-49.19 318.29,-32.33 288.46,-24.88"/> + </g> + </g> +</svg> |
