類型發生了錯誤：翻譯能力突破

Question

當我運行我的例子，我有以下類型的錯誤：

Translation capacity exceeded. 
In this scope, universe contains 21 atoms 
and relations of arity 8 cannot be represented. 
Visit http://alloy.mit.edu/ for advice on refactoring. 

是否有任何文件如何解決這個問題，我沒有發現在這本書什麼。

謝謝。

Answer 1

您可以在第5節的說明本文

http://people.csail.mit.edu/aleks/website/papers/icse11-squander.pdf

下面是它報價

要表示關係[R元數ķ，南美林貓的分配矩陣 大小n ^k ，其中n是宇宙中的原子數。對於 的性能原因，Kodkod使用由Java整數索引 的單個順序數組，因此矩陣的大小限制爲Java中最大整數值（Integer.MAX_VALUE）。

在你的情況，21 （37822859361）是多於Integer.MAX_VALUE（2 -1 = 2147483647）更大。