2012-01-26から1日間の記事一覧
付録A 練習問題続きます。 A.1.10 アドレス帳の制約と式 まず不変条件を記述 abstract sig Name { address: set Addr + Name } sig Alias, Group extends Name {} sig Addr {} fact { -- 循環がないこと(addressの推移閉包に自分が含まれない) no n: Name | …
付録A 練習問題続きます。 A.1.10 アドレス帳の制約と式 まず不変条件を記述 abstract sig Name { address: set Addr + Name } sig Alias, Group extends Name {} sig Addr {} fact { -- 循環がないこと(addressの推移閉包に自分が含まれない) no n: Name | …