PMD report

Problems found

#FileLineProblem
1 org/sat4j/AbstractOptimizationLauncher 42 This abstract class does not have any abstract methods
2 org/sat4j/AbstractOptimizationLauncher 80 Deeply nested if..then statements are hard to read
3 org/sat4j/core/Vec 111 Avoid reassigning parameters such as 'nofelems'
4 org/sat4j/core/VecInt 62 Document empty method
5 org/sat4j/core/VecInt 66 Document empty method
6 org/sat4j/core/VecInt 75 Document empty method
7 org/sat4j/core/VecInt 79 Document empty method
8 org/sat4j/core/VecInt 93 Document empty method
9 org/sat4j/core/VecInt 122 Document empty method
10 org/sat4j/core/VecInt 126 Document empty method
11 org/sat4j/core/VecInt 130 Document empty method
12 org/sat4j/core/VecInt 134 Document empty method
13 org/sat4j/core/VecInt 153 Document empty method
14 org/sat4j/core/VecInt 157 Document empty method
15 org/sat4j/core/VecInt 231 Avoid reassigning parameters such as 'newsize'
16 org/sat4j/minisat/SolverFactory 91 Use block level rather than method level synchronization
17 org/sat4j/minisat/constraints/AbstractCardinalityDataStructure 35 This abstract class does not have any abstract methods
18 org/sat4j/minisat/constraints/AbstractDataStructureFactory 101 Document empty method
19 org/sat4j/minisat/constraints/card/MaxWatchCard 319 Document empty method
20 org/sat4j/minisat/constraints/cnf/Lits 62 Document empty constructor
21 org/sat4j/minisat/constraints/cnf/TernaryClauses 65 Document empty method
22 org/sat4j/minisat/constraints/cnf/TernaryClauses 108 Document empty method
23 org/sat4j/minisat/constraints/cnf/TernaryClauses 154 Document empty method
24 org/sat4j/minisat/constraints/cnf/TernaryClauses 181 Document empty method
25 org/sat4j/minisat/constraints/cnf/TernaryClauses 190 Document empty method
26 org/sat4j/minisat/constraints/cnf/TernaryClauses 199 Document empty method
27 org/sat4j/minisat/core/DotSearchListener 121 Document empty method
28 org/sat4j/minisat/core/DotSearchListener 124 Document empty method
29 org/sat4j/minisat/core/DotSearchListener 137 Document empty method
30 org/sat4j/minisat/core/Heap 67 Avoid reassigning parameters such as 'i'
31 org/sat4j/minisat/core/Heap 78 Avoid reassigning parameters such as 'i'
32 org/sat4j/minisat/core/NullSearchListener 30 Document empty method
33 org/sat4j/minisat/core/NullSearchListener 33 Document empty method
34 org/sat4j/minisat/core/NullSearchListener 36 Document empty method
35 org/sat4j/minisat/core/NullSearchListener 39 Document empty method
36 org/sat4j/minisat/core/NullSearchListener 42 Document empty method
37 org/sat4j/minisat/core/NullSearchListener 45 Document empty method
38 org/sat4j/minisat/core/NullSearchListener 48 Document empty method
39 org/sat4j/minisat/core/NullSearchListener 51 Document empty method
40 org/sat4j/minisat/core/NullSearchListener 54 Document empty method
41 org/sat4j/minisat/core/NullSearchListener 57 Document empty method
42 org/sat4j/minisat/core/NullSearchListener 60 Document empty method
43 org/sat4j/minisat/core/Solver 400 Avoid reassigning parameters such as 'confl'
44 org/sat4j/minisat/core/Solver 477 Document empty method
45 org/sat4j/minisat/core/TextOutputListener 53 Document empty method
46 org/sat4j/minisat/core/TextOutputListener 57 Document empty method
47 org/sat4j/minisat/core/TextOutputListener 69 Document empty method
48 org/sat4j/minisat/core/TextOutputListener 72 Document empty method
49 org/sat4j/minisat/core/TextOutputListener 75 Document empty method
50 org/sat4j/minisat/learning/AbstractLearning 66 Document empty method
51 org/sat4j/minisat/learning/NoLearningNoHeuristics 43 Document empty method
52 org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy 33 Document empty method
53 org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy 36 Document empty method
54 org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy 39 Document empty method
55 org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy 46 Document empty method
56 org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy 48 Document empty method
57 org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy 33 Document empty method
58 org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy 36 Document empty method
59 org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy 39 Document empty method
60 org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy 46 Document empty method
61 org/sat4j/minisat/orders/RSATPhaseSelectionStrategy 45 Document empty method
62 org/sat4j/minisat/orders/RandomLiteralSelectionStrategy 44 Document empty method
63 org/sat4j/minisat/orders/RandomLiteralSelectionStrategy 47 Document empty method
64 org/sat4j/minisat/orders/RandomLiteralSelectionStrategy 50 Document empty method
65 org/sat4j/minisat/orders/RandomLiteralSelectionStrategy 60 Document empty method
66 org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy 37 Document empty method
67 org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy 40 Document empty method
68 org/sat4j/minisat/orders/VarOrder 140 Document empty method
69 org/sat4j/minisat/orders/VarOrderHeap 112 Document empty method
70 org/sat4j/minisat/restarts/LubyRestarts 61 Overridable method 'setFactor' called during object construction
71 org/sat4j/minisat/uip/DecisionUIP 51 Document empty method
72 org/sat4j/minisat/uip/DecisionUIP 59 Document empty method
73 org/sat4j/opt/AbstractSelectorVariablesDecorator 41 This abstract class does not have any abstract methods
74 org/sat4j/reader/InstanceReader 102 Avoid reassigning parameters such as 'filename'
75 org/sat4j/reader/InstanceReader 102 Avoid reassigning parameters such as 'filename'
76 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
77 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
78 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
79 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
80 org/sat4j/reader/LecteurDimacs 146 Avoid reassigning parameters such as 'car'
81 org/sat4j/reader/LecteurDimacs 191 Avoid empty while statements
82 org/sat4j/tools/DimacsOutputSolver 75 Avoid unused method parameters such as 'stream'.
83 org/sat4j/tools/Minimal4InclusionModel 85 Avoid empty catch blocks
84 org/sat4j/tools/Minimal4InclusionModel 87 Avoid empty catch blocks
85 org/sat4j/tools/OptToSatAdapter 55 Avoid empty catch blocks
86 org/sat4j/tools/OptToSatAdapter 57 Avoid empty catch blocks