From 9feb22961eda85bad0c348cccbd9c043857c668d Mon Sep 17 00:00:00 2001 From: Jan Elffers Date: Tue, 21 Nov 2017 09:45:22 +0100 Subject: [PATCH] this gives a more honest version of 'no division' --- .../src/main/java/org/sat4j/pb/constraints/pb/MapPb.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java b/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java index 919323a27..fbc4b85f4 100644 --- a/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java +++ b/org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/MapPb.java @@ -131,7 +131,8 @@ public class MapPb implements IDataStructurePB { } } if (newcase) { - BigInteger value = this.weightedLits.getCoef(0); + return false; + /*BigInteger value = this.weightedLits.getCoef(0); for (int i = 1; i < size(); i++) { if (!this.weightedLits.getCoef(i).equals(value)) { return false; @@ -141,7 +142,7 @@ public class MapPb implements IDataStructurePB { BigInteger[] division = degree.divideAndRemainder(value); if (!division[1].equals(BigInteger.ZERO)) division[0] = division[0].add(BigInteger.ONE); - this.cardDegree = division[0]; + this.cardDegree = division[0];*/ } else this.cardDegree = degree; return true; -- GitLab