| 12345678910111213141516171819202122 |
- digraph SpanMap {
- node [shape=box, width=0.3, height=0.3]
- nodesep=.05
- map [shape=record, width=6, label="<f0>|<f1>|<f2>|<f3>|<f4>|<f5>|<f6>|<f7>|<f8>|<f9>|<f10>"]
- S0 [label="a"]
- S1 [label="b"]
- S2 [label="c"]
- S3 [label="d"]
- map:f0 -> S0
- map:f1 -> S0
- map:f2 -> S1
- map:f3 -> S2
- map:f4 -> S2
- map:f5 -> S2
- map:f6 -> S2
- map:f7 -> S2
- map:f8 -> S3
- map:f9 -> S3
- map:f10 -> S3
- }
|
