AlloyのPredicate
再利用可能な述語
AlloyのRun
で実行する
定義時は
f() {..}
で、呼び出し時は
f[]
わかりづら
mrsekut.icon
https://alloy.readthedocs.io/en/latest/language/predicates-and-functions.html#predicates
述語は、特定の条件下で真となる命題を定義する
パラメータを持つことができる
code:alloy
pred show (b: Book) { ... }
こんな省略記法もあるらしい
code:alloy
pred X.f (y: Y, ..) { ... this ... }
/mrsekut-book-4274068587/138
わざわざ用意する必要あったのかこれ？
mrsekut.icon
いつつかう
/mrsekut-book-4274068587/139
/mrsekut-book-4274068587/137 (4.5.2 関数と述語)