属性 noClient を持つクラス Client があります。同じ noClient を持つクライアントが存在しないことを確認したいと思います。
以下の解決策がありますが、先生は適切ではないと言いました。制約が繰り返される可能性があるためです。どうしてか分かりません。そして、別の解決策を見つける必要があります。
context Client
inv NoClientUnique: Client.allInstances -> isUnique (noClient)
私の問題は、別の解決策を見つけることができる上記のコードの問題が何であるかさえわからないことです。
これは学校の質問です。そこに挑戦するのは十分ではないかもしれませんが、理解するために何時間も費やしています. 私はここで立ち往生しています。