| 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 | |
| } |