Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos InfosWarnings WarningsErrors Errors
129008009

Files

FilesInfosWarningsErrors
org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java0046
org/sat4j/pb/IPBSolver.java00193
org/sat4j/pb/IPBSolverService.java004
org/sat4j/pb/LPStringSolver.java0095
org/sat4j/pb/LanceurPseudo2005.java0031
org/sat4j/pb/LanceurPseudo2007.java0016
org/sat4j/pb/LanceurPseudo2007Eclipse.java0018
org/sat4j/pb/OPBStringSolver.java0091
org/sat4j/pb/ObjectiveFunction.java0045
org/sat4j/pb/OptToPBSATAdapter.java0048
org/sat4j/pb/PBSolverDecorator.java0048
org/sat4j/pb/PseudoBitsAdderDecorator.java0058
org/sat4j/pb/PseudoIteratorDecorator.java0010
org/sat4j/pb/PseudoOptDecorator.java0075
org/sat4j/pb/SolverFactory.java00127
org/sat4j/pb/UserFriendlyPBStringSolver.java0088
org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java0078
org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java0074
org/sat4j/pb/constraints/AtLeastCardConstructor.java0013
org/sat4j/pb/constraints/AtLeastCardPBConstructor.java0013
org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java007
org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java007
org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java007
org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java007
org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java005
org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.java005
org/sat4j/pb/constraints/ICardConstructor.java005
org/sat4j/pb/constraints/IClauseConstructor.java006
org/sat4j/pb/constraints/IPBConstructor.java005
org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.java0015
org/sat4j/pb/constraints/MaxLongWatchPBConstructor.java0015
org/sat4j/pb/constraints/MaxWatchPBConstructor.java0015
org/sat4j/pb/constraints/MinCardConstructor.java0014
org/sat4j/pb/constraints/MinCardPBConstructor.java0013
org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.java0015
org/sat4j/pb/constraints/MinLongWatchPBConstructor.java0015
org/sat4j/pb/constraints/MinWatchPBConstructor.java0015
org/sat4j/pb/constraints/PBContainer.java0016
org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.java005
org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.java005
org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java005
org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java005
org/sat4j/pb/constraints/PBMaxDataStructure.java0028
org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java005
org/sat4j/pb/constraints/PBMinDataStructure.java0025
org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.java0015
org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java005
org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java007
org/sat4j/pb/constraints/PuebloPBMinDataStructure.java0024
org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.java0012
org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.java0012
org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.java0012
org/sat4j/pb/constraints/pb/AtLeastPB.java0030
org/sat4j/pb/constraints/pb/ConflictMap.java00117
org/sat4j/pb/constraints/pb/ConflictMapCardinality.java006
org/sat4j/pb/constraints/pb/ConflictMapClause.java0018
org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.java0026
org/sat4j/pb/constraints/pb/IConflict.java0051
org/sat4j/pb/constraints/pb/IDataStructurePB.java0034
org/sat4j/pb/constraints/pb/IWatchPb.java005
org/sat4j/pb/constraints/pb/InternalMapPBStructure.java0055
org/sat4j/pb/constraints/pb/LearntBinaryClausePB.java0012
org/sat4j/pb/constraints/pb/LearntHTClausePB.java0013
org/sat4j/pb/constraints/pb/MapPb.java0088
org/sat4j/pb/constraints/pb/MaxWatchPb.java0051
org/sat4j/pb/constraints/pb/MaxWatchPbLong.java0048
org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java0048
org/sat4j/pb/constraints/pb/MinWatchCardPB.java0045
org/sat4j/pb/constraints/pb/MinWatchPb.java0076
org/sat4j/pb/constraints/pb/MinWatchPbLong.java0075
org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java0078
org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.java0016
org/sat4j/pb/constraints/pb/OriginalHTClausePB.java0016
org/sat4j/pb/constraints/pb/PBConstr.java0015
org/sat4j/pb/constraints/pb/Pseudos.java0033
org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java0034
org/sat4j/pb/constraints/pb/UnitClausePB.java0018
org/sat4j/pb/constraints/pb/UnitClausesPB.java0018
org/sat4j/pb/constraints/pb/WatchPb.java00710
org/sat4j/pb/constraints/pb/WatchPbLong.java00717
org/sat4j/pb/constraints/pb/WatchPbLongCP.java00768
org/sat4j/pb/core/IPBCDCLSolver.java005
org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java00206
org/sat4j/pb/core/PBDataStructureFactory.java009
org/sat4j/pb/core/PBSolver.java0082
org/sat4j/pb/core/PBSolverCP.java0046
org/sat4j/pb/core/PBSolverCautious.java0024
org/sat4j/pb/core/PBSolverClause.java0013
org/sat4j/pb/core/PBSolverResCP.java0030
org/sat4j/pb/core/PBSolverResolution.java0016
org/sat4j/pb/core/PBSolverStats.java0018
org/sat4j/pb/core/PBSolverWithImpliedClause.java0015
org/sat4j/pb/core/package-info.java001
org/sat4j/pb/orders/IOrderObjective.java004
org/sat4j/pb/orders/RandomWalkDecoratorObjective.java0025
org/sat4j/pb/orders/VarOrderHeapObjective.java0015
org/sat4j/pb/package-info.java001
org/sat4j/pb/reader/JSONPBReader.java00112
org/sat4j/pb/reader/OPBEclipseReader2007.java0017
org/sat4j/pb/reader/OPBReader2005.java00781
org/sat4j/pb/reader/OPBReader2006.java0014
org/sat4j/pb/reader/OPBReader2007.java0064
org/sat4j/pb/reader/OPBReader2010.java0022
org/sat4j/pb/reader/OPBReader2012.java0012
org/sat4j/pb/reader/PBInstanceReader.java0014
org/sat4j/pb/tools/AbstractLexicoHelper.java0045
org/sat4j/pb/tools/ClausalConstraintsDecorator.java0059
org/sat4j/pb/tools/ConflictTracing.java0039
org/sat4j/pb/tools/DependencyHelper.java001086
org/sat4j/pb/tools/DisjunctionRHS.java0015
org/sat4j/pb/tools/INegator.java005
org/sat4j/pb/tools/ImplicationAnd.java0025
org/sat4j/pb/tools/ImplicationNamer.java0017
org/sat4j/pb/tools/ImplicationRHS.java0027
org/sat4j/pb/tools/LexicoDecoratorPB.java0067
org/sat4j/pb/tools/LexicoHelper.java0012
org/sat4j/pb/tools/ManyCorePB.java0053
org/sat4j/pb/tools/PBAdapter.java0050
org/sat4j/pb/tools/SearchOptimizerListener.java0019
org/sat4j/pb/tools/SteppedTimeoutLexicoDecoratorPB.java0011
org/sat4j/pb/tools/SteppedTimeoutLexicoHelper.java0012
org/sat4j/pb/tools/StringNegator.java0025
org/sat4j/pb/tools/WeightedObject.java0092
org/sat4j/pb/tools/XplainPB.java0059
org/sat4j/pb/tools/package-info.java001

Rules

RulesViolationsSeverity
JavadocPackage
  • allowLegacy: "true"
0Errors Error
NewlineAtEndOfFile5Errors Error
Translation0Errors Error
FileLength0Errors Error
FileTabCharacter
  • eachLine: "true"
3488Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
453Errors Error
JavadocMethod868Errors Error
JavadocType81Errors Error
JavadocVariable192Errors Error
JavadocStyle149Errors Error
ConstantName0Errors Error
LocalFinalVariableName0Errors Error
LocalVariableName0Errors Error
MemberName0Errors Error
MethodName0Errors Error
PackageName0Errors Error
ParameterName0Errors Error
StaticVariableName1Errors Error
TypeName0Errors Error
AvoidStarImport0Errors Error
IllegalImport0Errors Error
RedundantImport0Errors Error
UnusedImports0Errors Error
LineLength517Errors Error
MethodLength0Errors Error
ParameterNumber0Errors Error
EmptyForIteratorPad0Errors Error
MethodParamPad0Errors Error
NoWhitespaceAfter2Errors Error
NoWhitespaceBefore0Errors Error
OperatorWrap0Errors Error
ParenPad0Errors Error
TypecastParenPad0Errors Error
WhitespaceAfter2Errors Error
WhitespaceAround0Errors Error
ModifierOrder0Errors Error
RedundantModifier0Errors Error
AvoidNestedBlocks0Errors Error
EmptyBlock1Errors Error
LeftCurly0Errors Error
NeedBraces0Errors Error
RightCurly0Errors Error
AvoidInlineConditionals18Errors Error
DoubleCheckedLocking0Errors Error
EmptyStatement0Errors Error
EqualsHashCode0Errors Error
HiddenField68Errors Error
IllegalInstantiation0Errors Error
InnerAssignment6Errors Error
MagicNumber15Errors Error
MissingSwitchDefault0Errors Error
RedundantThrows0Errors Error
SimplifyBooleanExpression0Errors Error
SimplifyBooleanReturn0Errors Error
DesignForExtension667Errors Error
FinalClass0Errors Error
HideUtilityClassConstructor1Errors Error
InterfaceIsType0Errors Error
VisibilityModifier78Errors Error
ArrayTypeStyle2Errors Error
FinalParameters1397Errors Error
TodoComment0Errors Error
UpperEll0Errors Error

Details

org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsParameter solver should be final.56
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.65
ErrorsParameter global should be final.66
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.70
ErrorsParameter assumps should be final.71
ErrorsParameter global should be final.71
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.85
ErrorsParameter assumps should be final.86
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMissing a Javadoc comment.90
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.94
ErrorsMissing a Javadoc comment.94
ErrorsParameter assumps should be final.94
ErrorsMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.132
ErrorsMissing a Javadoc comment.132
ErrorsMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.136
ErrorsMissing a Javadoc comment.136
ErrorsMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.140
ErrorsMissing a Javadoc comment.140
ErrorsMethod 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty.150
ErrorsMissing a Javadoc comment.150
ErrorsMethod 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.154
ErrorsMissing a Javadoc comment.154
ErrorsParameter forcedValue should be final.154
ErrorsMethod 'discard' is not designed for extension - needs to be abstract, final or empty.161
ErrorsMissing a Javadoc comment.161
ErrorsMissing a Javadoc comment.166
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.170
ErrorsMissing a Javadoc comment.170
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.174
ErrorsParameter prefix should be final.175
ErrorsMethod 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsParameter seconds should be final.180

org/sat4j/pb/IPBSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsFirst sentence should end with a period.48
ErrorsLine contains a tab character.48
ErrorsLine is longer than 80 characters.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsLine has trailing spaces.51
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52
ErrorsLine is longer than 80 characters.53
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.54
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.56
ErrorsLine is longer than 80 characters.57
ErrorsLine contains a tab character.57
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.59
ErrorsLine contains a tab character.60
ErrorsLine contains a tab character.61
ErrorsLine contains a tab character.62
ErrorsLine contains a tab character.63
ErrorsLine contains a tab character.64
ErrorsLine contains a tab character.65
ErrorsLine contains a tab character.66
ErrorsLine is longer than 80 characters.67
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsLine contains a tab character.69
ErrorsLine contains a tab character.70
ErrorsLine contains a tab character.71
ErrorsLine is longer than 80 characters.72
ErrorsLine contains a tab character.72
ErrorsLine contains a tab character.74
ErrorsLine contains a tab character.75
ErrorsLine has trailing spaces.76
ErrorsLine contains a tab character.76
ErrorsLine contains a tab character.77
ErrorsLine is longer than 80 characters.78
ErrorsLine contains a tab character.78
ErrorsLine contains a tab character.79
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsLine is longer than 80 characters.82
ErrorsLine contains a tab character.82
ErrorsLine contains a tab character.83
ErrorsLine contains a tab character.84
ErrorsLine contains a tab character.85
ErrorsLine contains a tab character.86
ErrorsLine contains a tab character.87
ErrorsLine contains a tab character.88
ErrorsLine contains a tab character.89
ErrorsLine contains a tab character.90
ErrorsLine contains a tab character.91
ErrorsLine contains a tab character.92
ErrorsLine contains a tab character.94
ErrorsLine contains a tab character.95
ErrorsLine contains a tab character.97
ErrorsLine contains a tab character.98
ErrorsLine has trailing spaces.99
ErrorsLine contains a tab character.99
ErrorsLine contains a tab character.100
ErrorsLine is longer than 80 characters.101
ErrorsLine contains a tab character.101
ErrorsLine contains a tab character.102
ErrorsLine contains a tab character.103
ErrorsLine contains a tab character.104
ErrorsLine is longer than 80 characters.105
ErrorsLine contains a tab character.105
ErrorsLine contains a tab character.106
ErrorsLine contains a tab character.107
ErrorsLine contains a tab character.108
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.110
ErrorsLine contains a tab character.111
ErrorsLine contains a tab character.112
ErrorsLine contains a tab character.113
ErrorsLine contains a tab character.114
ErrorsLine contains a tab character.115
ErrorsLine contains a tab character.117
ErrorsLine contains a tab character.118
ErrorsLine contains a tab character.120
ErrorsLine contains a tab character.121
ErrorsLine has trailing spaces.122
ErrorsLine contains a tab character.122
ErrorsLine contains a tab character.123
ErrorsLine is longer than 80 characters.124
ErrorsLine contains a tab character.124
ErrorsLine contains a tab character.125
ErrorsLine contains a tab character.126
ErrorsLine contains a tab character.127
ErrorsLine is longer than 80 characters.128
ErrorsLine contains a tab character.128
ErrorsLine contains a tab character.129
ErrorsLine contains a tab character.130
ErrorsLine contains a tab character.131
ErrorsLine contains a tab character.132
ErrorsLine contains a tab character.133
ErrorsLine contains a tab character.134
ErrorsLine contains a tab character.135
ErrorsLine contains a tab character.136
ErrorsLine contains a tab character.137
ErrorsLine contains a tab character.138
ErrorsLine contains a tab character.139
ErrorsLine contains a tab character.140
ErrorsLine contains a tab character.142
ErrorsLine contains a tab character.143
ErrorsLine has trailing spaces.144
ErrorsLine contains a tab character.144
ErrorsLine contains a tab character.145
ErrorsLine is longer than 80 characters.146
ErrorsLine contains a tab character.146
ErrorsLine contains a tab character.147
ErrorsLine contains a tab character.148
ErrorsLine contains a tab character.149
ErrorsLine is longer than 80 characters.150
ErrorsLine contains a tab character.150
ErrorsLine contains a tab character.151
ErrorsLine contains a tab character.152
ErrorsLine contains a tab character.153
ErrorsLine contains a tab character.154
ErrorsLine contains a tab character.155
ErrorsLine contains a tab character.156
ErrorsLine contains a tab character.157
ErrorsLine contains a tab character.158
ErrorsLine contains a tab character.159
ErrorsLine contains a tab character.160
ErrorsLine contains a tab character.161
ErrorsLine contains a tab character.162
ErrorsLine contains a tab character.164
ErrorsLine contains a tab character.165
ErrorsLine has trailing spaces.166
ErrorsLine contains a tab character.166
ErrorsLine contains a tab character.167
ErrorsLine is longer than 80 characters.168
ErrorsLine contains a tab character.168
ErrorsLine contains a tab character.169
ErrorsLine contains a tab character.170
ErrorsLine contains a tab character.171
ErrorsLine is longer than 80 characters.172
ErrorsLine contains a tab character.172
ErrorsLine contains a tab character.173
ErrorsLine contains a tab character.174
ErrorsLine contains a tab character.175
ErrorsLine contains a tab character.176
ErrorsLine contains a tab character.177
ErrorsLine contains a tab character.178
ErrorsLine contains a tab character.179
ErrorsLine contains a tab character.180
ErrorsLine contains a tab character.181
ErrorsLine contains a tab character.182
ErrorsLine contains a tab character.183
ErrorsLine contains a tab character.185
ErrorsLine contains a tab character.186
ErrorsLine has trailing spaces.187
ErrorsLine contains a tab character.187
ErrorsLine contains a tab character.188
ErrorsLine is longer than 80 characters.189
ErrorsLine contains a tab character.189
ErrorsLine contains a tab character.190
ErrorsLine contains a tab character.191
ErrorsLine contains a tab character.192
ErrorsLine is longer than 80 characters.193
ErrorsLine contains a tab character.193
ErrorsLine contains a tab character.194
ErrorsLine contains a tab character.195
ErrorsLine contains a tab character.196
ErrorsLine contains a tab character.197
ErrorsLine contains a tab character.198
ErrorsLine contains a tab character.199
ErrorsLine contains a tab character.200
ErrorsLine contains a tab character.201
ErrorsLine contains a tab character.202
ErrorsLine contains a tab character.203
ErrorsLine contains a tab character.204
ErrorsLine contains a tab character.206
ErrorsLine contains a tab character.207
ErrorsLine has trailing spaces.208
ErrorsLine contains a tab character.208
ErrorsLine contains a tab character.209
ErrorsLine contains a tab character.210
ErrorsLine contains a tab character.211
ErrorsLine contains a tab character.212
ErrorsLine contains a tab character.214
ErrorsLine contains a tab character.215
ErrorsLine has trailing spaces.216
ErrorsLine contains a tab character.216
ErrorsLine contains a tab character.217
ErrorsLine contains a tab character.218
ErrorsLine contains a tab character.219

org/sat4j/pb/IPBSolverService.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.10
ErrorsMissing a Javadoc comment.12
ErrorsMissing a Javadoc comment.15
ErrorsMissing a Javadoc comment.17

org/sat4j/pb/LPStringSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.49
ErrorsLine has trailing spaces.51
ErrorsMissing a Javadoc comment.55
ErrorsLine has trailing spaces.58
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.59
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsParameter i should be final.84
ErrorsLine has trailing spaces.94
ErrorsLine contains a tab character.94
ErrorsLine contains a tab character.95
ErrorsParameter initSize should be final.102
ErrorsExpected @param tag for 'initSize'.102
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.106
ErrorsParameter assumps should be final.107
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.120
ErrorsParameter assumps should be final.121
ErrorsParameter global should be final.121
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsParameter lits should be final.126
ErrorsParameter coeffs should be final.126
ErrorsParameter moreThan should be final.127
ErrorsParameter d should be final.127
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.134
ErrorsMissing a Javadoc comment.134
ErrorsParameter obj should be final.134
Errors'obj' hides a field.134
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.138
ErrorsParameter literals should be final.139
ErrorsParameter degree should be final.139
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.170
ErrorsParameter literals should be final.171
ErrorsParameter degree should be final.171
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.202
ErrorsParameter literals should be final.203
ErrorsLine has trailing spaces.235
ErrorsMethod 'getExplanation' is not designed for extension - needs to be abstract, final or empty.238
ErrorsMissing a Javadoc comment.238
ErrorsLine has trailing spaces.245
ErrorsMissing a Javadoc comment.250
ErrorsParameter listOfVariables should be final.250
ErrorsLine is longer than 80 characters.255
ErrorsMethod 'objectiveFunctionToLP' is not designed for extension - needs to be abstract, final or empty.255
ErrorsMissing a Javadoc comment.255
ErrorsParameter obj should be final.255
Errors'obj' hides a field.255
ErrorsParameter buffer should be final.255
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.282
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.312
ErrorsParameter prefix should be final.313
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.317
ErrorsParameter howmany should be final.318
ErrorsParameter nb should be final.328
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.331
ErrorsMissing a Javadoc comment.331
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.335
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.340
ErrorsMissing a Javadoc comment.340
ErrorsParameter literals should be final.340
ErrorsParameter coeffs should be final.340
ErrorsParameter degree should be final.340
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.370
ErrorsMissing a Javadoc comment.370
ErrorsParameter literals should be final.370
ErrorsParameter coeffs should be final.370
ErrorsParameter degree should be final.371
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.400
ErrorsMissing a Javadoc comment.400
ErrorsParameter literals should be final.400
ErrorsParameter coeffs should be final.400
ErrorsParameter degree should be final.400
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.430
ErrorsMissing a Javadoc comment.430
ErrorsParameter literals should be final.430
ErrorsParameter coeffs should be final.430
ErrorsParameter degree should be final.431
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.461
ErrorsMissing a Javadoc comment.461
ErrorsParameter literals should be final.461
ErrorsParameter coeffs should be final.461
ErrorsParameter weight should be final.461
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.491
ErrorsMissing a Javadoc comment.491
ErrorsParameter literals should be final.491
ErrorsParameter coeffs should be final.491
ErrorsParameter weight should be final.492

org/sat4j/pb/LanceurPseudo2005.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.50
ErrorsMissing a Javadoc comment.55
ErrorsVariable 'factory' must be private and have accessor methods.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.61
ErrorsParameter factory should be final.61
Errors'factory' hides a field.61
ErrorsLine has trailing spaces.67
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsFirst sentence should end with a period.71
ErrorsLine has trailing spaces.73
ErrorsMissing a Javadoc comment.84
ErrorsVariable 'obfct' must be private and have accessor methods.84
ErrorsLine has trailing spaces.88
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.91
ErrorsParameter theSolver should be final.92
ErrorsParameter problemname should be final.92
ErrorsLine has trailing spaces.98
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter args should be final.102
Errors'3' is a magic number.134
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.141
ErrorsLine is longer than 80 characters.143
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.147
ErrorsParameter args should be final.148
Errors'3' is a magic number.149
ErrorsMethod 'readProblem' is not designed for extension - needs to be abstract, final or empty.156
ErrorsParameter problemname should be final.157

org/sat4j/pb/LanceurPseudo2007.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.47
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.55
ErrorsParameter factory should be final.55
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.59
ErrorsParameter theSolver should be final.60
ErrorsParameter problemname should be final.60
ErrorsFirst sentence should end with a period.64
ErrorsLine has trailing spaces.66
Errors'3' is a magic number.73

org/sat4j/pb/LanceurPseudo2007Eclipse.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.45
ErrorsVariable 'quickxplain' must be private and have accessor methods.45
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.47
ErrorsParameter args should be final.48
Errors'3' is a magic number.57
ErrorsLine has trailing spaces.65
ErrorsLine contains a tab character.65
ErrorsLine contains a tab character.66
ErrorsMissing a Javadoc comment.69
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.72
ErrorsParameter theSolver should be final.73
ErrorsParameter problemname should be final.73
ErrorsFirst sentence should end with a period.77
ErrorsLine has trailing spaces.79
ErrorsMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.94

