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 --- chapter06/docs/lattice.svg | 293 +++++++++++++++++++++++++++++++-------------- 1 file changed, 203 insertions(+), 90 deletions(-) (limited to 'chapter06/docs/lattice.svg') diff --git a/chapter06/docs/lattice.svg b/chapter06/docs/lattice.svg index f4929b41..86371c93 100644 --- a/chapter06/docs/lattice.svg +++ b/chapter06/docs/lattice.svg @@ -4,203 +4,316 @@ - - + + Lattice - + TOP - -⊤ + +⊤ XCTRL - -⊤ :Ctrl + +⊤ +:ctrl - + TOP->XCTRL - + + INT_TOP - -⊤ :Int + +⊤ +:int - + TOP->INT_TOP - + + - + -TUPLE - -TUPLE +TUPLE_TOP + +⊤ +:tuple - - -TOP->TUPLE - + + +TOP->TUPLE_TOP + + BOT -⊥ +⊥ CTRL - -⊥ :Ctrl + +⊥ +:ctrl - + XCTRL->CTRL - + + - + CTRL->BOT - + + INT_MIN - --n + +-n - + INT_TOP->INT_MIN - - - - -INT_MINUS - --1 - - - -INT_TOP->INT_MINUS - + + - + INT_MINDOTS -... + +... - + INT_TOP->INT_MINDOTS - + + + + + +INT_MINUS + +-1 + + + +INT_TOP->INT_MINUS + + INT_ZERO - -0 + +0 - + INT_TOP->INT_ZERO - + + INT_PLUS - -1 + +1 - + INT_TOP->INT_PLUS - + + INT_MAXDOTS -... + +... - + INT_TOP->INT_MAXDOTS - + + INT_MAX - -+n + ++n - + INT_TOP->INT_MAX - + + INT_BOT - -⊥ :Int + +⊥ +:int - + INT_BOT->BOT - + + - + INT_MIN->INT_BOT - + + - - -INT_MINUS->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 - - - - -TUPLE->BOT - + + + + + +TUPLE1 + + + +tuple + + +type + + + +TUPLE_TOP->TUPLE1 + + + + + +TUPLE2 + + + +tuple + + +type + + +type + + + +TUPLE_TOP->TUPLE2 + + + + + +TUPLEN + + + +tuple + + +type + + +... + + +type + + + +TUPLE_TOP->TUPLEN + + + + + +TUPLE_BOT + +⊥ +:tuple + + + +TUPLE_BOT->BOT + + + + + +TUPLE1->TUPLE_BOT + + + + + +TUPLE2->TUPLE_BOT + + + + + +TUPLEN->TUPLE_BOT + + -- cgit v1.2.3