ライフゲーム #20

グラフのレンダリングにneatoを使ってきたがdotを使えないか考えてみた。
pos属性は便利だがneatoに特異的な属性なのでdotでは使えない。
代わりにノードの位置揃えにrank属性があり、これを使うことにする。

test.gv

graph {
  { rank = same; "0,3"; "1,3"; "2,3"; }
  { rank = same; "0,2"; "1,2"; "2,2"; }
  { rank = same; "0,1"; "1,1"; "2,1"; }
  { rank = same; "0,0"; "1,0"; "2,0"; }
  "0,0" -- "0,1" -- "0,2" -- "0,3";
  "1,0" -- "1,1" -- "1,2" -- "1,3";
  "2,0" -- "2,1" -- "2,2" -- "2,3";
  "0,0" -- "1,0" -- "2,0";
  "0,1" -- "1,1" -- "2,1";
  "0,2" -- "1,2" -- "2,2";
  "0,3" -- "1,3" -- "2,3";
  "1,0" -- "2,1";
  "0,0" -- "1,1" -- "2,2";
  "0,1" -- "1,2" -- "2,3";
  "0,2" -- "1,3";
  "0,1" -- "1,0";
  "0,2" -- "1,1" -- "2,0";
  "0,3" -- "1,2" -- "2,1";
  "1,3" -- "2,2";
}

dot -T png -o test.png test.gv