Commit 4d2dea08 authored by Daniel Le Berre's avatar Daniel Le Berre

Allow DetectCards to enumerate solutions.

parent b39dab52
Pipeline #9815 passed with stages
in 108 minutes and 19 seconds
......@@ -308,7 +308,7 @@ public class PreprocCardConstrLearningSolver<S extends IPBSolver>
@Override
public <I extends ISolverService> void setSearchListener(
SearchListener<I> sl) {
throw new UnsupportedOperationException();
this.solvers.get(solverIndex).setSearchListener(sl);
}
@Override
......@@ -444,4 +444,10 @@ public class PreprocCardConstrLearningSolver<S extends IPBSolver>
throw new UnsupportedOperationException();
}
@Override
public IVecInt createBlockingClauseForCurrentModel() {
return this.solvers.get(solverIndex)
.createBlockingClauseForCurrentModel();
}
}
\ No newline at end of file
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