※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

更新日 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













|新しいページ|検索|ページ一覧|RSS|@ウィキご利用ガイド | 管理者にお問合せ
|ログイン|