org/sat4j/pb/OPBStringSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.52
ErrorsLine has trailing spaces.55
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.56
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.63
ErrorsMissing a Javadoc comment.65
ErrorsMissing a Javadoc comment.67
ErrorsParameter i should be final.81
ErrorsLine has trailing spaces.91
ErrorsLine contains a tab character.91
ErrorsLine contains a tab character.92
ErrorsParameter initSize should be final.99
ErrorsExpected @param tag for 'initSize'.99
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.103
ErrorsParameter assumps should be final.104
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.117
ErrorsParameter assumps should be final.118
ErrorsParameter global should be final.118
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.123
ErrorsMissing a Javadoc comment.123
ErrorsParameter lits should be final.123
ErrorsParameter coeffs should be final.123
ErrorsParameter moreThan should be final.124
ErrorsParameter d should be final.124
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.131
ErrorsMissing a Javadoc comment.131
ErrorsParameter obj should be final.131
Errors'obj' hides a field.131
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.135
ErrorsParameter literals should be final.136
ErrorsParameter degree should be final.136
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.156
ErrorsParameter literals should be final.157
ErrorsParameter degree should be final.157
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.177
ErrorsParameter literals should be final.178
ErrorsLine has trailing spaces.198
ErrorsMethod 'getExplanation' is not designed for extension - needs to be abstract, final or empty.201
ErrorsMissing a Javadoc comment.201
ErrorsLine has trailing spaces.208
ErrorsMissing a Javadoc comment.213
ErrorsParameter listOfVariables should be final.213
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.218
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.239
ErrorsParameter prefix should be final.240
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.244
ErrorsParameter howmany should be final.245
ErrorsParameter nb should be final.255
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.258
ErrorsMissing a Javadoc comment.258
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.262
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.267
ErrorsMissing a Javadoc comment.267
ErrorsParameter literals should be final.267
ErrorsParameter coeffs should be final.267
ErrorsParameter degree should be final.267
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.284
ErrorsMissing a Javadoc comment.284
ErrorsParameter literals should be final.284
ErrorsParameter coeffs should be final.284
ErrorsParameter degree should be final.285
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.301
ErrorsMissing a Javadoc comment.301
ErrorsParameter literals should be final.301
ErrorsParameter coeffs should be final.301
ErrorsParameter degree should be final.301
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.318
ErrorsMissing a Javadoc comment.318
ErrorsParameter literals should be final.318
ErrorsParameter coeffs should be final.318
ErrorsParameter degree should be final.319
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.336
ErrorsParameter literals should be final.337
ErrorsParameter weight should be final.337
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.357
ErrorsMissing a Javadoc comment.357
ErrorsParameter literals should be final.357
ErrorsParameter coeffs should be final.357
ErrorsParameter weight should be final.357
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.374
ErrorsMissing a Javadoc comment.374
ErrorsParameter literals should be final.374
ErrorsParameter coeffs should be final.374
ErrorsParameter weight should be final.375

org/sat4j/pb/ObjectiveFunction.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.53
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsParameter vars should be final.64
Errors'vars' hides a field.64
ErrorsParameter coeffs should be final.64
Errors'coeffs' hides a field.64
ErrorsLine has trailing spaces.71
ErrorsMethod 'calculateDegree' is not designed for extension - needs to be abstract, final or empty.77
ErrorsParameter lazyModel should be final.77
ErrorsLine has trailing spaces.97
ErrorsExpected an @return tag.104
ErrorsMethod 'calculateDegreeImplicant' is not designed for extension - needs to be abstract, final or empty.104
ErrorsParameter solver should be final.104
ErrorsMissing a Javadoc comment.120
ErrorsParameter var should be final.120
ErrorsParameter lazyModel should be final.120
ErrorsMethod 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.127
ErrorsMissing a Javadoc comment.127
ErrorsMethod 'getVars' is not designed for extension - needs to be abstract, final or empty.131
ErrorsMissing a Javadoc comment.131
ErrorsMethod 'setCorrection' is not designed for extension - needs to be abstract, final or empty.135
ErrorsMissing a Javadoc comment.135
ErrorsParameter correction should be final.135
Errors'correction' hides a field.135
ErrorsMethod 'getCorrection' is not designed for extension - needs to be abstract, final or empty.139
ErrorsMissing a Javadoc comment.139
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.143
ErrorsLine is longer than 80 characters.157
ErrorsAvoid inline conditionals.157
ErrorsMethod 'minValue' is not designed for extension - needs to be abstract, final or empty.162
ErrorsMissing a Javadoc comment.162
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.173
Errors'3' is a magic number.175
Errors'3' is a magic number.175
Errors'3' is a magic number.176
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.179
ErrorsParameter obj should be final.180

org/sat4j/pb/OptToPBSATAdapter.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.50
ErrorsMissing a Javadoc comment.54
ErrorsVariable 'problem' must be private and have accessor methods.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsParameter problem should be final.62
Errors'problem' hides a field.62
ErrorsMissing a Javadoc comment.66
ErrorsParameter problem should be final.66
Errors'problem' hides a field.66
ErrorsParameter sfl should be final.67
Errors'sfl' hides a field.67
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.78
ErrorsParameter global should be final.79
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.83
ErrorsParameter myAssumps should be final.84
ErrorsParameter global should be final.84
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.89
ErrorsParameter myAssumps should be final.90
Errors'1000.0' is a magic number.108
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.118
ErrorsLine has trailing spaces.126
ErrorsExpected an @return tag.131
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.131
ErrorsParameter out should be final.131
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.135
ErrorsParameter var should be final.136
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.140
ErrorsParameter prefix should be final.141
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146
ErrorsLine has trailing spaces.152
ErrorsExpected an @return tag.156
ErrorsMethod 'getCurrentObjectiveValue' is not designed for extension - needs to be abstract, final or empty.156
ErrorsLine has trailing spaces.166
ErrorsMethod 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty.169
ErrorsParameter seconds should be final.169
ErrorsExpected @param tag for 'seconds'.169
ErrorsMethod 'setSolutionFoundListener' is not designed for extension - needs to be abstract, final or empty.173
ErrorsMissing a Javadoc comment.173
ErrorsParameter sfl should be final.173
Errors'sfl' hides a field.173

org/sat4j/pb/PBSolverDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.50
ErrorsMissing a Javadoc comment.54
ErrorsParameter solver should be final.54
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMissing a Javadoc comment.58
ErrorsParameter lits should be final.58
ErrorsParameter coeffs should be final.58
ErrorsParameter moreThan should be final.59
ErrorsParameter d should be final.59
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMissing a Javadoc comment.63
ErrorsParameter obj should be final.63
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.67
ErrorsMissing a Javadoc comment.67
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.71
ErrorsMissing a Javadoc comment.71
ErrorsParameter literals should be final.71
ErrorsParameter coeffs should be final.71
ErrorsParameter degree should be final.71
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.76
ErrorsMissing a Javadoc comment.76
ErrorsParameter literals should be final.76
ErrorsParameter coeffs should be final.76
ErrorsParameter degree should be final.77
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsParameter literals should be final.81
ErrorsParameter coeffs should be final.81
ErrorsParameter degree should be final.81
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMissing a Javadoc comment.86
ErrorsParameter literals should be final.86
ErrorsParameter coeffs should be final.86
ErrorsParameter degree should be final.87
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsParameter literals should be final.91
ErrorsParameter coeffs should be final.91
ErrorsParameter weight should be final.91
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.96
ErrorsMissing a Javadoc comment.96
ErrorsParameter literals should be final.96
ErrorsParameter coeffs should be final.96
ErrorsParameter weight should be final.97

org/sat4j/pb/PseudoBitsAdderDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.50
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.58
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.65
ErrorsMissing a Javadoc comment.67
ErrorsParameter solver should be final.67
Errors'solver' hides a field.67
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsParameter objf should be final.73
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.82
ErrorsParameter assumps should be final.83
ErrorsMissing a Javadoc comment.141
ErrorsParameter args should be final.141
Errors'1000.0' is a magic number.177
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.181
ErrorsMissing a Javadoc comment.181
ErrorsParameter lits should be final.181
ErrorsParameter coeffs should be final.181
ErrorsParameter moreThan should be final.182
ErrorsParameter d should be final.182
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.186
ErrorsMissing a Javadoc comment.186
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.190
ErrorsMissing a Javadoc comment.190
ErrorsParameter literals should be final.190
ErrorsParameter coeffs should be final.190
ErrorsParameter degree should be final.190
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.195
ErrorsMissing a Javadoc comment.195
ErrorsParameter literals should be final.195
ErrorsParameter coeffs should be final.195
ErrorsParameter degree should be final.196
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsParameter literals should be final.200
ErrorsParameter coeffs should be final.200
ErrorsParameter degree should be final.200
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.205
ErrorsMissing a Javadoc comment.205
ErrorsParameter literals should be final.205
ErrorsParameter coeffs should be final.205
ErrorsParameter degree should be final.206
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMissing a Javadoc comment.210
ErrorsParameter literals should be final.210
ErrorsParameter coeffs should be final.210
ErrorsParameter weight should be final.210
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.215
ErrorsMissing a Javadoc comment.215
ErrorsParameter literals should be final.215
ErrorsParameter coeffs should be final.215
ErrorsParameter weight should be final.216

org/sat4j/pb/PseudoIteratorDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.46
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsMissing a Javadoc comment.50
ErrorsParameter solver should be final.50
ErrorsMethod 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty.54

org/sat4j/pb/PseudoOptDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.51
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsLine has trailing spaces.77
ErrorsParameter solver should be final.81
ErrorsLine has trailing spaces.87
ErrorsParameter solver should be final.95
ErrorsParameter nonOptimalMeansSatisfiable should be final.96
Errors'nonOptimalMeansSatisfiable' hides a field.96
ErrorsLine has trailing spaces.102
ErrorsParameter solver should be final.114
ErrorsParameter nonOptimalMeansSatisfiable should be final.115
Errors'nonOptimalMeansSatisfiable' hides a field.115
ErrorsParameter useAnImplicantForEvaluation should be final.116
Errors'useAnImplicantForEvaluation' hides a field.116
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.122
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.127
ErrorsParameter global should be final.128
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.132
ErrorsParameter assumps should be final.133
ErrorsParameter global should be final.133
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.159
ErrorsParameter assumps should be final.160
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.164
ErrorsParameter objf should be final.165
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.169
ErrorsMissing a Javadoc comment.169
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.173
ErrorsMissing a Javadoc comment.173
ErrorsParameter assumps should be final.173
ErrorsMissing a Javadoc comment.215
ErrorsAvoid inline conditionals.221
ErrorsMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.242
ErrorsMissing a Javadoc comment.242
ErrorsMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.246
ErrorsMissing a Javadoc comment.246
ErrorsMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.250
ErrorsMissing a Javadoc comment.250
ErrorsMethod 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty.265
ErrorsMissing a Javadoc comment.265
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.278
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.284
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.290
ErrorsParameter var should be final.291
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.295
ErrorsParameter prefix should be final.296
ErrorsLine is longer than 80 characters.300
ErrorsAvoid inline conditionals.300
ErrorsMethod 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty.304
ErrorsMissing a Javadoc comment.304
ErrorsMethod 'discard' is not designed for extension - needs to be abstract, final or empty.309
ErrorsMissing a Javadoc comment.309
ErrorsMethod 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.313
ErrorsMissing a Javadoc comment.313
ErrorsParameter forcedValue should be final.313
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.320
ErrorsMissing a Javadoc comment.320
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.324
ErrorsMethod 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty.329
ErrorsMissing a Javadoc comment.329
ErrorsParameter seconds should be final.329
ErrorsMethod 'setTimeout' is not designed for extension - needs to be abstract, final or empty.333
ErrorsParameter t should be final.334

org/sat4j/pb/SolverFactory.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine is longer than 80 characters.49
ErrorsLine is longer than 80 characters.50
ErrorsLine is longer than 80 characters.51
ErrorsLine is longer than 80 characters.52
ErrorsLine is longer than 80 characters.53
ErrorsLine is longer than 80 characters.54
ErrorsLine has trailing spaces.78
ErrorsLine has trailing spaces.85
ErrorsMissing a Javadoc comment.90
ErrorsLine has trailing spaces.94
ErrorsMissing a Javadoc comment.101
ErrorsLine has trailing spaces.109
ErrorsMissing a Javadoc comment.162
ErrorsMissing a Javadoc comment.167
ErrorsMissing a Javadoc comment.172
ErrorsMissing a Javadoc comment.177
ErrorsLine is longer than 80 characters.190
ErrorsLine is longer than 80 characters.191
ErrorsLine is longer than 80 characters.198
ErrorsMissing a Javadoc comment.198
ErrorsLine is longer than 80 characters.199
ErrorsMissing a Javadoc comment.206
ErrorsParameter phase should be final.206
ErrorsLine is longer than 80 characters.207
ErrorsMissing a Javadoc comment.214
ErrorsMissing a Javadoc comment.218
ErrorsMissing a Javadoc comment.222
ErrorsMissing a Javadoc comment.226
ErrorsParameter phase should be final.226
ErrorsLine is longer than 80 characters.227
ErrorsMissing a Javadoc comment.234
ErrorsMissing a Javadoc comment.238
ErrorsLine is longer than 80 characters.239
ErrorsMissing a Javadoc comment.242
ErrorsLine is longer than 80 characters.253
ErrorsLine is longer than 80 characters.255
ErrorsLine is longer than 80 characters.273
ErrorsMissing a Javadoc comment.282
ErrorsLine is longer than 80 characters.283
ErrorsLine is longer than 80 characters.292
ErrorsMissing a Javadoc comment.292
ErrorsLine is longer than 80 characters.293
ErrorsLine is longer than 80 characters.296
ErrorsMissing a Javadoc comment.296
ErrorsLine is longer than 80 characters.297
ErrorsLine is longer than 80 characters.300
ErrorsMissing a Javadoc comment.300
ErrorsLine is longer than 80 characters.301
ErrorsLine is longer than 80 characters.304
ErrorsMissing a Javadoc comment.304
ErrorsLine is longer than 80 characters.305
ErrorsLine is longer than 80 characters.308
ErrorsMissing a Javadoc comment.308
ErrorsLine is longer than 80 characters.309
ErrorsLine is longer than 80 characters.312
ErrorsMissing a Javadoc comment.312
ErrorsParameter dsf should be final.313
ErrorsLine is longer than 80 characters.314
ErrorsMissing a Javadoc comment.324
ErrorsLine is longer than 80 characters.325
ErrorsLine is longer than 80 characters.326
ErrorsLine is longer than 80 characters.335
ErrorsMissing a Javadoc comment.335
ErrorsLine is longer than 80 characters.336
ErrorsMissing a Javadoc comment.345
ErrorsLine is longer than 80 characters.346
ErrorsLine is longer than 80 characters.347
ErrorsLine is longer than 80 characters.356
ErrorsMissing a Javadoc comment.356
ErrorsLine is longer than 80 characters.362
ErrorsMissing a Javadoc comment.362
ErrorsLine is longer than 80 characters.368
ErrorsMissing a Javadoc comment.368
ErrorsLine is longer than 80 characters.369
ErrorsLine is longer than 80 characters.382
ErrorsParameter bound should be final.397
ErrorsExpected @param tag for 'bound'.397
ErrorsLine is longer than 80 characters.398
ErrorsMissing a Javadoc comment.407
ErrorsParameter bound should be final.418
ErrorsExpected @param tag for 'bound'.418
ErrorsLine is longer than 80 characters.419
ErrorsMissing a Javadoc comment.429
ErrorsLine is longer than 80 characters.440
ErrorsMissing a Javadoc comment.484
ErrorsParameter dsf should be final.484
ErrorsLine is longer than 80 characters.485
ErrorsLine is longer than 80 characters.525
ErrorsMissing a Javadoc comment.525
ErrorsParameter dsf should be final.525
ErrorsParameter order should be final.525
ErrorsLine is longer than 80 characters.526
ErrorsMissing a Javadoc comment.535
ErrorsParameter dsf should be final.535
ErrorsLine has trailing spaces.542
ErrorsLine has trailing spaces.552
Errors'100' is a magic number.557
ErrorsLine has trailing spaces.564
ErrorsLine has trailing spaces.574
ErrorsLine has trailing spaces.585
ErrorsLine has trailing spaces.594
Errors'100' is a magic number.599
ErrorsLine has trailing spaces.606
ErrorsLine has trailing spaces.621
ErrorsLine is longer than 80 characters.625
ErrorsLine has trailing spaces.638
ErrorsLine has trailing spaces.651
ErrorsLine has trailing spaces.666
ErrorsLine has trailing spaces.679
ErrorsLine is longer than 80 characters.683
ErrorsLine has trailing spaces.693
ErrorsLine is longer than 80 characters.697
ErrorsLine has trailing spaces.706
ErrorsLine has trailing spaces.708
ErrorsLine is longer than 80 characters.712
ErrorsLine has trailing spaces.720
ErrorsLine has trailing spaces.732
ErrorsLine is longer than 80 characters.739
ErrorsLine has trailing spaces.749
ErrorsLine has trailing spaces.761
ErrorsLine has trailing spaces.771
ErrorsMissing a Javadoc comment.785
ErrorsLine is longer than 80 characters.786
Errors'300' is a magic number.793

org/sat4j/pb/UserFriendlyPBStringSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.45
ErrorsType Javadoc comment is missing an @param <T> tag.48
ErrorsMissing a Javadoc comment.51
ErrorsLine has trailing spaces.54
ErrorsLine contains a tab character.54
ErrorsLine contains a tab character.55
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsParameter i should be final.80
ErrorsMissing a Javadoc comment.89
ErrorsLine has trailing spaces.92
ErrorsLine contains a tab character.92
ErrorsLine contains a tab character.93
ErrorsParameter initSize should be final.100
ErrorsExpected @param tag for 'initSize'.100
ErrorsMethod 'setMapping' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104
ErrorsParameter mapping should be final.104
Errors'mapping' hides a field.104
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMissing a Javadoc comment.108
ErrorsParameter lits should be final.108
ErrorsParameter coeffs should be final.108
ErrorsParameter moreThan should be final.109
ErrorsParameter d should be final.109
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.129
ErrorsMissing a Javadoc comment.129
ErrorsParameter obj should be final.129
Errors'obj' hides a field.129
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.133
ErrorsParameter literals should be final.134
ErrorsParameter degree should be final.134
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.149
ErrorsParameter literals should be final.150
ErrorsParameter degree should be final.150
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.165
ErrorsParameter literals should be final.166
ErrorsLine has trailing spaces.199
ErrorsMethod 'getExplanation' is not designed for extension - needs to be abstract, final or empty.202
ErrorsMissing a Javadoc comment.202
ErrorsLine has trailing spaces.209
ErrorsMissing a Javadoc comment.214
ErrorsParameter listOfVariables should be final.214
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.219
ErrorsMissing a Javadoc comment.240
ErrorsParameter obj2 should be final.240
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.261
ErrorsParameter prefix should be final.262
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.266
ErrorsParameter howmany should be final.267
ErrorsParameter nb should be final.277
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.280
ErrorsMissing a Javadoc comment.280
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.284
ErrorsMissing a Javadoc comment.284
ErrorsParameter literals should be final.284
ErrorsParameter coeffs should be final.284
ErrorsParameter degree should be final.284
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.297
ErrorsMissing a Javadoc comment.297
ErrorsParameter literals should be final.297
ErrorsParameter coeffs should be final.297
ErrorsParameter degree should be final.298
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.310
ErrorsMissing a Javadoc comment.310
ErrorsParameter literals should be final.310
ErrorsParameter coeffs should be final.310
ErrorsParameter degree should be final.310
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.323
ErrorsMissing a Javadoc comment.323
ErrorsParameter literals should be final.323
ErrorsParameter coeffs should be final.323
ErrorsParameter degree should be final.324
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.336
ErrorsMissing a Javadoc comment.336
ErrorsParameter literals should be final.336
ErrorsParameter coeffs should be final.336
ErrorsParameter weight should be final.336
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.349
ErrorsMissing a Javadoc comment.349
ErrorsParameter literals should be final.349
ErrorsParameter coeffs should be final.349
ErrorsParameter weight should be final.350

org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsLine has trailing spaces.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsParameter iclausec should be final.60
Errors'iclausec' hides a field.60
ErrorsParameter icardc should be final.61
Errors'icardc' hides a field.61
ErrorsParameter ipbc should be final.61
Errors'ipbc' hides a field.61
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.67
ErrorsParameter literals should be final.68
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.73
ErrorsParameter literals should be final.74
ErrorsLine has trailing spaces.80
ErrorsMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.85
ErrorsParameter literals should be final.86
ErrorsParameter coefs should be final.86
ErrorsParameter degree should be final.87
ErrorsLine has trailing spaces.108
ErrorsMethod 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.112
ErrorsParameter dspb should be final.113
ErrorsLine has trailing spaces.135
ErrorsMissing a Javadoc comment.139
ErrorsParameter literals should be final.139
ErrorsParameter coefs should be final.140
ErrorsParameter degree should be final.140
ErrorsParameter moreThan should be final.140
ErrorsMethod 'learntAtLeastConstraintFactory' is not designed for extension - needs to be abstract, final or empty.159
ErrorsParameter literals should be final.160
ErrorsParameter coefs should be final.161
ErrorsParameter degree should be final.161
ErrorsMethod 'learntAtMostConstraintFactory' is not designed for extension - needs to be abstract, final or empty.165
ErrorsParameter literals should be final.166
ErrorsParameter coefs should be final.167
ErrorsParameter degree should be final.167
ErrorsMissing a Javadoc comment.171
ErrorsParameter coefs should be final.171
ErrorsMethod 'constructClause' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsParameter v should be final.180
ErrorsMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.184
ErrorsMissing a Javadoc comment.184
ErrorsParameter theLits should be final.184
ErrorsParameter degree should be final.184
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.190
ErrorsMissing a Javadoc comment.190
ErrorsParameter theLits should be final.190
ErrorsParameter coefs should be final.190
ErrorsParameter degree should be final.191
ErrorsMethod 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.196
ErrorsMissing a Javadoc comment.196
ErrorsParameter literals should be final.196
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsParameter dspb should be final.200
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.204
ErrorsMissing a Javadoc comment.204
ErrorsParameter literals should be final.204
ErrorsParameter coefs should be final.205
ErrorsParameter degree should be final.205
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMissing a Javadoc comment.210
ErrorsParameter dspb should be final.210
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.214
ErrorsMissing a Javadoc comment.214
ErrorsParameter literals should be final.214
ErrorsParameter coefs should be final.215
ErrorsParameter degree should be final.215
ErrorsMissing a Javadoc comment.220
ErrorsParameter coefs should be final.220

