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

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


 sig Node {adjs: set Node}
 pred acyclic () {
   adjs = ~adjs
   -- 非反射的
   no iden & adjs
   -- 全域的
   Node in adjs.Node
 }
 run acyclic for 4












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