「天気」をRainy,Sunny,Cloudyのいずれかにします。 「天気」は、都市と天気の関係です。そのモデルを考える Boston – Sunny
Seattle – Cloudy
Miami – Sunny
、私は主張することができるはずです:: sig Forecast {weather: City -> one Weather}
sig City, Weather {}
分析の効率を向上させるために(そしてここでは「アトム」に原子名が表示されるように)、順序関係が完全に固定されていると言われています(たとえば、enter link description hereまたは10やthereなど)自然な "順序)。 私が理解する限り、最適化はKodkod(in this piece of code)で行われます。しかし、記事や文書が詳細に説明されています(ブール行列の言