发生类型错误：超出翻译容量

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

这是一段引述

为了表示 k 的关系 r，Kodkod 分配了一个矩阵 size n^k，其中n是宇宙中原子的数量。为了 性能原因，Kodkod 使用由索引的单个顺序数组 Java 整数，因此矩阵的大小限制为 Java 中的最大整数值 (Integer.MAX_VALUE)。

在您的情况下，21⁸ (37822859361) 大于 Integer.MAX_VALUE (2³¹-1 = 2147483647)。