dcrash.dot 449 B

1234567891011121314151617181920212223242526
  1. /* dot crashes on this */
  2. digraph G {
  3. ranksep = 1.0; size = "10,10";
  4. {
  5. node [shape = plaintext, fontsize = 20];
  6. GAWM1 -> GAWM2 -> 0;
  7. }
  8. node [shape = box];
  9. {rank = same;0;wx1;wx2;rx1;}
  10. wx1 -> wx2;
  11. wx2 -> rx1;
  12. wx1 -> rx1[color = blue];
  13. subgraph struct
  14. {
  15. node [shape = record];
  16. rx11 [shape = record, label = "rx1 | [x=[wx2]]"];
  17. }
  18. {rank = same; GAWM1; "rx11";}
  19. // W'WR Order:
  20. wx2 -> wx1[style = dashed, color = red, label = "1"]; }