2012-01-07から1日間の記事一覧

Alloyで迷路を解いてみる

Alloyでいろいろ試してたんですけど、もしかしてこれ迷路とけるのかな? ということで、とりあえず一本道を定義してみる。 module exec/maze abstract sig Field{} one sig F11, F12, F13 extends Field{ conn: set Field } pred show{ } run show F11、F12…