org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.63
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.69
ErrorsParameter literals should be final.71
ErrorsParameter coefs should be final.71
ErrorsParameter moreThan should be final.72
ErrorsParameter degree should be final.72
ErrorsParameter voc should be final.72
ErrorsMissing a Javadoc comment.102
ErrorsParameter literals should be final.104
ErrorsParameter coefs should be final.104
ErrorsParameter moreThan should be final.105
ErrorsParameter degree should be final.105
ErrorsParameter voc should be final.105
ErrorsMissing a Javadoc comment.118
ErrorsMethod 'getNormalizer' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMissing a Javadoc comment.120
ErrorsMethod 'setNormalizer' is not designed for extension - needs to be abstract, final or empty.124
ErrorsMissing a Javadoc comment.124
ErrorsParameter simp should be final.124
ErrorsMethod 'setNormalizer' is not designed for extension - needs to be abstract, final or empty.135
ErrorsMissing a Javadoc comment.135
ErrorsParameter normalizer should be final.135
ErrorsLine has trailing spaces.140
ErrorsLine contains a tab character.140
ErrorsLine contains a tab character.141
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.144
ErrorsMissing a Javadoc comment.144
ErrorsParameter literals should be final.144
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsParameter literals should be final.160
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.170
ErrorsParameter literals should be final.171
ErrorsParameter degree should be final.171
ErrorsMethod 'createPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.177
ErrorsMissing a Javadoc comment.177
ErrorsParameter literals should be final.177
ErrorsParameter coefs should be final.178
ErrorsParameter moreThan should be final.178
ErrorsParameter degree should be final.178
ErrorsMethod 'createAtMostPBConstraint' is not designed for extension - needs to be abstract, final or empty.185
ErrorsMissing a Javadoc comment.185
ErrorsParameter literals should be final.185
ErrorsParameter coefs should be final.186
ErrorsParameter degree should be final.186
ErrorsMethod 'createAtLeastPBConstraint' is not designed for extension - needs to be abstract, final or empty.191
ErrorsMissing a Javadoc comment.191
ErrorsParameter literals should be final.191
ErrorsParameter coefs should be final.192
ErrorsParameter degree should be final.192
ErrorsMethod 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.197
ErrorsMissing a Javadoc comment.197
ErrorsParameter dspb should be final.198
ErrorsMethod 'createUnregisteredAtLeastConstraint' is not designed for extension - needs to be abstract, final or empty.202
ErrorsMissing a Javadoc comment.202
ErrorsParameter literals should be final.202
ErrorsParameter coefs should be final.203
ErrorsParameter degree should be final.203
ErrorsMethod 'createUnregisteredAtMostConstraint' is not designed for extension - needs to be abstract, final or empty.207
ErrorsMissing a Javadoc comment.207
ErrorsParameter literals should be final.207
ErrorsParameter coefs should be final.208
ErrorsParameter degree should be final.208
ErrorsMissing a Javadoc comment.212
ErrorsMissing a Javadoc comment.216
ErrorsMissing a Javadoc comment.218
ErrorsMissing a Javadoc comment.221
ErrorsMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.224
ErrorsMethod 'createUnregisteredCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.229
ErrorsParameter literals should be final.230
ErrorsParameter degree should be final.231

org/sat4j/pb/constraints/AtLeastCardConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter solver should be final.47
ErrorsParameter voc should be final.47
ErrorsParameter theLits should be final.48
ErrorsParameter degree should be final.48
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.52
ErrorsMissing a Javadoc comment.52
ErrorsParameter voc should be final.52
ErrorsParameter dspb should be final.52

org/sat4j/pb/constraints/AtLeastCardPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter solver should be final.47
ErrorsParameter voc should be final.47
ErrorsParameter theLits should be final.48
ErrorsParameter degree should be final.48
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.52
ErrorsMissing a Javadoc comment.52
ErrorsParameter voc should be final.52
ErrorsParameter dspb should be final.52

org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsLine contains a tab character.36
ErrorsLine contains a tab character.37
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsLine contains a tab character.36
ErrorsLine contains a tab character.37
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsLine contains a tab character.36
ErrorsLine contains a tab character.37
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsLine contains a tab character.36
ErrorsLine contains a tab character.37
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.37

org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.37

org/sat4j/pb/constraints/ICardConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.44

org/sat4j/pb/constraints/IClauseConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.37
ErrorsLine is longer than 80 characters.39
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.41

org/sat4j/pb/constraints/IPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44

org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter voc should be final.44
ErrorsParameter dspb should be final.44
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter solver should be final.51
ErrorsParameter voc should be final.51
ErrorsParameter theLits should be final.52
ErrorsParameter coefs should be final.52
ErrorsParameter degree should be final.52
ErrorsParameter sumCoefs should be final.53

org/sat4j/pb/constraints/MaxLongWatchPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter voc should be final.44
ErrorsParameter dspb should be final.44
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter solver should be final.51
ErrorsParameter voc should be final.51
ErrorsParameter theLits should be final.52
ErrorsParameter coefs should be final.52
ErrorsParameter degree should be final.52
ErrorsParameter sumCoefs should be final.53

org/sat4j/pb/constraints/MaxWatchPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.41
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMissing a Javadoc comment.43
ErrorsParameter voc should be final.43
ErrorsParameter dspb should be final.43
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter solver should be final.47
ErrorsParameter voc should be final.47
ErrorsParameter theLits should be final.48
ErrorsParameter coefs should be final.48
ErrorsParameter degree should be final.48
ErrorsParameter sumCoefs should be final.49

org/sat4j/pb/constraints/MinCardConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.46
ErrorsMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
ErrorsParameter solver should be final.48
ErrorsParameter voc should be final.48
ErrorsParameter theLits should be final.49
ErrorsParameter degree should be final.49
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.54
ErrorsMissing a Javadoc comment.54
ErrorsParameter voc should be final.54
ErrorsParameter dspb should be final.54
ErrorsLine is longer than 80 characters.58

org/sat4j/pb/constraints/MinCardPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.46
ErrorsMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
ErrorsParameter solver should be final.48
ErrorsParameter voc should be final.48
ErrorsParameter theLits should be final.49
ErrorsParameter degree should be final.49
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.54
ErrorsMissing a Javadoc comment.54
ErrorsParameter voc should be final.54
ErrorsParameter dspb should be final.54

org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter voc should be final.44
ErrorsParameter dspb should be final.44
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter solver should be final.51
ErrorsParameter voc should be final.51
ErrorsParameter theLits should be final.52
ErrorsParameter coefs should be final.52
ErrorsParameter degree should be final.52
ErrorsParameter sumCoefs should be final.53

org/sat4j/pb/constraints/MinLongWatchPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter voc should be final.44
ErrorsParameter dspb should be final.44
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter solver should be final.51
ErrorsParameter voc should be final.51
ErrorsParameter theLits should be final.52
ErrorsParameter coefs should be final.52
ErrorsParameter degree should be final.52
ErrorsParameter sumCoefs should be final.53

org/sat4j/pb/constraints/MinWatchPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.41
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMissing a Javadoc comment.43
ErrorsParameter voc should be final.43
ErrorsParameter dspb should be final.43
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter solver should be final.47
ErrorsParameter voc should be final.47
ErrorsParameter theLits should be final.48
ErrorsParameter coefs should be final.48
ErrorsParameter degree should be final.48
ErrorsParameter sumCoefs should be final.49

org/sat4j/pb/constraints/PBContainer.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.35
ErrorsVariable 'lits' must be private and have accessor methods.35
ErrorsMissing a Javadoc comment.36
ErrorsVariable 'coefs' must be private and have accessor methods.36
ErrorsMissing a Javadoc comment.37
ErrorsVariable 'degree' must be private and have accessor methods.37
ErrorsMissing a Javadoc comment.39
ErrorsParameter lits should be final.39
Errors'lits' hides a field.39
ErrorsParameter coefs should be final.39
Errors'coefs' hides a field.39
ErrorsParameter degree should be final.39
Errors'degree' hides a field.39

org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/PBMaxDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.50
ErrorsMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.60
ErrorsParameter literals should be final.61
ErrorsExpected @param tag for 'literals'.61
ErrorsParameter coefs should be final.61
ErrorsExpected @param tag for 'coefs'.61
ErrorsParameter degree should be final.62
ErrorsExpected @param tag for 'degree'.62
ErrorsExpected @throws tag for 'ContradictionException'.62
ErrorsMethod 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.77
ErrorsParameter dspb should be final.78
ErrorsExpected @param tag for 'dspb'.78
ErrorsLine has trailing spaces.84
ErrorsMissing a Javadoc comment.88
ErrorsParameter literals should be final.88
ErrorsParameter coefs should be final.89
ErrorsParameter degree should be final.89
ErrorsParameter moreThan should be final.89
ErrorsMethod 'learntAtLeastConstraintFactory' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter literals should be final.102
ErrorsParameter coefs should be final.103
ErrorsParameter degree should be final.103
ErrorsMethod 'learntAtMostConstraintFactory' is not designed for extension - needs to be abstract, final or empty.107
ErrorsParameter literals should be final.108
ErrorsParameter coefs should be final.109
ErrorsParameter degree should be final.109

org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/PBMinDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.50
ErrorsLine has trailing spaces.54
ErrorsMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.59
ErrorsParameter literals should be final.60
ErrorsParameter coefs should be final.60
ErrorsParameter degree should be final.61
ErrorsLine has trailing spaces.70
ErrorsMethod 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.74
ErrorsParameter dspb should be final.75
ErrorsLine has trailing spaces.81
ErrorsMissing a Javadoc comment.85
ErrorsParameter literals should be final.85
ErrorsParameter coefs should be final.86
ErrorsParameter degree should be final.86
ErrorsParameter moreThan should be final.86
ErrorsMethod 'learntAtLeastConstraintFactory' is not designed for extension - needs to be abstract, final or empty.98
ErrorsParameter literals should be final.99
ErrorsParameter coefs should be final.100
ErrorsParameter degree should be final.100
ErrorsMethod 'learntAtMostConstraintFactory' is not designed for extension - needs to be abstract, final or empty.104
ErrorsParameter literals should be final.105
ErrorsParameter coefs should be final.106
ErrorsParameter degree should be final.106

org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.41
ErrorsMethod 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.43
ErrorsMissing a Javadoc comment.43
ErrorsParameter voc should be final.43
ErrorsParameter dspb should be final.43
ErrorsMethod 'constructPB' is not designed for extension - needs to be abstract, final or empty.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter solver should be final.47
ErrorsParameter voc should be final.47
ErrorsParameter theLits should be final.48
ErrorsParameter coefs should be final.48
ErrorsParameter degree should be final.48
ErrorsParameter sumCoefs should be final.49

org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.40

org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.37
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.45
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.50
ErrorsParameter literals should be final.51

org/sat4j/pb/constraints/PuebloPBMinDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.50
ErrorsLine has trailing spaces.54
ErrorsMethod 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.59
ErrorsParameter literals should be final.60
ErrorsParameter coefs should be final.60
ErrorsParameter degree should be final.61
ErrorsMethod 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.66
ErrorsParameter dspb should be final.67
ErrorsLine has trailing spaces.73
ErrorsMissing a Javadoc comment.77
ErrorsParameter literals should be final.77
ErrorsParameter coefs should be final.78
ErrorsParameter degree should be final.78
ErrorsParameter moreThan should be final.78
ErrorsMethod 'learntAtLeastConstraintFactory' is not designed for extension - needs to be abstract, final or empty.90
ErrorsParameter literals should be final.91
ErrorsParameter coefs should be final.92
ErrorsParameter degree should be final.92
ErrorsMethod 'learntAtMostConstraintFactory' is not designed for extension - needs to be abstract, final or empty.96
ErrorsParameter literals should be final.97
ErrorsParameter coefs should be final.98
ErrorsParameter degree should be final.98

org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructClause' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter solver should be final.44
ErrorsParameter voc should be final.44
ErrorsParameter v should be final.45
ErrorsMethod 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsParameter voc should be final.59
ErrorsParameter literals should be final.59

org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructClause' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter solver should be final.44
ErrorsParameter voc should be final.44
ErrorsParameter v should be final.45
ErrorsMethod 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsParameter voc should be final.59
ErrorsParameter literals should be final.59

org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'constructClause' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter solver should be final.44
ErrorsParameter voc should be final.44
ErrorsParameter v should be final.45
ErrorsMethod 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsParameter voc should be final.59
ErrorsParameter literals should be final.59

org/sat4j/pb/constraints/pb/AtLeastPB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.40
ErrorsLine has trailing spaces.43
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsParameter voc should be final.49
ErrorsParameter ps should be final.49
ErrorsParameter degree should be final.49
Errors'degree' hides a field.49
ErrorsMissing a Javadoc comment.54
ErrorsParameter s should be final.54
ErrorsParameter voc should be final.54
ErrorsParameter ps should be final.55
ErrorsParameter n should be final.55
ErrorsMissing a Javadoc comment.63
ErrorsParameter voc should be final.63
ErrorsParameter ps should be final.63
ErrorsParameter n should be final.63
ErrorsMissing a Javadoc comment.69
ErrorsParameter literal should be final.69
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.81
ErrorsMissing a Javadoc comment.87
ErrorsLine has trailing spaces.96
ErrorsFirst sentence should end with a period.100
ErrorsLine has trailing spaces.102
ErrorsParameter s should be final.117
ErrorsMissing a Javadoc comment.126

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

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsVariable 'hasBeenReduced' must be private and have accessor methods.48
ErrorsMissing a Javadoc comment.49
ErrorsVariable 'numberOfReductions' must be private and have accessor methods.49
ErrorsFirst sentence should end with a period.51
ErrorsVariable 'currentSlack' must be private and have accessor methods.54
ErrorsMissing a Javadoc comment.56
ErrorsVariable 'currentLevel' must be private and have accessor methods.56
ErrorsVariable 'byLevel' must be private and have accessor methods.63
ErrorsFirst sentence should end with a period.65
ErrorsLine has trailing spaces.67
ErrorsParameter cpb should be final.74
ErrorsParameter level should be final.74
ErrorsMissing a Javadoc comment.78
ErrorsParameter cpb should be final.78
ErrorsParameter level should be final.78
ErrorsMissing a Javadoc comment.85
ErrorsLine is longer than 80 characters.96
ErrorsFirst sentence should end with a period.108
ErrorsLine has trailing spaces.110
ErrorsExpected an @return tag.114
ErrorsParameter level should be final.114
ErrorsExpected @param tag for 'level'.114
ErrorsFirst sentence should end with a period.118
ErrorsLine has trailing spaces.120
ErrorsExpected an @return tag.124
ErrorsParameter indLevel should be final.124
ErrorsExpected @param tag for 'indLevel'.124
ErrorsMissing a Javadoc comment.131
ErrorsVariable 'coefMult' must be private and have accessor methods.131
ErrorsMissing a Javadoc comment.133
ErrorsVariable 'coefMultCons' must be private and have accessor methods.133
ErrorsLine has trailing spaces.138
ErrorsMethod 'resolve' is not designed for extension - needs to be abstract, final or empty.145
ErrorsParameter cpb should be final.145
ErrorsParameter litImplied should be final.145
ErrorsParameter val should be final.146
ErrorsExpected @param tag for 'val'.146
ErrorsMethod 'reduceUntilConflict' is not designed for extension - needs to be abstract, final or empty.261
ErrorsMissing a Javadoc comment.261
ErrorsParameter litImplied should be final.261
ErrorsParameter ind should be final.261
ErrorsParameter reducedCoefs should be final.262
ErrorsParameter wpb should be final.262
ErrorsMissing a Javadoc comment.318
ErrorsParameter wpb should be final.318
ErrorsParameter theCoefs should be final.318
ErrorsFirst sentence should end with a period.330
ErrorsExpected an @return tag.333
ErrorsMethod 'slackConflict' is not designed for extension - needs to be abstract, final or empty.333
ErrorsMethod 'oldIsAssertive' is not designed for extension - needs to be abstract, final or empty.348
ErrorsMissing a Javadoc comment.348
ErrorsParameter dl should be final.348
ErrorsLine is longer than 80 characters.359
ErrorsMissing a Javadoc comment.368
ErrorsParameter dl should be final.368
ErrorsLine is longer than 80 characters.376
ErrorsFirst sentence should end with a period.383
ErrorsLine has trailing spaces.386
ErrorsMethod 'isAssertive' is not designed for extension - needs to be abstract, final or empty.391
ErrorsParameter dl should be final.391
ErrorsMissing a Javadoc comment.406
ErrorsParameter slack should be final.406
ErrorsLine is longer than 80 characters.411
ErrorsMissing a Javadoc comment.443
ErrorsParameter dl should be final.443
ErrorsParameter slack should be final.443
ErrorsFirst sentence should end with a period.456
ErrorsLine has trailing spaces.459
ErrorsParameter a should be final.466
ErrorsParameter b should be final.466
ErrorsLine has trailing spaces.474
ErrorsMethod 'reduceInConstraint' is not designed for extension - needs to be abstract, final or empty.487
ErrorsParameter wpb should be final.487
ErrorsMissing a Javadoc comment.532
ErrorsParameter coefs should be final.532
ErrorsParameter degree should be final.532
ErrorsParameter wpb should be final.533
ErrorsMissing a Javadoc comment.570
ErrorsLine has trailing spaces.582
ErrorsMethod 'getBacktrackLevel' is not designed for extension - needs to be abstract, final or empty.588
ErrorsParameter maxLevel should be final.588
ErrorsLine is longer than 80 characters.607
ErrorsLine is longer than 80 characters.610
ErrorsMethod 'oldGetBacktrackLevel' is not designed for extension - needs to be abstract, final or empty.623
ErrorsMissing a Javadoc comment.623
ErrorsParameter maxLevel should be final.623
ErrorsMethod 'updateSlack' is not designed for extension - needs to be abstract, final or empty.649
ErrorsMissing a Javadoc comment.649
ErrorsParameter level should be final.649
ErrorsMethod 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.664
ErrorsParameter lit should be final.665
ErrorsParameter incCoef should be final.665
ErrorsMethod 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.674
ErrorsParameter lit should be final.675
ErrorsParameter decCoef should be final.675
ErrorsMethod 'setCoef' is not designed for extension - needs to be abstract, final or empty.684
ErrorsParameter lit should be final.685
ErrorsParameter newValue should be final.685
ErrorsMethod 'changeCoef' is not designed for extension - needs to be abstract, final or empty.707
ErrorsParameter indLit should be final.708
ErrorsParameter newValue should be final.708
ErrorsMethod 'removeCoef' is not designed for extension - needs to be abstract, final or empty.725
ErrorsParameter lit should be final.726
ErrorsMissing a Javadoc comment.740
ErrorsParameter lit should be final.740
ErrorsMethod 'slackIsCorrect' is not designed for extension - needs to be abstract, final or empty.749
ErrorsMissing a Javadoc comment.749
ErrorsParameter dl should be final.749
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.753
ErrorsMethod 'hasBeenReduced' is not designed for extension - needs to be abstract, final or empty.772
ErrorsMissing a Javadoc comment.772
ErrorsMethod 'getNumberOfReductions' is not designed for extension - needs to be abstract, final or empty.776
ErrorsMissing a Javadoc comment.776

org/sat4j/pb/constraints/pb/ConflictMapCardinality.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.34
ErrorsParameter cpb should be final.34
ErrorsParameter level should be final.34

org/sat4j/pb/constraints/pb/ConflictMapClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsParameter cpb should be final.36
ErrorsParameter level should be final.36
ErrorsMissing a Javadoc comment.40
ErrorsParameter cpb should be final.40
ErrorsParameter level should be final.40
ErrorsLine has trailing spaces.47
ErrorsParameter litImplied should be final.55
ErrorsExpected @param tag for 'litImplied'.55
ErrorsParameter ind should be final.55
ErrorsExpected @param tag for 'ind'.55
ErrorsParameter reducedCoefs should be final.56
ErrorsExpected @param tag for 'reducedCoefs'.56
ErrorsParameter wpb should be final.56
ErrorsExpected @param tag for 'wpb'.56

org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsName 'UpperBound' must match pattern '^[a-z][a-zA-Z0-9]*$'.36
ErrorsVariable 'UpperBound' must be private and have accessor methods.36
ErrorsMissing a Javadoc comment.38
ErrorsParameter cpb should be final.38
ErrorsParameter level should be final.38
ErrorsMissing a Javadoc comment.42
ErrorsParameter cpb should be final.42
ErrorsParameter level should be final.42
ErrorsLine has trailing spaces.49
ErrorsParameter litImplied should be final.57
ErrorsExpected @param tag for 'litImplied'.57
ErrorsParameter ind should be final.57
ErrorsExpected @param tag for 'ind'.57
ErrorsParameter reducedCoefs should be final.58
ErrorsExpected @param tag for 'reducedCoefs'.58
ErrorsParameter wpb should be final.58
ErrorsExpected @param tag for 'wpb'.58
ErrorsMust have at least one statement.64
ErrorsMissing a Javadoc comment.85
ErrorsParameter ind should be final.85
ErrorsParameter wpb should be final.85
ErrorsParameter reducedCoefs should be final.86

org/sat4j/pb/constraints/pb/IConflict.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsLine contains a tab character.38
ErrorsLine is longer than 80 characters.39
ErrorsLine contains a tab character.39
ErrorsLine has trailing spaces.40
ErrorsLine contains a tab character.40
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.44
ErrorsLine contains a tab character.45
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsLine is longer than 80 characters.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.51
ErrorsMissing a Javadoc comment.51
ErrorsLine contains a tab character.53
ErrorsMissing a Javadoc comment.53
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.56
ErrorsLine contains a tab character.57
ErrorsLine has trailing spaces.58
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.59
ErrorsLine contains a tab character.60
ErrorsLine contains a tab character.61
ErrorsExpected @param tag for 'wpb'.61
ErrorsExpected @param tag for 'coefsBis'.61
ErrorsLine contains a tab character.62
ErrorsExpected @param tag for 'indLitImplied'.62
ErrorsExpected @param tag for 'degreeBis'.62
ErrorsFirst sentence should end with a period.64
ErrorsLine contains a tab character.64
ErrorsLine contains a tab character.65
ErrorsLine contains a tab character.66
ErrorsLine has trailing spaces.67
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsLine contains a tab character.69
ErrorsLine contains a tab character.70
ErrorsLine contains a tab character.71
ErrorsLine contains a tab character.72
ErrorsLine contains a tab character.73
ErrorsLine contains a tab character.75
ErrorsMissing a Javadoc comment.75
ErrorsLine contains a tab character.77
ErrorsMissing a Javadoc comment.77

org/sat4j/pb/constraints/pb/IDataStructurePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsLine contains a tab character.39
ErrorsMissing a Javadoc comment.39
ErrorsLine contains a tab character.41
ErrorsMissing a Javadoc comment.41
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.44
ErrorsMissing a Javadoc comment.44
ErrorsLine contains a tab character.45
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.48
ErrorsMissing a Javadoc comment.48
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.51
ErrorsMissing a Javadoc comment.51
ErrorsArray brackets at illegal position.51
ErrorsLine contains a tab character.52
ErrorsLine is longer than 80 characters.54
ErrorsLine contains a tab character.54
ErrorsMissing a Javadoc comment.54
ErrorsLine contains a tab character.56
ErrorsMissing a Javadoc comment.56
ErrorsLine contains a tab character.58
ErrorsMissing a Javadoc comment.58
ErrorsLine contains a tab character.60
ErrorsMissing a Javadoc comment.60
ErrorsLine contains a tab character.62
ErrorsMissing a Javadoc comment.62
ErrorsLine contains a tab character.64
ErrorsMissing a Javadoc comment.64
ErrorsLine contains a tab character.66
ErrorsMissing a Javadoc comment.66

