A.1.7 リングを特徴付ける - Model Base

更新日2011-09-03
[ Alloy Analyzer ] / [ 抽象によるソフトウェア設計／付録 A 練習問題 解答例 ]

---

 sig Node{ next: set Node }
 pred isRing (){
   next.~next in iden	  -- 単射的
   Node -> Node in ^next -- 循環可能
 }
 
 run isRing for exactly 4 Node

---