diff options
Diffstat (limited to 'chapter04/docs/lattice.gv')
| -rw-r--r-- | chapter04/docs/lattice.gv | 29 |
1 files changed, 15 insertions, 14 deletions
diff --git a/chapter04/docs/lattice.gv b/chapter04/docs/lattice.gv index 1f286530..29a53b0a 100644 --- a/chapter04/docs/lattice.gv +++ b/chapter04/docs/lattice.gv @@ -4,13 +4,13 @@ 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]; - CTRL [label="Ctrl"]; + 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]; @@ -20,7 +20,7 @@ digraph Lattice { INT_MAXDOTS [label="..." shape=none style=none]; INT_MAX [label="+n"]; - TUPLE [label="TUPLE"]; + TUPLE [label="TUPLE", fillcolor=pink]; // Define edges edge [arrowhead=none]; @@ -44,20 +44,21 @@ 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 -> CTRL; - CTRL -> 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; + CTRL; + INT_MIN; INT_MINDOTS; INT_MINUS; INT_ZERO; INT_PLUS; INT_MAXDOTS; INT_MAX; + TUPLE + } {rank=same; INT_BOT} {rank=same; BOT;} } |