org/sat4j/pb/constraints/pb/IWatchPb.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsLine contains a tab character.36
ErrorsMissing a Javadoc comment.36

org/sat4j/pb/constraints/pb/InternalMapPBStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.51
ErrorsParameter lits should be final.51
Errors'lits' hides a field.51
ErrorsParameter coefs should be final.51
Errors'coefs' hides a field.51
ErrorsMissing a Javadoc comment.56
ErrorsParameter size should be final.56
ErrorsMissing a Javadoc comment.63
ErrorsParameter cpb should be final.63
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter lit should be final.79
ErrorsMethod 'getFromAllLits' is not designed for extension - needs to be abstract, final or empty.84
ErrorsMissing a Javadoc comment.84
ErrorsParameter lit should be final.84
ErrorsMethod 'getLit' is not designed for extension - needs to be abstract, final or empty.88
ErrorsMissing a Javadoc comment.88
ErrorsParameter indLit should be final.88
ErrorsMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.93
ErrorsMissing a Javadoc comment.93
ErrorsParameter indLit should be final.93
ErrorsMethod 'containsKey' is not designed for extension - needs to be abstract, final or empty.98
ErrorsMissing a Javadoc comment.98
ErrorsParameter lit should be final.98
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.102
ErrorsMissing a Javadoc comment.102
ErrorsMethod 'put' is not designed for extension - needs to be abstract, final or empty.106
ErrorsMissing a Javadoc comment.106
ErrorsParameter lit should be final.106
ErrorsParameter newValue should be final.106
ErrorsMethod 'changeCoef' is not designed for extension - needs to be abstract, final or empty.117
ErrorsMissing a Javadoc comment.117
ErrorsParameter indLit should be final.117
ErrorsParameter newValue should be final.117
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.122
ErrorsMissing a Javadoc comment.122
ErrorsParameter lit should be final.122
ErrorsMethod 'copyCoefs' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMissing a Javadoc comment.133
ErrorsParameter dest should be final.133
ErrorsMethod 'copyCoefs' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMissing a Javadoc comment.137
ErrorsParameter dest should be final.137
ErrorsMethod 'copyLits' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsParameter dest should be final.141
ErrorsMethod 'copyLits' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMissing a Javadoc comment.145
ErrorsParameter dest should be final.145

org/sat4j/pb/constraints/pb/LearntBinaryClausePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.41
ErrorsParameter ps should be final.41
ErrorsParameter voc should be final.41
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.54
ErrorsParameter literal should be final.54
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.66

org/sat4j/pb/constraints/pb/LearntHTClausePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.43
ErrorsParameter ps should be final.43
ErrorsParameter voc should be final.43
ErrorsParameter s should be final.48
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.70
ErrorsParameter literal should be final.70
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.82

org/sat4j/pb/constraints/pb/MapPb.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.50
ErrorsVariable 'weightedLits' must be private and have accessor methods.50
ErrorsMissing a Javadoc comment.52
ErrorsVariable 'degree' must be private and have accessor methods.52
ErrorsMissing a Javadoc comment.54
ErrorsVariable 'assertiveLiteral' must be private and have accessor methods.54
ErrorsMissing a Javadoc comment.56
ErrorsParameter cpb should be final.56
ErrorsMissing a Javadoc comment.61
ErrorsParameter size should be final.61
ErrorsMissing a Javadoc comment.68
ErrorsParameter literals should be final.68
ErrorsParameter coefs should be final.68
ErrorsParameter degree should be final.68
Errors'degree' hides a field.68
ErrorsMethod 'isCardinality' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsMethod 'isLongSufficient' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsMethod 'getAssertiveLiteral' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsMethod 'saturation' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.118
ErrorsMissing a Javadoc comment.118
ErrorsParameter cpb should be final.118
ErrorsParameter deg should be final.118
ErrorsParameter reducedCoefs should be final.119
ErrorsParameter val should be final.119
ErrorsMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.123
ErrorsMissing a Javadoc comment.123
ErrorsParameter cpb should be final.123
ErrorsParameter degreeCons should be final.123
ErrorsParameter reducedCoefs should be final.124
ErrorsParameter coefMult should be final.124
ErrorsParameter val should be final.125
ErrorsMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146
ErrorsParameter lits should be final.146
ErrorsParameter reducedCoefs should be final.146
ErrorsParameter deg should be final.147
ErrorsMethod 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.151
ErrorsMissing a Javadoc comment.151
ErrorsParameter lits should be final.151
ErrorsArray brackets at illegal position.151
ErrorsParameter reducedCoefs should be final.151
ErrorsParameter degreeCons should be final.152
ErrorsParameter coefMult should be final.152
ErrorsMissing a Javadoc comment.163
ErrorsMethod 'buildConstraintFromConflict' is not designed for extension - needs to be abstract, final or empty.201
ErrorsMissing a Javadoc comment.201
ErrorsParameter resLits should be final.201
ErrorsParameter resCoefs should be final.202
ErrorsMethod 'buildConstraintFromMapPb' is not designed for extension - needs to be abstract, final or empty.209
ErrorsMissing a Javadoc comment.209
ErrorsParameter resLits should be final.209
ErrorsParameter resCoefs should be final.209
ErrorsMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.217
ErrorsMissing a Javadoc comment.217
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.221
ErrorsMissing a Javadoc comment.221
ErrorsLine has trailing spaces.227
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.230
ErrorsMissing a Javadoc comment.242
ErrorsParameter coef should be final.242
ErrorsParameter mult should be final.242
ErrorsMethod 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.249
ErrorsMissing a Javadoc comment.249
ErrorsParameter lit should be final.249
ErrorsParameter incCoef should be final.249
ErrorsMethod 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.253
ErrorsMissing a Javadoc comment.253
ErrorsParameter lit should be final.253
ErrorsParameter decCoef should be final.253
ErrorsMethod 'setCoef' is not designed for extension - needs to be abstract, final or empty.258
ErrorsMissing a Javadoc comment.258
ErrorsParameter lit should be final.258
ErrorsParameter newValue should be final.258
ErrorsMethod 'changeCoef' is not designed for extension - needs to be abstract, final or empty.262
ErrorsMissing a Javadoc comment.262
ErrorsParameter indLit should be final.262
ErrorsParameter newValue should be final.262
ErrorsMethod 'removeCoef' is not designed for extension - needs to be abstract, final or empty.266
ErrorsMissing a Javadoc comment.266
ErrorsParameter lit should be final.266

org/sat4j/pb/constraints/pb/MaxWatchPb.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.47
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsFirst sentence should end with a period.55
ErrorsMissing a Javadoc comment.60
ErrorsLine has trailing spaces.64
ErrorsLine has trailing spaces.66
ErrorsParameter voc should be final.74
ErrorsParameter mpb should be final.74
ErrorsLine has trailing spaces.94
ErrorsParameter voc should be final.105
ErrorsParameter lits should be final.105
ErrorsParameter coefs should be final.105
ErrorsParameter degree should be final.106
ErrorsParameter sumCoefs should be final.106
ErrorsExpected @param tag for 'sumCoefs'.106
ErrorsLine has trailing spaces.126
ErrorsExpected @throws tag for 'ContradictionException'.130
ErrorsLine has trailing spaces.153
ErrorsLine has trailing spaces.155
ErrorsParameter s should be final.159
ErrorsFirst sentence should end with a period.176
ErrorsLine has trailing spaces.178
ErrorsParameter s should be final.185
ErrorsParameter p should be final.185
ErrorsLine is longer than 80 characters.227
ErrorsFirst sentence should end with a period.243
ErrorsParameter upl should be final.246
ErrorsExpected @param tag for 'upl'.246
ErrorsFirst sentence should end with a period.254
ErrorsLine has trailing spaces.256
ErrorsParameter p should be final.260
ErrorsLine has trailing spaces.282
ErrorsParameter s should be final.296
ErrorsParameter voc should be final.297
ErrorsParameter lits should be final.297
ErrorsParameter coefs should be final.297
ErrorsParameter degree should be final.297
ErrorsParameter sumCoefs should be final.298
ErrorsExpected @param tag for 'sumCoefs'.298
ErrorsExpected @throws tag for 'ContradictionException'.298
ErrorsLine has trailing spaces.318
ErrorsUnused @param tag for 's'.319
ErrorsLine is longer than 80 characters.328
ErrorsParameter voc should be final.328
ErrorsExpected @param tag for 'voc'.328
ErrorsParameter mpb should be final.328

org/sat4j/pb/constraints/pb/MaxWatchPbLong.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.50
ErrorsFirst sentence should end with a period.52
ErrorsMissing a Javadoc comment.57
ErrorsLine has trailing spaces.61
ErrorsLine has trailing spaces.63
ErrorsParameter voc should be final.71
ErrorsParameter mpb should be final.71
ErrorsLine has trailing spaces.90
ErrorsParameter voc should be final.101
ErrorsParameter lits should be final.101
ErrorsParameter coefs should be final.101
ErrorsParameter degree should be final.102
ErrorsParameter sumCoefs should be final.102
ErrorsExpected @param tag for 'sumCoefs'.102
ErrorsLine has trailing spaces.121
ErrorsExpected @throws tag for 'ContradictionException'.125
ErrorsLine has trailing spaces.148
ErrorsLine has trailing spaces.150
ErrorsParameter s should be final.154
ErrorsFirst sentence should end with a period.170
ErrorsLine has trailing spaces.172
ErrorsParameter s should be final.180
ErrorsParameter p should be final.180
ErrorsFirst sentence should end with a period.237
ErrorsParameter upl should be final.241
ErrorsExpected @param tag for 'upl'.241
ErrorsFirst sentence should end with a period.249
ErrorsLine has trailing spaces.251
ErrorsParameter p should be final.256
ErrorsLine has trailing spaces.282
ErrorsParameter s should be final.297
ErrorsParameter voc should be final.297
ErrorsParameter lits should be final.297
ErrorsParameter coefs should be final.298
ErrorsParameter degree should be final.298
ErrorsParameter sumCoefs should be final.298
ErrorsExpected @param tag for 'sumCoefs'.298
ErrorsExpected @throws tag for 'ContradictionException'.299
ErrorsLine has trailing spaces.319
ErrorsUnused @param tag for 's'.320
ErrorsParameter voc should be final.329
ErrorsExpected @param tag for 'voc'.329
ErrorsParameter mpb should be final.330

org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.50
ErrorsFirst sentence should end with a period.52
ErrorsMissing a Javadoc comment.57
ErrorsLine has trailing spaces.61
ErrorsLine has trailing spaces.63
ErrorsParameter voc should be final.71
ErrorsParameter mpb should be final.71
ErrorsLine has trailing spaces.90
ErrorsParameter voc should be final.101
ErrorsParameter lits should be final.101
ErrorsParameter coefs should be final.101
ErrorsParameter degree should be final.102
ErrorsParameter sumCoefs should be final.102
ErrorsExpected @param tag for 'sumCoefs'.102
ErrorsLine has trailing spaces.121
ErrorsExpected @throws tag for 'ContradictionException'.125
ErrorsLine has trailing spaces.148
ErrorsLine has trailing spaces.150
ErrorsParameter s should be final.154
ErrorsFirst sentence should end with a period.170
ErrorsLine has trailing spaces.172
ErrorsParameter s should be final.179
ErrorsParameter p should be final.179
ErrorsFirst sentence should end with a period.236
ErrorsParameter upl should be final.239
ErrorsExpected @param tag for 'upl'.239
ErrorsFirst sentence should end with a period.248
ErrorsLine has trailing spaces.250
ErrorsParameter p should be final.254
ErrorsLine has trailing spaces.280
ErrorsParameter s should be final.295
ErrorsParameter voc should be final.295
ErrorsParameter lits should be final.295
ErrorsParameter coefs should be final.296
ErrorsParameter degree should be final.296
ErrorsParameter sumCoefs should be final.296
ErrorsExpected @param tag for 'sumCoefs'.296
ErrorsExpected @throws tag for 'ContradictionException'.297
ErrorsLine has trailing spaces.317
ErrorsUnused @param tag for 's'.318
ErrorsParameter voc should be final.327
ErrorsExpected @param tag for 'voc'.327
ErrorsParameter mpb should be final.328

org/sat4j/pb/constraints/pb/MinWatchCardPB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.40
ErrorsLine has trailing spaces.43
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsParameter voc should be final.49
ErrorsParameter ps should be final.49
ErrorsParameter moreThan should be final.49
ErrorsParameter degree should be final.49
ErrorsMissing a Javadoc comment.55
ErrorsParameter voc should be final.55
ErrorsParameter ps should be final.55
ErrorsParameter degree should be final.55
ErrorsLine has trailing spaces.62
ErrorsMissing a Javadoc comment.65
ErrorsParameter literal should be final.65
ErrorsLine has trailing spaces.71
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.78
ErrorsLine has trailing spaces.88
ErrorsParameter s should be final.101
ErrorsParameter voc should be final.101
ErrorsParameter ps should be final.101
ErrorsParameter degree should be final.101
ErrorsExpected @throws tag for 'ContradictionException'.102
ErrorsLine has trailing spaces.108
ErrorsParameter s should be final.122
ErrorsParameter voc should be final.123
ErrorsParameter ps should be final.123
ErrorsParameter moreThan should be final.123
ErrorsParameter degree should be final.123
ErrorsExpected @throws tag for 'ContradictionException'.124
ErrorsMissing a Javadoc comment.128
ErrorsParameter s should be final.128
ErrorsParameter voc should be final.129
ErrorsParameter ps should be final.129
ErrorsParameter moreThan should be final.129
ErrorsParameter degree should be final.129
ErrorsParameter normalized should be final.130
ErrorsLine has trailing spaces.164
ErrorsFirst sentence should end with a period.168
ErrorsLine has trailing spaces.170
ErrorsParameter s should be final.191
ErrorsMissing a Javadoc comment.200

org/sat4j/pb/constraints/pb/MinWatchPb.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsFirst sentence should end with a period.50
ErrorsVariable 'watchCumul' must be private and have accessor methods.53
ErrorsVariable 'watched' must be private and have accessor methods.58
ErrorsFirst sentence should end with a period.60
ErrorsVariable 'watching' must be private and have accessor methods.63
ErrorsLine has trailing spaces.67
ErrorsVariable 'watchingCount' must be private and have accessor methods.70
ErrorsLine has trailing spaces.74
ErrorsLine has trailing spaces.76
ErrorsParameter voc should be final.82
ErrorsParameter mpb should be final.82
ErrorsLine has trailing spaces.97
ErrorsParameter voc should be final.108
ErrorsParameter lits should be final.108
ErrorsParameter coefs should be final.108
ErrorsParameter degree should be final.109
ErrorsParameter sumCoefs should be final.109
ErrorsExpected @param tag for 'sumCoefs'.109
ErrorsLine has trailing spaces.124
ErrorsLine has trailing spaces.126
ErrorsMethod 'computeWatches' is not designed for extension - needs to be abstract, final or empty.129
ErrorsMissing a Javadoc comment.155
ErrorsLine is longer than 80 characters.161
ErrorsLine has trailing spaces.195
ErrorsLine has trailing spaces.197
ErrorsLine is longer than 80 characters.199
ErrorsMethod 'computePropagation' is not designed for extension - needs to be abstract, final or empty.202
ErrorsParameter s should be final.203
ErrorsLine has trailing spaces.222
ErrorsParameter s should be final.236
ErrorsParameter voc should be final.237
ErrorsParameter lits should be final.237
ErrorsParameter coefs should be final.237
ErrorsParameter degree should be final.237
ErrorsParameter sumCoefs should be final.238
ErrorsExpected @param tag for 'sumCoefs'.238
ErrorsExpected @throws tag for 'ContradictionException'.238
ErrorsLine has trailing spaces.258
ErrorsLine has trailing spaces.260
ErrorsMethod 'nbOfWatched' is not designed for extension - needs to be abstract, final or empty.263
ErrorsAvoid inline conditionals.271
ErrorsFirst sentence should end with a period.276
ErrorsLine has trailing spaces.278
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.285
ErrorsParameter s should be final.285
ErrorsParameter p should be final.285
ErrorsFirst sentence should end with a period.349
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.352
ErrorsParameter upl should be final.352
ErrorsExpected @param tag for 'upl'.352
ErrorsFirst sentence should end with a period.361
ErrorsLine has trailing spaces.363
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.367
ErrorsParameter p should be final.367
ErrorsLine has trailing spaces.389
ErrorsUnused @param tag for 's'.390
ErrorsLine is longer than 80 characters.399
ErrorsParameter voc should be final.399
ErrorsExpected @param tag for 'voc'.399
ErrorsParameter mpb should be final.399
ErrorsFirst sentence should end with a period.403
ErrorsLine has trailing spaces.405
ErrorsMethod 'maximalCoefficient' is not designed for extension - needs to be abstract, final or empty.411
ErrorsParameter pIndice should be final.411
ErrorsLine has trailing spaces.426
ErrorsLine has trailing spaces.429
ErrorsMethod 'updateWatched' is not designed for extension - needs to be abstract, final or empty.436
ErrorsParameter mc should be final.436
ErrorsParameter pIndice should be final.436
ErrorsLine is longer than 80 characters.454

org/sat4j/pb/constraints/pb/MinWatchPbLong.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsFirst sentence should end with a period.50
ErrorsVariable 'watchCumul' must be private and have accessor methods.53
ErrorsVariable 'watched' must be private and have accessor methods.58
ErrorsFirst sentence should end with a period.60
ErrorsVariable 'watching' must be private and have accessor methods.63
ErrorsLine has trailing spaces.67
ErrorsVariable 'watchingCount' must be private and have accessor methods.70
ErrorsLine has trailing spaces.74
ErrorsLine has trailing spaces.76
ErrorsParameter voc should be final.82
ErrorsParameter mpb should be final.82
ErrorsLine has trailing spaces.97
ErrorsParameter voc should be final.108
ErrorsParameter lits should be final.108
ErrorsParameter coefs should be final.108
ErrorsParameter degree should be final.109
ErrorsParameter sumCoefs should be final.109
ErrorsExpected @param tag for 'sumCoefs'.109
ErrorsLine has trailing spaces.124
ErrorsLine has trailing spaces.126
ErrorsMethod 'computeWatches' is not designed for extension - needs to be abstract, final or empty.129
ErrorsMissing a Javadoc comment.154
ErrorsLine has trailing spaces.193
ErrorsLine has trailing spaces.195
ErrorsLine is longer than 80 characters.197
ErrorsMethod 'computePropagation' is not designed for extension - needs to be abstract, final or empty.200
ErrorsParameter s should be final.201
ErrorsLine is longer than 80 characters.206
ErrorsLine has trailing spaces.219
ErrorsParameter s should be final.234
ErrorsParameter voc should be final.234
ErrorsParameter lits should be final.234
ErrorsParameter coefs should be final.235
ErrorsParameter degree should be final.235
ErrorsParameter sumCoefs should be final.235
ErrorsExpected @param tag for 'sumCoefs'.235
ErrorsExpected @throws tag for 'ContradictionException'.236
ErrorsLine has trailing spaces.256
ErrorsLine has trailing spaces.258
ErrorsMethod 'nbOfWatched' is not designed for extension - needs to be abstract, final or empty.261
ErrorsAvoid inline conditionals.269
ErrorsFirst sentence should end with a period.274
ErrorsLine has trailing spaces.276
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.283
ErrorsParameter s should be final.284
ErrorsParameter p should be final.284
ErrorsFirst sentence should end with a period.348
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.351
ErrorsParameter upl should be final.352
ErrorsExpected @param tag for 'upl'.352
ErrorsFirst sentence should end with a period.361
ErrorsLine has trailing spaces.363
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.367
ErrorsParameter p should be final.368
ErrorsLine has trailing spaces.390
ErrorsUnused @param tag for 's'.391
ErrorsParameter voc should be final.400
ErrorsExpected @param tag for 'voc'.400
ErrorsParameter mpb should be final.401
ErrorsFirst sentence should end with a period.405
ErrorsLine has trailing spaces.407
ErrorsMethod 'maximalCoefficient' is not designed for extension - needs to be abstract, final or empty.413
ErrorsParameter pIndice should be final.413
ErrorsLine has trailing spaces.428
ErrorsLine has trailing spaces.431
ErrorsMethod 'updateWatched' is not designed for extension - needs to be abstract, final or empty.438
ErrorsParameter mc should be final.438
ErrorsParameter pIndice should be final.438
ErrorsLine is longer than 80 characters.455

org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsFirst sentence should end with a period.53
ErrorsVariable 'watchCumul' must be private and have accessor methods.56
ErrorsVariable 'watched' must be private and have accessor methods.61
ErrorsFirst sentence should end with a period.63
ErrorsVariable 'watching' must be private and have accessor methods.66
ErrorsLine has trailing spaces.70
ErrorsVariable 'watchingCount' must be private and have accessor methods.73
ErrorsLine has trailing spaces.77
ErrorsLine has trailing spaces.79
ErrorsParameter voc should be final.85
ErrorsParameter mpb should be final.85
ErrorsLine has trailing spaces.100
ErrorsLine is longer than 80 characters.111
ErrorsParameter voc should be final.111
ErrorsParameter lits should be final.111
ErrorsParameter coefs should be final.111
ErrorsParameter degree should be final.112
ErrorsParameter sumCoefs should be final.112
ErrorsExpected @param tag for 'sumCoefs'.112
ErrorsLine has trailing spaces.127
ErrorsLine has trailing spaces.129
ErrorsMethod 'computeWatches' is not designed for extension - needs to be abstract, final or empty.132
ErrorsMissing a Javadoc comment.157
ErrorsLine has trailing spaces.196
ErrorsLine has trailing spaces.198
ErrorsLine is longer than 80 characters.200
ErrorsMethod 'computePropagation' is not designed for extension - needs to be abstract, final or empty.203
ErrorsParameter s should be final.204
ErrorsLine is longer than 80 characters.209
ErrorsLine has trailing spaces.222
ErrorsParameter s should be final.237
ErrorsParameter voc should be final.237
ErrorsParameter lits should be final.237
ErrorsParameter coefs should be final.238
ErrorsParameter degree should be final.238
ErrorsParameter sumCoefs should be final.238
ErrorsExpected @param tag for 'sumCoefs'.238
ErrorsExpected @throws tag for 'ContradictionException'.239
ErrorsLine has trailing spaces.259
ErrorsLine has trailing spaces.261
ErrorsMethod 'nbOfWatched' is not designed for extension - needs to be abstract, final or empty.264
ErrorsAvoid inline conditionals.272
ErrorsFirst sentence should end with a period.277
ErrorsLine has trailing spaces.279
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.286
ErrorsParameter s should be final.286
ErrorsParameter p should be final.286
ErrorsFirst sentence should end with a period.350
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.353
ErrorsParameter upl should be final.353
ErrorsExpected @param tag for 'upl'.353
ErrorsFirst sentence should end with a period.362
ErrorsLine has trailing spaces.364
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.368
ErrorsParameter p should be final.368
ErrorsLine has trailing spaces.390
ErrorsUnused @param tag for 's'.391
ErrorsParameter voc should be final.400
ErrorsExpected @param tag for 'voc'.400
ErrorsParameter mpb should be final.401
ErrorsFirst sentence should end with a period.405
ErrorsLine has trailing spaces.407
ErrorsMethod 'maximalCoefficient' is not designed for extension - needs to be abstract, final or empty.413
ErrorsParameter pIndice should be final.413
ErrorsLine has trailing spaces.428
ErrorsLine has trailing spaces.431
ErrorsMethod 'updateWatched' is not designed for extension - needs to be abstract, final or empty.438
ErrorsParameter mc should be final.438
ErrorsParameter pIndice should be final.438
ErrorsLine is longer than 80 characters.455

