move1.dot 935 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. digraph {
  2. compound=true
  3. fontname="Inconsolata, Consolas"
  4. fontsize=10
  5. margin="0,0"
  6. ranksep=0.2
  7. penwidth=0.5
  8. node [fontname="Inconsolata, Consolas", fontsize=10, penwidth=0.5]
  9. edge [fontname="Inconsolata, Consolas", fontsize=10, arrowhead=normal]
  10. subgraph cluster1 {
  11. margin="10,10"
  12. labeljust="left"
  13. label = "Before"
  14. style=filled
  15. fillcolor=gray95
  16. node [shape=Mrecord, style=filled, colorscheme=spectral7]
  17. {
  18. rank = same
  19. b1 [label="{b:number|456}", fillcolor=6]
  20. a1 [label="{a:number|123}", fillcolor=6]
  21. }
  22. a1 -> b1 [style="dashed", label="Move", dir=back]
  23. }
  24. subgraph cluster2 {
  25. margin="10,10"
  26. labeljust="left"
  27. label = "After"
  28. style=filled
  29. fillcolor=gray95
  30. node [shape=Mrecord, style=filled, colorscheme=spectral7]
  31. {
  32. rank = same
  33. b2 [label="{b:null|}", fillcolor=1]
  34. a2 [label="{a:number|456}", fillcolor=6]
  35. }
  36. a2 -> b2 [style=invis, dir=back]
  37. }
  38. b1 -> b2 [style=invis]
  39. }