The following document contains the results of Checkstyle. 
| Rules | Violations | Severity |
|---|---|---|
JavadocPackage
| 0 |  Error |
| NewlineAtEndOfFile | 0 | Error |
| Translation | 0 | Error |
| FileLength | 0 | Error |
FileTabCharacter
| 0 | Error |
RegexpSingleline
| 46 | Error |
| JavadocMethod | 43 | Error |
| JavadocType | 3 | Error |
| JavadocVariable | 27 | Error |
| JavadocStyle | 0 | Error |
| ConstantName | 0 | Error |
| LocalFinalVariableName | 0 | Error |
| LocalVariableName | 0 | Error |
| MemberName | 0 | Error |
| MethodName | 0 | Error |
| PackageName | 0 | Error |
| ParameterName | 0 | Error |
| StaticVariableName | 0 | Error |
| TypeName | 0 | Error |
| AvoidStarImport | 0 | Error |
| IllegalImport | 0 | Error |
| RedundantImport | 0 | Error |
| UnusedImports | 0 | Error |
| LineLength | 28 | Error |
| MethodLength | 0 | Error |
| ParameterNumber | 0 | Error |
| EmptyForIteratorPad | 0 | Error |
| MethodParamPad | 0 | Error |
| NoWhitespaceAfter | 0 | Error |
| NoWhitespaceBefore | 0 | Error |
| OperatorWrap | 0 | Error |
| ParenPad | 0 | Error |
| TypecastParenPad | 0 | Error |
| WhitespaceAfter | 0 | Error |
| WhitespaceAround | 38 | Error |
| ModifierOrder | 0 | Error |
| RedundantModifier | 0 | Error |
| AvoidNestedBlocks | 0 | Error |
| EmptyBlock | 0 | Error |
| LeftCurly | 0 | Error |
| NeedBraces | 0 | Error |
| RightCurly | 0 | Error |
| AvoidInlineConditionals | 0 | Error |
| DoubleCheckedLocking | 0 | Error |
| EmptyStatement | 0 | Error |
| EqualsHashCode | 0 | Error |
| HiddenField | 4 | Error |
| IllegalInstantiation | 0 | Error |
| InnerAssignment | 0 | Error |
| MagicNumber | 6 | Error |
| MissingSwitchDefault | 0 | Error |
| RedundantThrows | 0 | Error |
| SimplifyBooleanExpression | 0 | Error |
| SimplifyBooleanReturn | 0 | Error |
| DesignForExtension | 50 | Error |
| FinalClass | 2 | Error |
| HideUtilityClassConstructor | 0 | Error |
| InterfaceIsType | 0 | Error |
| VisibilityModifier | 4 | Error |
| ArrayTypeStyle | 0 | Error |
| FinalParameters | 58 | Error |
| TodoComment | 0 | Error |
| UpperEll | 0 | Error |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Line has trailing spaces. | 55 |
| Line has trailing spaces. | 58 |
| Line has trailing spaces. | 63 |
| Missing a Javadoc comment. | 67 |
| Missing a Javadoc comment. | 71 |
| Line is longer than 80 characters. | 86 |
| Line is longer than 80 characters. | 92 |
| Line is longer than 80 characters. | 94 |
| Line is longer than 80 characters. | 96 |
| Line is longer than 80 characters. | 98 |
| Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. | 103 |
| Line is longer than 80 characters. | 106 |
| Method 'usage' is not designed for extension - needs to be abstract, final or empty. | 109 |
| Line is longer than 80 characters. | 111 |
| Method 'createReader' is not designed for extension - needs to be abstract, final or empty. | 114 |
| Parameter aSolver should be final. | 115 |
| Parameter problemname should be final. | 115 |
| Line has trailing spaces. | 126 |
| Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. | 127 |
| Parameter args should be final. | 128 |
| Missing a Javadoc comment. | 132 |
| Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. | 134 |
| Parameter args should be final. | 135 |
| '==' is not preceded with whitespace. | 153 |
| '==' is not followed by whitespace. | 153 |
| Line is longer than 80 characters. | 157 |
| Line is longer than 80 characters. | 173 |
| '{' is not preceded with whitespace. | 178 |
| Line is longer than 80 characters. | 179 |
| 'else' is not preceded with whitespace. | 182 |
| '}' is not followed by whitespace. | 182 |
| 'else' is not followed by whitespace. | 182 |
| '{' is not preceded with whitespace. | 182 |
| Missing a Javadoc comment. | 214 |
| Parameter args should be final. | 214 |
| Method 'readProblem' is not designed for extension - needs to be abstract, final or empty. | 219 |
| Parameter problemname should be final. | 220 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Line has trailing spaces. | 48 |
| Line has trailing spaces. | 50 |
| Line has trailing spaces. | 52 |
| Line has trailing spaces. | 58 |
| Missing a Javadoc comment. | 62 |
| Missing a Javadoc comment. | 64 |
| Missing a Javadoc comment. | 66 |
| Missing a Javadoc comment. | 68 |
| Missing a Javadoc comment. | 70 |
| Missing a Javadoc comment. | 72 |
| Missing a Javadoc comment. | 74 |
| Missing a Javadoc comment. | 76 |
| Parameter solver should be final. | 76 |
| Line has trailing spaces. | 82 |
| Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 85 |
| Line has trailing spaces. | 92 |
| Line has trailing spaces. | 95 |
| Expected an @return tag. | 99 |
| Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 99 |
| Parameter howmany should be final. | 100 |
| Line has trailing spaces. | 116 |
| Method 'costOf' is not designed for extension - needs to be abstract, final or empty. | 121 |
| Parameter var should be final. | 121 |
| Line has trailing spaces. | 127 |
| Method 'setCost' is not designed for extension - needs to be abstract, final or empty. | 133 |
| Parameter var should be final. | 133 |
| Parameter cost should be final. | 133 |
| Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 138 |
| Missing a Javadoc comment. | 138 |
| Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty. | 142 |
| Missing a Javadoc comment. | 142 |
| Parameter assumps should be final. | 142 |
| Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty. | 155 |
| Missing a Javadoc comment. | 155 |
| Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty. | 159 |
| Missing a Javadoc comment. | 159 |
| Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty. | 163 |
| Missing a Javadoc comment. | 163 |
| Missing a Javadoc comment. | 168 |
| Parameter prevmodel2 should be final. | 168 |
| Method 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty. | 178 |
| Missing a Javadoc comment. | 178 |
| Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 191 |
| Method 'model' is not designed for extension - needs to be abstract, final or empty. | 197 |
| Method 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty. | 203 |
| Missing a Javadoc comment. | 203 |
| Method 'discard' is not designed for extension - needs to be abstract, final or empty. | 207 |
| Missing a Javadoc comment. | 207 |
| Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty. | 211 |
| Missing a Javadoc comment. | 211 |
| Parameter forcedValue should be final. | 211 |
| Method 'isOptimal' is not designed for extension - needs to be abstract, final or empty. | 217 |
| Missing a Javadoc comment. | 217 |
| Method 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty. | 221 |
| Missing a Javadoc comment. | 221 |
| Parameter seconds should be final. | 221 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Class SolverFactory should be declared as final. | 42 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 44 |
| Line has trailing spaces. | 45 |
| Missing a Javadoc comment. | 46 |
| Line has trailing spaces. | 51 |
| Line is longer than 80 characters. | 55 |
| Line is longer than 80 characters. | 58 |
| '1.2' is a magic number. | 58 |
| '100000' is a magic number. | 58 |
| Line has trailing spaces. | 63 |
| Line has trailing spaces. | 66 |
| Line has trailing spaces. | 72 |
| Missing a Javadoc comment. | 73 |
| Line has trailing spaces. | 81 |
| Line has trailing spaces. | 101 |
| Missing a Javadoc comment. | 101 |
| Missing a Javadoc comment. | 105 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Class UnitWeightedClause should be declared as final. | 34 |
| Missing a Javadoc comment. | 34 |
| Missing a Javadoc comment. | 36 |
| Missing a Javadoc comment. | 38 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 46 |
| Missing a Javadoc comment. | 50 |
| Missing a Javadoc comment. | 54 |
| Parameter i should be final. | 54 |
| Missing a Javadoc comment. | 58 |
| Missing a Javadoc comment. | 62 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Line has trailing spaces. | 50 |
| Line has trailing spaces. | 53 |
| Line has trailing spaces. | 55 |
| Missing a Javadoc comment. | 59 |
| Missing a Javadoc comment. | 62 |
| Variable 'nbnewvar' must be private and have accessor methods. | 62 |
| Missing a Javadoc comment. | 64 |
| Missing a Javadoc comment. | 66 |
| Missing a Javadoc comment. | 68 |
| Missing a Javadoc comment. | 69 |
| Missing a Javadoc comment. | 71 |
| Missing a Javadoc comment. | 73 |
| Missing a Javadoc comment. | 75 |
| Missing a Javadoc comment. | 78 |
| Missing a Javadoc comment. | 80 |
| Missing a Javadoc comment. | 82 |
| Parameter solver should be final. | 82 |
| Missing a Javadoc comment. | 86 |
| Parameter solver should be final. | 86 |
| Parameter equivalence should be final. | 86 |
| 'equivalence' hides a field. | 86 |
| Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 92 |
| Parameter howmany should be final. | 93 |
| Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty. | 99 |
| Parameter nb should be final. | 100 |
| Missing a Javadoc comment. | 106 |
| Variable 'top' must be private and have accessor methods. | 106 |
| Method 'setTopWeight' is not designed for extension - needs to be abstract, final or empty. | 108 |
| Missing a Javadoc comment. | 108 |
| Parameter top should be final. | 108 |
| 'top' hides a field. | 108 |
| Method 'checkMaxVarId' is not designed for extension - needs to be abstract, final or empty. | 112 |
| Missing a Javadoc comment. | 112 |
| Line has trailing spaces. | 121 |
| Line has trailing spaces. | 124 |
| Line has trailing spaces. | 128 |
| Expected an @return tag. | 134 |
| Method 'addClause' is not designed for extension - needs to be abstract, final or empty. | 134 |
| Parameter literals should be final. | 135 |
| Expected @throws tag for 'ContradictionException'. | 135 |
| Line has trailing spaces. | 141 |
| Method 'addHardClause' is not designed for extension - needs to be abstract, final or empty. | 147 |
| Parameter literals should be final. | 147 |
| Expected @throws tag for 'ContradictionException'. | 148 |
| Line has trailing spaces. | 154 |
| Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 160 |
| Parameter literals should be final. | 160 |
| Expected @throws tag for 'ContradictionException'. | 161 |
| Line has trailing spaces. | 167 |
| Line has trailing spaces. | 170 |
| Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 178 |
| Parameter weight should be final. | 178 |
| Parameter literals should be final. | 178 |
| Expected @throws tag for 'ContradictionException'. | 179 |
| Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 183 |
| Missing a Javadoc comment. | 183 |
| Parameter weight should be final. | 183 |
| Parameter literals should be final. | 183 |
| '==' is not preceded with whitespace. | 239 |
| '==' is not followed by whitespace. | 239 |
| '&&' is not preceded with whitespace. | 239 |
| '&&' is not followed by whitespace. | 239 |
| Line is longer than 80 characters. | 240 |
| '+' is not preceded with whitespace. | 240 |
| '+' is not followed by whitespace. | 240 |
| '+' is not preceded with whitespace. | 240 |
| '+' is not followed by whitespace. | 240 |
| '+' is not preceded with whitespace. | 240 |
| '+' is not followed by whitespace. | 240 |
| '+' is not preceded with whitespace. | 240 |
| '+' is not followed by whitespace. | 240 |
| '+' is not preceded with whitespace. | 240 |
| '+' is not followed by whitespace. | 240 |
| '!=' is not preceded with whitespace. | 242 |
| '!=' is not followed by whitespace. | 242 |
| Line has trailing spaces. | 251 |
| '==' is not preceded with whitespace. | 256 |
| '==' is not followed by whitespace. | 256 |
| '&&' is not preceded with whitespace. | 256 |
| '&&' is not followed by whitespace. | 256 |
| Line is longer than 80 characters. | 257 |
| '+' is not preceded with whitespace. | 257 |
| '+' is not followed by whitespace. | 257 |
| '+' is not preceded with whitespace. | 257 |
| '+' is not followed by whitespace. | 257 |
| '+' is not preceded with whitespace. | 257 |
| '+' is not followed by whitespace. | 257 |
| '+' is not preceded with whitespace. | 257 |
| '+' is not followed by whitespace. | 257 |
| '+' is not preceded with whitespace. | 257 |
| '+' is not followed by whitespace. | 257 |
| Line has trailing spaces. | 264 |
| Method 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty. | 274 |
| Parameter literals should be final. | 274 |
| Parameter degree should be final. | 274 |
| Line has trailing spaces. | 281 |
| Method 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty. | 293 |
| Parameter weight should be final. | 293 |
| Parameter literals should be final. | 293 |
| Parameter degree should be final. | 293 |
| Line has trailing spaces. | 300 |
| Method 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty. | 312 |
| Parameter weight should be final. | 312 |
| Parameter literals should be final. | 312 |
| Parameter degree should be final. | 313 |
| Line has trailing spaces. | 333 |
| Method 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty. | 343 |
| Parameter literals should be final. | 343 |
| Parameter degree should be final. | 343 |
| Line has trailing spaces. | 350 |
| Method 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty. | 362 |
| Parameter weight should be final. | 362 |
| Parameter literals should be final. | 362 |
| Parameter degree should be final. | 362 |
| Line has trailing spaces. | 369 |
| Line is longer than 80 characters. | 381 |
| Method 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty. | 381 |
| Parameter weight should be final. | 381 |
| Parameter literals should be final. | 381 |
| Parameter degree should be final. | 381 |
| Line has trailing spaces. | 402 |
| Method 'addLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 406 |
| Parameter literals should be final. | 406 |
| Line has trailing spaces. | 415 |
| Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 421 |
| Parameter literals should be final. | 421 |
| Parameter coefficients should be final. | 422 |
| Line has trailing spaces. | 434 |
| Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 440 |
| Parameter literals should be final. | 440 |
| Parameter coefficients should be final. | 441 |
| Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 451 |
| Line has trailing spaces. | 462 |
| Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty. | 468 |
| Parameter forcedValue should be final. | 468 |
| Expected an @return tag. | 480 |
| Method 'getUnitClauses' is not designed for extension - needs to be abstract, final or empty. | 480 |
| Line has trailing spaces. | 487 |
| Expected an @return tag. | 490 |
| Method 'isNoNewVarForUnitSoftClauses' is not designed for extension - needs to be abstract, final or empty. | 490 |
| Line has trailing spaces. | 498 |
| Line is longer than 80 characters. | 501 |
| Method 'setNoNewVarForUnitSoftClauses' is not designed for extension - needs to be abstract, final or empty. | 501 |
| Parameter noNewVarForUnitSoftClauses should be final. | 501 |
| 'noNewVarForUnitSoftClauses' hides a field. | 501 |
| Expected @param tag for 'noNewVarForUnitSoftClauses'. | 501 |
| Violation | Message | Line |
|---|---|---|
| Missing a Javadoc comment. | 7 |
| '{' is not preceded with whitespace. | 7 |
| Missing a Javadoc comment. | 9 |
| Missing a Javadoc comment. | 11 |
| Parameter solver should be final. | 11 |
| 'solver' hides a field. | 11 |
| Method 'handleFileName' is not designed for extension - needs to be abstract, final or empty. | 16 |
| Parameter fname should be final. | 17 |
| Parameter prefix should be final. | 17 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Line has trailing spaces. | 42 |
| Line has trailing spaces. | 44 |
| Missing a Javadoc comment. | 48 |
| Variable 'weight' must be private and have accessor methods. | 48 |
| Missing a Javadoc comment. | 49 |
| Variable 'top' must be private and have accessor methods. | 49 |
| Method 'flushConstraint' is not designed for extension - needs to be abstract, final or empty. | 51 |
| Method 'handleLine' is not designed for extension - needs to be abstract, final or empty. | 63 |
| Line has trailing spaces. | 71 |
| Missing a Javadoc comment. | 75 |
| Missing a Javadoc comment. | 77 |
| Parameter solver should be final. | 77 |
| Missing a Javadoc comment. | 82 |
| Parameter solver should be final. | 82 |
| Parameter format should be final. | 82 |
| Method 'readProblemLine' is not designed for extension - needs to be abstract, final or empty. | 87 |
| '4' is a magic number. | 96 |
| '3' is a magic number. | 108 |
| '5' is a magic number. | 114 |
| '4' is a magic number. | 115 |
