计算Alloy中Total CounterExamples的数量

Question

致电

Kodkod.execute() 

方法返回 A4Soluiton 对象，我们可以通过 next（） 方法进行迭代，直到达到一个反例 不可满足（） 。通过这种方式，我们可以通过求解器计算反例的总数。

我的问题是，如果可以直接从 A4Solution 对象中了解反例的总数而不进行迭代。

非常感谢您的回复。

Answer 1

您无法提前获得反例的总数，即无需逐个枚举。