Commit 90369f05 authored by leberre's avatar leberre
Browse files

Added the possibility to compute both set minimal or card minimal muses.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1684 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent db543e5a
......@@ -183,9 +183,6 @@ public class AllMUSes {
}
public List<IVecInt> computeAllMSSOrdered(SolutionFoundListener listener) {
if (css.isVerbose()) {
System.out.println(css.getLogPrefix() + "Computing all MSSes ...");
}
IVecInt pLits = new VecInt();
for (Integer i : css.getAddedVars()) {
pLits.push(i);
......@@ -197,6 +194,9 @@ public class AllMUSes {
private List<IVecInt> computeAllMSS(SolutionFoundListener listener,
ISolver min4Inc, IVecInt pLits) {
if (css.isVerbose()) {
System.out.println(css.getLogPrefix() + "Computing all MSSes ...");
}
css.internalState();
int nVar = css.nVars();
......
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