]>
Commit | Line | Data |
---|---|---|
1 | digraph "reduce.y" | |
2 | { | |
3 | node [fontname=courier shape=box] | |
4 | edge [fontname=courier] | |
5 | ||
6 | 1 [label="State 1\n 3 a: \"0\" . [\".\"]\l 4 b: \"0\" . [\";\"]\l"] | |
7 | 1 -> "1R3" [label="" style=solid] | |
8 | "1R3" [style=filled shape=diamond fillcolor=yellowgreen label="R3"] | |
9 | 1 -> "1R4" [label="[\";\"]" style=solid] | |
10 | "1R4" [style=filled shape=diamond fillcolor=yellowgreen label="R4"] | |
11 | } |