1

を呼び出す

Kodkod.execute()

メソッドはA4Soluitonオブジェクトを返します。これは、 unsatisfiable()である反例に到達するまで、 next()メソッドによって反復できます。このようにして、ソルバーによって反例の総数を数えることができます。

私の質問は、 A4Solutionオブジェクトを繰り返し処理せずに直接反例の総数を知ることができるかどうかです。

お返事ありがとうございます。

4

1 に答える 1

1

事前に反例の総数を取得することはできません。つまり、1 つずつ列挙しなければなりません。

于 2013-09-03T14:54:44.013 に答える