合金中的重構

Question

我有一個帶有這種關系的Alloy模型：

sig myint {nextX：（myint-> myint-> myint）-> myint，nextT：（myint-> myint-> myint）-> myint}

我收到以下錯誤消息：

超出翻譯能力。 在此范圍內，宇宙包含84個原子，並且無法表示Arity 5的關系。 訪問http://alloy.mit.edu/以獲取有關重構的建議。

我想知道原子數與所支持的關聯性如何相關，以及如何解決此問題。

我將衷心感謝您的幫助。 非常感謝。 法蒂耶

Answer 1

這篇StackOverflow 帖子回答了為什么原子數與最大關聯度有關。 （您的情況是84 ⁵ （4182119424）大於Integer.MAX_VALUE （2147483647））

有關重構的一些想法，請參見this 。