diff options
| author | Cliff Click <cliffc@acm.org> | 2024-11-26 17:00:45 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | 34766f1a2e9e60626eb1bd5a08140fc41a3770c8 (patch) | |
| tree | f05f4657d2cfc046c14608f3e6617cdf8c604ace /chapter06/docs/lattice.gv | |
| parent | 69249d4c8d043e6348ecf797a2afa391726ab6d7 (diff) | |
| download | Simple-34766f1a2e9e60626eb1bd5a08140fc41a3770c8.tar.gz Simple-34766f1a2e9e60626eb1bd5a08140fc41a3770c8.zip | |
Upgrades to the Type lattice diagrams
Diffstat (limited to 'chapter06/docs/lattice.gv')
| -rw-r--r-- | chapter06/docs/lattice.gv | 29 |
1 files changed, 13 insertions, 16 deletions
diff --git a/chapter06/docs/lattice.gv b/chapter06/docs/lattice.gv index e533ad4a..782c2253 100644 --- a/chapter06/docs/lattice.gv +++ b/chapter06/docs/lattice.gv @@ -4,24 +4,24 @@ digraph Lattice { node [shape=circle, style=filled, fillcolor=lightblue]; nodesep=0.6; - TOP [label="⊤"]; - BOT [label="⊥"]; + TOP [label="⊤" , fillcolor=black, fontcolor=white]; + BOT [label="⊥", fillcolor=black, fontcolor=white]; - XCTRL [label="~Ctrl"]; - CTRL [label="Ctrl"]; + XCTRL [label="⊤ :Ctrl", fillcolor=yellow]; + CTRL [label="⊥ :Ctrl", fillcolor=yellow]; - INT_TOP [label="IntTop"]; - INT_BOT [label="IntBot"]; + INT_TOP [label="⊤ :Int"]; + INT_BOT [label="⊥ :Int"]; INT_MIN [label="-n"]; - INT_MINDOTS [label="..." shape=none style=none]; INT_MINUS [label="-1"]; + INT_MINDOTS [label="..." shape=none style=none]; INT_ZERO [label="0"]; INT_PLUS [label="1"]; INT_MAXDOTS [label="..." shape=none style=none]; INT_MAX [label="+n"]; - TUPLE [label="TUPLE"]; + TUPLE [label="TUPLE", fillcolor=pink]; // Define edges edge [arrowhead=none]; @@ -45,20 +45,17 @@ digraph Lattice { INT_MIN -> INT_MINDOTS -> INT_MINUS -> INT_ZERO -> INT_PLUS -> INT_MAXDOTS -> INT_MAX [style=invis]; - TOP -> TUPLE; - TUPLE -> BOT; + TOP -> TUPLE; + TUPLE -> BOT; - TOP -> XCTRL; + TOP -> XCTRL; XCTRL -> CTRL; - CTRL -> BOT; + CTRL -> BOT; // Additional customization {rank=same; TOP} {rank=same; INT_TOP; XCTRL} - {rank=same; INT_MIN; INT_MINDOTS; - INT_MINUS; INT_ZERO; - INT_PLUS; INT_MAXDOTS; - INT_MAX; TUPLE} + {rank=same; INT_MIN; INT_MINDOTS; INT_MINUS; INT_ZERO; INT_PLUS; INT_MAXDOTS; INT_MAX; TUPLE } {rank=same; INT_BOT; CTRL} {rank=same; BOT;} } |