[英]Refactoring in Alloy
I have an Alloy model with this relation in it: 我有一个带有这种关系的Alloy模型:
sig myint {nextX: (myint -> myint -> myint) -> myint, nextT: (myint -> myint -> myint) -> myint} sig myint {nextX:(myint-> myint-> myint)-> myint,nextT:(myint-> myint-> myint)-> myint}
and I get the following error message: 我收到以下错误消息:
Translation capacity exceeded. 超出翻译能力。 In this scope, universe contains 84 atoms and relations of arity 5 cannot be represented.
在此范围内,宇宙包含84个原子,并且无法表示Arity 5的关系。 Visit http://alloy.mit.edu/ for advice on refactoring.
访问http://alloy.mit.edu/以获取有关重构的建议。
I am wondering how the number of atoms is related to the supported relation arity, and how I could resolve this problem. 我想知道原子数与所支持的关联性如何相关,以及如何解决此问题。
I would really appreciate your help. 我将衷心感谢您的帮助。 Thanks a lot.
非常感谢。 Fathiyeh
法蒂耶
This StackOverflow post answers why the number of atoms is related to max relation arity. 这篇StackOverflow 帖子回答了为什么原子数与最大关联度有关。 (in your case, 84 5 (4182119424) is greater than
Integer.MAX_VALUE
(2147483647)) (您的情况是84 5 (4182119424)大于
Integer.MAX_VALUE
(2147483647))
For some ideas on refactoring, see this . 有关重构的一些想法,请参见this 。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.