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
| 37 | Error |
| JavadocMethod | 36 | Error |
| JavadocType | 2 | Error |
| JavadocVariable | 23 | Error |
| JavadocStyle | 0 | Error |
| ConstantName | 1 | 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 | 21 | 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 | 2 | Error |
| WhitespaceAround | 0 | 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 | 2 | Error |
| IllegalInstantiation | 0 | Error |
| InnerAssignment | 0 | Error |
| MagicNumber | 6 | Error |
| MissingSwitchDefault | 0 | Error |
| RedundantThrows | 0 | Error |
| SimplifyBooleanExpression | 0 | Error |
| SimplifyBooleanReturn | 0 | Error |
| DesignForExtension | 46 | Error |
| FinalClass | 1 | Error |
| HideUtilityClassConstructor | 0 | Error |
| InterfaceIsType | 0 | Error |
| VisibilityModifier | 4 | Error |
| ArrayTypeStyle | 0 | Error |
| FinalParameters | 52 | 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. | 49 |
| Line has trailing spaces. | 52 |
| Line has trailing spaces. | 57 |
| Missing a Javadoc comment. | 61 |
| Line is longer than 80 characters. | 79 |
| Line is longer than 80 characters. | 81 |
| Line is longer than 80 characters. | 83 |
| Method 'displayLicense' is not designed for extension - needs to be abstract, final or empty. | 88 |
| Line is longer than 80 characters. | 91 |
| Method 'usage' is not designed for extension - needs to be abstract, final or empty. | 94 |
| Line is longer than 80 characters. | 96 |
| Method 'createReader' is not designed for extension - needs to be abstract, final or empty. | 99 |
| Parameter aSolver should be final. | 100 |
| Parameter problemname should be final. | 100 |
| Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty. | 111 |
| Parameter args should be final. | 112 |
| Missing a Javadoc comment. | 116 |
| Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty. | 118 |
| Parameter args should be final. | 119 |
| Line is longer than 80 characters. | 158 |
| ',' is not followed by whitespace. | 158 |
| ',' is not followed by whitespace. | 158 |
| Missing a Javadoc comment. | 188 |
| Parameter args should be final. | 188 |
| 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 |
| Violation | Message | Line |
|---|---|---|
| Line is longer than 80 characters. | 2 |
| Line is longer than 80 characters. | 29 |
| Missing a Javadoc comment. | 42 |
| Missing a Javadoc comment. | 44 |
| Line has trailing spaces. | 49 |
| Line is longer than 80 characters. | 53 |
| Line is longer than 80 characters. | 56 |
| '1.2' is a magic number. | 56 |
| '100000' is a magic number. | 56 |
| Method 'defaultSolver' is not designed for extension - needs to be abstract, final or empty. | 62 |
| Method 'lightSolver' is not designed for extension - needs to be abstract, final or empty. | 67 |
| Missing a Javadoc comment. | 72 |
| Missing a Javadoc comment. | 76 |
| 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 |
| Name 'instance' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'. | 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. | 48 |
| Line has trailing spaces. | 51 |
| Line has trailing spaces. | 53 |
| Missing a Javadoc comment. | 57 |
| Missing a Javadoc comment. | 60 |
| Variable 'nbnewvar' must be private and have accessor methods. | 60 |
| Missing a Javadoc comment. | 62 |
| Missing a Javadoc comment. | 64 |
| Missing a Javadoc comment. | 66 |
| Missing a Javadoc comment. | 67 |
| Missing a Javadoc comment. | 69 |
| Missing a Javadoc comment. | 71 |
| Missing a Javadoc comment. | 73 |
| Missing a Javadoc comment. | 77 |
| Parameter solver should be final. | 77 |
| Missing a Javadoc comment. | 81 |
| Parameter solver should be final. | 81 |
| Parameter equivalence should be final. | 81 |
| 'equivalence' hides a field. | 81 |
| Method 'newVar' is not designed for extension - needs to be abstract, final or empty. | 87 |
| Parameter howmany should be final. | 88 |
| Method 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty. | 94 |
| Parameter nb should be final. | 95 |
| Missing a Javadoc comment. | 101 |
| Variable 'top' must be private and have accessor methods. | 101 |
| Method 'setTopWeight' is not designed for extension - needs to be abstract, final or empty. | 103 |
| Missing a Javadoc comment. | 103 |
| Parameter top should be final. | 103 |
| 'top' hides a field. | 103 |
| Method 'checkMaxVarId' is not designed for extension - needs to be abstract, final or empty. | 107 |
| Missing a Javadoc comment. | 107 |
| Line has trailing spaces. | 116 |
| Line has trailing spaces. | 119 |
| Line has trailing spaces. | 123 |
| Expected an @return tag. | 129 |
| Method 'addClause' is not designed for extension - needs to be abstract, final or empty. | 129 |
| Parameter literals should be final. | 130 |
| Expected @throws tag for 'ContradictionException'. | 130 |
| Line has trailing spaces. | 136 |
| Method 'addHardClause' is not designed for extension - needs to be abstract, final or empty. | 142 |
| Parameter literals should be final. | 142 |
| Expected @throws tag for 'ContradictionException'. | 143 |
| Line has trailing spaces. | 149 |
| Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 155 |
| Parameter literals should be final. | 155 |
| Expected @throws tag for 'ContradictionException'. | 156 |
| Line has trailing spaces. | 162 |
| Line has trailing spaces. | 165 |
| Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 173 |
| Parameter weight should be final. | 173 |
| Parameter literals should be final. | 173 |
| Expected @throws tag for 'ContradictionException'. | 174 |
| Method 'addSoftClause' is not designed for extension - needs to be abstract, final or empty. | 178 |
| Missing a Javadoc comment. | 178 |
| Parameter weight should be final. | 178 |
| Parameter literals should be final. | 178 |
| Line has trailing spaces. | 236 |
| Line has trailing spaces. | 245 |
| Method 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty. | 255 |
| Parameter literals should be final. | 255 |
| Parameter degree should be final. | 255 |
| Line has trailing spaces. | 262 |
| Method 'addSoftAtLeast' is not designed for extension - needs to be abstract, final or empty. | 274 |
| Parameter weight should be final. | 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. | 294 |
| Line has trailing spaces. | 314 |
| Method 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty. | 324 |
| Parameter literals should be final. | 324 |
| Parameter degree should be final. | 324 |
| Line has trailing spaces. | 331 |
| Method 'addSoftAtMost' is not designed for extension - needs to be abstract, final or empty. | 343 |
| Parameter weight should be final. | 343 |
| Parameter literals should be final. | 343 |
| Parameter degree should be final. | 343 |
| Line has trailing spaces. | 350 |
| Line is longer than 80 characters. | 362 |
| 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. | 383 |
| Method 'addLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 387 |
| Parameter literals should be final. | 387 |
| Line has trailing spaces. | 396 |
| Method 'addWeightedLiteralsToMinimize' is not designed for extension - needs to be abstract, final or empty. | 402 |
| Parameter literals should be final. | 402 |
| Parameter coefficients should be final. | 403 |
| 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 |
| Method 'reset' is not designed for extension - needs to be abstract, final or empty. | 432 |
| Line has trailing spaces. | 443 |
| Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty. | 447 |
| Parameter forcedValue should be final. | 447 |
| 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 |
