我有一个具有这种关系的Alloy模型:
sig myint {nextX:(myint - > myint - > myint) - > myint,nextT:(myint - > myint - > myint) - > myint}
我收到以下错误消息:
翻译能力超出 . 在此范围内,Universe包含84个原子,并且无法表示arity 5的关系 . 请访问http://alloy.mit.edu/获取有关重构的建议 .
我想知道原子数如何与支持的关系arity相关,以及我如何解决这个问题 .
我将衷心感谢您的帮助 . 非常感谢 . Fathiyeh
1 回答
这个StackOverflow post回答了原子数与最大关系arity相关的原因 . (在您的情况下,845(4182119424)大于
Integer.MAX_VALUE
(2147483647))有关重构的一些想法,请参阅this .