diff options
| author | Cliff Click <cliffc@acm.org> | 2024-11-27 11:29:33 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | 65454d77eba95d7f814336377f78d9f42c7455f9 (patch) | |
| tree | 976efed369498c7e976fe5098f6a406fed81cb53 /chapter02/docs/02-lattice.svg | |
| parent | 34766f1a2e9e60626eb1bd5a08140fc41a3770c8 (diff) | |
| download | Simple-65454d77eba95d7f814336377f78d9f42c7455f9.tar.gz Simple-65454d77eba95d7f814336377f78d9f42c7455f9.zip | |
More lattice docs reworks
Diffstat (limited to 'chapter02/docs/02-lattice.svg')
| -rw-r--r-- | chapter02/docs/02-lattice.svg | 143 |
1 files changed, 0 insertions, 143 deletions
diff --git a/chapter02/docs/02-lattice.svg b/chapter02/docs/02-lattice.svg deleted file mode 100644 index 218acc6a..00000000 --- a/chapter02/docs/02-lattice.svg +++ /dev/null @@ -1,143 +0,0 @@ -<?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> |
