PMD report

Problems found

#FileLineProblem
1 org/sat4j/core/Vec 114 Avoid reassigning parameters such as 'nofelems'
2 org/sat4j/core/VecInt 235 Avoid reassigning parameters such as 'newsize'
3 org/sat4j/minisat/SolverFactory 105 Use block level rather than method level synchronization
4 org/sat4j/minisat/constraints/AbstractDataStructureFactory 102 Document empty method
5 org/sat4j/minisat/constraints/card/MaxWatchCard 319 Document empty method
6 org/sat4j/minisat/constraints/cnf/Lits 62 Document empty constructor
7 org/sat4j/minisat/constraints/cnf/TernaryClauses 65 Document empty method
8 org/sat4j/minisat/constraints/cnf/TernaryClauses 108 Document empty method
9 org/sat4j/minisat/constraints/cnf/TernaryClauses 154 Document empty method
10 org/sat4j/minisat/constraints/cnf/TernaryClauses 181 Document empty method
11 org/sat4j/minisat/constraints/cnf/TernaryClauses 190 Document empty method
12 org/sat4j/minisat/constraints/cnf/TernaryClauses 199 Document empty method
13 org/sat4j/minisat/constraints/pb/ConflictMap 161 Deeply nested if..then statements are hard to read
14 org/sat4j/minisat/constraints/pb/ConflictMap 273 Position literals first in String comparisons
15 org/sat4j/minisat/constraints/pb/ConflictMap 474 Avoid reassigning parameters such as 'degree'
16 org/sat4j/minisat/constraints/pb/WatchPb 102 Document empty constructor
17 org/sat4j/minisat/constraints/pb/WatchPb 114 Overridable method 'sort' called during object construction
18 org/sat4j/minisat/constraints/pb/WatchPb 122 Overridable method 'sort' called during object construction
19 org/sat4j/minisat/core/DotSearchListener 121 Document empty method
20 org/sat4j/minisat/core/DotSearchListener 124 Document empty method
21 org/sat4j/minisat/core/DotSearchListener 137 Document empty method
22 org/sat4j/minisat/core/Heap 79 Avoid reassigning parameters such as 'i'
23 org/sat4j/minisat/core/NullSearchListener 30 Document empty method
24 org/sat4j/minisat/core/NullSearchListener 33 Document empty method
25 org/sat4j/minisat/core/NullSearchListener 36 Document empty method
26 org/sat4j/minisat/core/NullSearchListener 39 Document empty method
27 org/sat4j/minisat/core/NullSearchListener 42 Document empty method
28 org/sat4j/minisat/core/NullSearchListener 45 Document empty method
29 org/sat4j/minisat/core/NullSearchListener 48 Document empty method
30 org/sat4j/minisat/core/NullSearchListener 51 Document empty method
31 org/sat4j/minisat/core/NullSearchListener 54 Document empty method
32 org/sat4j/minisat/core/NullSearchListener 57 Document empty method
33 org/sat4j/minisat/core/NullSearchListener 60 Document empty method
34 org/sat4j/minisat/core/Solver 398 Avoid reassigning parameters such as 'confl'
35 org/sat4j/minisat/core/Solver 475 Document empty method
36 org/sat4j/minisat/core/TextOutputListener 53 Document empty method
37 org/sat4j/minisat/core/TextOutputListener 57 Document empty method
38 org/sat4j/minisat/core/TextOutputListener 69 Document empty method
39 org/sat4j/minisat/core/TextOutputListener 72 Document empty method
40 org/sat4j/minisat/core/TextOutputListener 75 Document empty method
41 org/sat4j/minisat/learning/AbstractLearning 65 Document empty method
42 org/sat4j/minisat/learning/NoLearningNoHeuristics 42 Document empty method
43 org/sat4j/minisat/orders/VarOrder 113 Document empty method
44 org/sat4j/minisat/orders/VarOrderHeap 88 Document empty method
45 org/sat4j/minisat/restarts/LubyRestarts 61 Overridable method 'setFactor' called during object construction
46 org/sat4j/minisat/uip/DecisionUIP 51 Document empty method
47 org/sat4j/minisat/uip/DecisionUIP 59 Document empty method
48 org/sat4j/opt/AbstractSelectorVariablesDecorator 31 This abstract class does not have any abstract methods
49 org/sat4j/reader/CSPReader 368 Document empty method
50 org/sat4j/reader/GoodOPBReader 96 Avoid reassigning parameters such as 'line'
51 org/sat4j/reader/InstanceReader 146 Avoid reassigning parameters such as 'filename'
52 org/sat4j/reader/InstanceReader 146 Avoid reassigning parameters such as 'filename'
53 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
54 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
55 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
56 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
57 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
58 org/sat4j/reader/LecteurDimacs 191 Avoid empty while statements
59 org/sat4j/reader/OPBReader2005 93 Document empty method
60 org/sat4j/reader/OPBReader2005 238 Avoid empty while statements
61 org/sat4j/reader/OPBReader2007 159 Position literals first in String comparisons
62 org/sat4j/reader/OPBReader2007 170 Position literals first in String comparisons
63 org/sat4j/reader/OPBReader2007 221 Private field 'productStore' could be made final; it is only initialized in the declaration or constructor.
64 org/sat4j/reader/csp/BinarySupportEncoding 65 Document empty method
65 org/sat4j/reader/csp/DirectEncoding 49 Document empty method
66 org/sat4j/reader/csp/DirectEncoding 52 Document empty method
67 org/sat4j/reader/csp/DirectEncoding 68 Document empty method
68 org/sat4j/reader/csp/GeneralizedSupportEncoding 65 Document empty method
69 org/sat4j/reader/csp/Predicate 80 Document empty constructor
70 org/sat4j/tools/DimacsOutputSolver 75 Avoid unused method parameters such as 'stream'.
71 org/sat4j/tools/Minimal4InclusionModel 85 Avoid empty catch blocks
72 org/sat4j/tools/Minimal4InclusionModel 87 Avoid empty catch blocks