org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.42
ErrorsParameter ps should be final.42
ErrorsParameter voc should be final.42
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.56
ErrorsParameter literal should be final.56
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.68
ErrorsLine has trailing spaces.74
ErrorsParameter s should be final.85
ErrorsParameter voc should be final.85
ErrorsParameter literals should be final.85

org/sat4j/pb/constraints/pb/OriginalHTClausePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.42
ErrorsParameter ps should be final.42
ErrorsParameter voc should be final.42
ErrorsLine has trailing spaces.47
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.55
ErrorsParameter literal should be final.55
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.67
ErrorsLine has trailing spaces.74
ErrorsParameter s should be final.84
ErrorsParameter voc should be final.85
ErrorsParameter literals should be final.85

org/sat4j/pb/constraints/pb/PBConstr.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine contains a tab character.44
ErrorsMissing a Javadoc comment.44
ErrorsLine contains a tab character.46
ErrorsMissing a Javadoc comment.46
ErrorsLine contains a tab character.48
ErrorsMissing a Javadoc comment.48
ErrorsLine contains a tab character.50
ErrorsMissing a Javadoc comment.50
ErrorsLine contains a tab character.52
ErrorsMissing a Javadoc comment.52
ErrorsLine contains a tab character.54
ErrorsMissing a Javadoc comment.54

org/sat4j/pb/constraints/pb/Pseudos.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsUtility classes should not have a public or default constructor.44
ErrorsMissing a Javadoc comment.46
ErrorsParameter ps should be final.46
ErrorsParameter bigCoefs should be final.47
ErrorsParameter moreThan should be final.47
ErrorsParameter bigDeg should be final.47
ErrorsParameter voc should be final.48
ErrorsMissing a Javadoc comment.70
ErrorsParameter lits should be final.70
ErrorsParameter bc should be final.71
ErrorsParameter moreThan should be final.71
ErrorsParameter bigDeg should be final.71
ErrorsMissing a Javadoc comment.98
ErrorsParameter ps should be final.98
ErrorsParameter bigCoefs should be final.99
ErrorsParameter moreThan should be final.99
ErrorsParameter bigDeg should be final.99
ErrorsParameter voc should be final.100
ErrorsMissing a Javadoc comment.112
ErrorsParameter ps should be final.112
ErrorsParameter bigCoefs should be final.113
ErrorsParameter moreThan should be final.113
ErrorsParameter bigDeg should be final.113
ErrorsMissing a Javadoc comment.127
ErrorsParameter vec should be final.127
ErrorsMissing a Javadoc comment.135
ErrorsParameter i should be final.135
ErrorsLine is longer than 80 characters.139
ErrorsMissing a Javadoc comment.139
ErrorsParameter initial should be final.139

org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsFirst sentence should end with a period.42
ErrorsLine has trailing spaces.44
ErrorsUnused @param tag for 'ps'.47
ErrorsUnused @param tag for 'weightedLits'.49
ErrorsUnused @param tag for 'moreThan'.51
ErrorsParameter voc should be final.56
ErrorsParameter lits should be final.56
ErrorsExpected @param tag for 'lits'.56
ErrorsParameter coefs should be final.56
ErrorsExpected @param tag for 'coefs'.56
ErrorsParameter degree should be final.57
ErrorsParameter sumCoefs should be final.57
ErrorsExpected @param tag for 'sumCoefs'.57
ErrorsMissing a Javadoc comment.61
ErrorsParameter voc should be final.61
ErrorsParameter mpb should be final.61
ErrorsParameter s should be final.81
ErrorsParameter voc should be final.81
ErrorsParameter lits should be final.81
ErrorsParameter coefs should be final.82
ErrorsParameter degree should be final.82
ErrorsExpected @throws tag for 'ContradictionException'.83
ErrorsLine is longer than 80 characters.104
ErrorsMissing a Javadoc comment.104
ErrorsParameter voc should be final.104
ErrorsParameter mpb should be final.104
ErrorsParameter pIndice should be final.109
ErrorsParameter mc should be final.114
ErrorsParameter pIndice should be final.114
ErrorsLine is longer than 80 characters.122

org/sat4j/pb/constraints/pb/UnitClausePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsParameter value should be final.42
ErrorsParameter voc should be final.42
Errors'voc' hides a field.42
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.56
ErrorsParameter p should be final.56
ErrorsMissing a Javadoc comment.60
Errors'{' is followed by whitespace.61
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.68
Errors'{' is followed by whitespace.69
ErrorsMissing a Javadoc comment.72

org/sat4j/pb/constraints/pb/UnitClausesPB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.40
ErrorsParameter values should be final.40
ErrorsMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.44
ErrorsMissing a Javadoc comment.44
ErrorsParameter literal should be final.44
ErrorsMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.52
ErrorsMissing a Javadoc comment.52
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.56
ErrorsMissing a Javadoc comment.56
ErrorsMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMissing a Javadoc comment.60
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64

org/sat4j/pb/constraints/pb/WatchPb.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.50
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.55
ErrorsLine has trailing spaces.56
ErrorsLine contains a tab character.56
ErrorsLine contains a tab character.57
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.60
ErrorsMissing a Javadoc comment.60
ErrorsFirst sentence should end with a period.61
ErrorsLine contains a tab character.61
ErrorsLine contains a tab character.62
ErrorsLine contains a tab character.63
ErrorsLine contains a tab character.64
ErrorsVariable 'activity' must be private and have accessor methods.64
ErrorsFirst sentence should end with a period.66
ErrorsLine contains a tab character.66
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsLine contains a tab character.69
ErrorsVariable 'coefs' must be private and have accessor methods.69
ErrorsLine contains a tab character.71
ErrorsMissing a Javadoc comment.71
ErrorsVariable 'sumcoefs' must be private and have accessor methods.71
ErrorsFirst sentence should end with a period.73
ErrorsLine contains a tab character.73
ErrorsLine contains a tab character.74
ErrorsLine contains a tab character.75
ErrorsLine contains a tab character.76
ErrorsVariable 'degree' must be private and have accessor methods.76
ErrorsFirst sentence should end with a period.78
ErrorsLine contains a tab character.78
ErrorsLine contains a tab character.79
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsVariable 'lits' must be private and have accessor methods.81
ErrorsFirst sentence should end with a period.83
ErrorsLine contains a tab character.83
ErrorsLine contains a tab character.84
ErrorsLine contains a tab character.85
ErrorsLine contains a tab character.86
ErrorsVariable 'learnt' must be private and have accessor methods.86
ErrorsFirst sentence should end with a period.88
ErrorsLine contains a tab character.88
ErrorsLine contains a tab character.89
ErrorsLine contains a tab character.90
ErrorsLine contains a tab character.91
ErrorsVariable 'voc' must be private and have accessor methods.91
ErrorsLine contains a tab character.93
ErrorsLine contains a tab character.94
ErrorsLine contains a tab character.95
ErrorsLine contains a tab character.96
ErrorsLine contains a tab character.97
ErrorsLine contains a tab character.99
ErrorsLine contains a tab character.100
ErrorsParameter mpb should be final.100
ErrorsExpected @param tag for 'mpb'.100
ErrorsLine contains a tab character.101
ErrorsLine contains a tab character.102
ErrorsLine contains a tab character.103
ErrorsLine contains a tab character.104
ErrorsLine contains a tab character.106
ErrorsLine contains a tab character.107
ErrorsLine contains a tab character.108
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.110
ErrorsLine contains a tab character.111
ErrorsLine contains a tab character.112
ErrorsLine contains a tab character.113
ErrorsLine contains a tab character.114
ErrorsLine contains a tab character.116
ErrorsLine contains a tab character.117
ErrorsParameter lits should be final.117
Errors'lits' hides a field.117
ErrorsExpected @param tag for 'lits'.117
ErrorsParameter coefs should be final.117
Errors'coefs' hides a field.117
ErrorsExpected @param tag for 'coefs'.117
ErrorsParameter degree should be final.117
Errors'degree' hides a field.117
ErrorsExpected @param tag for 'degree'.117
ErrorsLine contains a tab character.118
ErrorsParameter sumCoefs should be final.118
ErrorsExpected @param tag for 'sumCoefs'.118
ErrorsLine contains a tab character.119
ErrorsLine contains a tab character.120
ErrorsLine contains a tab character.121
ErrorsLine contains a tab character.122
ErrorsLine contains a tab character.123
ErrorsLine contains a tab character.124
ErrorsLine contains a tab character.125
ErrorsFirst sentence should end with a period.127
ErrorsLine contains a tab character.127
ErrorsLine is longer than 80 characters.128
ErrorsLine contains a tab character.128
ErrorsLine contains a tab character.129
ErrorsLine has trailing spaces.130
ErrorsLine contains a tab character.130
ErrorsLine contains a tab character.131
ErrorsLine contains a tab character.132
ErrorsLine contains a tab character.133
ErrorsLine contains a tab character.134
ErrorsMethod 'isAssertive' is not designed for extension - needs to be abstract, final or empty.134
ErrorsParameter dl should be final.134
ErrorsExpected @param tag for 'dl'.134
ErrorsLine contains a tab character.135
ErrorsLine contains a tab character.136
ErrorsLine contains a tab character.137
ErrorsLine is longer than 80 characters.138
ErrorsLine contains a tab character.138
ErrorsLine is longer than 80 characters.139
ErrorsLine contains a tab character.139
ErrorsLine contains a tab character.140
ErrorsLine contains a tab character.141
ErrorsLine contains a tab character.142
ErrorsLine contains a tab character.143
ErrorsLine contains a tab character.144
ErrorsLine contains a tab character.145
ErrorsLine contains a tab character.146
ErrorsLine contains a tab character.147
ErrorsLine contains a tab character.148
ErrorsLine is longer than 80 characters.149
ErrorsLine contains a tab character.149
ErrorsLine is longer than 80 characters.150
ErrorsLine contains a tab character.150
ErrorsLine contains a tab character.151
ErrorsLine contains a tab character.152
ErrorsLine contains a tab character.153
ErrorsLine contains a tab character.154
ErrorsLine contains a tab character.155
ErrorsLine contains a tab character.156
ErrorsFirst sentence should end with a period.158
ErrorsLine contains a tab character.158
ErrorsLine contains a tab character.159
ErrorsLine has trailing spaces.160
ErrorsLine contains a tab character.160
ErrorsLine contains a tab character.161
ErrorsLine contains a tab character.162
ErrorsLine contains a tab character.163
ErrorsLine contains a tab character.164
ErrorsLine contains a tab character.165
ErrorsLine contains a tab character.166
ErrorsLine contains a tab character.167
ErrorsLine contains a tab character.168
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.168
ErrorsParameter p should be final.168
ErrorsParameter outReason should be final.168
ErrorsLine contains a tab character.169
ErrorsLine contains a tab character.170
ErrorsLine contains a tab character.171
ErrorsLine contains a tab character.172
ErrorsLine contains a tab character.173
ErrorsLine contains a tab character.174
ErrorsLine contains a tab character.175
ErrorsLine is longer than 80 characters.176
ErrorsLine contains a tab character.176
ErrorsLine contains a tab character.177
ErrorsLine contains a tab character.178
ErrorsLine contains a tab character.179
ErrorsLine contains a tab character.180
ErrorsLine contains a tab character.181
ErrorsLine contains a tab character.183
ErrorsMissing a Javadoc comment.183
ErrorsLine contains a tab character.185
ErrorsMissing a Javadoc comment.185
ErrorsLine contains a tab character.186
ErrorsFirst sentence should end with a period.188
ErrorsLine contains a tab character.188
ErrorsLine contains a tab character.189
ErrorsLine has trailing spaces.190
ErrorsLine contains a tab character.190
ErrorsLine contains a tab character.191
ErrorsLine contains a tab character.192
ErrorsLine contains a tab character.193
ErrorsLine contains a tab character.194
ErrorsLine contains a tab character.195
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.195
ErrorsParameter i should be final.195
ErrorsLine contains a tab character.196
ErrorsLine contains a tab character.197
ErrorsFirst sentence should end with a period.199
ErrorsLine contains a tab character.199
ErrorsLine contains a tab character.200
ErrorsLine has trailing spaces.201
ErrorsLine contains a tab character.201
ErrorsLine contains a tab character.202
ErrorsLine contains a tab character.203
ErrorsLine contains a tab character.204
ErrorsLine contains a tab character.205
ErrorsLine contains a tab character.206
ErrorsMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.206
ErrorsParameter i should be final.206
ErrorsLine contains a tab character.207
ErrorsLine contains a tab character.208
ErrorsFirst sentence should end with a period.210
ErrorsLine contains a tab character.210
ErrorsLine contains a tab character.211
ErrorsLine has trailing spaces.212
ErrorsLine contains a tab character.212
ErrorsLine contains a tab character.213
ErrorsLine contains a tab character.214
ErrorsLine contains a tab character.215
ErrorsLine contains a tab character.216
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.216
ErrorsLine contains a tab character.217
ErrorsLine contains a tab character.218
ErrorsFirst sentence should end with a period.220
ErrorsLine contains a tab character.220
ErrorsLine contains a tab character.221
ErrorsLine has trailing spaces.222
ErrorsLine contains a tab character.222
ErrorsLine contains a tab character.223
ErrorsLine contains a tab character.224
ErrorsLine contains a tab character.225
ErrorsMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.225
ErrorsParameter claInc should be final.225
ErrorsExpected @param tag for 'claInc'.225
ErrorsLine contains a tab character.226
ErrorsLine contains a tab character.227
ErrorsLine contains a tab character.228
ErrorsLine contains a tab character.229
ErrorsLine contains a tab character.231
ErrorsMethod 'setActivity' is not designed for extension - needs to be abstract, final or empty.231
ErrorsMissing a Javadoc comment.231
ErrorsParameter d should be final.231
ErrorsLine contains a tab character.232
ErrorsLine contains a tab character.233
ErrorsLine contains a tab character.234
ErrorsLine contains a tab character.235
ErrorsFirst sentence should end with a period.237
ErrorsLine contains a tab character.237
ErrorsLine is longer than 80 characters.238
ErrorsLine contains a tab character.238
ErrorsLine contains a tab character.239
ErrorsLine has trailing spaces.240
ErrorsLine contains a tab character.240
ErrorsLine contains a tab character.241
ErrorsLine contains a tab character.242
ErrorsLine contains a tab character.243
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.243
ErrorsLine contains a tab character.244
ErrorsLine contains a tab character.245
ErrorsFirst sentence should end with a period.247
ErrorsLine contains a tab character.247
ErrorsLine is longer than 80 characters.248
ErrorsLine contains a tab character.248
ErrorsLine contains a tab character.249
ErrorsLine has trailing spaces.250
ErrorsLine contains a tab character.250
ErrorsLine contains a tab character.251
ErrorsLine contains a tab character.252
ErrorsLine contains a tab character.253
ErrorsLine contains a tab character.254
ErrorsLine contains a tab character.255
ErrorsLine contains a tab character.256
ErrorsLine contains a tab character.257
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.257
ErrorsParameter theCoefs should be final.257
ErrorsLine contains a tab character.258
ErrorsParameter theDegree should be final.258
ErrorsLine contains a tab character.259
ErrorsLine contains a tab character.260
ErrorsFirst sentence should end with a period.262
ErrorsLine contains a tab character.262
ErrorsLine contains a tab character.263
ErrorsLine contains a tab character.264
ErrorsLine has trailing spaces.265
ErrorsLine contains a tab character.265
ErrorsLine contains a tab character.266
ErrorsUnused @param tag for 'coefs'.266
ErrorsLine contains a tab character.267
ErrorsLine contains a tab character.268
ErrorsLine contains a tab character.269
ErrorsLine contains a tab character.270
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.270
ErrorsParameter theCoefs should be final.270
ErrorsExpected @param tag for 'theCoefs'.270
ErrorsLine contains a tab character.271
ErrorsLine contains a tab character.272
ErrorsLine contains a tab character.273
ErrorsLine contains a tab character.274
ErrorsLine contains a tab character.275
ErrorsLine contains a tab character.276
ErrorsLine contains a tab character.277
ErrorsLine contains a tab character.278
ErrorsLine contains a tab character.279
ErrorsLine contains a tab character.280
ErrorsFirst sentence should end with a period.282
ErrorsLine contains a tab character.282
ErrorsLine contains a tab character.283
ErrorsLine contains a tab character.284
ErrorsLine has trailing spaces.285
ErrorsLine contains a tab character.285
ErrorsLine contains a tab character.286
ErrorsLine contains a tab character.287
ErrorsLine contains a tab character.288
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.288
ErrorsLine contains a tab character.289
ErrorsLine contains a tab character.290
ErrorsLine contains a tab character.292
ErrorsLine contains a tab character.293
ErrorsLine has trailing spaces.294
ErrorsLine contains a tab character.294
ErrorsLine contains a tab character.295
ErrorsLine has trailing spaces.296
ErrorsLine contains a tab character.296
ErrorsLine contains a tab character.297
ErrorsLine contains a tab character.298
ErrorsLine contains a tab character.299
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.299
ErrorsLine contains a tab character.300
ErrorsLine contains a tab character.301
ErrorsLine contains a tab character.303
ErrorsLine contains a tab character.304
ErrorsLine has trailing spaces.305
ErrorsLine contains a tab character.305
ErrorsLine contains a tab character.306
ErrorsLine contains a tab character.307
ErrorsLine contains a tab character.308
ErrorsLine contains a tab character.309
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.309
ErrorsLine contains a tab character.310
ErrorsLine contains a tab character.311
ErrorsLine contains a tab character.313
ErrorsLine contains a tab character.314
ErrorsLine has trailing spaces.315
ErrorsLine contains a tab character.315
ErrorsLine contains a tab character.316
ErrorsLine contains a tab character.317
ErrorsLine contains a tab character.318
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.318
ErrorsLine contains a tab character.319
ErrorsLine contains a tab character.320
ErrorsLine contains a tab character.321
ErrorsLine contains a tab character.322
ErrorsLine contains a tab character.323
ErrorsLine contains a tab character.324
ErrorsLine contains a tab character.325
ErrorsFirst sentence should end with a period.327
ErrorsLine contains a tab character.327
ErrorsLine contains a tab character.328
ErrorsLine contains a tab character.329
ErrorsLine has trailing spaces.330
ErrorsLine contains a tab character.330
ErrorsLine contains a tab character.331
ErrorsLine contains a tab character.332
ErrorsLine contains a tab character.333
ErrorsLine contains a tab character.334
ErrorsLine contains a tab character.335
ErrorsLine contains a tab character.336
ErrorsLine contains a tab character.337
ErrorsParameter a should be final.337
ErrorsParameter b should be final.337
ErrorsLine contains a tab character.338
ErrorsLine contains a tab character.339
ErrorsFirst sentence should end with a period.341
ErrorsLine contains a tab character.341
ErrorsLine contains a tab character.342
ErrorsLine has trailing spaces.343
ErrorsLine contains a tab character.343
ErrorsLine contains a tab character.344
ErrorsLine contains a tab character.345
ErrorsLine contains a tab character.346
ErrorsLine contains a tab character.347
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.347
ErrorsParameter d should be final.347
ErrorsLine contains a tab character.348
ErrorsLine contains a tab character.349
ErrorsLine contains a tab character.351
ErrorsMethod 'selectionSort' is not designed for extension - needs to be abstract, final or empty.351
ErrorsMissing a Javadoc comment.351
ErrorsParameter from should be final.351
ErrorsParameter to should be final.351
ErrorsLine contains a tab character.352
ErrorsLine contains a tab character.353
ErrorsLine contains a tab character.354
ErrorsLine contains a tab character.356
ErrorsLine contains a tab character.357
ErrorsLine contains a tab character.358
ErrorsLine is longer than 80 characters.359
ErrorsLine contains a tab character.359
ErrorsLine is longer than 80 characters.360
ErrorsLine contains a tab character.360
ErrorsLine is longer than 80 characters.361
ErrorsLine contains a tab character.361
ErrorsLine contains a tab character.362
ErrorsLine contains a tab character.363
ErrorsLine contains a tab character.364
ErrorsLine contains a tab character.365
ErrorsLine contains a tab character.366
ErrorsLine contains a tab character.367
ErrorsLine contains a tab character.368
ErrorsLine contains a tab character.369
ErrorsLine contains a tab character.370
ErrorsLine contains a tab character.371
ErrorsLine contains a tab character.372
ErrorsFirst sentence should end with a period.374
ErrorsLine contains a tab character.374
ErrorsLine contains a tab character.375
ErrorsLine contains a tab character.376
ErrorsLine contains a tab character.377
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.377
ErrorsLine contains a tab character.378
ErrorsLine contains a tab character.379
ErrorsFirst sentence should end with a period.381
ErrorsLine contains a tab character.381
ErrorsLine contains a tab character.382
ErrorsLine has trailing spaces.383
ErrorsLine contains a tab character.383
ErrorsLine contains a tab character.384
ErrorsLine contains a tab character.385
ErrorsLine contains a tab character.386
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.386
ErrorsLine contains a tab character.387
ErrorsLine contains a tab character.389
ErrorsLine is longer than 80 characters.390
ErrorsLine contains a tab character.390
ErrorsLine contains a tab character.391
ErrorsLine contains a tab character.392
ErrorsLine contains a tab character.393
ErrorsLine contains a tab character.394
ErrorsLine contains a tab character.395
ErrorsLine contains a tab character.396
ErrorsLine contains a tab character.398
ErrorsLine contains a tab character.399
ErrorsLine contains a tab character.401
ErrorsMissing a Javadoc comment.401
ErrorsLine contains a tab character.402
ErrorsLine contains a tab character.403
ErrorsFirst sentence should end with a period.405
ErrorsLine contains a tab character.405
ErrorsLine contains a tab character.406
ErrorsLine contains a tab character.407
ErrorsLine contains a tab character.408
ErrorsLine contains a tab character.409
ErrorsLine contains a tab character.410
ErrorsLine contains a tab character.411
ErrorsLine contains a tab character.412
ErrorsLine contains a tab character.413
ErrorsLine contains a tab character.414
ErrorsLine contains a tab character.415
ErrorsLine contains a tab character.416
ErrorsLine contains a tab character.418
ErrorsLine contains a tab character.419
ErrorsFirst sentence should end with a period.421
ErrorsLine contains a tab character.421
ErrorsLine contains a tab character.422
ErrorsLine has trailing spaces.423
ErrorsLine contains a tab character.423
ErrorsLine contains a tab character.424
ErrorsLine contains a tab character.425
ErrorsLine contains a tab character.426
ErrorsLine contains a tab character.427
ErrorsLine contains a tab character.428
ErrorsLine contains a tab character.429
ErrorsParameter from should be final.429
ErrorsParameter to should be final.429
ErrorsLine contains a tab character.430
ErrorsLine contains a tab character.431
ErrorsLine contains a tab character.432
ErrorsLine contains a tab character.433
ErrorsLine contains a tab character.434
ErrorsLine contains a tab character.435
ErrorsLine contains a tab character.436
ErrorsLine contains a tab character.437
ErrorsLine contains a tab character.438
ErrorsLine contains a tab character.439
ErrorsLine contains a tab character.440
ErrorsLine contains a tab character.442
ErrorsLine contains a tab character.443
ErrorsLine contains a tab character.444
ErrorsLine contains a tab character.445
ErrorsLine contains a tab character.446
ErrorsLine contains a tab character.447
ErrorsLine contains a tab character.448
ErrorsLine contains a tab character.449
ErrorsLine contains a tab character.450
ErrorsLine contains a tab character.451
ErrorsLine contains a tab character.452
ErrorsLine contains a tab character.454
ErrorsLine contains a tab character.455
ErrorsLine contains a tab character.456
ErrorsLine contains a tab character.458
ErrorsLine contains a tab character.459
ErrorsLine contains a tab character.460
ErrorsLine contains a tab character.461
ErrorsLine contains a tab character.462
ErrorsLine contains a tab character.463
ErrorsLine contains a tab character.464
ErrorsLine contains a tab character.466
ErrorsLine contains a tab character.467
ErrorsLine contains a tab character.468
ErrorsLine contains a tab character.470
ErrorsLine contains a tab character.472
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.472
ErrorsLine contains a tab character.473
ErrorsLine contains a tab character.474
ErrorsLine contains a tab character.476
ErrorsLine contains a tab character.477
ErrorsLine contains a tab character.478
ErrorsLine contains a tab character.479
ErrorsLine contains a tab character.480
ErrorsLine contains a tab character.481
ErrorsLine contains a tab character.482
ErrorsLine is longer than 80 characters.483
ErrorsLine contains a tab character.483
ErrorsLine contains a tab character.484
ErrorsLine contains a tab character.485
ErrorsLine contains a tab character.486
ErrorsLine contains a tab character.487
ErrorsLine contains a tab character.488
ErrorsLine contains a tab character.489
ErrorsLine contains a tab character.490
ErrorsLine contains a tab character.491
ErrorsLine contains a tab character.492
ErrorsLine contains a tab character.493
ErrorsLine contains a tab character.495
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.495
ErrorsMissing a Javadoc comment.495
ErrorsParameter s should be final.495
ErrorsLine contains a tab character.496
ErrorsLine contains a tab character.497
ErrorsLine contains a tab character.498
ErrorsLine contains a tab character.499
ErrorsLine contains a tab character.500
ErrorsLine contains a tab character.501
ErrorsLine contains a tab character.502
ErrorsLine contains a tab character.503
ErrorsLine contains a tab character.504
ErrorsLine contains a tab character.506
ErrorsMethod 'assertConstraintIfNeeded' is not designed for extension - needs to be abstract, final or empty.506
ErrorsMissing a Javadoc comment.506
ErrorsParameter s should be final.506
ErrorsLine contains a tab character.507
ErrorsLine contains a tab character.508
ErrorsLine contains a tab character.510
ErrorsLine contains a tab character.511
ErrorsLine contains a tab character.512
ErrorsLine contains a tab character.513
ErrorsMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.513
ErrorsLine contains a tab character.514
ErrorsLine contains a tab character.515
ErrorsLine contains a tab character.517
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.517
ErrorsMissing a Javadoc comment.517
ErrorsLine contains a tab character.518
ErrorsLine contains a tab character.519
ErrorsLine contains a tab character.520
ErrorsLine contains a tab character.521
ErrorsLine contains a tab character.522
ErrorsLine contains a tab character.523
ErrorsLine contains a tab character.524
ErrorsLine contains a tab character.525
ErrorsLine contains a tab character.527
ErrorsLine contains a tab character.528
ErrorsLine has trailing spaces.529
ErrorsLine contains a tab character.529
ErrorsLine contains a tab character.530
ErrorsLine contains a tab character.531
ErrorsLine contains a tab character.532
ErrorsMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.532
ErrorsLine contains a tab character.533
ErrorsLine contains a tab character.534
ErrorsLine contains a tab character.535
ErrorsLine contains a tab character.536
ErrorsLine contains a tab character.538
ErrorsLine contains a tab character.539
ErrorsLine has trailing spaces.540
ErrorsLine contains a tab character.540
ErrorsLine contains a tab character.541
ErrorsLine contains a tab character.542
ErrorsLine contains a tab character.543
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.543
ErrorsLine contains a tab character.544
ErrorsLine contains a tab character.545
ErrorsLine contains a tab character.546
ErrorsLine contains a tab character.547
ErrorsLine contains a tab character.549
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.549
ErrorsMissing a Javadoc comment.549
ErrorsLine contains a tab character.550
ErrorsLine contains a tab character.551
ErrorsLine contains a tab character.553
ErrorsLine is longer than 80 characters.554
ErrorsLine contains a tab character.554
ErrorsLine has trailing spaces.555
ErrorsLine contains a tab character.555
ErrorsLine contains a tab character.556
ErrorsLine contains a tab character.557
ErrorsLine contains a tab character.558
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.558
ErrorsLine contains a tab character.559
ErrorsLine contains a tab character.560
ErrorsLine contains a tab character.561
ErrorsLine contains a tab character.562
ErrorsLine contains a tab character.563
ErrorsLine contains a tab character.564
ErrorsLine contains a tab character.565
ErrorsLine contains a tab character.566
ErrorsLine contains a tab character.567
ErrorsLine contains a tab character.568
ErrorsLine contains a tab character.569
ErrorsLine contains a tab character.570
ErrorsLine contains a tab character.571
ErrorsLine contains a tab character.572
ErrorsLine contains a tab character.574
ErrorsMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.574
ErrorsMissing a Javadoc comment.574
ErrorsLine contains a tab character.575
ErrorsLine contains a tab character.576
ErrorsLine contains a tab character.578
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.578
ErrorsLine contains a tab character.579
ErrorsParameter pb should be final.579
ErrorsLine contains a tab character.580
ErrorsLine contains a tab character.581
ErrorsLine contains a tab character.582
ErrorsLine is longer than 80 characters.583
ErrorsLine contains a tab character.583
ErrorsLine contains a tab character.584
ErrorsLine contains a tab character.585
ErrorsLine contains a tab character.586
ErrorsLine contains a tab character.587
ErrorsLine contains a tab character.589
ErrorsLine contains a tab character.590
ErrorsLine contains a tab character.591
ErrorsLine is longer than 80 characters.592
ErrorsLine contains a tab character.592
ErrorsLine contains a tab character.593
ErrorsLine contains a tab character.594
ErrorsLine contains a tab character.595
ErrorsLine contains a tab character.596
ErrorsLine contains a tab character.597
ErrorsLine contains a tab character.598
ErrorsLine contains a tab character.599
ErrorsLine is longer than 80 characters.600
ErrorsLine contains a tab character.600
ErrorsLine contains a tab character.601
ErrorsLine is longer than 80 characters.602
ErrorsLine contains a tab character.602
ErrorsLine contains a tab character.603
ErrorsLine contains a tab character.604
ErrorsLine contains a tab character.606
ErrorsLine contains a tab character.607
ErrorsLine contains a tab character.609
ErrorsLine contains a tab character.610
ErrorsLine contains a tab character.611
ErrorsLine contains a tab character.612
ErrorsLine contains a tab character.613
ErrorsLine contains a tab character.614
ErrorsLine contains a tab character.615
ErrorsLine contains a tab character.616
ErrorsLine contains a tab character.617
ErrorsLine contains a tab character.618
ErrorsLine contains a tab character.619
ErrorsLine contains a tab character.621
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.621
ErrorsLine contains a tab character.622
ErrorsLine contains a tab character.623
ErrorsLine contains a tab character.624
ErrorsLine contains a tab character.625
ErrorsLine contains a tab character.626
ErrorsLine contains a tab character.627
ErrorsLine contains a tab character.628
ErrorsLine contains a tab character.630
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.630
ErrorsMissing a Javadoc comment.630
ErrorsParameter claInc should be final.630
ErrorsLine contains a tab character.631
ErrorsLine contains a tab character.632
ErrorsLine contains a tab character.633
ErrorsLine contains a tab character.634
ErrorsLine contains a tab character.636
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.636
ErrorsMissing a Javadoc comment.636
ErrorsLine contains a tab character.637
ErrorsLine contains a tab character.638
ErrorsLine contains a tab character.640
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.640
ErrorsMissing a Javadoc comment.640
ErrorsLine contains a tab character.641
ErrorsLine contains a tab character.642
ErrorsLine is longer than 80 characters.644
ErrorsLine contains a tab character.644
ErrorsMethod 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.644
ErrorsMissing a Javadoc comment.644
ErrorsParameter p should be final.644
ErrorsParameter trail should be final.644
ErrorsParameter outReason should be final.644
ErrorsLine contains a tab character.645
ErrorsLine contains a tab character.646
ErrorsLine contains a tab character.647
ErrorsLine contains a tab character.648
ErrorsLine contains a tab character.649
ErrorsLine contains a tab character.650
ErrorsLine contains a tab character.651
ErrorsLine contains a tab character.652
ErrorsLine contains a tab character.653
ErrorsLine is longer than 80 characters.654
ErrorsLine contains a tab character.654
ErrorsLine is longer than 80 characters.655
ErrorsLine contains a tab character.655
ErrorsLine contains a tab character.656
ErrorsLine contains a tab character.657
ErrorsLine contains a tab character.658
ErrorsLine contains a tab character.659
ErrorsLine contains a tab character.660

