From 83fdf059150e37c335a86e3dd4547a76a1c588db Mon Sep 17 00:00:00 2001
From: Dibyendu Majumdar <mobile@majumdar.org.uk>
Date: Fri, 20 Oct 2023 15:21:08 -0700
Subject: Chapter 4: External Argument and Comparisons

Co-authored-by: Cliff Click <cliffc@acm.org>
Co-authored-by: Yichen Yan <oraluben@outlook.com>
Co-authored-by: Thalia Archibald <thalia@archibald.dev>
Co-authored-by: Tamas Hadhazy <helsgithub15@gmail.com>
Co-authored-by: Hels15 <helsgithub15@gmail.com>
Co-authored-by: XmiliaH <45106915+XmiliaH@users.noreply.github.com>
---
 docs/chapter04/lattice.gv | 63 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 63 insertions(+)
 create mode 100644 docs/chapter04/lattice.gv

(limited to 'docs/chapter04/lattice.gv')

diff --git a/docs/chapter04/lattice.gv b/docs/chapter04/lattice.gv
new file mode 100644
index 00000000..1f286530
--- /dev/null
+++ b/docs/chapter04/lattice.gv
@@ -0,0 +1,63 @@
+digraph Lattice {
+    // Define nodes
+    splines=false;
+    node [shape=circle, style=filled, fillcolor=lightblue];
+    nodesep=0.6;
+
+    TOP [label="⊤"];
+    BOT [label="⊥"];
+
+    CTRL [label="Ctrl"];
+
+    INT_TOP [label="IntTop"];
+    INT_BOT [label="IntBot"];
+
+    INT_MIN [label="-n"];
+    INT_MINDOTS [label="..." shape=none style=none];
+    INT_MINUS [label="-1"];
+    INT_ZERO [label="0"];
+    INT_PLUS [label="1"];
+    INT_MAXDOTS [label="..." shape=none style=none];
+    INT_MAX [label="+n"];
+
+    TUPLE [label="TUPLE"];
+
+    // Define edges
+    edge [arrowhead=none];
+
+    TOP         -> INT_TOP;
+    INT_TOP     -> INT_MIN;
+    INT_TOP     -> INT_MINDOTS;
+    INT_TOP     -> INT_MINUS;
+    INT_TOP     -> INT_ZERO;
+    INT_TOP     -> INT_PLUS;
+    INT_TOP     -> INT_MAXDOTS;
+    INT_TOP     -> INT_MAX;
+    INT_MIN     -> INT_BOT;
+    INT_MINDOTS -> INT_BOT;
+    INT_MINUS   -> INT_BOT;
+    INT_ZERO    -> INT_BOT;
+    INT_PLUS    -> INT_BOT;
+    INT_MAXDOTS -> INT_BOT;
+    INT_MAX     -> INT_BOT;
+    INT_BOT     -> BOT;
+
+    INT_MIN -> INT_MINDOTS -> INT_MINUS -> INT_ZERO -> INT_PLUS -> INT_MAXDOTS -> INT_MAX [style=invis];
+
+    TOP          -> TUPLE;
+    TUPLE        -> BOT;
+
+    TOP          -> CTRL;
+    CTRL         -> BOT;
+
+
+    // Additional customization
+    {rank=same; TOP}
+    {rank=same; INT_TOP}
+    {rank=same; CTRL; INT_MIN; INT_MINDOTS;
+                INT_MINUS; INT_ZERO;
+                INT_PLUS; INT_MAXDOTS;
+                INT_MAX; TUPLE}
+    {rank=same; INT_BOT}
+    {rank=same; BOT;}
+}
-- 
cgit v1.2.3