docs/chapter02/02-lattice.gv


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

digraph Lattice {
    // Define nodes
    node [shape=circle, style=filled, fillcolor=lightblue];
    Top [label="⊤"];
    Bottom [label="⊥"];

    A [label="MIN_INT"];
    B [label="..." shape=none style=none];
    C [label="-1"];
    D [label="0"];
    E [label="1"];
    F [label="..." shape=none style=none];
    G [label="MAX_INT"];


    // Define edges
    Top -> A [arrowhead=none];
    Top -> B [arrowhead=none];
    Top -> C [arrowhead=none];
    Top -> D [arrowhead=none];
    Top -> E [arrowhead=none];
    Top -> F [arrowhead=none];
    Top -> G [arrowhead=none];
    A -> Bottom [arrowhead=none];
    B -> Bottom [arrowhead=none];
    C -> Bottom [arrowhead=none];
    D -> Bottom [arrowhead=none];
    E -> Bottom [arrowhead=none];
    F -> Bottom [arrowhead=none];
    G -> Bottom [arrowhead=none];

    // Additional customization
    {rank=same; A; B; C; D; E; F; G; }
    {rank=same; Bottom;}
}