Commit 644cead9 authored by Daniel Le Berre's avatar Daniel Le Berre
Browse files

Fix compilation problems.

parent 498622d5
......@@ -103,4 +103,9 @@ public class ProblemDecorator<T extends IProblem> implements IProblem {
return decorated;
}
@Override
public int[] decisions() {
return decorated.decisions();
}
}
......@@ -36,10 +36,12 @@ import java.util.Map;
import java.util.Set;
import org.sat4j.minisat.core.ILits;
import org.sat4j.specs.Constr;
import org.sat4j.specs.ContradictionException;
import org.sat4j.specs.IVecInt;
import org.sat4j.specs.MandatoryLiteralListener;
import org.sat4j.specs.UnitPropagationListener;
import org.sat4j.specs.VarMapper;
/**
* Data structure for pseudo-boolean constraint with watched literals.
......@@ -424,8 +426,8 @@ public final class MaxWatchPbLong extends WatchPbLong {
this.cstr = cstr;
}
public boolean propagatePI(MandatoryLiteralListener l, int p) {
return cstr.propagatePI(l, p);
public void propagatePI(MandatoryLiteralListener l, int p) {
cstr.propagatePI(l, p);
}
public boolean isAssertive(int dl) {
......
Supports Markdown
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