首页 文章

合金中的重构

提问于
浏览
0

我有一个具有这种关系的Alloy模型:

sig myint {nextX:(myint - > myint - > myint) - > myint,nextT:(myint - > myint - > myint) - > myint}

我收到以下错误消息:

翻译能力超出 . 在此范围内,Universe包含84个原子,并且无法表示arity 5的关系 . 请访问http://alloy.mit.edu/获取有关重构的建议 .

我想知道原子数如何与支持的关系arity相关,以及我如何解决这个问题 .

我将衷心感谢您的帮助 . 非常感谢 . Fathiyeh

1 回答

  • 2

    这个StackOverflow post回答了原子数与最大关系arity相关的原因 . (在您的情况下,845(4182119424)大于 Integer.MAX_VALUE (2147483647))

    有关重构的一些想法,请参阅this .

相关问题