org/sat4j/pb/constraints/pb/WatchPbLong.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.49
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.52
ErrorsLine has trailing spaces.53
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.54
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.57
ErrorsMissing a Javadoc comment.57
ErrorsFirst sentence should end with a period.58
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.59
ErrorsLine contains a tab character.60
ErrorsLine contains a tab character.61
ErrorsVariable 'activity' must be private and have accessor methods.61
ErrorsFirst sentence should end with a period.63
ErrorsLine contains a tab character.63
ErrorsLine contains a tab character.64
ErrorsLine contains a tab character.65
ErrorsLine contains a tab character.66
ErrorsVariable 'coefs' must be private and have accessor methods.66
ErrorsLine contains a tab character.68
ErrorsMissing a Javadoc comment.68
ErrorsVariable 'sumcoefs' must be private and have accessor methods.68
ErrorsFirst sentence should end with a period.70
ErrorsLine contains a tab character.70
ErrorsLine contains a tab character.71
ErrorsLine contains a tab character.72
ErrorsLine contains a tab character.73
ErrorsVariable 'degree' must be private and have accessor methods.73
ErrorsFirst sentence should end with a period.75
ErrorsLine contains a tab character.75
ErrorsLine contains a tab character.76
ErrorsLine contains a tab character.77
ErrorsLine contains a tab character.78
ErrorsVariable 'lits' must be private and have accessor methods.78
ErrorsFirst sentence should end with a period.80
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsLine contains a tab character.82
ErrorsLine contains a tab character.83
ErrorsVariable 'learnt' must be private and have accessor methods.83
ErrorsFirst sentence should end with a period.85
ErrorsLine contains a tab character.85
ErrorsLine contains a tab character.86
ErrorsLine contains a tab character.87
ErrorsLine contains a tab character.88
ErrorsVariable 'voc' must be private and have accessor methods.88
ErrorsLine contains a tab character.90
ErrorsLine contains a tab character.91
ErrorsLine contains a tab character.92
ErrorsLine contains a tab character.93
ErrorsLine contains a tab character.94
ErrorsLine contains a tab character.96
ErrorsLine contains a tab character.97
ErrorsParameter mpb should be final.97
ErrorsExpected @param tag for 'mpb'.97
ErrorsLine contains a tab character.98
ErrorsLine contains a tab character.99
ErrorsLine contains a tab character.100
ErrorsLine contains a tab character.101
ErrorsLine contains a tab character.102
ErrorsLine contains a tab character.104
ErrorsLine contains a tab character.105
ErrorsLine contains a tab character.106
ErrorsLine contains a tab character.107
ErrorsLine contains a tab character.108
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.110
ErrorsLine contains a tab character.111
ErrorsLine contains a tab character.112
ErrorsLine contains a tab character.114
ErrorsLine contains a tab character.115
ErrorsParameter lits should be final.115
Errors'lits' hides a field.115
ErrorsExpected @param tag for 'lits'.115
ErrorsParameter coefs should be final.115
Errors'coefs' hides a field.115
ErrorsExpected @param tag for 'coefs'.115
ErrorsParameter degree should be final.115
Errors'degree' hides a field.115
ErrorsExpected @param tag for 'degree'.115
ErrorsLine contains a tab character.116
ErrorsParameter sumCoefs should be final.116
ErrorsExpected @param tag for 'sumCoefs'.116
ErrorsLine contains a tab character.117
ErrorsLine contains a tab character.118
ErrorsLine contains a tab character.119
ErrorsLine contains a tab character.120
ErrorsLine contains a tab character.121
ErrorsLine contains a tab character.122
ErrorsLine contains a tab character.123
ErrorsLine contains a tab character.125
ErrorsMissing a Javadoc comment.125
ErrorsParameter bigValues should be final.125
ErrorsLine contains a tab character.126
ErrorsLine contains a tab character.127
ErrorsLine contains a tab character.128
ErrorsLine contains a tab character.129
ErrorsLine contains a tab character.130
ErrorsLine contains a tab character.131
ErrorsFirst sentence should end with a period.133
ErrorsLine contains a tab character.133
ErrorsLine is longer than 80 characters.134
ErrorsLine contains a tab character.134
ErrorsLine contains a tab character.135
ErrorsLine has trailing spaces.136
ErrorsLine contains a tab character.136
ErrorsLine contains a tab character.137
ErrorsLine contains a tab character.138
ErrorsLine contains a tab character.139
ErrorsLine contains a tab character.140
ErrorsMethod 'isAssertive' is not designed for extension - needs to be abstract, final or empty.140
ErrorsParameter dl should be final.140
ErrorsExpected @param tag for 'dl'.140
ErrorsLine contains a tab character.141
ErrorsLine contains a tab character.142
ErrorsLine contains a tab character.143
ErrorsLine is longer than 80 characters.144
ErrorsLine contains a tab character.144
ErrorsLine is longer than 80 characters.145
ErrorsLine contains a tab character.145
ErrorsLine contains a tab character.146
ErrorsLine contains a tab character.147
ErrorsLine contains a tab character.148
ErrorsLine contains a tab character.149
ErrorsLine contains a tab character.150
ErrorsLine contains a tab character.151
ErrorsLine contains a tab character.152
ErrorsLine contains a tab character.153
ErrorsLine contains a tab character.154
ErrorsLine is longer than 80 characters.155
ErrorsLine contains a tab character.155
ErrorsLine is longer than 80 characters.156
ErrorsLine contains a tab character.156
ErrorsLine contains a tab character.157
ErrorsLine contains a tab character.158
ErrorsLine contains a tab character.159
ErrorsLine contains a tab character.160
ErrorsLine contains a tab character.161
ErrorsLine contains a tab character.162
ErrorsFirst sentence should end with a period.164
ErrorsLine contains a tab character.164
ErrorsLine contains a tab character.165
ErrorsLine has trailing spaces.166
ErrorsLine contains a tab character.166
ErrorsLine contains a tab character.167
ErrorsLine contains a tab character.168
ErrorsLine contains a tab character.169
ErrorsLine contains a tab character.170
ErrorsLine contains a tab character.171
ErrorsLine contains a tab character.172
ErrorsLine contains a tab character.173
ErrorsLine contains a tab character.174
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.174
ErrorsParameter p should be final.174
ErrorsParameter outReason should be final.174
ErrorsLine contains a tab character.175
ErrorsLine contains a tab character.176
ErrorsLine contains a tab character.177
ErrorsLine contains a tab character.178
ErrorsLine contains a tab character.179
ErrorsLine contains a tab character.180
ErrorsLine contains a tab character.181
ErrorsLine contains a tab character.182
ErrorsLine contains a tab character.183
ErrorsLine contains a tab character.184
ErrorsLine is longer than 80 characters.185
ErrorsLine contains a tab character.185
ErrorsLine contains a tab character.186
ErrorsLine contains a tab character.187
ErrorsLine contains a tab character.188
ErrorsLine contains a tab character.189
ErrorsLine contains a tab character.190
ErrorsLine contains a tab character.191
ErrorsLine contains a tab character.192
ErrorsLine contains a tab character.193
ErrorsLine contains a tab character.194
ErrorsLine contains a tab character.195
ErrorsLine contains a tab character.197
ErrorsMissing a Javadoc comment.197
ErrorsLine contains a tab character.199
ErrorsMissing a Javadoc comment.199
ErrorsLine contains a tab character.200
ErrorsFirst sentence should end with a period.202
ErrorsLine contains a tab character.202
ErrorsLine contains a tab character.203
ErrorsLine has trailing spaces.204
ErrorsLine contains a tab character.204
ErrorsLine contains a tab character.205
ErrorsLine contains a tab character.206
ErrorsLine contains a tab character.207
ErrorsLine contains a tab character.208
ErrorsLine contains a tab character.209
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.209
ErrorsParameter i should be final.209
ErrorsLine contains a tab character.210
ErrorsLine contains a tab character.211
ErrorsFirst sentence should end with a period.213
ErrorsLine contains a tab character.213
ErrorsLine contains a tab character.214
ErrorsLine has trailing spaces.215
ErrorsLine contains a tab character.215
ErrorsLine contains a tab character.216
ErrorsLine contains a tab character.217
ErrorsLine contains a tab character.218
ErrorsLine contains a tab character.219
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.219
ErrorsLine contains a tab character.220
ErrorsLine contains a tab character.221
ErrorsFirst sentence should end with a period.223
ErrorsLine contains a tab character.223
ErrorsLine contains a tab character.224
ErrorsLine has trailing spaces.225
ErrorsLine contains a tab character.225
ErrorsLine contains a tab character.226
ErrorsLine contains a tab character.227
ErrorsLine contains a tab character.228
ErrorsMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.228
ErrorsParameter claInc should be final.228
ErrorsExpected @param tag for 'claInc'.228
ErrorsLine contains a tab character.229
ErrorsLine contains a tab character.230
ErrorsLine contains a tab character.231
ErrorsLine contains a tab character.232
ErrorsLine contains a tab character.234
ErrorsMethod 'setActivity' is not designed for extension - needs to be abstract, final or empty.234
ErrorsMissing a Javadoc comment.234
ErrorsParameter d should be final.234
ErrorsLine contains a tab character.235
ErrorsLine contains a tab character.236
ErrorsLine contains a tab character.237
ErrorsLine contains a tab character.238
ErrorsFirst sentence should end with a period.240
ErrorsLine contains a tab character.240
ErrorsLine is longer than 80 characters.241
ErrorsLine contains a tab character.241
ErrorsLine contains a tab character.242
ErrorsLine has trailing spaces.243
ErrorsLine contains a tab character.243
ErrorsLine contains a tab character.244
ErrorsLine contains a tab character.245
ErrorsLine contains a tab character.246
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.246
ErrorsLine contains a tab character.247
ErrorsLine contains a tab character.248
ErrorsFirst sentence should end with a period.250
ErrorsLine contains a tab character.250
ErrorsLine is longer than 80 characters.251
ErrorsLine contains a tab character.251
ErrorsLine contains a tab character.252
ErrorsLine has trailing spaces.253
ErrorsLine contains a tab character.253
ErrorsLine contains a tab character.254
ErrorsLine contains a tab character.255
ErrorsLine contains a tab character.256
ErrorsLine contains a tab character.257
ErrorsLine contains a tab character.258
ErrorsLine contains a tab character.259
ErrorsLine contains a tab character.260
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.260
ErrorsParameter theCoefs should be final.260
ErrorsParameter theDegree should be final.260
ErrorsLine contains a tab character.261
ErrorsLine contains a tab character.262
ErrorsFirst sentence should end with a period.264
ErrorsLine contains a tab character.264
ErrorsLine contains a tab character.265
ErrorsLine contains a tab character.266
ErrorsLine has trailing spaces.267
ErrorsLine contains a tab character.267
ErrorsLine contains a tab character.268
ErrorsUnused @param tag for 'coefs'.268
ErrorsLine contains a tab character.269
ErrorsLine contains a tab character.270
ErrorsLine contains a tab character.271
ErrorsLine contains a tab character.272
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.272
ErrorsParameter theCoefs should be final.272
ErrorsExpected @param tag for 'theCoefs'.272
ErrorsLine contains a tab character.273
ErrorsLine contains a tab character.274
ErrorsLine contains a tab character.275
ErrorsLine contains a tab character.276
ErrorsLine contains a tab character.277
ErrorsLine contains a tab character.278
ErrorsLine contains a tab character.279
ErrorsLine contains a tab character.280
ErrorsLine contains a tab character.281
ErrorsLine contains a tab character.282
ErrorsFirst sentence should end with a period.284
ErrorsLine contains a tab character.284
ErrorsLine contains a tab character.285
ErrorsLine contains a tab character.286
ErrorsLine has trailing spaces.287
ErrorsLine contains a tab character.287
ErrorsLine contains a tab character.288
ErrorsLine contains a tab character.289
ErrorsLine contains a tab character.290
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.290
ErrorsLine contains a tab character.291
ErrorsLine contains a tab character.292
ErrorsLine contains a tab character.294
ErrorsLine contains a tab character.295
ErrorsLine has trailing spaces.296
ErrorsLine contains a tab character.296
ErrorsLine contains a tab character.297
ErrorsLine has trailing spaces.298
ErrorsLine contains a tab character.298
ErrorsLine contains a tab character.299
ErrorsLine contains a tab character.300
ErrorsLine contains a tab character.301
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.301
ErrorsLine contains a tab character.302
ErrorsLine contains a tab character.303
ErrorsLine contains a tab character.305
ErrorsLine contains a tab character.306
ErrorsLine has trailing spaces.307
ErrorsLine contains a tab character.307
ErrorsLine contains a tab character.308
ErrorsLine contains a tab character.309
ErrorsLine contains a tab character.310
ErrorsLine contains a tab character.311
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.311
ErrorsLine contains a tab character.312
ErrorsLine contains a tab character.313
ErrorsLine contains a tab character.315
ErrorsLine contains a tab character.316
ErrorsLine has trailing spaces.317
ErrorsLine contains a tab character.317
ErrorsLine contains a tab character.318
ErrorsLine contains a tab character.319
ErrorsLine contains a tab character.320
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.320
ErrorsLine contains a tab character.321
ErrorsLine contains a tab character.322
ErrorsLine contains a tab character.323
ErrorsLine contains a tab character.324
ErrorsLine contains a tab character.325
ErrorsLine contains a tab character.326
ErrorsLine contains a tab character.327
ErrorsFirst sentence should end with a period.329
ErrorsLine contains a tab character.329
ErrorsLine contains a tab character.330
ErrorsLine contains a tab character.331
ErrorsLine has trailing spaces.332
ErrorsLine contains a tab character.332
ErrorsLine contains a tab character.333
ErrorsLine contains a tab character.334
ErrorsLine contains a tab character.335
ErrorsLine contains a tab character.336
ErrorsLine contains a tab character.337
ErrorsLine contains a tab character.338
ErrorsLine contains a tab character.339
ErrorsParameter a should be final.339
ErrorsParameter b should be final.339
ErrorsLine contains a tab character.340
ErrorsLine contains a tab character.341
ErrorsFirst sentence should end with a period.343
ErrorsLine contains a tab character.343
ErrorsLine contains a tab character.344
ErrorsLine has trailing spaces.345
ErrorsLine contains a tab character.345
ErrorsLine contains a tab character.346
ErrorsLine contains a tab character.347
ErrorsLine contains a tab character.348
ErrorsLine contains a tab character.349
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.349
ErrorsParameter d should be final.349
ErrorsLine contains a tab character.350
ErrorsLine contains a tab character.351
ErrorsLine contains a tab character.353
ErrorsMethod 'selectionSort' is not designed for extension - needs to be abstract, final or empty.353
ErrorsMissing a Javadoc comment.353
ErrorsParameter from should be final.353
ErrorsParameter to should be final.353
ErrorsLine contains a tab character.354
ErrorsLine contains a tab character.355
ErrorsLine contains a tab character.356
ErrorsLine contains a tab character.358
ErrorsLine contains a tab character.359
ErrorsLine contains a tab character.360
ErrorsLine contains a tab character.361
ErrorsLine is longer than 80 characters.362
ErrorsLine contains a tab character.362
ErrorsLine is longer than 80 characters.363
ErrorsLine contains a tab character.363
ErrorsLine contains a tab character.364
ErrorsLine contains a tab character.365
ErrorsLine contains a tab character.366
ErrorsLine contains a tab character.367
ErrorsLine contains a tab character.368
ErrorsLine contains a tab character.369
ErrorsLine contains a tab character.370
ErrorsLine contains a tab character.371
ErrorsLine contains a tab character.372
ErrorsLine contains a tab character.373
ErrorsLine contains a tab character.374
ErrorsFirst sentence should end with a period.376
ErrorsLine contains a tab character.376
ErrorsLine contains a tab character.377
ErrorsLine contains a tab character.378
ErrorsLine contains a tab character.379
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.379
ErrorsLine contains a tab character.380
ErrorsLine contains a tab character.381
ErrorsFirst sentence should end with a period.383
ErrorsLine contains a tab character.383
ErrorsLine contains a tab character.384
ErrorsLine has trailing spaces.385
ErrorsLine contains a tab character.385
ErrorsLine contains a tab character.386
ErrorsLine contains a tab character.387
ErrorsLine contains a tab character.388
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.388
ErrorsLine contains a tab character.389
ErrorsLine contains a tab character.391
ErrorsLine contains a tab character.392
ErrorsLine contains a tab character.393
ErrorsLine contains a tab character.394
ErrorsLine contains a tab character.395
ErrorsLine contains a tab character.396
ErrorsLine contains a tab character.397
ErrorsLine contains a tab character.398
ErrorsLine contains a tab character.400
ErrorsLine contains a tab character.401
ErrorsLine contains a tab character.403
ErrorsMissing a Javadoc comment.403
ErrorsLine contains a tab character.404
ErrorsLine contains a tab character.405
ErrorsFirst sentence should end with a period.407
ErrorsLine contains a tab character.407
ErrorsLine contains a tab character.408
ErrorsLine contains a tab character.409
ErrorsLine contains a tab character.410
ErrorsLine contains a tab character.411
ErrorsLine contains a tab character.412
ErrorsLine contains a tab character.413
ErrorsLine contains a tab character.414
ErrorsLine contains a tab character.415
ErrorsLine contains a tab character.416
ErrorsLine contains a tab character.417
ErrorsLine contains a tab character.418
ErrorsLine contains a tab character.419
ErrorsLine contains a tab character.420
ErrorsFirst sentence should end with a period.422
ErrorsLine contains a tab character.422
ErrorsLine contains a tab character.423
ErrorsLine has trailing spaces.424
ErrorsLine contains a tab character.424
ErrorsLine contains a tab character.425
ErrorsLine contains a tab character.426
ErrorsLine contains a tab character.427
ErrorsLine contains a tab character.428
ErrorsLine contains a tab character.429
ErrorsLine contains a tab character.430
ErrorsParameter from should be final.430
ErrorsParameter to should be final.430
ErrorsLine contains a tab character.431
ErrorsLine contains a tab character.432
ErrorsLine contains a tab character.433
ErrorsLine contains a tab character.434
ErrorsLine contains a tab character.435
ErrorsLine contains a tab character.436
ErrorsLine contains a tab character.437
ErrorsLine contains a tab character.438
ErrorsLine contains a tab character.439
ErrorsLine contains a tab character.440
ErrorsLine contains a tab character.441
ErrorsLine contains a tab character.443
ErrorsLine contains a tab character.444
ErrorsLine contains a tab character.445
ErrorsLine is longer than 80 characters.446
ErrorsLine contains a tab character.446
ErrorsLine contains a tab character.447
ErrorsLine contains a tab character.448
ErrorsLine contains a tab character.449
ErrorsLine is longer than 80 characters.450
ErrorsLine contains a tab character.450
ErrorsLine contains a tab character.451
ErrorsLine contains a tab character.453
ErrorsLine contains a tab character.454
ErrorsLine contains a tab character.455
ErrorsLine contains a tab character.457
ErrorsLine contains a tab character.458
ErrorsLine contains a tab character.459
ErrorsLine contains a tab character.460
ErrorsLine contains a tab character.461
ErrorsLine contains a tab character.462
ErrorsLine contains a tab character.463
ErrorsLine contains a tab character.465
ErrorsLine contains a tab character.466
ErrorsLine contains a tab character.467
ErrorsLine contains a tab character.469
ErrorsLine contains a tab character.471
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.471
ErrorsLine contains a tab character.472
ErrorsLine contains a tab character.473
ErrorsLine contains a tab character.475
ErrorsLine contains a tab character.476
ErrorsLine contains a tab character.477
ErrorsLine contains a tab character.478
ErrorsLine contains a tab character.479
ErrorsLine contains a tab character.480
ErrorsLine contains a tab character.481
ErrorsLine is longer than 80 characters.482
ErrorsLine contains a tab character.482
ErrorsLine contains a tab character.483
ErrorsLine contains a tab character.484
ErrorsLine contains a tab character.485
ErrorsLine contains a tab character.486
ErrorsLine contains a tab character.487
ErrorsLine contains a tab character.488
ErrorsLine contains a tab character.489
ErrorsLine contains a tab character.490
ErrorsLine contains a tab character.491
ErrorsLine contains a tab character.492
ErrorsLine contains a tab character.494
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.494
ErrorsMissing a Javadoc comment.494
ErrorsParameter s should be final.494
ErrorsLine contains a tab character.495
ErrorsLine contains a tab character.496
ErrorsLine is longer than 80 characters.497
ErrorsLine contains a tab character.497
ErrorsLine contains a tab character.498
ErrorsLine contains a tab character.499
ErrorsLine contains a tab character.500
ErrorsLine contains a tab character.501
ErrorsLine contains a tab character.502
ErrorsLine contains a tab character.504
ErrorsMethod 'assertConstraintIfNeeded' is not designed for extension - needs to be abstract, final or empty.504
ErrorsMissing a Javadoc comment.504
ErrorsParameter s should be final.504
ErrorsLine contains a tab character.505
ErrorsLine contains a tab character.506
ErrorsLine contains a tab character.508
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.508
ErrorsMissing a Javadoc comment.508
ErrorsLine contains a tab character.509
ErrorsLine contains a tab character.510
ErrorsLine contains a tab character.511
ErrorsLine contains a tab character.512
ErrorsLine contains a tab character.513
ErrorsLine contains a tab character.514
ErrorsLine contains a tab character.515
ErrorsLine contains a tab character.516
ErrorsLine contains a tab character.518
ErrorsLine contains a tab character.519
ErrorsLine has trailing spaces.520
ErrorsLine contains a tab character.520
ErrorsLine contains a tab character.521
ErrorsLine contains a tab character.522
ErrorsLine contains a tab character.523
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.523
ErrorsLine contains a tab character.524
ErrorsLine contains a tab character.525
ErrorsLine contains a tab character.526
ErrorsLine contains a tab character.527
ErrorsLine contains a tab character.529
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.529
ErrorsMissing a Javadoc comment.529
ErrorsLine contains a tab character.530
ErrorsLine contains a tab character.531
ErrorsLine contains a tab character.533
ErrorsLine is longer than 80 characters.534
ErrorsLine contains a tab character.534
ErrorsLine has trailing spaces.535
ErrorsLine contains a tab character.535
ErrorsLine contains a tab character.536
ErrorsLine contains a tab character.537
ErrorsLine contains a tab character.538
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.538
ErrorsLine contains a tab character.539
ErrorsLine contains a tab character.540
ErrorsLine contains a tab character.541
ErrorsLine contains a tab character.542
ErrorsLine contains a tab character.543
ErrorsLine contains a tab character.544
ErrorsLine contains a tab character.545
ErrorsLine contains a tab character.546
ErrorsLine contains a tab character.547
ErrorsLine contains a tab character.548
ErrorsLine contains a tab character.549
ErrorsLine contains a tab character.550
ErrorsLine contains a tab character.551
ErrorsLine contains a tab character.552
ErrorsLine contains a tab character.554
ErrorsMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.554
ErrorsMissing a Javadoc comment.554
ErrorsLine contains a tab character.555
ErrorsLine contains a tab character.556
ErrorsLine contains a tab character.558
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.558
ErrorsLine contains a tab character.559
ErrorsParameter pb should be final.559
ErrorsLine contains a tab character.560
ErrorsLine contains a tab character.561
ErrorsLine contains a tab character.562
ErrorsLine is longer than 80 characters.563
ErrorsLine contains a tab character.563
ErrorsLine contains a tab character.564
ErrorsLine contains a tab character.565
ErrorsLine contains a tab character.566
ErrorsLine contains a tab character.567
ErrorsLine contains a tab character.569
ErrorsLine contains a tab character.570
ErrorsLine contains a tab character.571
ErrorsLine is longer than 80 characters.572
ErrorsLine contains a tab character.572
ErrorsLine contains a tab character.573
ErrorsLine contains a tab character.574
ErrorsLine contains a tab character.575
ErrorsLine contains a tab character.576
ErrorsLine contains a tab character.577
ErrorsLine contains a tab character.578
ErrorsLine contains a tab character.579
ErrorsLine is longer than 80 characters.580
ErrorsLine contains a tab character.580
ErrorsLine contains a tab character.581
ErrorsLine is longer than 80 characters.582
ErrorsLine contains a tab character.582
ErrorsLine contains a tab character.583
ErrorsLine contains a tab character.584
ErrorsLine contains a tab character.586
ErrorsLine contains a tab character.587
ErrorsLine contains a tab character.589
ErrorsLine contains a tab character.590
ErrorsLine contains a tab character.591
ErrorsLine contains a tab character.592
ErrorsLine contains a tab character.593
ErrorsLine contains a tab character.594
ErrorsLine contains a tab character.595
ErrorsLine contains a tab character.596
ErrorsLine contains a tab character.597
ErrorsLine contains a tab character.598
ErrorsLine contains a tab character.599
ErrorsLine contains a tab character.601
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.601
ErrorsLine contains a tab character.602
ErrorsLine contains a tab character.603
ErrorsLine contains a tab character.604
ErrorsLine contains a tab character.605
ErrorsLine contains a tab character.606
ErrorsLine contains a tab character.607
ErrorsLine contains a tab character.608
ErrorsLine contains a tab character.610
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.610
ErrorsMissing a Javadoc comment.610
ErrorsParameter claInc should be final.610
ErrorsLine contains a tab character.611
ErrorsLine contains a tab character.612
ErrorsLine contains a tab character.613
ErrorsLine contains a tab character.614
ErrorsLine contains a tab character.616
ErrorsMissing a Javadoc comment.616
ErrorsParameter upl should be final.616
ErrorsLine contains a tab character.617
ErrorsLine contains a tab character.619
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.619
ErrorsMissing a Javadoc comment.619
ErrorsParameter s should be final.619
ErrorsParameter p should be final.619
ErrorsLine contains a tab character.620
ErrorsLine contains a tab character.621
ErrorsLine contains a tab character.623
ErrorsMissing a Javadoc comment.623
ErrorsParameter p should be final.623
ErrorsLine contains a tab character.624
ErrorsLine contains a tab character.626
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.626
ErrorsMissing a Javadoc comment.626
ErrorsLine contains a tab character.627
ErrorsLine contains a tab character.628
ErrorsLine contains a tab character.630
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.630
ErrorsMissing a Javadoc comment.630
ErrorsLine contains a tab character.631
ErrorsLine contains a tab character.632
ErrorsLine is longer than 80 characters.634
ErrorsLine contains a tab character.634
ErrorsMethod 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.634
ErrorsMissing a Javadoc comment.634
ErrorsParameter p should be final.634
ErrorsParameter trail should be final.634
ErrorsParameter outReason should be final.634
ErrorsLine contains a tab character.635
ErrorsLine contains a tab character.636
ErrorsLine contains a tab character.637
ErrorsLine contains a tab character.638
ErrorsLine contains a tab character.639
ErrorsLine contains a tab character.640
ErrorsLine contains a tab character.641
ErrorsLine contains a tab character.642
ErrorsLine contains a tab character.643
ErrorsLine contains a tab character.644
ErrorsLine contains a tab character.645
ErrorsLine contains a tab character.646
ErrorsLine contains a tab character.647
ErrorsLine is longer than 80 characters.648
ErrorsLine contains a tab character.648
ErrorsLine contains a tab character.649
ErrorsLine contains a tab character.650
ErrorsLine contains a tab character.651
ErrorsLine contains a tab character.652
ErrorsLine contains a tab character.653
ErrorsLine is longer than 80 characters.655
ErrorsLine contains a tab character.655
ErrorsMissing a Javadoc comment.655
ErrorsLine contains a tab character.657
ErrorsParameter o1 should be final.657
ErrorsParameter o2 should be final.657
ErrorsLine contains a tab character.658
ErrorsLine contains a tab character.659
ErrorsLine contains a tab character.661

