问如何知道合金分析仪找到的型号数量？
EN

Stack Overflow用户

提问于 2021-09-17 13:54:46

回答 1查看 48关注 0票数 0

有没有办法知道合金分析器找到了多少个输出模型？

我需要知道更改合金模型如何改变找到的合金实例的数量。

谢谢!

发布于 2021-10-01 12:23:43

对模型运行分析时，该工具仅生成第一个实例。下一个实例是在您浏览它们时动态生成的。因此，我要说的是，将自己限制在使用工具的GUI上，没有办法知道分析器找到了多少实例，除非手动检查它们。

然而，我相信编写一个小的java程序应该不会太难，它可以调用Alloy来生成一个实例(A4Solution)，并计算在不再返回实例之前next()可以被调用多少次……

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/69224621

复制

相似问题

问如何知道合金分析仪找到的型号数量？EN