查找Choco模型中未满足的约束列表

Question

在choco中是否有一个函数可以检索模型中未满足的约束列表?

Answer 1

不，没有这样的函数。一旦约束不能满足，或者约束清空了变量的域，搜索过程就会停止。因此，无论何时发生失败，对变量的域都没有任何保证，这使得检索未满足的约束列表变得困难。最好的方法是检索传播器列表，并使用isEntailed()函数检查它们的状态。