Commit aad6d26a authored by leberre's avatar leberre
Browse files

Managing unsat case with lexico decorator.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1691 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent f2f65099
......@@ -92,6 +92,12 @@ public class LexicoDecorator<T extends ISolver> extends SolverDecorator<T>
}
private boolean manageUnsatCase() {
if (this.prevfullmodel == null) {
// the problem is UNSAT
return false;
}
// an optimal solution has been found
// for one criteria
if (this.currentCriterion < numberOfCriteria() - 1) {
if (this.prevConstr != null) {
super.removeConstr(this.prevConstr);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment