Counting the number of Total CounterExamples in Alloy

Question

Calling the

Kodkod.execute() 

method returns a A4Soluiton object, which we can iterate by next() method until it reaches to a counterexample which is unsatisfiable(). By this way we can count the total number of counterexamples by the solver.

My question is, if it is possible to know the total number of counterexamples directly from the A4Solution object without iterating through it.

Thanks a lot in advance for your reply.

Answer 1

You can't get the total number of counterexamples ahead of time, i.e., without enumerating one by one.