diff options
| author | Cliff Click <cliffc@acm.org> | 2025-08-12 15:54:26 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-08-12 15:54:26 -0700 |
| commit | cbbadb81207199f340ff408485bb37cd1bbeb0c6 (patch) | |
| tree | fac96691cc99d127bf6c78f15c763656a8798274 /chapter12/docs | |
| parent | 6aa254dd46bede60db3350ecdb9173171f110a12 (diff) | |
| download | Simple-cbbadb81207199f340ff408485bb37cd1bbeb0c6.tar.gz Simple-cbbadb81207199f340ff408485bb37cd1bbeb0c6.zip | |
More lattices for main
Diffstat (limited to 'chapter12/docs')
| -rw-r--r-- | chapter12/docs/lattice.gv | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter12/docs/lattice.gv b/chapter12/docs/lattice.gv index eec7cc1d..23b3f7a7 100644 --- a/chapter12/docs/lattice.gv +++ b/chapter12/docs/lattice.gv @@ -38,7 +38,7 @@ digraph Lattice { INT_MINDOTS -> INT_ZERO -> INT_MAXDOTS [style=invis]; // ---------------------- - // Integers + // Floats FLT_TOP [label=<<B>⊤</B >:flt>, fillcolor=aqua, shape=oval]; FLT_BOT [label=<<B>⊥</B>:flt>, fillcolor=aqua, shape=oval]; |