これは宿題であり、私はそれに多くの問題を抱えています。私はAlloyを使ってライブラリをモデル化しています。ここでは、オブジェクトの定義は以下のとおりです。 sig Library {
patrons : set Person,
on_shelves : set Book,
}
sig Book {
authors : set Person,
loan
私は合金のコードを持っています。私はレストラン予約システムをやろうとしています。 abstract sig Table{
breakfast: one breakFast,
lunch: one Lunch,
dinner: one Dinner
}
sig Free{
}
sig Reserved{
}
sig breakFast {
breakfastfree:o
私は合金（仕様言語）の初心者で、here（コードは5ページ）のケーススタディに基づいてさらに作業を行う必要があります。該当するコード：「この式は型検査に失敗した」、そして、それはlet t' = T0/t.nextでt'浮き彫りに： open util/ordering[Time] as T0
pred Eavesdropping() {
some pro:Process | som