From 65454d77eba95d7f814336377f78d9f42c7455f9 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Wed, 27 Nov 2024 11:29:33 -0800
Subject: More lattice docs reworks

---
 chapter02/docs/02-lattice.svg | 143 ------------------------------------------
 1 file changed, 143 deletions(-)
 delete mode 100644 chapter02/docs/02-lattice.svg

(limited to 'chapter02/docs/02-lattice.svg')

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&#45;&gt;A -->
-        <g id="edge1" class="edge">
-            <title>Top&#45;&gt;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&#45;&gt;B -->
-        <g id="edge2" class="edge">
-            <title>Top&#45;&gt;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">&#45;1</text>
-        </g>
-        <!-- Top&#45;&gt;C -->
-        <g id="edge3" class="edge">
-            <title>Top&#45;&gt;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&#45;&gt;D -->
-        <g id="edge4" class="edge">
-            <title>Top&#45;&gt;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&#45;&gt;E -->
-        <g id="edge5" class="edge">
-            <title>Top&#45;&gt;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&#45;&gt;F -->
-        <g id="edge6" class="edge">
-            <title>Top&#45;&gt;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&#45;&gt;G -->
-        <g id="edge7" class="edge">
-            <title>Top&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge8" class="edge">
-            <title>A&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge9" class="edge">
-            <title>B&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge10" class="edge">
-            <title>C&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge11" class="edge">
-            <title>D&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge12" class="edge">
-            <title>E&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge13" class="edge">
-            <title>F&#45;&gt;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&#45;&gt;Bottom -->
-        <g id="edge14" class="edge">
-            <title>G&#45;&gt;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>
-- 
cgit v1.2.3