blob: 717134612581265d4ef2fbf34ee8e0f997481ebc (
plain)
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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
digraph G {
row1 [shape=none, label=""]
A [label="000"]
A -> Al [label="L"]
Al [label="VERIFY"]
A -> Ar [label="R"]
Ar [label="SKIP"]
B [label="001"]
B -> Bl [label="L"]
Bl [label="VERIFY"]
B -> Br [label="R"]
Br [label="VERIFY"]
{ rank = same; row1; A; B; }
C [label="010"]
C -> Cl [label="L"]
Cl [label="VERIFY"]
C -> Cr [label="R"]
Cr [label="DESCEND"]
Cr -> Crl
Crl [label="..."]
Cr -> Crr
Crr [label="..."]
D [label="011"]
D -> Dl [label="L"]
Dl [label="DESCEND"]
Dl -> Dll
Dll [label="..."]
Dl -> Dlr
Dlr [label="..."]
D -> Dr [label="R"]
Dr [label="SKIP"]
E [label="100"]
E -> El [label="L"]
El [label="DESCEND"]
El -> Ell
Ell [label="..."]
El -> Elr
Elr [label="..."]
E -> Er [label="R"]
Er [label="VERIFY"]
row1 -> invis [style=invis]
invis [shape=none, label=""]
invis -> C [style=invis]
{ rank = same; C; D; E; }
F [label="101"]
F -> Fl [label="L"]
Fl [label="DESCEND"]
Fl -> Fll
Fll [label="..."]
Fl -> Flr
Flr [label="..."]
F -> Fr [label="R"]
Fr [label="DESCEND"]
Fr -> Frl
Frl [label="..."]
Fr -> Frr
Frr [label="..."]
G [label="110"]
G -> Gl [label="L"]
Gl [label="SKIP"]
G -> Gr [label="R"]
Gr [label="VERIFY"]
H [label="111"]
H -> Hl [label="L"]
Hl [label="SKIP"]
H -> Hr [label="R"]
Hr [label="DESCEND"]
Hr -> Hrl
Hrl [label="..."]
Hr -> Hrr
Hrr [label="..."]
Crl -> F [style=invis]
{ rank = same; F; G; H; }
}
|