org/sat4j/pb/constraints/pb/WatchPbLongCP.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.48
ErrorsLine has trailing spaces.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.53
ErrorsMissing a Javadoc comment.53
ErrorsFirst sentence should end with a period.55
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.56
ErrorsLine contains a tab character.57
ErrorsLine contains a tab character.58
ErrorsVariable 'activity' must be private and have accessor methods.58
ErrorsLine contains a tab character.59
ErrorsFirst sentence should end with a period.61
ErrorsLine contains a tab character.61
ErrorsLine contains a tab character.62
ErrorsLine contains a tab character.63
ErrorsLine contains a tab character.64
ErrorsVariable 'bigCoefs' must be private and have accessor methods.64
ErrorsFirst sentence should end with a period.66
ErrorsLine contains a tab character.66
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsLine contains a tab character.69
ErrorsVariable 'bigDegree' must be private and have accessor methods.69
ErrorsFirst sentence should end with a period.71
ErrorsLine contains a tab character.71
ErrorsLine contains a tab character.72
ErrorsLine contains a tab character.73
ErrorsLine contains a tab character.74
ErrorsVariable 'coefs' must be private and have accessor methods.74
ErrorsLine contains a tab character.76
ErrorsMissing a Javadoc comment.76
ErrorsVariable 'sumcoefs' must be private and have accessor methods.76
ErrorsFirst sentence should end with a period.78
ErrorsLine contains a tab character.78
ErrorsLine contains a tab character.79
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsVariable 'degree' must be private and have accessor methods.81
ErrorsFirst sentence should end with a period.83
ErrorsLine contains a tab character.83
ErrorsLine contains a tab character.84
ErrorsLine contains a tab character.85
ErrorsLine contains a tab character.86
ErrorsVariable 'lits' must be private and have accessor methods.86
ErrorsFirst sentence should end with a period.88
ErrorsLine contains a tab character.88
ErrorsLine contains a tab character.89
ErrorsLine contains a tab character.90
ErrorsLine contains a tab character.91
ErrorsVariable 'learnt' must be private and have accessor methods.91
ErrorsFirst sentence should end with a period.93
ErrorsLine contains a tab character.93
ErrorsLine contains a tab character.94
ErrorsLine contains a tab character.95
ErrorsLine contains a tab character.96
ErrorsVariable 'voc' must be private and have accessor methods.96
ErrorsLine contains a tab character.98
ErrorsLine contains a tab character.99
ErrorsLine contains a tab character.100
ErrorsLine contains a tab character.101
ErrorsLine contains a tab character.102
ErrorsLine contains a tab character.104
ErrorsLine contains a tab character.105
ErrorsParameter mpb should be final.105
ErrorsExpected @param tag for 'mpb'.105
ErrorsLine contains a tab character.106
ErrorsLine contains a tab character.107
ErrorsLine contains a tab character.108
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.110
ErrorsLine contains a tab character.111
ErrorsLine contains a tab character.112
ErrorsLine contains a tab character.113
ErrorsLine contains a tab character.114
ErrorsLine contains a tab character.115
ErrorsLine contains a tab character.116
ErrorsLine contains a tab character.117
ErrorsLine contains a tab character.118
ErrorsLine contains a tab character.119
ErrorsLine contains a tab character.120
ErrorsLine contains a tab character.121
ErrorsLine contains a tab character.123
ErrorsLine contains a tab character.124
ErrorsParameter lits should be final.124
Errors'lits' hides a field.124
ErrorsExpected @param tag for 'lits'.124
ErrorsParameter coefs should be final.124
Errors'coefs' hides a field.124
ErrorsExpected @param tag for 'coefs'.124
ErrorsParameter degree should be final.124
Errors'degree' hides a field.124
ErrorsExpected @param tag for 'degree'.124
ErrorsLine contains a tab character.125
ErrorsParameter sumCoefs should be final.125
ErrorsExpected @param tag for 'sumCoefs'.125
ErrorsLine contains a tab character.126
ErrorsLine contains a tab character.127
ErrorsLine contains a tab character.128
ErrorsLine contains a tab character.129
ErrorsLine contains a tab character.130
ErrorsLine contains a tab character.131
ErrorsLine contains a tab character.132
ErrorsLine contains a tab character.133
ErrorsLine contains a tab character.134
ErrorsLine contains a tab character.136
ErrorsMissing a Javadoc comment.136
ErrorsParameter bigValues should be final.136
ErrorsLine contains a tab character.137
ErrorsLine contains a tab character.138
ErrorsLine contains a tab character.139
ErrorsLine contains a tab character.140
ErrorsLine contains a tab character.141
ErrorsLine contains a tab character.142
ErrorsLine contains a tab character.143
ErrorsLine contains a tab character.144
ErrorsFirst sentence should end with a period.146
ErrorsLine contains a tab character.146
ErrorsLine is longer than 80 characters.147
ErrorsLine contains a tab character.147
ErrorsLine contains a tab character.148
ErrorsLine has trailing spaces.149
ErrorsLine contains a tab character.149
ErrorsLine contains a tab character.150
ErrorsLine contains a tab character.151
ErrorsLine contains a tab character.152
ErrorsLine contains a tab character.153
ErrorsMethod 'isAssertive' is not designed for extension - needs to be abstract, final or empty.153
ErrorsParameter dl should be final.153
ErrorsExpected @param tag for 'dl'.153
ErrorsLine contains a tab character.154
ErrorsLine contains a tab character.155
ErrorsLine contains a tab character.156
ErrorsLine is longer than 80 characters.157
ErrorsLine contains a tab character.157
ErrorsLine is longer than 80 characters.158
ErrorsLine contains a tab character.158
ErrorsLine contains a tab character.159
ErrorsLine contains a tab character.160
ErrorsLine contains a tab character.161
ErrorsLine contains a tab character.162
ErrorsLine contains a tab character.163
ErrorsLine contains a tab character.164
ErrorsLine contains a tab character.165
ErrorsLine contains a tab character.166
ErrorsLine contains a tab character.167
ErrorsLine is longer than 80 characters.168
ErrorsLine contains a tab character.168
ErrorsLine is longer than 80 characters.169
ErrorsLine contains a tab character.169
ErrorsLine contains a tab character.170
ErrorsLine contains a tab character.171
ErrorsLine contains a tab character.172
ErrorsLine contains a tab character.173
ErrorsLine contains a tab character.174
ErrorsLine contains a tab character.175
ErrorsFirst sentence should end with a period.177
ErrorsLine contains a tab character.177
ErrorsLine contains a tab character.178
ErrorsLine has trailing spaces.179
ErrorsLine contains a tab character.179
ErrorsLine contains a tab character.180
ErrorsLine contains a tab character.181
ErrorsLine contains a tab character.182
ErrorsLine contains a tab character.183
ErrorsLine contains a tab character.184
ErrorsLine contains a tab character.185
ErrorsLine contains a tab character.186
ErrorsLine contains a tab character.187
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.187
ErrorsParameter p should be final.187
ErrorsParameter outReason should be final.187
ErrorsLine contains a tab character.188
ErrorsLine contains a tab character.189
ErrorsLine contains a tab character.190
ErrorsLine contains a tab character.191
ErrorsLine contains a tab character.192
ErrorsLine contains a tab character.193
ErrorsLine contains a tab character.194
ErrorsLine is longer than 80 characters.195
ErrorsLine contains a tab character.195
ErrorsLine contains a tab character.196
ErrorsLine contains a tab character.197
ErrorsLine contains a tab character.198
ErrorsLine contains a tab character.199
ErrorsLine contains a tab character.200
ErrorsLine contains a tab character.202
ErrorsMissing a Javadoc comment.202
ErrorsLine contains a tab character.204
ErrorsMissing a Javadoc comment.204
ErrorsLine contains a tab character.205
ErrorsFirst sentence should end with a period.207
ErrorsLine contains a tab character.207
ErrorsLine contains a tab character.208
ErrorsLine has trailing spaces.209
ErrorsLine contains a tab character.209
ErrorsLine contains a tab character.210
ErrorsLine contains a tab character.211
ErrorsLine contains a tab character.212
ErrorsLine contains a tab character.213
ErrorsLine contains a tab character.214
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.214
ErrorsParameter i should be final.214
ErrorsLine contains a tab character.215
ErrorsLine contains a tab character.216
ErrorsFirst sentence should end with a period.218
ErrorsLine contains a tab character.218
ErrorsLine contains a tab character.219
ErrorsLine has trailing spaces.220
ErrorsLine contains a tab character.220
ErrorsLine contains a tab character.221
ErrorsLine contains a tab character.222
ErrorsLine contains a tab character.223
ErrorsLine contains a tab character.224
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.224
ErrorsLine contains a tab character.225
ErrorsLine contains a tab character.226
ErrorsFirst sentence should end with a period.228
ErrorsLine contains a tab character.228
ErrorsLine contains a tab character.229
ErrorsLine has trailing spaces.230
ErrorsLine contains a tab character.230
ErrorsLine contains a tab character.231
ErrorsLine contains a tab character.232
ErrorsLine contains a tab character.233
ErrorsMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.233
ErrorsParameter claInc should be final.233
ErrorsExpected @param tag for 'claInc'.233
ErrorsLine contains a tab character.234
ErrorsLine contains a tab character.235
ErrorsLine contains a tab character.236
ErrorsLine contains a tab character.237
ErrorsLine contains a tab character.239
ErrorsMethod 'setActivity' is not designed for extension - needs to be abstract, final or empty.239
ErrorsMissing a Javadoc comment.239
ErrorsParameter d should be final.239
ErrorsLine contains a tab character.240
ErrorsLine contains a tab character.241
ErrorsLine contains a tab character.242
ErrorsLine contains a tab character.243
ErrorsFirst sentence should end with a period.245
ErrorsLine contains a tab character.245
ErrorsLine is longer than 80 characters.246
ErrorsLine contains a tab character.246
ErrorsLine contains a tab character.247
ErrorsLine has trailing spaces.248
ErrorsLine contains a tab character.248
ErrorsLine contains a tab character.249
ErrorsLine contains a tab character.250
ErrorsLine contains a tab character.251
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.251
ErrorsLine contains a tab character.252
ErrorsLine contains a tab character.253
ErrorsFirst sentence should end with a period.255
ErrorsLine contains a tab character.255
ErrorsLine is longer than 80 characters.256
ErrorsLine contains a tab character.256
ErrorsLine contains a tab character.257
ErrorsLine has trailing spaces.258
ErrorsLine contains a tab character.258
ErrorsLine contains a tab character.259
ErrorsLine contains a tab character.260
ErrorsLine contains a tab character.261
ErrorsLine contains a tab character.262
ErrorsLine contains a tab character.263
ErrorsLine contains a tab character.264
ErrorsLine contains a tab character.265
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.265
ErrorsParameter theCoefs should be final.265
ErrorsParameter theDegree should be final.265
ErrorsLine contains a tab character.266
ErrorsLine contains a tab character.267
ErrorsFirst sentence should end with a period.269
ErrorsLine contains a tab character.269
ErrorsLine contains a tab character.270
ErrorsLine contains a tab character.271
ErrorsLine has trailing spaces.272
ErrorsLine contains a tab character.272
ErrorsLine contains a tab character.273
ErrorsUnused @param tag for 'coefs'.273
ErrorsLine contains a tab character.274
ErrorsLine contains a tab character.275
ErrorsLine contains a tab character.276
ErrorsLine contains a tab character.277
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.277
ErrorsParameter theCoefs should be final.277
ErrorsExpected @param tag for 'theCoefs'.277
ErrorsLine contains a tab character.278
ErrorsLine contains a tab character.279
ErrorsLine contains a tab character.280
ErrorsLine contains a tab character.281
ErrorsLine contains a tab character.282
ErrorsLine contains a tab character.283
ErrorsLine contains a tab character.284
ErrorsLine contains a tab character.285
ErrorsLine contains a tab character.286
ErrorsLine contains a tab character.287
ErrorsFirst sentence should end with a period.289
ErrorsLine contains a tab character.289
ErrorsLine contains a tab character.290
ErrorsLine contains a tab character.291
ErrorsLine has trailing spaces.292
ErrorsLine contains a tab character.292
ErrorsLine contains a tab character.293
ErrorsUnused @param tag for 'coefs'.293
ErrorsLine contains a tab character.294
ErrorsLine contains a tab character.295
ErrorsLine contains a tab character.296
ErrorsLine contains a tab character.297
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.297
ErrorsParameter theCoefs should be final.297
ErrorsExpected @param tag for 'theCoefs'.297
ErrorsLine contains a tab character.298
ErrorsLine contains a tab character.299
ErrorsLine contains a tab character.300
ErrorsLine contains a tab character.301
ErrorsLine contains a tab character.302
ErrorsLine contains a tab character.303
ErrorsLine contains a tab character.304
ErrorsLine contains a tab character.305
ErrorsLine contains a tab character.306
ErrorsLine contains a tab character.307
ErrorsFirst sentence should end with a period.309
ErrorsLine contains a tab character.309
ErrorsLine contains a tab character.310
ErrorsLine contains a tab character.311
ErrorsLine has trailing spaces.312
ErrorsLine contains a tab character.312
ErrorsLine contains a tab character.313
ErrorsLine contains a tab character.314
ErrorsLine contains a tab character.315
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.315
ErrorsLine contains a tab character.316
ErrorsLine contains a tab character.317
ErrorsLine contains a tab character.319
ErrorsLine contains a tab character.320
ErrorsLine has trailing spaces.321
ErrorsLine contains a tab character.321
ErrorsLine contains a tab character.322
ErrorsLine has trailing spaces.323
ErrorsLine contains a tab character.323
ErrorsLine contains a tab character.324
ErrorsLine contains a tab character.325
ErrorsLine contains a tab character.326
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.326
ErrorsLine contains a tab character.327
ErrorsLine contains a tab character.328
ErrorsLine contains a tab character.330
ErrorsLine contains a tab character.331
ErrorsLine has trailing spaces.332
ErrorsLine contains a tab character.332
ErrorsLine contains a tab character.333
ErrorsLine contains a tab character.334
ErrorsLine contains a tab character.335
ErrorsLine contains a tab character.336
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.336
ErrorsLine contains a tab character.337
ErrorsLine contains a tab character.338
ErrorsLine contains a tab character.340
ErrorsLine contains a tab character.341
ErrorsLine has trailing spaces.342
ErrorsLine contains a tab character.342
ErrorsLine contains a tab character.343
ErrorsLine contains a tab character.344
ErrorsLine contains a tab character.345
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.345
ErrorsLine contains a tab character.346
ErrorsLine contains a tab character.347
ErrorsLine contains a tab character.348
ErrorsLine contains a tab character.349
ErrorsLine contains a tab character.350
ErrorsLine contains a tab character.351
ErrorsLine contains a tab character.352
ErrorsFirst sentence should end with a period.354
ErrorsLine contains a tab character.354
ErrorsLine contains a tab character.355
ErrorsLine contains a tab character.356
ErrorsLine has trailing spaces.357
ErrorsLine contains a tab character.357
ErrorsLine contains a tab character.358
ErrorsLine contains a tab character.359
ErrorsLine contains a tab character.360
ErrorsLine contains a tab character.361
ErrorsLine contains a tab character.362
ErrorsLine contains a tab character.363
ErrorsLine contains a tab character.364
ErrorsParameter a should be final.364
ErrorsParameter b should be final.364
ErrorsLine contains a tab character.365
ErrorsLine contains a tab character.366
ErrorsFirst sentence should end with a period.368
ErrorsLine contains a tab character.368
ErrorsLine contains a tab character.369
ErrorsLine has trailing spaces.370
ErrorsLine contains a tab character.370
ErrorsLine contains a tab character.371
ErrorsLine contains a tab character.372
ErrorsLine contains a tab character.373
ErrorsLine contains a tab character.374
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.374
ErrorsParameter d should be final.374
ErrorsLine contains a tab character.375
ErrorsLine contains a tab character.376
ErrorsLine contains a tab character.378
ErrorsMethod 'selectionSort' is not designed for extension - needs to be abstract, final or empty.378
ErrorsMissing a Javadoc comment.378
ErrorsParameter from should be final.378
ErrorsParameter to should be final.378
ErrorsLine contains a tab character.379
ErrorsLine contains a tab character.380
ErrorsLine contains a tab character.381
ErrorsLine contains a tab character.382
ErrorsLine contains a tab character.384
ErrorsLine contains a tab character.385
ErrorsLine contains a tab character.386
ErrorsLine contains a tab character.387
ErrorsLine is longer than 80 characters.388
ErrorsLine contains a tab character.388
ErrorsLine is longer than 80 characters.389
ErrorsLine contains a tab character.389
ErrorsLine contains a tab character.390
ErrorsLine contains a tab character.391
ErrorsLine contains a tab character.392
ErrorsLine contains a tab character.393
ErrorsLine contains a tab character.394
ErrorsLine contains a tab character.395
ErrorsLine contains a tab character.396
ErrorsLine contains a tab character.397
ErrorsLine contains a tab character.398
ErrorsLine contains a tab character.399
ErrorsLine contains a tab character.400
ErrorsLine contains a tab character.401
ErrorsLine contains a tab character.402
ErrorsLine contains a tab character.403
ErrorsLine contains a tab character.404
ErrorsLine contains a tab character.405
ErrorsFirst sentence should end with a period.407
ErrorsLine contains a tab character.407
ErrorsLine contains a tab character.408
ErrorsLine contains a tab character.409
ErrorsLine contains a tab character.410
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.410
ErrorsLine contains a tab character.411
ErrorsLine contains a tab character.412
ErrorsFirst sentence should end with a period.414
ErrorsLine contains a tab character.414
ErrorsLine contains a tab character.415
ErrorsLine has trailing spaces.416
ErrorsLine contains a tab character.416
ErrorsLine contains a tab character.417
ErrorsLine contains a tab character.418
ErrorsLine contains a tab character.419
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.419
ErrorsLine contains a tab character.420
ErrorsLine contains a tab character.422
ErrorsLine contains a tab character.423
ErrorsLine contains a tab character.424
ErrorsLine contains a tab character.425
ErrorsLine contains a tab character.426
ErrorsLine contains a tab character.427
ErrorsLine contains a tab character.428
ErrorsLine contains a tab character.429
ErrorsLine contains a tab character.431
ErrorsLine contains a tab character.432
ErrorsLine contains a tab character.434
ErrorsMissing a Javadoc comment.434
ErrorsLine contains a tab character.435
ErrorsLine contains a tab character.436
ErrorsFirst sentence should end with a period.438
ErrorsLine contains a tab character.438
ErrorsLine contains a tab character.439
ErrorsLine contains a tab character.440
ErrorsLine contains a tab character.441
ErrorsLine contains a tab character.442
ErrorsLine contains a tab character.443
ErrorsLine contains a tab character.444
ErrorsLine contains a tab character.445
ErrorsLine contains a tab character.446
ErrorsFirst sentence should end with a period.448
ErrorsLine contains a tab character.448
ErrorsLine contains a tab character.449
ErrorsLine has trailing spaces.450
ErrorsLine contains a tab character.450
ErrorsLine contains a tab character.451
ErrorsLine contains a tab character.452
ErrorsLine contains a tab character.453
ErrorsLine contains a tab character.454
ErrorsLine contains a tab character.455
ErrorsLine contains a tab character.456
ErrorsParameter from should be final.456
ErrorsParameter to should be final.456
ErrorsLine contains a tab character.457
ErrorsLine contains a tab character.458
ErrorsLine contains a tab character.459
ErrorsLine contains a tab character.460
ErrorsLine contains a tab character.461
ErrorsLine contains a tab character.462
ErrorsLine contains a tab character.463
ErrorsLine contains a tab character.464
ErrorsLine contains a tab character.465
ErrorsLine contains a tab character.466
ErrorsLine contains a tab character.467
ErrorsLine contains a tab character.468
ErrorsLine contains a tab character.469
ErrorsLine contains a tab character.471
ErrorsLine contains a tab character.472
ErrorsLine contains a tab character.473
ErrorsLine is longer than 80 characters.474
ErrorsLine contains a tab character.474
ErrorsLine contains a tab character.475
ErrorsLine contains a tab character.476
ErrorsLine contains a tab character.477
ErrorsLine is longer than 80 characters.478
ErrorsLine contains a tab character.478
ErrorsLine contains a tab character.479
ErrorsLine contains a tab character.481
ErrorsLine contains a tab character.482
ErrorsLine contains a tab character.483
ErrorsLine contains a tab character.485
ErrorsLine contains a tab character.486
ErrorsLine contains a tab character.487
ErrorsLine contains a tab character.488
ErrorsLine contains a tab character.489
ErrorsLine contains a tab character.490
ErrorsLine contains a tab character.491
ErrorsLine contains a tab character.492
ErrorsLine contains a tab character.493
ErrorsLine contains a tab character.494
ErrorsLine contains a tab character.495
ErrorsLine contains a tab character.496
ErrorsLine contains a tab character.498
ErrorsLine contains a tab character.499
ErrorsLine contains a tab character.500
ErrorsLine contains a tab character.502
ErrorsLine contains a tab character.504
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.504
ErrorsLine contains a tab character.505
ErrorsLine contains a tab character.506
ErrorsLine contains a tab character.508
ErrorsLine contains a tab character.509
ErrorsLine contains a tab character.510
ErrorsLine contains a tab character.511
ErrorsLine contains a tab character.512
ErrorsLine contains a tab character.513
ErrorsLine contains a tab character.514
ErrorsLine is longer than 80 characters.515
ErrorsLine contains a tab character.515
ErrorsLine contains a tab character.516
ErrorsLine contains a tab character.517
ErrorsLine contains a tab character.518
ErrorsLine contains a tab character.519
ErrorsLine contains a tab character.520
ErrorsLine contains a tab character.521
ErrorsLine contains a tab character.522
ErrorsLine contains a tab character.523
ErrorsLine contains a tab character.524
ErrorsLine contains a tab character.525
ErrorsLine contains a tab character.527
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.527
ErrorsMissing a Javadoc comment.527
ErrorsParameter s should be final.527
ErrorsLine contains a tab character.528
ErrorsLine contains a tab character.529
ErrorsLine is longer than 80 characters.530
ErrorsLine contains a tab character.530
ErrorsLine contains a tab character.531
ErrorsLine contains a tab character.532
ErrorsLine contains a tab character.533
ErrorsLine contains a tab character.534
ErrorsLine contains a tab character.535
ErrorsLine contains a tab character.537
ErrorsMethod 'assertConstraintIfNeeded' is not designed for extension - needs to be abstract, final or empty.537
ErrorsMissing a Javadoc comment.537
ErrorsParameter s should be final.537
ErrorsLine contains a tab character.538
ErrorsLine contains a tab character.539
ErrorsLine contains a tab character.541
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.541
ErrorsMissing a Javadoc comment.541
ErrorsLine contains a tab character.542
ErrorsLine contains a tab character.543
ErrorsLine contains a tab character.544
ErrorsLine contains a tab character.545
ErrorsLine contains a tab character.546
ErrorsLine contains a tab character.547
ErrorsLine contains a tab character.548
ErrorsLine contains a tab character.549
ErrorsLine contains a tab character.551
ErrorsLine contains a tab character.552
ErrorsLine has trailing spaces.553
ErrorsLine contains a tab character.553
ErrorsLine contains a tab character.554
ErrorsLine contains a tab character.555
ErrorsLine contains a tab character.556
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.556
ErrorsLine contains a tab character.557
ErrorsLine contains a tab character.558
ErrorsLine contains a tab character.559
ErrorsLine contains a tab character.560
ErrorsLine contains a tab character.562
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.562
ErrorsMissing a Javadoc comment.562
ErrorsLine contains a tab character.563
ErrorsLine contains a tab character.564
ErrorsLine contains a tab character.566
ErrorsLine is longer than 80 characters.567
ErrorsLine contains a tab character.567
ErrorsLine has trailing spaces.568
ErrorsLine contains a tab character.568
ErrorsLine contains a tab character.569
ErrorsLine contains a tab character.570
ErrorsLine contains a tab character.571
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.571
ErrorsLine contains a tab character.572
ErrorsLine contains a tab character.573
ErrorsLine contains a tab character.574
ErrorsLine contains a tab character.575
ErrorsLine contains a tab character.576
ErrorsLine contains a tab character.577
ErrorsLine contains a tab character.578
ErrorsLine contains a tab character.579
ErrorsLine contains a tab character.580
ErrorsLine contains a tab character.581
ErrorsLine contains a tab character.582
ErrorsLine contains a tab character.583
ErrorsLine contains a tab character.584
ErrorsLine contains a tab character.585
ErrorsLine contains a tab character.587
ErrorsMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.587
ErrorsMissing a Javadoc comment.587
ErrorsLine contains a tab character.588
ErrorsLine contains a tab character.589
ErrorsLine contains a tab character.591
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.591
ErrorsLine contains a tab character.592
ErrorsParameter pb should be final.592
ErrorsLine contains a tab character.593
ErrorsLine contains a tab character.594
ErrorsLine contains a tab character.595
ErrorsLine is longer than 80 characters.596
ErrorsLine contains a tab character.596
ErrorsLine contains a tab character.597
ErrorsLine contains a tab character.598
ErrorsLine contains a tab character.599
ErrorsLine contains a tab character.600
ErrorsLine contains a tab character.602
ErrorsLine contains a tab character.603
ErrorsLine contains a tab character.604
ErrorsLine is longer than 80 characters.605
ErrorsLine contains a tab character.605
ErrorsLine contains a tab character.606
ErrorsLine contains a tab character.607
ErrorsLine contains a tab character.608
ErrorsLine contains a tab character.609
ErrorsLine contains a tab character.610
ErrorsLine contains a tab character.611
ErrorsLine contains a tab character.612
ErrorsLine is longer than 80 characters.613
ErrorsLine contains a tab character.613
ErrorsLine contains a tab character.614
ErrorsLine is longer than 80 characters.615
ErrorsLine contains a tab character.615
ErrorsLine contains a tab character.616
ErrorsLine contains a tab character.617
ErrorsLine contains a tab character.619
ErrorsLine contains a tab character.620
ErrorsLine contains a tab character.622
ErrorsLine contains a tab character.623
ErrorsLine contains a tab character.624
ErrorsLine contains a tab character.625
ErrorsLine contains a tab character.626
ErrorsLine contains a tab character.627
ErrorsLine contains a tab character.628
ErrorsLine contains a tab character.629
ErrorsLine contains a tab character.630
ErrorsLine contains a tab character.631
ErrorsLine contains a tab character.632
ErrorsLine contains a tab character.634
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.634
ErrorsLine contains a tab character.635
ErrorsLine contains a tab character.636
ErrorsLine contains a tab character.637
ErrorsLine contains a tab character.638
ErrorsLine contains a tab character.639
ErrorsLine contains a tab character.640
ErrorsLine contains a tab character.641
ErrorsLine contains a tab character.643
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.643
ErrorsMissing a Javadoc comment.643
ErrorsParameter claInc should be final.643
ErrorsLine contains a tab character.644
ErrorsLine contains a tab character.645
ErrorsLine contains a tab character.646
ErrorsLine contains a tab character.647
ErrorsLine contains a tab character.649
ErrorsMethod 'getLongCoefs' is not designed for extension - needs to be abstract, final or empty.649
ErrorsMissing a Javadoc comment.649
ErrorsLine contains a tab character.650
ErrorsLine contains a tab character.651
ErrorsLine contains a tab character.652
ErrorsLine contains a tab character.653
ErrorsLine contains a tab character.655
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.655
ErrorsMissing a Javadoc comment.655
ErrorsParameter theCoefs should be final.655
ErrorsLine contains a tab character.656
ErrorsParameter theDegree should be final.656
ErrorsLine contains a tab character.657
ErrorsLine contains a tab character.658
ErrorsFirst sentence should end with a period.660
ErrorsLine contains a tab character.660
ErrorsLine contains a tab character.661
ErrorsLine has trailing spaces.662
ErrorsLine contains a tab character.662
ErrorsLine contains a tab character.663
ErrorsLine contains a tab character.664
ErrorsLine contains a tab character.665
ErrorsLine contains a tab character.666
ErrorsLine contains a tab character.667
ErrorsMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.667
ErrorsParameter i should be final.667
ErrorsLine contains a tab character.668
ErrorsLine contains a tab character.669
ErrorsLine contains a tab character.671
ErrorsLine contains a tab character.672
ErrorsLine has trailing spaces.673
ErrorsLine contains a tab character.673
ErrorsLine contains a tab character.674
ErrorsLine contains a tab character.675
ErrorsLine contains a tab character.676
ErrorsMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.676
ErrorsLine contains a tab character.677
ErrorsLine is longer than 80 characters.678
ErrorsLine contains a tab character.678
ErrorsLine contains a tab character.679
ErrorsLine contains a tab character.680
ErrorsLine contains a tab character.682
ErrorsLine contains a tab character.683
ErrorsLine contains a tab character.684
ErrorsLine contains a tab character.685
ErrorsMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.685
ErrorsLine contains a tab character.686
ErrorsLine contains a tab character.687
ErrorsLine contains a tab character.689
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.689
ErrorsMissing a Javadoc comment.689
ErrorsLine contains a tab character.690
ErrorsLine contains a tab character.691
ErrorsLine contains a tab character.693
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.693
ErrorsMissing a Javadoc comment.693
ErrorsLine contains a tab character.694
ErrorsLine contains a tab character.695
ErrorsLine is longer than 80 characters.697
ErrorsLine contains a tab character.697
ErrorsMethod 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.697
ErrorsMissing a Javadoc comment.697
ErrorsParameter p should be final.697
ErrorsParameter trail should be final.697
ErrorsParameter outReason should be final.697
ErrorsLine contains a tab character.698
ErrorsLine contains a tab character.699

org/sat4j/pb/core/IPBCDCLSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.41

org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.63
ErrorsMissing a Javadoc comment.65
ErrorsParameter decorated should be final.65
Errors'decorated' hides a field.65
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.69
ErrorsMissing a Javadoc comment.69
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.78
ErrorsMissing a Javadoc comment.78
ErrorsParameter lits should be final.78
ErrorsParameter coeffs should be final.78
ErrorsParameter moreThan should be final.79
ErrorsParameter d should be final.79
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.83
ErrorsMissing a Javadoc comment.83
ErrorsParameter var should be final.83
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.87
ErrorsParameter reserve should be final.87
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsParameter p should be final.95
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMissing a Javadoc comment.99
ErrorsParameter literals should be final.99
ErrorsParameter coeffs should be final.99
ErrorsParameter degree should be final.99
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.