implement Train Siding to be more flexible or general

[2222-42]

why

stefanのTrain Sidingは非常によい練習問題であったが、まだ一般的なSpecとはなっていない感が否めない。 そしてこれを一般化するのはTLA+の勉強としてちょうどよいと思われるから。

グラフとかを追加できるのであれば、それはそれでよい。

what to do

• [ ] 現在の実装だと列車の進行方向ごとに優先される線路が決定されているが、そうではないケースを作る。
• [ ] ここで一般化すること何を一般化するのかを検討する。

[2222-42]

グラフを使った一般化は難しいので、線路の選択の一般化が終わったら、元記事を再解釈して日本語のテキストにしたほうがいいだろう