alloy - 计算合金中的 Total CounterExamples 的数量

Question

调用

Kodkod.execute() 

方法返回一个A4Soluiton对象，我们可以通过next()方法对其进行迭代，直到它到达一个 unsatisfiable( )的反例。通过这种方式，我们可以计算求解器的反例总数。

我的问题是，是否可以直接从A4Solution对象中知道反例的总数而无需遍历它。

非常感谢您的回复。

Answer 1

你不能提前得到反例的总数，即不一一列举。