当我运行我的示例时,出现以下类型错误:
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.
有没有什么文档可以解决这个问题,我在书上没有找到任何内容。
Thanks.
您可以在本文第 5 节中找到解释
http://people.csail.mit.edu/aleks/website/papers/icse11-squander.pdf http://people.csail.mit.edu/aleks/website/papers/icse11-squander.pdf
这是其中的一段引用
To represent a relation r of arity k, Kodkod allocates a matrix of
size nk, where n is the number of atoms in the universe. For
performance reasons, Kodkod uses a single sequential array indexed by
a Java integer, and so the size of the matrix is limited to the
largest integer values in Java (Integer.MAX_VALUE).
In your case, 218 (37822859361) is greater than Integer.MAX_VALUE (231-1 = 2147483647).
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)