From 65454d77eba95d7f814336377f78d9f42c7455f9 Mon Sep 17 00:00:00 2001 From: Cliff Click Date: Wed, 27 Nov 2024 11:29:33 -0800 Subject: More lattice docs reworks --- chapter02/docs/02-lattice.gv | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 chapter02/docs/02-lattice.gv (limited to 'chapter02/docs/02-lattice.gv') diff --git a/chapter02/docs/02-lattice.gv b/chapter02/docs/02-lattice.gv deleted file mode 100644 index 4faa0e11..00000000 --- a/chapter02/docs/02-lattice.gv +++ /dev/null @@ -1,35 +0,0 @@ -digraph Lattice { - // Define nodes - node [shape=circle, style=filled, fillcolor=lightblue]; - Top [label="⊤"]; - Bottom [label="⊥"]; - - A [label="MIN_INT"]; - B [label="..." shape=none style=none]; - C [label="-1"]; - D [label="0"]; - E [label="1"]; - F [label="..." shape=none style=none]; - G [label="MAX_INT"]; - - - // Define edges - Top -> A [arrowhead=none]; - Top -> B [arrowhead=none]; - Top -> C [arrowhead=none]; - Top -> D [arrowhead=none]; - Top -> E [arrowhead=none]; - Top -> F [arrowhead=none]; - Top -> G [arrowhead=none]; - A -> Bottom [arrowhead=none]; - B -> Bottom [arrowhead=none]; - C -> Bottom [arrowhead=none]; - D -> Bottom [arrowhead=none]; - E -> Bottom [arrowhead=none]; - F -> Bottom [arrowhead=none]; - G -> Bottom [arrowhead=none]; - - // Additional customization - {rank=same; A; B; C; D; E; F; G; } - {rank=same; Bottom;} -} -- cgit v1.2.3