PMD Results

The following document contains the results of PMD 4.2.5.

Files

org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java

ViolationLine
Avoid unused private fields such as 'bestModel'.51
Avoid unused private fields such as 'bestFullModel'.52

org/sat4j/pb/OptToPBSATAdapter.java

ViolationLine
Avoid empty catch blocks136 - 138

org/sat4j/pb/constraints/pb/ConflictMap.java

ViolationLine
Avoid unused private methods such as 'saturation2(BigInteger,BigInteger,IWatchPb,BigInteger)'.574 - 575
Avoid unused private methods such as 'saturation1(BigInteger,BigInteger,IWatchPb)'.594 - 595