Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos InfosWarnings WarningsErrors Errors
126006207

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.java0045
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.java0017
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.java00147
org/sat4j/pb/constraints/pb/WatchPbLong.java00147
org/sat4j/pb/constraints/pb/WatchPbLongCP.java00162
org/sat4j/pb/core/IPBCDCLSolver.java005
org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java00203
org/sat4j/pb/core/PBDataStructureFactory.java009
org/sat4j/pb/core/PBSolver.java0083
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/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.java0066
org/sat4j/pb/tools/LexicoHelper.java0021
org/sat4j/pb/tools/ManyCorePB.java0053
org/sat4j/pb/tools/PBAdapter.java0050
org/sat4j/pb/tools/SearchOptimizerListener.java0018
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"
1821Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
449Errors Error
JavadocMethod846Errors Error
JavadocType78Errors Error
JavadocVariable190Errors 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
LineLength451Errors Error
MethodLength0Errors Error
ParameterNumber0Errors Error
EmptyForIteratorPad0Errors Error
MethodParamPad0Errors Error
NoWhitespaceAfter2Errors Error
NoWhitespaceBefore0Errors Error
OperatorWrap0Errors Error
ParenPad0Errors Error
TypecastParenPad0Errors Error
WhitespaceAfter3Errors Error
WhitespaceAround0Errors Error
ModifierOrder0Errors Error
RedundantModifier0Errors Error
AvoidNestedBlocks0Errors Error
EmptyBlock2Errors Error
LeftCurly0Errors Error
NeedBraces0Errors Error
RightCurly0Errors Error
AvoidInlineConditionals18Errors Error
DoubleCheckedLocking0Errors Error
EmptyStatement0Errors Error
EqualsHashCode0Errors Error
HiddenField62Errors Error
IllegalInstantiation0Errors Error
InnerAssignment8Errors Error
MagicNumber17Errors Error
MissingSwitchDefault0Errors Error
RedundantThrows0Errors Error
SimplifyBooleanExpression0Errors Error
SimplifyBooleanReturn0Errors Error
DesignForExtension656Errors Error
FinalClass0Errors Error
HideUtilityClassConstructor1Errors Error
InterfaceIsType0Errors Error
VisibilityModifier78Errors Error
ArrayTypeStyle2Errors Error
FinalParameters1370Errors 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.43
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.53
ErrorsVariable 'problem' must be private and have accessor methods.53
ErrorsMissing a Javadoc comment.55
ErrorsVariable 'modelComputed' must be private and have accessor methods.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
ErrorsParameter problem should be final.61
Errors'problem' hides a field.61
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.66
ErrorsInner assignments should be avoided.72
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.77
ErrorsParameter global should be final.78
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.82
ErrorsParameter myAssumps should be final.83
ErrorsParameter global should be final.83
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.88
ErrorsParameter myAssumps should be final.89
ErrorsInner assignments should be avoided.95
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.100
ErrorsLine has trailing spaces.108
ErrorsExpected an @return tag.113
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.113
ErrorsParameter out should be final.113
Errors'1000.0' is a magic number.127
Errors'1000.0' is a magic number.134
Errors'1000.0' is a magic number.140
ErrorsMust have at least one statement.143
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.150
ErrorsParameter var should be final.151
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.158
ErrorsParameter prefix should be final.159
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.164
ErrorsMissing a Javadoc comment.164
ErrorsLine has trailing spaces.170
ErrorsExpected an @return tag.174
ErrorsMethod 'getCurrentObjectiveValue' is not designed for extension - needs to be abstract, final or empty.174
ErrorsLine has trailing spaces.184
ErrorsMethod 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty.187
ErrorsParameter seconds should be final.187
ErrorsExpected @param tag for 'seconds'.187

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.47
ErrorsMethod 'constructCard' is not designed for extension - needs to be abstract, final or empty.49
ErrorsMissing a Javadoc comment.49
ErrorsParameter solver should be final.49
ErrorsParameter voc should be final.49
ErrorsParameter theLits should be final.50
ErrorsParameter degree should be final.50
ErrorsMethod 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMissing a Javadoc comment.55
ErrorsParameter voc should be final.55
ErrorsParameter dspb should be final.55
ErrorsLine is longer than 80 characters.59
Errors';' is not followed by whitespace.59
ErrorsLine is longer than 80 characters.60
ErrorsLine is longer than 80 characters.62

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 has trailing spaces.56
ErrorsLine contains a tab character.56
ErrorsLine contains a tab character.57
ErrorsMissing a Javadoc comment.60
ErrorsFirst sentence should end with a period.61
ErrorsVariable 'activity' must be private and have accessor methods.64
ErrorsFirst sentence should end with a period.66
ErrorsVariable 'coefs' must be private and have accessor methods.69
ErrorsMissing a Javadoc comment.71
ErrorsVariable 'sumcoefs' must be private and have accessor methods.71
ErrorsFirst sentence should end with a period.73
ErrorsVariable 'degree' must be private and have accessor methods.76
ErrorsFirst sentence should end with a period.78
ErrorsVariable 'lits' must be private and have accessor methods.81
ErrorsFirst sentence should end with a period.83
ErrorsVariable 'learnt' must be private and have accessor methods.86
ErrorsFirst sentence should end with a period.88
ErrorsVariable 'voc' must be private and have accessor methods.91
ErrorsParameter mpb should be final.100
ErrorsExpected @param tag for 'mpb'.100
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
ErrorsParameter sumCoefs should be final.118
ErrorsExpected @param tag for 'sumCoefs'.118
ErrorsFirst sentence should end with a period.127
ErrorsLine has trailing spaces.130
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
ErrorsFirst sentence should end with a period.158
ErrorsLine has trailing spaces.160
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 is longer than 80 characters.176
ErrorsMissing a Javadoc comment.183
ErrorsMissing a Javadoc comment.185
ErrorsFirst sentence should end with a period.188
ErrorsLine has trailing spaces.190
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.195
ErrorsParameter i should be final.195
ErrorsFirst sentence should end with a period.199
ErrorsLine has trailing spaces.201
ErrorsMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.206
ErrorsParameter i should be final.206
ErrorsFirst sentence should end with a period.210
ErrorsLine has trailing spaces.212
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.216
ErrorsFirst sentence should end with a period.220
ErrorsLine has trailing spaces.222
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
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
ErrorsFirst sentence should end with a period.237
ErrorsLine has trailing spaces.240
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.243
ErrorsFirst sentence should end with a period.247
ErrorsLine has trailing spaces.250
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.257
ErrorsParameter theCoefs should be final.257
ErrorsParameter theDegree should be final.258
ErrorsFirst sentence should end with a period.262
ErrorsLine has trailing spaces.265
ErrorsUnused @param tag for 'coefs'.266
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
ErrorsFirst sentence should end with a period.282
ErrorsLine has trailing spaces.285
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.288
ErrorsLine has trailing spaces.294
ErrorsLine has trailing spaces.296
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.299
ErrorsLine has trailing spaces.305
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.309
ErrorsLine has trailing spaces.315
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.318
ErrorsFirst sentence should end with a period.327
ErrorsLine has trailing spaces.330
ErrorsParameter a should be final.337
ErrorsParameter b should be final.337
ErrorsFirst sentence should end with a period.341
ErrorsLine has trailing spaces.343
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.347
ErrorsParameter d should be final.347
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
ErrorsFirst sentence should end with a period.374
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.377
ErrorsFirst sentence should end with a period.381
ErrorsLine has trailing spaces.383
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.386
ErrorsMissing a Javadoc comment.401
ErrorsFirst sentence should end with a period.405
ErrorsFirst sentence should end with a period.421
ErrorsLine has trailing spaces.423
ErrorsParameter from should be final.429
ErrorsParameter to should be final.429
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.472
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
ErrorsMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.509
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.513
ErrorsMissing a Javadoc comment.513
ErrorsLine has trailing spaces.525
ErrorsMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.528
ErrorsLine has trailing spaces.536
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.539
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.545
ErrorsMissing a Javadoc comment.545
ErrorsLine has trailing spaces.551
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.554
ErrorsMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.570
ErrorsMissing a Javadoc comment.570
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.574
ErrorsParameter pb should be final.575
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.617
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.626
ErrorsMissing a Javadoc comment.626
ErrorsParameter claInc should be final.626
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.632
ErrorsMissing a Javadoc comment.632
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.636
ErrorsMissing a Javadoc comment.636
ErrorsMethod 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.640
ErrorsMissing a Javadoc comment.640
ErrorsParameter p should be final.640
ErrorsParameter trail should be final.640
ErrorsParameter outReason should be final.640
ErrorsLine is longer than 80 characters.651

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.46
ErrorsLine has trailing spaces.50
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsMissing a Javadoc comment.54
ErrorsFirst sentence should end with a period.55
ErrorsVariable 'activity' must be private and have accessor methods.58
ErrorsFirst sentence should end with a period.60
ErrorsVariable 'coefs' must be private and have accessor methods.63
ErrorsMissing a Javadoc comment.65
ErrorsVariable 'sumcoefs' must be private and have accessor methods.65
ErrorsFirst sentence should end with a period.67
ErrorsVariable 'degree' must be private and have accessor methods.70
ErrorsFirst sentence should end with a period.72
ErrorsVariable 'lits' must be private and have accessor methods.75
ErrorsFirst sentence should end with a period.77
ErrorsVariable 'learnt' must be private and have accessor methods.80
ErrorsFirst sentence should end with a period.82
ErrorsVariable 'voc' must be private and have accessor methods.85
ErrorsParameter mpb should be final.94
ErrorsExpected @param tag for 'mpb'.94
ErrorsParameter lits should be final.112
Errors'lits' hides a field.112
ErrorsExpected @param tag for 'lits'.112
ErrorsParameter coefs should be final.112
Errors'coefs' hides a field.112
ErrorsExpected @param tag for 'coefs'.112
ErrorsParameter degree should be final.112
Errors'degree' hides a field.112
ErrorsExpected @param tag for 'degree'.112
ErrorsParameter sumCoefs should be final.113
ErrorsExpected @param tag for 'sumCoefs'.113
ErrorsMissing a Javadoc comment.122
ErrorsParameter bigValues should be final.122
ErrorsFirst sentence should end with a period.130
ErrorsLine has trailing spaces.133
ErrorsMethod 'isAssertive' is not designed for extension - needs to be abstract, final or empty.137
ErrorsParameter dl should be final.137
ErrorsExpected @param tag for 'dl'.137
ErrorsFirst sentence should end with a period.161
ErrorsLine has trailing spaces.163
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.171
ErrorsParameter p should be final.171
ErrorsParameter outReason should be final.171
ErrorsMissing a Javadoc comment.194
ErrorsMissing a Javadoc comment.196
ErrorsFirst sentence should end with a period.199
ErrorsLine has trailing spaces.201
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.206
ErrorsParameter i should be final.206
ErrorsFirst sentence should end with a period.210
ErrorsLine has trailing spaces.212
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.216
ErrorsFirst sentence should end with a period.220
ErrorsLine has trailing spaces.222
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
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
ErrorsFirst sentence should end with a period.237
ErrorsLine has trailing spaces.240
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.243
ErrorsFirst sentence should end with a period.247
ErrorsLine has trailing spaces.250
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.257
ErrorsParameter theCoefs should be final.257
ErrorsParameter theDegree should be final.257
ErrorsFirst sentence should end with a period.261
ErrorsLine has trailing spaces.264
ErrorsUnused @param tag for 'coefs'.265
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.269
ErrorsParameter theCoefs should be final.269
ErrorsExpected @param tag for 'theCoefs'.269
ErrorsFirst sentence should end with a period.281
ErrorsLine has trailing spaces.284
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.287
ErrorsLine has trailing spaces.293
ErrorsLine has trailing spaces.295
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.298
ErrorsLine has trailing spaces.304
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.308
ErrorsLine has trailing spaces.314
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.317
ErrorsFirst sentence should end with a period.326
ErrorsLine has trailing spaces.329
ErrorsParameter a should be final.336
ErrorsParameter b should be final.336
ErrorsFirst sentence should end with a period.340
ErrorsLine has trailing spaces.342
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.346
ErrorsParameter d should be final.346
ErrorsMethod 'selectionSort' is not designed for extension - needs to be abstract, final or empty.350
ErrorsMissing a Javadoc comment.350
ErrorsParameter from should be final.350
ErrorsParameter to should be final.350
ErrorsFirst sentence should end with a period.373
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.376
ErrorsFirst sentence should end with a period.380
ErrorsLine has trailing spaces.382
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.385
ErrorsMissing a Javadoc comment.400
ErrorsFirst sentence should end with a period.404
ErrorsFirst sentence should end with a period.419
ErrorsLine has trailing spaces.421
ErrorsParameter from should be final.427
ErrorsParameter to should be final.427
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.468
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.491
ErrorsMissing a Javadoc comment.491
ErrorsParameter s should be final.491
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.501
ErrorsMissing a Javadoc comment.501
ErrorsLine has trailing spaces.513
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.516
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.522
ErrorsMissing a Javadoc comment.522
ErrorsLine has trailing spaces.528
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.531
ErrorsMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.547
ErrorsMissing a Javadoc comment.547
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.551
ErrorsParameter pb should be final.552
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.594
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.603
ErrorsMissing a Javadoc comment.603
ErrorsParameter claInc should be final.603
ErrorsMissing a Javadoc comment.609
ErrorsParameter upl should be final.609
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.612
ErrorsMissing a Javadoc comment.612
ErrorsParameter s should be final.612
ErrorsParameter p should be final.612
ErrorsMissing a Javadoc comment.616
ErrorsParameter p should be final.616
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.619
ErrorsMissing a Javadoc comment.619
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.623
ErrorsMissing a Javadoc comment.623
ErrorsMethod 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.627
ErrorsMissing a Javadoc comment.627
ErrorsParameter p should be final.627
ErrorsParameter trail should be final.627
ErrorsParameter outReason should be final.627

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 has trailing spaces.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsMissing a Javadoc comment.53
ErrorsFirst sentence should end with a period.55
ErrorsVariable 'activity' must be private and have accessor methods.58
ErrorsFirst sentence should end with a period.61
ErrorsVariable 'bigCoefs' must be private and have accessor methods.64
ErrorsFirst sentence should end with a period.66
ErrorsVariable 'bigDegree' must be private and have accessor methods.69
ErrorsFirst sentence should end with a period.71
ErrorsVariable 'coefs' must be private and have accessor methods.74
ErrorsMissing a Javadoc comment.76
ErrorsVariable 'sumcoefs' must be private and have accessor methods.76
ErrorsFirst sentence should end with a period.78
ErrorsVariable 'degree' must be private and have accessor methods.81
ErrorsFirst sentence should end with a period.83
ErrorsVariable 'lits' must be private and have accessor methods.86
ErrorsFirst sentence should end with a period.88
ErrorsVariable 'learnt' must be private and have accessor methods.91
ErrorsFirst sentence should end with a period.93
ErrorsVariable 'voc' must be private and have accessor methods.96
ErrorsParameter mpb should be final.105
ErrorsExpected @param tag for 'mpb'.105
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
ErrorsParameter sumCoefs should be final.125
ErrorsExpected @param tag for 'sumCoefs'.125
ErrorsMissing a Javadoc comment.136
ErrorsParameter bigValues should be final.136
ErrorsFirst sentence should end with a period.146
ErrorsLine has trailing spaces.149
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
ErrorsFirst sentence should end with a period.177
ErrorsLine has trailing spaces.179
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
ErrorsMissing a Javadoc comment.202
ErrorsMissing a Javadoc comment.204
ErrorsFirst sentence should end with a period.207
ErrorsLine has trailing spaces.209
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.214
ErrorsParameter i should be final.214
ErrorsFirst sentence should end with a period.218
ErrorsLine has trailing spaces.220
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.224
ErrorsFirst sentence should end with a period.228
ErrorsLine has trailing spaces.230
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
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
ErrorsFirst sentence should end with a period.245
ErrorsLine has trailing spaces.248
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.251
ErrorsFirst sentence should end with a period.255
ErrorsLine has trailing spaces.258
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
ErrorsFirst sentence should end with a period.269
ErrorsLine has trailing spaces.272
ErrorsUnused @param tag for 'coefs'.273
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
ErrorsFirst sentence should end with a period.289
ErrorsLine has trailing spaces.292
ErrorsUnused @param tag for 'coefs'.293
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
ErrorsFirst sentence should end with a period.309
ErrorsLine has trailing spaces.312
ErrorsMethod 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.315
ErrorsLine has trailing spaces.321
ErrorsLine has trailing spaces.323
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.326
ErrorsLine has trailing spaces.332
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.336
ErrorsLine has trailing spaces.342
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.345
ErrorsFirst sentence should end with a period.354
ErrorsLine has trailing spaces.357
ErrorsParameter a should be final.364
ErrorsParameter b should be final.364
ErrorsFirst sentence should end with a period.368
ErrorsLine has trailing spaces.370
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.374
ErrorsParameter d should be final.374
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
ErrorsFirst sentence should end with a period.407
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.410
ErrorsFirst sentence should end with a period.414
ErrorsLine has trailing spaces.416
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.419
ErrorsMissing a Javadoc comment.434
ErrorsFirst sentence should end with a period.438
ErrorsFirst sentence should end with a period.448
ErrorsLine has trailing spaces.450
ErrorsParameter from should be final.456
ErrorsParameter to should be final.456
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.504
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
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.537
ErrorsMissing a Javadoc comment.537
ErrorsLine has trailing spaces.549
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.552
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.558
ErrorsMissing a Javadoc comment.558
ErrorsLine has trailing spaces.564
ErrorsMethod 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.567
ErrorsMethod 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.583
ErrorsMissing a Javadoc comment.583
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.587
ErrorsParameter pb should be final.588
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.630
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.639
ErrorsMissing a Javadoc comment.639
ErrorsParameter claInc should be final.639
ErrorsMethod 'getLongCoefs' is not designed for extension - needs to be abstract, final or empty.645
ErrorsMissing a Javadoc comment.645
ErrorsMethod 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.651
ErrorsMissing a Javadoc comment.651
ErrorsParameter theCoefs should be final.651
ErrorsParameter theDegree should be final.652
ErrorsFirst sentence should end with a period.656
ErrorsLine has trailing spaces.658
ErrorsMethod 'getCoef' is not designed for extension - needs to be abstract, final or empty.663
ErrorsParameter i should be final.663
ErrorsLine has trailing spaces.669
ErrorsMethod 'getCoefs' is not designed for extension - needs to be abstract, final or empty.672
ErrorsMethod 'getDegree' is not designed for extension - needs to be abstract, final or empty.681
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.685
ErrorsMissing a Javadoc comment.685
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.689
ErrorsMissing a Javadoc comment.689
ErrorsMethod 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.693
ErrorsMissing a Javadoc comment.693
ErrorsParameter p should be final.693
ErrorsParameter trail should be final.693
ErrorsParameter outReason should be final.693

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.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsParameter decorated should be final.64
Errors'decorated' hides a field.64
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.68
ErrorsMissing a Javadoc comment.68
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.72
ErrorsMissing a Javadoc comment.72
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsParameter lits should be final.77
ErrorsParameter coeffs should be final.77
ErrorsParameter moreThan should be final.78
ErrorsParameter d should be final.78
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsParameter var should be final.82
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMissing a Javadoc comment.86
ErrorsParameter reserve should be final.86
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMissing a Javadoc comment.90
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.94
ErrorsMissing a Javadoc comment.94
ErrorsParameter p should be final.94
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.98
ErrorsMissing a Javadoc comment.98
ErrorsParameter literals should be final.98
ErrorsParameter coeffs should be final.98
ErrorsParameter degree should be final.98
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.109
ErrorsMissing a Javadoc comment.109
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter assumps should be final.113
ErrorsParameter globalTimeout should be final.113
ErrorsMethod 'registerLiteral' is not designed for extension - needs to be abstract, final or empty.118
ErrorsMissing a Javadoc comment.118
ErrorsParameter p should be final.118
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.122
ErrorsMissing a Javadoc comment.122
ErrorsParameter nb should be final.122
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsParameter literals should be final.126
ErrorsParameter coeffs should be final.126
ErrorsParameter degree should be final.127
ErrorsLine is longer than 80 characters.137
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMissing a Javadoc comment.137
ErrorsParameter globalTimeout should be final.137
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsParameter literals should be final.141
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMissing a Javadoc comment.145
ErrorsParameter assumps should be final.145
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.149
ErrorsMissing a Javadoc comment.149
ErrorsParameter literals should be final.149
ErrorsParameter coeffs should be final.149
ErrorsParameter degree should be final.149
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.154
ErrorsMissing a Javadoc comment.154
ErrorsMethod 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.158
ErrorsMissing a Javadoc comment.158
ErrorsParameter literals should be final.158
ErrorsMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.163
ErrorsMissing a Javadoc comment.163
ErrorsParameter c should be final.163
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.167
ErrorsMissing a Javadoc comment.167
ErrorsParameter assumps should be final.167
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.171
ErrorsMissing a Javadoc comment.171
ErrorsParameter literals should be final.171
ErrorsParameter coeffs should be final.171
ErrorsParameter degree should be final.172
ErrorsMethod 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.176
ErrorsMissing a Javadoc comment.176
ErrorsParameter c should be final.176
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.184
ErrorsMissing a Javadoc comment.184
ErrorsParameter howmany should be final.184
ErrorsMethod 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.188
ErrorsMissing a Javadoc comment.188
ErrorsParameter clauses should be final.188
ErrorsMethod 'addExactly' 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 weight should be final.195
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsMethod 'printInfos' is not designed for extension - needs to be abstract, final or empty.204
ErrorsMissing a Javadoc comment.204
ErrorsParameter out should be final.205
ErrorsParameter prefix should be final.205
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.209
ErrorsMissing a Javadoc comment.209
ErrorsParameter literals should be final.209
ErrorsParameter degree should be final.209
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.217
ErrorsMissing a Javadoc comment.217
ErrorsParameter literals should be final.217
ErrorsParameter coeffs should be final.217
ErrorsParameter weight should be final.218
ErrorsMethod 'printInfos' is not designed for extension - needs to be abstract, final or empty.222
ErrorsMissing a Javadoc comment.222
ErrorsParameter out should be final.222
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.226
ErrorsMissing a Javadoc comment.226
ErrorsParameter literals should be final.226
ErrorsParameter degree should be final.226
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.231
ErrorsMissing a Javadoc comment.231
ErrorsParameter obj should be final.231
ErrorsMissing a Javadoc comment.254
ErrorsParameter obj should be final.254
ErrorsParameter newVars should be final.254
ErrorsParameter newCoeffs should be final.255
ErrorsParameter oldVarsToIgnore should be final.255
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.299
ErrorsMissing a Javadoc comment.299
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.303
ErrorsMissing a Javadoc comment.303
ErrorsParameter literals should be final.303
ErrorsParameter n should be final.303
ErrorsMethod 'setTimeout' is not designed for extension - needs to be abstract, final or empty.308
ErrorsMissing a Javadoc comment.308
ErrorsParameter t should be final.308
ErrorsMethod 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.312
ErrorsMissing a Javadoc comment.312
ErrorsParameter count should be final.312
ErrorsMethod 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.316
ErrorsMissing a Javadoc comment.316
ErrorsParameter t should be final.316
ErrorsMethod 'getTimeout' is not designed for extension - needs to be abstract, final or empty.320
ErrorsMissing a Javadoc comment.320
ErrorsMethod 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.324
ErrorsMissing a Javadoc comment.324
ErrorsMethod 'expireTimeout' is not designed for extension - needs to be abstract, final or empty.328
ErrorsMissing a Javadoc comment.328
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.332
ErrorsMissing a Javadoc comment.332
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.336
ErrorsMissing a Javadoc comment.336
ErrorsParameter out should be final.337
ErrorsParameter prefix should be final.337
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.341
ErrorsMissing a Javadoc comment.341
ErrorsParameter out should be final.342
ErrorsParameter prefix should be final.342
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.346
ErrorsMissing a Javadoc comment.346
ErrorsParameter out should be final.346
ErrorsMethod 'getStat' is not designed for extension - needs to be abstract, final or empty.350
ErrorsMissing a Javadoc comment.350
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.354
ErrorsMissing a Javadoc comment.354
ErrorsParameter prefix should be final.354
ErrorsMethod 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.358
ErrorsMissing a Javadoc comment.358
ErrorsMethod 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.362
ErrorsMissing a Javadoc comment.362
ErrorsParameter status should be final.362
ErrorsMethod 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.366
ErrorsMissing a Javadoc comment.366
ErrorsMethod 'setSearchListener' is not designed for extension - needs to be abstract, final or empty.370
ErrorsMissing a Javadoc comment.370
ErrorsParameter sl should be final.371
ErrorsMethod 'getSearchListener' is not designed for extension - needs to be abstract, final or empty.375
ErrorsMissing a Javadoc comment.375
ErrorsMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.379
ErrorsMissing a Javadoc comment.379
ErrorsMethod 'setVerbose' is not designed for extension - needs to be abstract, final or empty.383
ErrorsMissing a Javadoc comment.383
ErrorsParameter value should be final.383
ErrorsMethod 'setLogPrefix' is not designed for extension - needs to be abstract, final or empty.387
ErrorsMissing a Javadoc comment.387
ErrorsParameter prefix should be final.387
ErrorsMethod 'getLogPrefix' is not designed for extension - needs to be abstract, final or empty.391
ErrorsMissing a Javadoc comment.391
ErrorsMethod 'unsatExplanation' is not designed for extension - needs to be abstract, final or empty.395
ErrorsMissing a Javadoc comment.395
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.399
ErrorsMissing a Javadoc comment.399
ErrorsMethod 'realNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.403
ErrorsMissing a Javadoc comment.403
ErrorsMethod 'isSolverKeptHot' is not designed for extension - needs to be abstract, final or empty.407
ErrorsMissing a Javadoc comment.407
ErrorsMethod 'setKeepSolverHot' is not designed for extension - needs to be abstract, final or empty.411
ErrorsMissing a Javadoc comment.411
ErrorsParameter keepHot should be final.411
ErrorsMethod 'getSolvingEngine' is not designed for extension - needs to be abstract, final or empty.415
ErrorsMissing a Javadoc comment.415

org/sat4j/pb/core/PBDataStructureFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.58

org/sat4j/pb/core/PBSolver.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.60
ErrorsLine has trailing spaces.63
ErrorsMissing a Javadoc comment.67
ErrorsVariable 'stats' must be private and have accessor methods.67
ErrorsMissing a Javadoc comment.69
ErrorsParameter learner should be final.69
ErrorsLine is longer than 80 characters.70
ErrorsParameter dsf should be final.70
ErrorsParameter order should be final.70
ErrorsParameter restarter should be final.70
ErrorsMissing a Javadoc comment.76
ErrorsParameter learner should be final.76
ErrorsParameter dsf should be final.77
ErrorsParameter params should be final.77
ErrorsParameter order should be final.77
ErrorsParameter restarter should be final.78
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.84
ErrorsMissing a Javadoc comment.84
ErrorsParameter literals should be final.84
ErrorsParameter coeffs should be final.84
ErrorsParameter moreThan should be final.85
ErrorsParameter degree should be final.85
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.93
ErrorsMissing a Javadoc comment.93
ErrorsParameter obj should be final.93
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.101
ErrorsMissing a Javadoc comment.101
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.105
ErrorsMissing a Javadoc comment.105
ErrorsParameter literals should be final.105
ErrorsParameter coeffs should be final.105
ErrorsParameter degree should be final.105
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.115
ErrorsMissing a Javadoc comment.115
ErrorsParameter literals should be final.115
ErrorsParameter coeffs should be final.115
ErrorsParameter degree should be final.116
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.124
ErrorsMissing a Javadoc comment.124
ErrorsParameter literals should be final.124
ErrorsParameter coeffs should be final.124
ErrorsParameter degree should be final.124
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.134
ErrorsMissing a Javadoc comment.134
ErrorsParameter literals should be final.134
ErrorsParameter coeffs should be final.134
ErrorsParameter degree should be final.135
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.143
ErrorsMissing a Javadoc comment.143
ErrorsParameter literals should be final.143
ErrorsParameter coeffs should be final.143
ErrorsParameter weight should be final.143
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.153
ErrorsMissing a Javadoc comment.153
ErrorsParameter literals should be final.153
ErrorsParameter coeffs should be final.153
ErrorsParameter weight should be final.154
ErrorsMissing a Javadoc comment.166
ErrorsMethod 'addAtMostOnTheFly' is not designed for extension - needs to be abstract, final or empty.168
ErrorsMissing a Javadoc comment.168
ErrorsParameter literals should be final.168
ErrorsParameter coefs should be final.168
ErrorsParameter degree should be final.169
ErrorsLine is longer than 80 characters.193
ErrorsMethod 'addAtMostOnTheFly' is not designed for extension - needs to be abstract, final or empty.193
ErrorsMissing a Javadoc comment.193
ErrorsParameter literals should be final.193
ErrorsParameter coefs should be final.193
ErrorsParameter degree should be final.193
ErrorsLine is longer than 80 characters.205
ErrorsVariable 'objectiveFunctionBased' must be private and have accessor methods.205
ErrorsParameter learnedConstrs should be final.239
ErrorsInner assignments should be avoided.241
ErrorsLine is longer than 80 characters.252
ErrorsLine is longer than 80 characters.253
ErrorsLine is longer than 80 characters.266
ErrorsLine is longer than 80 characters.273
ErrorsParameter constr should be final.282
ErrorsParameter reason should be final.297
ErrorsParameter from should be final.301

org/sat4j/pb/core/PBSolverCP.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.52
ErrorsParameter learner should be final.59
ErrorsExpected @param tag for 'learner'.59
ErrorsParameter dsf should be final.60
ErrorsExpected @param tag for 'dsf'.60
ErrorsParameter order should be final.60
ErrorsExpected @param tag for 'order'.60
Errors'1.5' is a magic number.61
Errors'100' is a magic number.61
ErrorsMissing a Javadoc comment.65
ErrorsParameter learner should be final.65
ErrorsParameter dsf should be final.66
ErrorsParameter params should be final.66
ErrorsParameter order should be final.66
ErrorsParameter restarter should be final.67
ErrorsMissing a Javadoc comment.71
ErrorsParameter learner should be final.71
ErrorsParameter dsf should be final.72
ErrorsParameter params should be final.72
ErrorsParameter order should be final.72
ErrorsMethod 'analyze' is not designed for extension - needs to be abstract, final or empty.76
ErrorsParameter myconfl should be final.77
ErrorsParameter results should be final.77
ErrorsLine is longer than 80 characters.85
ErrorsMethod 'analyzeCP' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.85
ErrorsParameter myconfl should be final.85
ErrorsParameter results should be final.85
ErrorsMethod 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.153
ErrorsMissing a Javadoc comment.153
ErrorsParameter myconfl should be final.153
ErrorsParameter level should be final.153
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.157
ErrorsParameter prefix should be final.158
ErrorsMissing a Javadoc comment.163
ErrorsMissing a Javadoc comment.164
ErrorsMethod 'initExplanation' is not designed for extension - needs to be abstract, final or empty.166
ErrorsMissing a Javadoc comment.166
ErrorsMethod 'someCriteria' is not designed for extension - needs to be abstract, final or empty.171
ErrorsMissing a Javadoc comment.171
ErrorsMissing a Javadoc comment.175
ErrorsParameter confl should be final.175
ErrorsMissing a Javadoc comment.178
ErrorsParameter confl should be final.178

org/sat4j/pb/core/PBSolverCautious.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.41
ErrorsMissing a Javadoc comment.43
ErrorsParameter learner should be final.43
ErrorsParameter dsf should be final.44
ErrorsParameter order should be final.44
ErrorsMissing a Javadoc comment.49
ErrorsParameter learner should be final.49
ErrorsParameter dsf should be final.50
ErrorsParameter order should be final.50
ErrorsParameter bound should be final.50
ErrorsMethod 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.55
ErrorsParameter myconfl should be final.56
ErrorsParameter level should be final.56
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.60
ErrorsParameter prefix should be final.61
ErrorsLine is longer than 80 characters.65
ErrorsMethod 'updateNumberOfReductions' is not designed for extension - needs to be abstract, final or empty.68
ErrorsParameter confl should be final.69
ErrorsMethod 'updateNumberOfReducedLearnedConstraints' is not designed for extension - needs to be abstract, final or empty.74
ErrorsParameter confl should be final.75

org/sat4j/pb/core/PBSolverClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.45
ErrorsParameter learner should be final.45
ErrorsParameter dsf should be final.46
ErrorsParameter order should be final.46
ErrorsMethod 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.50
ErrorsParameter myconfl should be final.51
ErrorsParameter level should be final.51
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.55
ErrorsParameter prefix should be final.56

org/sat4j/pb/core/PBSolverResCP.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.40
ErrorsLine contains a tab character.40
ErrorsLine contains a tab character.41
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsParameter learner should be final.48
ErrorsParameter dsf should be final.49
ErrorsParameter order should be final.49
ErrorsMissing a Javadoc comment.53
ErrorsParameter learner should be final.53
ErrorsParameter dsf should be final.54
ErrorsParameter order should be final.54
ErrorsParameter bound should be final.54
Errors'bound' hides a field.54
ErrorsMissing a Javadoc comment.59
ErrorsParameter learner should be final.59
ErrorsParameter dsf should be final.60
ErrorsParameter params should be final.60
ErrorsParameter order should be final.60
ErrorsParameter restarter should be final.61
ErrorsMissing a Javadoc comment.65
ErrorsParameter learner should be final.65
ErrorsParameter dsf should be final.66
ErrorsParameter params should be final.66
ErrorsParameter order should be final.66
ErrorsMethod 'someCriteria' is not designed for extension - needs to be abstract, final or empty.71

org/sat4j/pb/core/PBSolverResolution.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.40
ErrorsMissing a Javadoc comment.44
ErrorsParameter learner should be final.44
ErrorsParameter dsf should be final.45
ErrorsParameter params should be final.45
ErrorsParameter order should be final.45
ErrorsParameter restarter should be final.46
ErrorsMissing a Javadoc comment.50
ErrorsParameter learner should be final.50
ErrorsLine is longer than 80 characters.51
ErrorsParameter dsf should be final.51
ErrorsParameter order should be final.51
ErrorsParameter restarter should be final.51

org/sat4j/pb/core/PBSolverStats.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsLine has trailing spaces.39
ErrorsLine contains a tab character.39
ErrorsLine contains a tab character.40
ErrorsMissing a Javadoc comment.43
ErrorsVariable 'numberOfReductions' must be private and have accessor methods.43
ErrorsMissing a Javadoc comment.45
ErrorsVariable 'numberOfLearnedConstraintsReduced' must be private and have accessor methods.45
ErrorsMissing a Javadoc comment.47
ErrorsVariable 'numberOfResolution' must be private and have accessor methods.47
ErrorsMissing a Javadoc comment.49
ErrorsVariable 'numberOfCP' must be private and have accessor methods.49
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.60
ErrorsParameter out should be final.61
ErrorsParameter prefix should be final.61

org/sat4j/pb/core/PBSolverWithImpliedClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsParameter learner should be final.45
ErrorsParameter dsf should be final.46
ErrorsParameter order should be final.46
ErrorsLine has trailing spaces.51
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.55
ErrorsParameter literals should be final.56
ErrorsParameter coeffs should be final.56
ErrorsParameter moreThan should be final.57
ErrorsParameter degree should be final.57
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.72
ErrorsParameter prefix should be final.73

org/sat4j/pb/core/package-info.java

ViolationMessageLine
ErrorsFirst sentence should end with a period.1

org/sat4j/pb/orders/IOrderObjective.java

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

org/sat4j/pb/orders/RandomWalkDecoratorObjective.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.35
ErrorsLine contains a tab character.36
ErrorsLine contains a tab character.38
ErrorsLine has trailing spaces.39
ErrorsLine contains a tab character.39
ErrorsLine contains a tab character.40
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.43
ErrorsMissing a Javadoc comment.43
ErrorsLine is longer than 80 characters.45
ErrorsLine contains a tab character.45
ErrorsMissing a Javadoc comment.45
ErrorsParameter order should be final.45
ErrorsParameter p should be final.45
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsLine contains a tab character.50
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.50
ErrorsMissing a Javadoc comment.50
ErrorsParameter obj should be final.50
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52

org/sat4j/pb/orders/VarOrderHeapObjective.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.58
ErrorsParameter strategy should be final.58
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.62
ErrorsMissing a Javadoc comment.62
ErrorsParameter obj should be final.62
Errors'obj' hides a field.62
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.66
ErrorsAvoid inline conditionals.81
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.94

org/sat4j/pb/package-info.java

ViolationMessageLine
ErrorsFirst sentence should end with a period.1

org/sat4j/pb/reader/JSONPBReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.48
ErrorsLine is longer than 80 characters.52
ErrorsLine has trailing spaces.56
ErrorsLine contains a tab character.61
ErrorsMissing a Javadoc comment.61
ErrorsLine is longer than 80 characters.62
ErrorsLine contains a tab character.62
ErrorsMissing a Javadoc comment.62
ErrorsLine contains a tab character.63
ErrorsLine is longer than 80 characters.64
ErrorsLine contains a tab character.64
ErrorsMissing a Javadoc comment.64
ErrorsLine contains a tab character.66
ErrorsMissing a Javadoc comment.66
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.69
ErrorsMissing a Javadoc comment.69
ErrorsLine contains a tab character.70
ErrorsMissing a Javadoc comment.70
ErrorsLine is longer than 80 characters.71
ErrorsLine contains a tab character.71
ErrorsMissing a Javadoc comment.71
ErrorsLine contains a tab character.72
ErrorsMissing a Javadoc comment.72
ErrorsLine contains a tab character.73
ErrorsLine contains a tab character.75
ErrorsMissing a Javadoc comment.75
ErrorsParameter solver should be final.75
ErrorsLine contains a tab character.76
ErrorsLine contains a tab character.77
ErrorsLine contains a tab character.79
ErrorsMethod 'handleNotHandled' is not designed for extension - needs to be abstract, final or empty.79
ErrorsLine contains a tab character.80
ErrorsParameter constraint should be final.80
ErrorsLine contains a tab character.81
ErrorsLine contains a tab character.82
ErrorsLine contains a tab character.83
ErrorsLine is longer than 80 characters.84
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.92
ErrorsMissing a Javadoc comment.92
ErrorsParameter constraint should be final.92
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.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.103
ErrorsLine is longer than 80 characters.104
ErrorsLine contains a tab character.104
ErrorsLine contains a tab character.105
ErrorsLine contains a tab character.106
ErrorsAvoid inline conditionals.106
ErrorsLine contains a tab character.107
ErrorsLine is longer than 80 characters.108
ErrorsLine contains a tab character.108
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.111
ErrorsLine contains a tab character.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter constraint should be final.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 is longer than 80 characters.122
ErrorsLine contains a tab character.122
ErrorsLine contains a tab character.123
ErrorsLine contains a tab character.124
ErrorsLine contains a tab character.125
ErrorsLine is longer than 80 characters.126
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.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.141
ErrorsLine contains a tab character.143
ErrorsLine contains a tab character.145
ErrorsMethod 'constraintRegexp' is not designed for extension - needs to be abstract, final or empty.145
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 contains a tab character.149

org/sat4j/pb/reader/OPBEclipseReader2007.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
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.55
ErrorsExpected @param tag for 'solver'.55
ErrorsFirst sentence should end with a period.59
ErrorsFirst sentence should end with a period.65
ErrorsFirst sentence should end with a period.71
ErrorsLine has trailing spaces.74
ErrorsMethod 'readVariablesExplanation' is not designed for extension - needs to be abstract, final or empty.78
ErrorsExpected @throws tag for 'IOException'.79
ErrorsExpected @throws tag for 'ParseFormatException'.80
ErrorsMethod 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.122

org/sat4j/pb/reader/OPBReader2005.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine has trailing spaces.18
ErrorsLine is longer than 80 characters.21
ErrorsLine has trailing spaces.23
ErrorsLine has trailing spaces.24
ErrorsLine has trailing spaces.25
ErrorsLine is longer than 80 characters.27
ErrorsLine has trailing spaces.30
ErrorsLine has trailing spaces.32
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.78
ErrorsLine has trailing spaces.80
ErrorsLine has trailing spaces.82
ErrorsFirst sentence should end with a period.90
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.95
ErrorsMissing a Javadoc comment.95
ErrorsVariable 'solver' must be private and have accessor methods.95
ErrorsLine contains a tab character.97
ErrorsMissing a Javadoc comment.97
ErrorsVariable 'lits' must be private and have accessor methods.97
ErrorsLine contains a tab character.99
ErrorsMissing a Javadoc comment.99
ErrorsVariable 'coeffs' must be private and have accessor methods.99
ErrorsLine contains a tab character.101
ErrorsMissing a Javadoc comment.101
ErrorsVariable 'd' must be private and have accessor methods.101
ErrorsLine contains a tab character.103
ErrorsMissing a Javadoc comment.103
ErrorsVariable 'operator' must be private and have accessor methods.103
ErrorsLine contains a tab character.105
ErrorsMissing a Javadoc comment.105
ErrorsLine contains a tab character.107
ErrorsMissing a Javadoc comment.107
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.110
ErrorsMissing a Javadoc comment.110
ErrorsVariable 'hasObjFunc' must be private and have accessor methods.110
ErrorsLine contains a tab character.112
ErrorsLine contains a tab character.113
ErrorsMissing a Javadoc comment.113
ErrorsVariable 'hasVariablesExplanation' must be private and have accessor methods.113
ErrorsLine is longer than 80 characters.115
ErrorsLine contains a tab character.115
ErrorsMissing a Javadoc comment.115
ErrorsVariable 'nbVars' must be private and have accessor methods.115
ErrorsVariable 'nbConstr' must be private and have accessor methods.115
ErrorsLine contains a tab character.117
ErrorsLine contains a tab character.118
ErrorsMissing a Javadoc comment.118
ErrorsVariable 'nbConstraintsRead' must be private and have accessor methods.118
ErrorsFirst sentence should end with a period.120
ErrorsLine contains a tab character.120
ErrorsLine contains a tab character.121
ErrorsLine contains a tab character.122
ErrorsLine has trailing spaces.123
ErrorsLine contains a tab character.123
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 contains a tab character.128
ErrorsLine contains a tab character.129
ErrorsMethod 'metaData' is not designed for extension - needs to be abstract, final or empty.129
ErrorsParameter nbvar should be final.129
ErrorsParameter nbconstr should be final.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 contains a tab character.134
ErrorsLine contains a tab character.135
ErrorsLine contains a tab character.136
ErrorsLine contains a tab character.137
ErrorsFirst sentence should end with a period.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
ErrorsMethod 'endObjective' is not designed for extension - needs to be abstract, final or empty.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 contains a tab character.149
ErrorsFirst sentence should end with a period.151
ErrorsLine contains a tab character.151
ErrorsLine contains a tab character.152
ErrorsLine contains a tab character.153
ErrorsLine contains a tab character.154
ErrorsMethod 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.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.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
ErrorsMethod 'endConstraint' is not designed for extension - needs to be abstract, final or empty.167
ErrorsExpected @throws tag for 'ContradictionException'.167
ErrorsLine contains a tab character.169
ErrorsLine contains a tab character.170
ErrorsLine contains a tab character.171
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
ErrorsFirst sentence should end with a period.184
ErrorsLine contains a tab character.184
ErrorsLine contains a tab character.185
ErrorsLine has trailing spaces.186
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
ErrorsParameter coeff should be final.193
ErrorsParameter var should be final.193
ErrorsLine contains a tab character.194
ErrorsExpected @throws tag for 'ParseFormatException'.194
ErrorsLine contains a tab character.195
ErrorsLine contains a tab character.196
ErrorsLine contains a tab character.197
ErrorsLine contains a tab character.199
ErrorsMethod 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.199
ErrorsMissing a Javadoc comment.199
ErrorsParameter var should be final.199
ErrorsLine contains a tab character.200
ErrorsLine contains a tab character.201
ErrorsAvoid inline conditionals.201
ErrorsLine contains a tab character.202
ErrorsFirst sentence should end with a period.204
ErrorsLine contains a tab character.204
ErrorsLine contains a tab character.205
ErrorsLine has trailing spaces.206
ErrorsLine contains a tab character.206
ErrorsLine contains a tab character.207
ErrorsLine contains a tab character.208
ErrorsLine contains a tab character.209
ErrorsLine contains a tab character.210
ErrorsMethod 'constraintRelOp' is not designed for extension - needs to be abstract, final or empty.210
ErrorsParameter relop should be final.210
ErrorsLine contains a tab character.211
ErrorsLine contains a tab character.212
ErrorsFirst sentence should end with a period.214
ErrorsLine contains a tab character.214
ErrorsLine is longer than 80 characters.215
ErrorsLine contains a tab character.215
ErrorsLine contains a tab character.216
ErrorsLine has trailing spaces.217
ErrorsLine contains a tab character.217
ErrorsLine contains a tab character.218
ErrorsLine contains a tab character.219
ErrorsLine contains a tab character.220
ErrorsLine contains a tab character.221
ErrorsMethod 'constraintRightTerm' is not designed for extension - needs to be abstract, final or empty.221
ErrorsParameter val should be final.221
ErrorsLine contains a tab character.222
ErrorsLine contains a tab character.223
ErrorsLine contains a tab character.225
ErrorsMissing a Javadoc comment.225
ErrorsVariable 'in' must be private and have accessor methods.225
ErrorsLine contains a tab character.227
ErrorsMissing a Javadoc comment.227
ErrorsVariable 'savedChar' must be private and have accessor methods.227
ErrorsLine is longer than 80 characters.229
ErrorsLine contains a tab character.229
ErrorsMissing a Javadoc comment.229
ErrorsVariable 'charAvailable' must be private and have accessor methods.229
ErrorsLine contains a tab character.231
ErrorsMissing a Javadoc comment.231
ErrorsVariable 'eofReached' must be private and have accessor methods.231
ErrorsLine contains a tab character.233
ErrorsMissing a Javadoc comment.233
ErrorsFirst sentence should end with a period.235
ErrorsLine contains a tab character.235
ErrorsLine contains a tab character.236
ErrorsLine has trailing spaces.237
ErrorsLine contains a tab character.237
ErrorsLine contains a tab character.238
ErrorsLine contains a tab character.239
ErrorsExpected an @return tag.240
ErrorsLine contains a tab character.240
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.240
ErrorsExpected @throws tag for 'IOException'.240
ErrorsLine contains a tab character.241
ErrorsLine contains a tab character.243
ErrorsLine contains a tab character.244
ErrorsLine contains a tab character.245
ErrorsLine contains a tab character.246
ErrorsLine contains a tab character.248
ErrorsLine contains a tab character.249
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
ErrorsLine contains a tab character.258
ErrorsLine contains a tab character.260
ErrorsMethod 'getVars' is not designed for extension - needs to be abstract, final or empty.260
ErrorsMissing a Javadoc comment.260
ErrorsLine contains a tab character.261
ErrorsLine contains a tab character.262
ErrorsLine contains a tab character.264
ErrorsMethod 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.264
ErrorsMissing a Javadoc comment.264
ErrorsLine contains a tab character.265
ErrorsLine contains a tab character.266
ErrorsFirst sentence should end with a period.268
ErrorsLine contains a tab character.268
ErrorsLine contains a tab character.269
ErrorsLine contains a tab character.270
ErrorsLine contains a tab character.271
ErrorsMethod 'putback' is not designed for extension - needs to be abstract, final or empty.271
ErrorsParameter c should be final.271
ErrorsExpected @param tag for 'c'.271
ErrorsLine contains a tab character.272
ErrorsLine contains a tab character.273
ErrorsLine contains a tab character.274
ErrorsFirst sentence should end with a period.276
ErrorsLine contains a tab character.276
ErrorsLine contains a tab character.277
ErrorsLine contains a tab character.278
ErrorsExpected an @return tag.279
ErrorsLine contains a tab character.279
ErrorsMethod 'eof' is not designed for extension - needs to be abstract, final or empty.279
ErrorsLine contains a tab character.280
ErrorsLine contains a tab character.281
ErrorsLine contains a tab character.283
ErrorsMethod 'eol' is not designed for extension - needs to be abstract, final or empty.283
ErrorsMissing a Javadoc comment.283
ErrorsLine contains a tab character.284
ErrorsLine contains a tab character.285
ErrorsFirst sentence should end with a period.287
ErrorsLine contains a tab character.287
ErrorsLine contains a tab character.288
ErrorsLine has trailing spaces.289
ErrorsLine contains a tab character.289
ErrorsLine contains a tab character.290
ErrorsLine contains a tab character.291
ErrorsLine contains a tab character.292
ErrorsMethod 'skipSpaces' is not designed for extension - needs to be abstract, final or empty.292
ErrorsExpected @throws tag for 'IOException'.292
ErrorsLine contains a tab character.293
ErrorsLine contains a tab character.295
ErrorsLine contains a tab character.296
ErrorsLine contains a tab character.297
ErrorsLine contains a tab character.299
ErrorsLine contains a tab character.300
ErrorsFirst sentence should end with a period.302
ErrorsLine contains a tab character.302
ErrorsLine contains a tab character.303
ErrorsLine has trailing spaces.304
ErrorsLine contains a tab character.304
ErrorsLine contains a tab character.305
ErrorsLine contains a tab character.306
ErrorsLine contains a tab character.307
ErrorsLine contains a tab character.308
ErrorsMethod 'readWord' is not designed for extension - needs to be abstract, final or empty.308
ErrorsExpected @throws tag for 'IOException'.308
ErrorsLine contains a tab character.309
ErrorsLine contains a tab character.310
ErrorsLine contains a tab character.312
ErrorsLine contains a tab character.314
ErrorsInner assignments should be avoided.314
ErrorsLine contains a tab character.315
ErrorsLine contains a tab character.316
ErrorsLine contains a tab character.318
ErrorsLine contains a tab character.319
ErrorsLine contains a tab character.320
ErrorsFirst sentence should end with a period.322
ErrorsLine contains a tab character.322
ErrorsLine contains a tab character.323
ErrorsLine has trailing spaces.324
ErrorsLine contains a tab character.324
ErrorsLine contains a tab character.325
ErrorsLine contains a tab character.326
ErrorsLine contains a tab character.327
ErrorsLine contains a tab character.328
ErrorsLine contains a tab character.329
ErrorsMethod 'readInteger' is not designed for extension - needs to be abstract, final or empty.329
ErrorsParameter s should be final.329
ErrorsExpected @throws tag for 'IOException'.329
ErrorsLine contains a tab character.330
ErrorsLine contains a tab character.332
ErrorsLine contains a tab character.333
ErrorsLine contains a tab character.335
ErrorsLine contains a tab character.336
ErrorsLine contains a tab character.337
ErrorsLine is longer than 80 characters.338
ErrorsLine contains a tab character.338
ErrorsLine contains a tab character.339
ErrorsLine contains a tab character.340
ErrorsLine contains a tab character.342
ErrorsInner assignments should be avoided.342
ErrorsLine contains a tab character.343
ErrorsLine contains a tab character.344
ErrorsLine contains a tab character.346
ErrorsLine contains a tab character.347
ErrorsFirst sentence should end with a period.349
ErrorsLine contains a tab character.349
ErrorsLine contains a tab character.350
ErrorsLine has trailing spaces.351
ErrorsLine contains a tab character.351
ErrorsLine contains a tab character.352
ErrorsLine contains a tab character.353
ErrorsLine contains a tab character.354
ErrorsLine contains a tab character.355
ErrorsLine contains a tab character.356
ErrorsMethod 'readIdentifier' is not designed for extension - needs to be abstract, final or empty.356
ErrorsParameter s should be final.356
ErrorsExpected @param tag for 's'.356
ErrorsExpected @throws tag for 'IOException'.356
ErrorsLine contains a tab character.357
ErrorsExpected @throws tag for 'ParseFormatException'.357
ErrorsLine contains a tab character.358
ErrorsLine contains a tab character.360
ErrorsLine contains a tab character.362
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.370
ErrorsLine contains a tab character.371
ErrorsLine contains a tab character.372
ErrorsLine contains a tab character.373
ErrorsLine contains a tab character.375
ErrorsLine contains a tab character.377
ErrorsLine contains a tab character.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 contains a tab character.388
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.395
ErrorsMethod 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.395
ErrorsMissing a Javadoc comment.395
ErrorsParameter c should be final.395
ErrorsLine contains a tab character.396
ErrorsLine contains a tab character.397
ErrorsLine contains a tab character.399
ErrorsMethod 'isGoodFollowingCharacter' is not designed for extension - needs to be abstract, final or empty.399
ErrorsMissing a Javadoc comment.399
ErrorsParameter c should be final.399
ErrorsLine is longer than 80 characters.400
ErrorsLine contains a tab character.400
ErrorsLine contains a tab character.401
ErrorsLine contains a tab character.403
ErrorsMethod 'checkId' is not designed for extension - needs to be abstract, final or empty.403
ErrorsMissing a Javadoc comment.403
ErrorsParameter s should be final.403
ErrorsLine is longer than 80 characters.404
ErrorsLine contains a tab character.404
ErrorsLine contains a tab character.405
ErrorsLine contains a tab character.406
ErrorsLine contains a tab character.407
ErrorsLine is longer than 80 characters.408
ErrorsLine contains a tab character.408
ErrorsLine contains a tab character.409
ErrorsLine contains a tab character.410
ErrorsFirst sentence should end with a period.412
ErrorsLine contains a tab character.412
ErrorsLine contains a tab character.413
ErrorsLine has trailing spaces.414
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
ErrorsExpected @throws tag for 'IOException'.418
ErrorsLine contains a tab character.419
ErrorsLine contains a tab character.421
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.428
ErrorsLine contains a tab character.429
ErrorsLine contains a tab character.430
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.440
ErrorsLine contains a tab character.441
ErrorsFirst sentence should end with a period.443
ErrorsLine contains a tab character.443
ErrorsLine is longer than 80 characters.444
ErrorsLine contains a tab character.444
ErrorsLine contains a tab character.445
ErrorsLine has trailing spaces.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 contains a tab character.450
ErrorsMethod 'readMetaData' is not designed for extension - needs to be abstract, final or empty.450
ErrorsExpected @throws tag for 'IOException'.450
ErrorsExpected @throws tag for 'ParseFormatException'.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.457
ErrorsLine is longer than 80 characters.458
ErrorsLine contains a tab character.458
ErrorsLine contains a tab character.459
ErrorsLine contains a tab character.461
ErrorsLine contains a tab character.462
ErrorsLine contains a tab character.463
ErrorsLine is longer than 80 characters.464
ErrorsLine contains a tab character.464
ErrorsLine contains a tab character.465
ErrorsLine contains a tab character.467
ErrorsLine contains a tab character.469
ErrorsLine contains a tab character.470
ErrorsLine contains a tab character.471
ErrorsLine is longer than 80 characters.472
ErrorsLine contains a tab character.472
ErrorsLine contains a tab character.473
ErrorsLine contains a tab character.475
ErrorsLine contains a tab character.477
ErrorsLine contains a tab character.478
ErrorsLine contains a tab character.480
ErrorsLine contains a tab character.481
ErrorsLine contains a tab character.482
ErrorsFirst sentence should end with a period.484
ErrorsLine contains a tab character.484
ErrorsLine contains a tab character.485
ErrorsLine has trailing spaces.486
ErrorsLine contains a tab character.486
ErrorsLine contains a tab character.487
ErrorsLine contains a tab character.488
ErrorsLine contains a tab character.489
ErrorsExpected @throws tag for 'IOException'.489
ErrorsLine contains a tab character.490
ErrorsLine contains a tab character.492
ErrorsLine contains a tab character.494
ErrorsInner assignments should be avoided.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
ErrorsFirst sentence should end with a period.501
ErrorsLine contains a tab character.501
ErrorsLine contains a tab character.502
ErrorsLine has trailing spaces.503
ErrorsLine contains a tab character.503
ErrorsLine contains a tab character.504
ErrorsLine contains a tab character.505
ErrorsLine contains a tab character.506
ErrorsLine contains a tab character.507
ErrorsLine contains a tab character.508
ErrorsLine contains a tab character.509
ErrorsLine contains a tab character.510
ErrorsLine contains a tab character.511
ErrorsMethod 'readTerm' is not designed for extension - needs to be abstract, final or empty.511
ErrorsParameter coeff should be final.511
ErrorsParameter var should be final.511
ErrorsLine contains a tab character.512
ErrorsExpected @throws tag for 'IOException'.512
ErrorsExpected @throws tag for 'ParseFormatException'.512
ErrorsLine contains a tab character.513
ErrorsLine contains a tab character.515
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 is longer than 80 characters.521
ErrorsLine contains a tab character.521
ErrorsLine contains a tab character.522
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
ErrorsLine contains a tab character.530
ErrorsLine contains a tab character.531
ErrorsLine contains a tab character.532
ErrorsLine contains a tab character.533
ErrorsExpected @throws tag for 'IOException'.533
ErrorsLine contains a tab character.534
ErrorsExpected @throws tag for 'ParseFormatException'.534
ErrorsLine contains a tab character.535
ErrorsFirst sentence should end with a period.537
ErrorsLine contains a tab character.537
ErrorsLine is longer than 80 characters.538
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
ErrorsLine is longer than 80 characters.544
ErrorsLine contains a tab character.544
ErrorsMethod 'readObjective' is not designed for extension - needs to be abstract, final or empty.544
ErrorsExpected @throws tag for 'IOException'.544
ErrorsExpected @throws tag for 'ParseFormatException'.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
ErrorsLine contains a tab character.551
ErrorsLine contains a tab character.552
ErrorsLine contains a tab character.553
ErrorsLine contains a tab character.554
ErrorsLine contains a tab character.555
ErrorsLine contains a tab character.556
ErrorsLine contains a tab character.557
ErrorsLine contains a tab character.559
ErrorsLine contains a tab character.560
ErrorsLine contains a tab character.561
ErrorsLine contains a tab character.563
ErrorsLine contains a tab character.564
ErrorsLine is longer than 80 characters.565
ErrorsLine contains a tab character.565
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 is longer than 80 characters.571
ErrorsLine contains a tab character.571
ErrorsLine contains a tab character.572
ErrorsLine contains a tab character.573
ErrorsLine contains a tab character.574
ErrorsLine is longer than 80 characters.575
ErrorsLine contains a tab character.575
ErrorsLine contains a tab character.576
ErrorsLine contains a tab character.577
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
ErrorsFirst sentence should end with a period.586
ErrorsLine contains a tab character.586
ErrorsLine is longer than 80 characters.587
ErrorsLine contains a tab character.587
ErrorsLine has trailing spaces.588
ErrorsLine contains a tab character.588
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 is longer than 80 characters.593
ErrorsLine contains a tab character.593
ErrorsMethod 'readConstraint' is not designed for extension - needs to be abstract, final or empty.593
ErrorsExpected @throws tag for 'IOException'.593
ErrorsExpected @throws tag for 'ParseFormatException'.593
ErrorsLine contains a tab character.594
ErrorsExpected @throws tag for 'ContradictionException'.594
ErrorsLine contains a tab character.595
ErrorsLine contains a tab character.596
ErrorsLine contains a tab character.597
ErrorsLine contains a tab character.599
ErrorsLine contains a tab character.601
ErrorsLine contains a tab character.602
ErrorsLine is longer than 80 characters.603
ErrorsLine contains a tab character.603
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 is longer than 80 characters.611
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 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 is longer than 80 characters.621
ErrorsLine contains a tab character.621
ErrorsLine contains a tab character.622
ErrorsLine contains a tab character.624
ErrorsLine contains a tab character.625
ErrorsInner assignments should be avoided.625
ErrorsLine contains a tab character.626
ErrorsLine is longer than 80 characters.627
ErrorsLine contains a tab character.627
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
ErrorsLine contains a tab character.635
ErrorsLine contains a tab character.636
ErrorsLine contains a tab character.637
ErrorsLine is longer than 80 characters.638
ErrorsLine contains a tab character.638
ErrorsLine contains a tab character.639
ErrorsLine contains a tab character.641
ErrorsLine contains a tab character.642
ErrorsLine contains a tab character.644
ErrorsMissing a Javadoc comment.644
ErrorsParameter solver should be final.644
Errors'solver' hides a field.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
ErrorsFirst sentence should end with a period.650
ErrorsLine contains a tab character.650
ErrorsLine is longer than 80 characters.651
ErrorsLine contains a tab character.651
ErrorsLine contains a tab character.652
ErrorsLine has trailing spaces.653
ErrorsLine contains a tab character.653
ErrorsLine contains a tab character.654
ErrorsLine contains a tab character.655
ErrorsLine contains a tab character.656
ErrorsLine contains a tab character.657
ErrorsLine contains a tab character.658
ErrorsMethod 'parse' is not designed for extension - needs to be abstract, final or empty.658
ErrorsExpected @throws tag for 'IOException'.658
ErrorsExpected @throws tag for 'ParseFormatException'.658
ErrorsLine contains a tab character.659
ErrorsExpected @throws tag for 'ContradictionException'.659
ErrorsLine contains a tab character.660
ErrorsLine contains a tab character.662
ErrorsLine contains a tab character.664
ErrorsLine contains a tab character.666
ErrorsLine contains a tab character.668
ErrorsLine contains a tab character.669
ErrorsLine contains a tab character.670
ErrorsLine contains a tab character.671
ErrorsLine contains a tab character.672
ErrorsLine contains a tab character.673
ErrorsLine contains a tab character.674
ErrorsLine contains a tab character.675
ErrorsLine contains a tab character.677
ErrorsLine contains a tab character.678
ErrorsLine contains a tab character.679
ErrorsLine contains a tab character.680
ErrorsLine contains a tab character.681
ErrorsLine contains a tab character.683
ErrorsLine contains a tab character.684
ErrorsLine contains a tab character.685
ErrorsLine contains a tab character.687
ErrorsLine contains a tab character.688
ErrorsLine contains a tab character.689
ErrorsLine contains a tab character.690
ErrorsLine contains a tab character.691
ErrorsLine is longer than 80 characters.692
ErrorsLine contains a tab character.692
ErrorsLine is longer than 80 characters.693
ErrorsLine contains a tab character.693
ErrorsLine contains a tab character.694
ErrorsLine contains a tab character.695
ErrorsLine contains a tab character.696
ErrorsLine contains a tab character.698
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.698
ErrorsLine contains a tab character.699
ErrorsLine contains a tab character.700
ErrorsLine contains a tab character.701
ErrorsLine contains a tab character.702
ErrorsLine contains a tab character.703
ErrorsLine contains a tab character.704
ErrorsLine contains a tab character.706
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.706
ErrorsMissing a Javadoc comment.706
ErrorsParameter input should be final.706
ErrorsLine contains a tab character.707
ErrorsLine contains a tab character.708
ErrorsLine contains a tab character.709
ErrorsLine contains a tab character.710
ErrorsLine contains a tab character.711
ErrorsLine contains a tab character.712
ErrorsLine contains a tab character.713
ErrorsLine contains a tab character.714
ErrorsLine contains a tab character.715
ErrorsLine contains a tab character.716
ErrorsLine contains a tab character.717
ErrorsLine contains a tab character.718
ErrorsLine contains a tab character.719
ErrorsLine is longer than 80 characters.720
ErrorsLine contains a tab character.720
ErrorsLine contains a tab character.721
ErrorsLine contains a tab character.722
ErrorsLine is longer than 80 characters.723
ErrorsLine contains a tab character.723
ErrorsLine contains a tab character.725
ErrorsLine contains a tab character.726
ErrorsLine contains a tab character.728
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.728
ErrorsLine contains a tab character.729
ErrorsParameter model should be final.729
ErrorsLine contains a tab character.730
ErrorsLine contains a tab character.732
ErrorsLine contains a tab character.733
ErrorsLine contains a tab character.734
ErrorsLine contains a tab character.735
ErrorsLine contains a tab character.736
ErrorsLine contains a tab character.737
ErrorsLine contains a tab character.738
ErrorsLine contains a tab character.739
ErrorsLine contains a tab character.740
ErrorsLine contains a tab character.741
ErrorsLine contains a tab character.742
ErrorsLine contains a tab character.743
ErrorsLine contains a tab character.745
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.745
ErrorsLine contains a tab character.746
ErrorsParameter model should be final.746
ErrorsParameter out should be final.746
ErrorsLine contains a tab character.747
ErrorsLine contains a tab character.748
ErrorsLine contains a tab character.749
ErrorsLine contains a tab character.750
ErrorsLine contains a tab character.751
ErrorsLine contains a tab character.752
ErrorsLine contains a tab character.753
ErrorsLine contains a tab character.754
ErrorsLine contains a tab character.755
ErrorsLine contains a tab character.756
ErrorsLine contains a tab character.757
ErrorsLine contains a tab character.759
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.759
ErrorsMissing a Javadoc comment.759
ErrorsLine contains a tab character.760
ErrorsLine contains a tab character.761
ErrorsLine contains a tab character.762
ErrorsLine contains a tab character.763
ErrorsLine contains a tab character.764
ErrorsLine contains a tab character.766
ErrorsMethod 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.766
ErrorsMissing a Javadoc comment.766
ErrorsLine contains a tab character.767
ErrorsLine contains a tab character.768
ErrorsLine contains a tab character.770
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.770
ErrorsLine contains a tab character.771
Errors'in' hides a field.771
ErrorsLine is longer than 80 characters.772
ErrorsLine contains a tab character.772
ErrorsLine contains a tab character.773
ErrorsLine contains a tab character.774

org/sat4j/pb/reader/OPBReader2006.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
ErrorsMissing a Javadoc comment.50
ErrorsParameter solver should be final.50
ErrorsFirst sentence should end with a period.54
ErrorsLine has trailing spaces.56
ErrorsMethod 'readTerm' is not designed for extension - needs to be abstract, final or empty.64
ErrorsParameter coeff should be final.65
ErrorsParameter var should be final.65
ErrorsExpected @throws tag for 'IOException'.66
ErrorsExpected @throws tag for 'ParseFormatException'.66

org/sat4j/pb/reader/OPBReader2007.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine has trailing spaces.18
ErrorsLine is longer than 80 characters.21
ErrorsLine has trailing spaces.23
ErrorsLine has trailing spaces.24
ErrorsLine has trailing spaces.25
ErrorsLine is longer than 80 characters.27
ErrorsLine has trailing spaces.30
ErrorsLine has trailing spaces.32
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.71
ErrorsLine has trailing spaces.74
ErrorsLine has trailing spaces.77
ErrorsLine has trailing spaces.80
ErrorsLine has trailing spaces.85
ErrorsParameter solver should be final.92
ErrorsExpected @param tag for 'solver'.92
ErrorsMethod 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.96
ErrorsParameter c should be final.97
ErrorsMethod 'checkId' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter s should be final.102
ErrorsFirst sentence should end with a period.115
ErrorsVariable 'nbNewSymbols' must be private and have accessor methods.118
ErrorsMethod 'readTerm' is not designed for extension - needs to be abstract, final or empty.120
ErrorsParameter coeff should be final.121
ErrorsParameter var should be final.121
ErrorsFirst sentence should end with a period.151
ErrorsLine has trailing spaces.153
ErrorsMethod 'literalInAProduct' is not designed for extension - needs to be abstract, final or empty.161
ErrorsParameter var should be final.161
ErrorsParameter lits should be final.161
ErrorsExpected @throws tag for 'ParseFormatException'.162
ErrorsAvoid inline conditionals.163
ErrorsAvoid inline conditionals.165
ErrorsFirst sentence should end with a period.172
ErrorsLine has trailing spaces.174
ErrorsMethod 'negateLiteralInAProduct' is not designed for extension - needs to be abstract, final or empty.181
ErrorsParameter var should be final.181
ErrorsParameter lits should be final.181
ErrorsAvoid inline conditionals.182
ErrorsAvoid inline conditionals.184
ErrorsFirst sentence should end with a period.188
ErrorsLine has trailing spaces.191
ErrorsMethod 'readMetaData' is not designed for extension - needs to be abstract, final or empty.195
ErrorsExpected @throws tag for 'IOException'.196
ErrorsExpected @throws tag for 'ParseFormatException'.196
ErrorsMethod 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.241
ErrorsParameter var should be final.242
ErrorsAvoid inline conditionals.243
ErrorsAvoid inline conditionals.248
ErrorsMissing a Javadoc comment.251
ErrorsParameter tmpLit should be final.251
ErrorsLine is longer than 80 characters.298
ErrorsMissing a Javadoc comment.298
ErrorsLine is longer than 80 characters.300
ErrorsMissing a Javadoc comment.300
ErrorsMissing a Javadoc comment.302
ErrorsParameter lits should be final.302
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.318
ErrorsParameter model should be final.319
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.338
ErrorsParameter model should be final.339
ErrorsParameter out should be final.339

org/sat4j/pb/reader/OPBReader2010.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.49
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
ErrorsParameter solver should be final.58
ErrorsFirst sentence should end with a period.62
ErrorsLine has trailing spaces.65
ErrorsMethod 'readMetaData' is not designed for extension - needs to be abstract, final or empty.69
ErrorsExpected @throws tag for 'IOException'.70
ErrorsExpected @throws tag for 'ParseFormatException'.70
ErrorsMethod 'readObjective' is not designed for extension - needs to be abstract, final or empty.119
ErrorsMissing a Javadoc comment.128
ErrorsMissing a Javadoc comment.144
ErrorsMethod 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMethod 'endConstraint' is not designed for extension - needs to be abstract, final or empty.175
ErrorsLine is longer than 80 characters.180
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.192

org/sat4j/pb/reader/OPBReader2012.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsMissing a Javadoc comment.47
ErrorsLine has trailing spaces.50
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsMissing a Javadoc comment.54
ErrorsParameter solver should be final.54
ErrorsMethod 'readMetaData' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMethod 'readObjective' is not designed for extension - needs to be abstract, final or empty.80
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.91

org/sat4j/pb/reader/PBInstanceReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsParameter solver should be final.48
Errors'solver' hides a field.48
ErrorsMissing a Javadoc comment.53
ErrorsMethod 'hasObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMissing a Javadoc comment.60
ErrorsMethod 'handleFileName' is not designed for extension - needs to be abstract, final or empty.64
ErrorsParameter fname should be final.65
ErrorsParameter prefix should be final.65

org/sat4j/pb/tools/ClausalConstraintsDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsLine has trailing spaces.48
ErrorsLine contains a tab character.48
ErrorsLine contains a tab character.49
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsParameter solver should be final.54
Errors'solver' hides a field.54
ErrorsParameter encodingAd should be final.55
ErrorsMissing a Javadoc comment.60
ErrorsParameter solver should be final.60
Errors'solver' hides a field.60
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.65
ErrorsMissing a Javadoc comment.65
ErrorsParameter lits should be final.65
ErrorsParameter coeffs should be final.65
ErrorsParameter moreThan should be final.66
ErrorsParameter d should be final.66
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.78
ErrorsMissing a Javadoc comment.78
ErrorsParameter obj should be final.78
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsMethod 'addAtMost' 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.86
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsParameter literals should be final.95
ErrorsParameter coeffs should be final.95
ErrorsParameter degree should be final.96
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104
ErrorsParameter literals should be final.104
ErrorsParameter coeffs should be final.104
ErrorsParameter degree should be final.104
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter literals should be final.113
ErrorsParameter coeffs should be final.113
ErrorsParameter degree should be final.114
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.122
ErrorsMissing a Javadoc comment.122
ErrorsParameter literals should be final.122
ErrorsParameter coeffs should be final.122
ErrorsParameter weight should be final.122
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.131
ErrorsMissing a Javadoc comment.131
ErrorsParameter literals should be final.131
ErrorsParameter coeffs should be final.131
ErrorsParameter weight should be final.132
ErrorsMissing a Javadoc comment.140
ErrorsParameter coeffs should be final.140
ErrorsMissing a Javadoc comment.150
ErrorsParameter coeffs should be final.150

org/sat4j/pb/tools/ConflictTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.41
ErrorsLine contains a tab character.43
ErrorsMissing a Javadoc comment.43
ErrorsLine contains a tab character.45
ErrorsMissing a Javadoc comment.45
ErrorsLine contains a tab character.46
ErrorsMissing a Javadoc comment.46
ErrorsLine contains a tab character.47
ErrorsMissing a Javadoc comment.47
ErrorsLine contains a tab character.49
ErrorsMissing a Javadoc comment.49
ErrorsParameter filename should be final.49
Errors'filename' hides a field.49
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52
ErrorsLine contains a tab character.54
ErrorsMissing a Javadoc comment.54
ErrorsLine contains a tab character.55
ErrorsLine is longer than 80 characters.56
ErrorsLine contains a tab character.56
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.63
ErrorsMethod 'learn' is not designed for extension - needs to be abstract, final or empty.63
ErrorsLine contains a tab character.64
ErrorsParameter c should be final.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

org/sat4j/pb/tools/DependencyHelper.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.60
ErrorsLine contains a tab character.68
ErrorsMissing a Javadoc comment.68
ErrorsLine contains a tab character.70
ErrorsParameter thing should be final.70
ErrorsLine contains a tab character.71
ErrorsLine contains a tab character.72
ErrorsLine contains a tab character.74
ErrorsParameter thing should be final.74
ErrorsLine contains a tab character.75
ErrorsLine contains a tab character.76
ErrorsLine contains a tab character.77
ErrorsLine contains a tab character.79
ErrorsMissing a Javadoc comment.79
ErrorsLine contains a tab character.81
ErrorsParameter thing should be final.81
ErrorsLine contains a tab character.82
ErrorsLine contains a tab character.83
ErrorsLine contains a tab character.85
ErrorsParameter thing should be final.85
ErrorsLine contains a tab character.86
ErrorsLine contains a tab character.87
ErrorsLine contains a tab character.88
ErrorsMissing a Javadoc comment.90
ErrorsLine contains a tab character.90
ErrorsLine contains a tab character.91
ErrorsMissing a Javadoc comment.91
ErrorsLine contains a tab character.93
ErrorsMissing a Javadoc comment.93
ErrorsParameter thing should be final.93
Errors'thing' hides a field.93
ErrorsLine contains a tab character.94
ErrorsLine contains a tab character.95
ErrorsLine contains a tab character.97
ErrorsMissing a Javadoc comment.97
ErrorsLine contains a tab character.98
ErrorsLine contains a tab character.99
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.105
ErrorsLine contains a tab character.107
ErrorsLine has trailing spaces.108
ErrorsLine contains a tab character.108
ErrorsLine contains a tab character.109
ErrorsLine contains a tab character.110
ErrorsLine contains a tab character.112
ErrorsMissing a Javadoc comment.112
ErrorsLine contains a tab character.113
ErrorsMissing a Javadoc comment.113
ErrorsLine contains a tab character.114
ErrorsMissing a Javadoc comment.114
ErrorsVariable 'descs' must be private and have accessor methods.114
ErrorsLine contains a tab character.116
ErrorsMissing a Javadoc comment.116
ErrorsLine contains a tab character.117
ErrorsMissing a Javadoc comment.117
ErrorsLine contains a tab character.118
ErrorsMissing a Javadoc comment.118
ErrorsVariable 'solver' must be private and have accessor methods.118
ErrorsLine contains a tab character.119
ErrorsMissing a Javadoc comment.119
ErrorsLine contains a tab character.121
ErrorsMissing a Javadoc comment.121
ErrorsLine contains a tab character.122
ErrorsMissing a Javadoc comment.122
ErrorsLine contains a tab character.123
ErrorsMissing a Javadoc comment.123
ErrorsLine contains a tab character.125
ErrorsMissing a Javadoc comment.125
ErrorsLine contains a tab character.126
ErrorsMissing a Javadoc comment.126
ErrorsLine contains a tab character.128
ErrorsLine has trailing spaces.129
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
ErrorsParameter solver should be final.133
Errors'solver' hides a field.133
ErrorsLine contains a tab character.134
ErrorsLine contains a tab character.135
ErrorsLine contains a tab character.137
ErrorsLine has trailing spaces.138
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 is longer than 80 characters.142
ErrorsLine contains a tab character.142
ErrorsLine is longer than 80 characters.143
ErrorsLine contains a tab character.143
ErrorsLine is longer than 80 characters.144
ErrorsLine contains a tab character.144
ErrorsLine contains a tab character.145
ErrorsLine contains a tab character.146
ErrorsLine contains a tab character.147
ErrorsParameter solver should be final.147
Errors'solver' hides a field.147
ErrorsParameter explanationEnabled should be final.147
Errors'explanationEnabled' hides a field.147
ErrorsLine contains a tab character.148
ErrorsLine contains a tab character.149
ErrorsLine contains a tab character.151
ErrorsLine has trailing spaces.152
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 is longer than 80 characters.156
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 is longer than 80 characters.162
ErrorsLine contains a tab character.162
ErrorsLine is longer than 80 characters.163
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
ErrorsParameter solver should be final.167
Errors'solver' hides a field.167
ErrorsParameter explanationEnabled should be final.167
Errors'explanationEnabled' hides a field.167
ErrorsLine contains a tab character.168
ErrorsParameter canonicalOptFunctionEnabled 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 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.181
ErrorsMethod 'setNegator' is not designed for extension - needs to be abstract, final or empty.181
ErrorsMissing a Javadoc comment.181
ErrorsParameter negator should be final.181
Errors'negator' hides a field.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 contains a tab character.189
ErrorsLine is longer than 80 characters.190
ErrorsLine contains a tab character.190
ErrorsLine contains a tab character.191
ErrorsLine contains a tab character.192
ErrorsMethod 'getIntValue' is not designed for extension - needs to be abstract, final or empty.192
ErrorsParameter thing should be final.192
ErrorsLine contains a tab character.193
ErrorsLine contains a tab character.194
ErrorsLine contains a tab character.196
ErrorsLine contains a tab character.197
ErrorsLine has trailing spaces.198
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 is longer than 80 characters.202
ErrorsLine contains a tab character.202
ErrorsLine contains a tab character.203
ErrorsLine contains a tab character.204
ErrorsLine is longer than 80 characters.205
ErrorsLine contains a tab character.205
ErrorsLine contains a tab character.206
ErrorsLine contains a tab character.207
ErrorsMethod 'getIntValue' is not designed for extension - needs to be abstract, final or empty.207
ErrorsParameter thing should be final.207
ErrorsParameter create should be final.207
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.213
ErrorsLine contains a tab character.214
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
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
ErrorsLine contains a tab character.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.230
ErrorsLine contains a tab character.232
ErrorsLine contains a tab character.233
ErrorsLine has trailing spaces.234
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 has trailing spaces.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
ErrorsLine contains a tab character.244
ErrorsLine contains a tab character.245
ErrorsLine contains a tab character.246
ErrorsMethod 'getSolution' 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
ErrorsLine contains a tab character.249
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
ErrorsLine contains a tab character.259
ErrorsLine contains a tab character.260
ErrorsLine has trailing spaces.261
ErrorsLine contains a tab character.261
ErrorsLine contains a tab character.262
ErrorsLine contains a tab character.263
ErrorsLine has trailing spaces.264
ErrorsLine contains a tab character.264
ErrorsLine contains a tab character.265
ErrorsLine has trailing spaces.266
ErrorsLine contains a tab character.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
ErrorsLine contains a tab character.271
ErrorsLine contains a tab character.272
ErrorsLine contains a tab character.273
ErrorsMethod 'getASolution' is not designed for extension - needs to be abstract, final or empty.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
ErrorsLine contains a tab character.283
ErrorsLine contains a tab character.284
ErrorsLine contains a tab character.286
ErrorsMethod 'getSolutionCost' is not designed for extension - needs to be abstract, final or empty.286
ErrorsMissing a Javadoc comment.286
ErrorsLine contains a tab character.287
ErrorsLine contains a tab character.288
ErrorsLine contains a tab character.290
ErrorsLine contains a tab character.291
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 contains a tab character.296
ErrorsLine is longer than 80 characters.297
ErrorsLine contains a tab character.297
ErrorsLine contains a tab character.298
ErrorsLine contains a tab character.299
ErrorsUnused @throws tag for 'IllegalArgumentException'.299
ErrorsLine contains a tab character.300
ErrorsLine contains a tab character.301
ErrorsLine contains a tab character.302
ErrorsMethod 'getBooleanValueFor' is not designed for extension - needs to be abstract, final or empty.302
ErrorsParameter t should be final.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
ErrorsLine contains a tab character.308
ErrorsLine contains a tab character.309
ErrorsLine contains a tab character.311
ErrorsLine has trailing spaces.312
ErrorsLine contains a tab character.312
ErrorsLine is longer than 80 characters.313
ErrorsLine contains a tab character.313
ErrorsLine contains a tab character.314
ErrorsLine contains a tab character.315
ErrorsLine contains a tab character.316
ErrorsLine contains a tab character.317
ErrorsMethod 'hasASolution' is not designed for extension - needs to be abstract, final or empty.317
ErrorsExpected @throws tag for 'TimeoutException'.317
ErrorsLine contains a tab character.318
ErrorsLine contains a tab character.319
ErrorsLine contains a tab character.321
ErrorsLine has trailing spaces.322
ErrorsLine contains a tab character.322
ErrorsLine is longer than 80 characters.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
ErrorsLine contains a tab character.327
ErrorsMethod 'hasASolution' is not designed for extension - needs to be abstract, final or empty.327
ErrorsParameter assumps should be final.327
ErrorsExpected @param tag for 'assumps'.327
ErrorsExpected @throws tag for 'TimeoutException'.327
ErrorsLine contains a tab character.328
ErrorsLine contains a tab character.329
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.335
ErrorsLine has trailing spaces.336
ErrorsLine contains a tab character.336
ErrorsLine is longer than 80 characters.337
ErrorsLine contains a tab character.337
ErrorsLine contains a tab character.338
ErrorsLine contains a tab character.339
ErrorsLine contains a tab character.340
ErrorsLine is longer than 80 characters.341
ErrorsLine contains a tab character.341
ErrorsMethod 'hasASolution' is not designed for extension - needs to be abstract, final or empty.341
ErrorsParameter assumps should be final.341
ErrorsExpected @param tag for 'assumps'.341
ErrorsExpected @throws tag for 'TimeoutException'.341
ErrorsLine contains a tab character.342
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
ErrorsLine contains a tab character.349
ErrorsLine contains a tab character.350
ErrorsLine has trailing spaces.351
ErrorsLine contains a tab character.351
ErrorsLine contains a tab character.352
ErrorsLine has trailing spaces.353
ErrorsLine contains a tab character.353
ErrorsLine is longer than 80 characters.354
ErrorsLine contains a tab character.354
ErrorsLine contains a tab character.355
ErrorsLine contains a tab character.356
ErrorsLine contains a tab character.357
ErrorsLine contains a tab character.358
ErrorsLine contains a tab character.359
ErrorsMethod 'why' is not designed for extension - needs to be abstract, final or empty.359
ErrorsExpected @throws tag for 'TimeoutException'.359
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
ErrorsLine contains a tab character.374
ErrorsLine contains a tab character.375
ErrorsLine has trailing spaces.376
ErrorsLine contains a tab character.376
ErrorsLine is longer than 80 characters.377
ErrorsLine contains a tab character.377
ErrorsLine contains a tab character.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
ErrorsMethod 'why' is not designed for extension - needs to be abstract, final or empty.382
ErrorsParameter thing should be final.382
ErrorsExpected @param tag for 'thing'.382
ErrorsExpected @throws tag for 'TimeoutException'.382
ErrorsLine contains a tab character.383
ErrorsLine contains a tab character.384
ErrorsLine contains a tab character.385
ErrorsLine contains a tab character.386
ErrorsLine contains a tab character.388
ErrorsLine contains a tab character.389
ErrorsLine has trailing spaces.390
ErrorsLine contains a tab character.390
ErrorsLine is longer than 80 characters.391
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
ErrorsMethod 'whyNot' is not designed for extension - needs to be abstract, final or empty.396
ErrorsParameter thing should be final.396
ErrorsExpected @param tag for 'thing'.396
ErrorsExpected @throws tag for 'TimeoutException'.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.402
ErrorsMissing a Javadoc comment.402
ErrorsParameter assumps should be final.402
ErrorsLine contains a tab character.403
ErrorsLine contains a tab character.404
ErrorsLine contains a tab character.405
ErrorsLine contains a tab character.406
ErrorsLine contains a tab character.407
ErrorsLine contains a tab character.409
ErrorsLine contains a tab character.410
ErrorsLine has trailing spaces.411
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 is longer than 80 characters.415
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
ErrorsLine contains a tab character.421
ErrorsMethod 'setTrue' is not designed for extension - needs to be abstract, final or empty.421
ErrorsParameter thing should be final.421
ErrorsParameter name should be final.421
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.428
ErrorsLine contains a tab character.429
ErrorsLine has trailing spaces.430
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 is longer than 80 characters.434
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
ErrorsMethod 'setFalse' is not designed for extension - needs to be abstract, final or empty.440
ErrorsParameter thing should be final.440
ErrorsParameter name should be final.440
ErrorsLine contains a tab character.441
ErrorsLine is longer than 80 characters.442
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.447
ErrorsFirst sentence should end with a period.449
ErrorsLine contains a tab character.449
ErrorsLine contains a tab character.450
ErrorsLine has trailing spaces.451
ErrorsLine contains a tab character.451
ErrorsLine contains a tab character.452
ErrorsLine is longer than 80 characters.453
ErrorsLine contains a tab character.453
ErrorsLine contains a tab character.454
ErrorsLine contains a tab character.455
ErrorsLine contains a tab character.456
ErrorsLine contains a tab character.457
ErrorsMethod 'implication' is not designed for extension - needs to be abstract, final or empty.457
ErrorsParameter lhs should be final.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
ErrorsMethod 'disjunction' is not designed for extension - needs to be abstract, final or empty.465
ErrorsMissing a Javadoc comment.465
ErrorsParameter lhs should be final.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.470
ErrorsLine contains a tab character.471
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 has trailing spaces.476
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
ErrorsUnused Javadoc tag.481
ErrorsLine contains a tab character.481
ErrorsLine contains a tab character.482
ErrorsLine contains a tab character.483
ErrorsLine contains a tab character.484
ErrorsLine contains a tab character.485
ErrorsMethod 'atLeast' is not designed for extension - needs to be abstract, final or empty.485
ErrorsParameter name should be final.485
ErrorsExpected @param tag for 'name'.485
ErrorsParameter i should be final.485
ErrorsParameter things should be final.485
ErrorsLine contains a tab character.486
ErrorsExpected @throws tag for 'ContradictionException'.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
ErrorsLine is longer than 80 characters.495
ErrorsLine contains a tab character.495
ErrorsLine contains a tab character.496
ErrorsLine has trailing spaces.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.503
ErrorsLine contains a tab character.504
ErrorsLine contains a tab character.505
ErrorsLine contains a tab character.506
ErrorsMethod 'atMost' is not designed for extension - needs to be abstract, final or empty.506
ErrorsParameter i should be final.506
ErrorsParameter things should be final.506
ErrorsLine contains a tab character.507
ErrorsExpected @throws tag for 'ContradictionException'.507
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 contains a tab character.515
ErrorsLine contains a tab character.517
ErrorsLine is longer than 80 characters.518
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
ErrorsLine contains a tab character.524
ErrorsUnused Javadoc tag.525
ErrorsLine contains a tab character.525
ErrorsLine contains a tab character.526
ErrorsLine contains a tab character.527
ErrorsLine contains a tab character.528
ErrorsLine contains a tab character.529
ErrorsMethod 'atMost' is not designed for extension - needs to be abstract, final or empty.529
ErrorsParameter name should be final.529
ErrorsExpected @param tag for 'name'.529
ErrorsParameter i should be final.529
ErrorsParameter things should be final.529
ErrorsLine contains a tab character.530
ErrorsExpected @throws tag for 'ContradictionException'.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.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 has trailing spaces.543
ErrorsLine contains a tab character.543
ErrorsLine contains a tab character.544
ErrorsLine contains a tab character.545
ErrorsLine contains a tab character.546
ErrorsMethod 'clause' is not designed for extension - needs to be abstract, final or empty.546
ErrorsParameter name should be final.546
ErrorsExpected @param tag for 'name'.546
ErrorsParameter things should be final.546
ErrorsExpected @param tag for 'things'.546
ErrorsExpected @throws tag for 'ContradictionException'.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.553
ErrorsLine contains a tab character.554
ErrorsLine contains a tab character.555
ErrorsLine contains a tab character.557
ErrorsLine contains a tab character.559
ErrorsLine is longer than 80 characters.560
ErrorsLine contains a tab character.560
ErrorsLine contains a tab character.561
ErrorsLine has trailing spaces.562
ErrorsLine contains a tab character.562
ErrorsLine contains a tab character.563
ErrorsLine contains a tab character.564
ErrorsLine contains a tab character.565
ErrorsUnused @param tag for 'things'.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
ErrorsMethod 'iff' is not designed for extension - needs to be abstract, final or empty.569
ErrorsParameter name should be final.569
ErrorsExpected @param tag for 'name'.569
ErrorsParameter thing should be final.569
ErrorsParameter otherThings should be final.569
ErrorsExpected @param tag for 'otherThings'.569
ErrorsLine contains a tab character.570
ErrorsExpected @throws tag for 'ContradictionException'.570
ErrorsLine contains a tab character.571
ErrorsLine contains a tab character.572
ErrorsLine contains a tab character.573
ErrorsLine contains a tab character.574
ErrorsLine is longer than 80 characters.575
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.583
ErrorsLine contains a tab character.584
ErrorsLine contains a tab character.585
ErrorsLine has trailing spaces.586
ErrorsLine contains a tab character.586
ErrorsLine contains a tab character.587
ErrorsLine contains a tab character.588
ErrorsLine contains a tab character.589
ErrorsLine contains a tab character.590
ErrorsLine contains a tab character.591
ErrorsLine contains a tab character.592
ErrorsMethod 'and' is not designed for extension - needs to be abstract, final or empty.592
ErrorsParameter name should be final.592
ErrorsExpected @param tag for 'name'.592
ErrorsParameter thing should be final.592
ErrorsExpected @param tag for 'thing'.592
ErrorsParameter otherThings should be final.592
ErrorsExpected @param tag for 'otherThings'.592
ErrorsLine contains a tab character.593
ErrorsExpected @throws tag for 'ContradictionException'.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 is longer than 80 characters.598
ErrorsLine contains a tab character.598
ErrorsLine contains a tab character.599
ErrorsLine contains a tab character.600
ErrorsLine contains a tab character.601
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.608
ErrorsLine has trailing spaces.609
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
ErrorsMethod 'or' is not designed for extension - needs to be abstract, final or empty.615
ErrorsParameter name should be final.615
ErrorsExpected @param tag for 'name'.615
ErrorsParameter thing should be final.615
ErrorsExpected @param tag for 'thing'.615
ErrorsParameter otherThings should be final.615
ErrorsExpected @param tag for 'otherThings'.615
ErrorsLine contains a tab character.616
ErrorsExpected @throws tag for 'ContradictionException'.616
ErrorsLine contains a tab character.617
ErrorsLine contains a tab character.618
ErrorsLine contains a tab character.619
ErrorsLine contains a tab character.620
ErrorsLine contains a tab character.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.629
ErrorsLine contains a tab character.630
ErrorsLine contains a tab character.631
ErrorsLine has trailing spaces.632
ErrorsLine contains a tab character.632
ErrorsLine contains a tab character.633
ErrorsLine contains a tab character.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
ErrorsMethod 'halfOr' is not designed for extension - needs to be abstract, final or empty.638
ErrorsParameter name should be final.638
ErrorsExpected @param tag for 'name'.638
ErrorsParameter thing should be final.638
ErrorsExpected @param tag for 'thing'.638
ErrorsParameter otherThings should be final.638
ErrorsExpected @param tag for 'otherThings'.638
ErrorsLine contains a tab character.639
ErrorsExpected @throws tag for 'ContradictionException'.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 is longer than 80 characters.644
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.648
ErrorsLine contains a tab character.649
ErrorsLine contains a tab character.650
ErrorsFirst sentence should end with a period.652
ErrorsLine contains a tab character.652
ErrorsLine contains a tab character.653
ErrorsLine contains a tab character.654
ErrorsLine has trailing spaces.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
ErrorsLine contains a tab character.661
ErrorsMethod 'ifThenElse' is not designed for extension - needs to be abstract, final or empty.661
ErrorsParameter name should be final.661
ErrorsExpected @param tag for 'name'.661
ErrorsParameter thing should be final.661
ErrorsExpected @param tag for 'thing'.661
ErrorsParameter conditionThing should be final.661
ErrorsExpected @param tag for 'conditionThing'.661
ErrorsParameter thenThing should be final.661
ErrorsExpected @param tag for 'thenThing'.661
ErrorsLine contains a tab character.662
ErrorsParameter elseThing should be final.662
ErrorsExpected @param tag for 'elseThing'.662
ErrorsExpected @throws tag for 'ContradictionException'.662
ErrorsLine contains a tab character.663
ErrorsLine is longer than 80 characters.664
ErrorsLine contains a tab character.664
ErrorsLine contains a tab character.665
ErrorsLine contains a tab character.666
ErrorsLine contains a tab character.667
ErrorsLine contains a tab character.668
ErrorsLine contains a tab character.669
ErrorsLine contains a tab character.670
ErrorsLine contains a tab character.671
ErrorsLine contains a tab character.673
ErrorsLine contains a tab character.674
ErrorsLine contains a tab character.675
ErrorsLine has trailing spaces.676
ErrorsLine contains a tab character.676
ErrorsLine contains a tab character.677
ErrorsLine contains a tab character.678
ErrorsLine contains a tab character.679
ErrorsLine contains a tab character.680
ErrorsLine contains a tab character.681
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.681
ErrorsParameter wobj should be final.681
ErrorsLine contains a tab character.682
ErrorsLine contains a tab character.683
ErrorsLine contains a tab character.684
ErrorsLine contains a tab character.685
ErrorsLine contains a tab character.687
ErrorsLine contains a tab character.689
ErrorsMissing a Javadoc comment.689
ErrorsParameter thing should be final.689
ErrorsParameter weight should be final.689
ErrorsLine contains a tab character.690
ErrorsLine contains a tab character.691
ErrorsLine contains a tab character.692
ErrorsLine is longer than 80 characters.693
ErrorsLine contains a tab character.693
ErrorsInner assignments should be avoided.693
ErrorsLine is longer than 80 characters.694
ErrorsLine contains a tab character.694
ErrorsLine contains a tab character.695
ErrorsLine contains a tab character.696
ErrorsLine contains a tab character.697
ErrorsLine contains a tab character.698
ErrorsLine contains a tab character.699
ErrorsLine contains a tab character.700
ErrorsLine contains a tab character.701
ErrorsLine contains a tab character.702
ErrorsLine contains a tab character.703
ErrorsLine contains a tab character.705
ErrorsMissing a Javadoc comment.705
ErrorsParameter n should be final.705
ErrorsLine contains a tab character.706
ErrorsLine contains a tab character.707
ErrorsLine contains a tab character.708
ErrorsLine is longer than 80 characters.709
ErrorsLine contains a tab character.709
ErrorsLine contains a tab character.710
ErrorsLine contains a tab character.711
ErrorsLine contains a tab character.712
ErrorsLine contains a tab character.713
ErrorsLine contains a tab character.715
ErrorsLine contains a tab character.716
ErrorsLine has trailing spaces.717
ErrorsLine contains a tab character.717
ErrorsLine contains a tab character.718
ErrorsLine contains a tab character.719
ErrorsLine contains a tab character.720
ErrorsLine contains a tab character.721
ErrorsMethod 'addToObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.721
ErrorsParameter thing should be final.721
ErrorsExpected @param tag for 'thing'.721
ErrorsParameter weight should be final.721
ErrorsExpected @param tag for 'weight'.721
ErrorsLine contains a tab character.722
ErrorsLine contains a tab character.723
ErrorsLine contains a tab character.725
ErrorsLine contains a tab character.726
ErrorsLine has trailing spaces.727
ErrorsLine contains a tab character.727
ErrorsLine contains a tab character.728
ErrorsLine contains a tab character.729
ErrorsLine contains a tab character.730
ErrorsLine contains a tab character.731
ErrorsMethod 'addToObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.731
ErrorsParameter thing should be final.731
ErrorsExpected @param tag for 'thing'.731
ErrorsParameter weight should be final.731
ErrorsExpected @param tag for 'weight'.731
ErrorsLine contains a tab character.732
Errors'20' is a magic number.732
ErrorsLine contains a tab character.733
ErrorsLine contains a tab character.734
ErrorsLine contains a tab character.736
ErrorsLine contains a tab character.737
ErrorsLine contains a tab character.738
ErrorsLine contains a tab character.739
ErrorsLine has trailing spaces.740
ErrorsLine contains a tab character.740
ErrorsLine contains a tab character.741
ErrorsLine contains a tab character.742
ErrorsLine contains a tab character.743
ErrorsLine contains a tab character.744
ErrorsLine is longer than 80 characters.745
ErrorsLine contains a tab character.745
ErrorsMethod 'atLeast' is not designed for extension - needs to be abstract, final or empty.745
ErrorsParameter name should be final.745
ErrorsExpected @param tag for 'name'.745
ErrorsParameter degree should be final.745
ErrorsExpected @param tag for 'degree'.745
ErrorsParameter wobj should be final.745
ErrorsExpected @param tag for 'wobj'.745
ErrorsLine contains a tab character.746
ErrorsExpected @throws tag for 'ContradictionException'.746
ErrorsLine contains a tab character.747
ErrorsLine contains a tab character.748
ErrorsLine contains a tab character.749
ErrorsLine contains a tab character.750
ErrorsLine contains a tab character.751
ErrorsLine contains a tab character.752
ErrorsLine contains a tab character.753
ErrorsLine is longer than 80 characters.754
ErrorsLine contains a tab character.754
ErrorsLine contains a tab character.755
ErrorsLine contains a tab character.756
ErrorsLine contains a tab character.758
ErrorsLine contains a tab character.759
ErrorsLine contains a tab character.760
ErrorsLine contains a tab character.761
ErrorsLine has trailing spaces.762
ErrorsLine contains a tab character.762
ErrorsLine contains a tab character.763
ErrorsLine contains a tab character.764
ErrorsLine contains a tab character.765
ErrorsLine contains a tab character.766
ErrorsLine contains a tab character.767
ErrorsMethod 'atMost' is not designed for extension - needs to be abstract, final or empty.767
ErrorsParameter name should be final.767
ErrorsExpected @param tag for 'name'.767
ErrorsParameter degree should be final.767
ErrorsExpected @param tag for 'degree'.767
ErrorsParameter wobj should be final.767
ErrorsExpected @param tag for 'wobj'.767
ErrorsLine contains a tab character.768
ErrorsExpected @throws tag for 'ContradictionException'.768
ErrorsLine contains a tab character.769
ErrorsLine contains a tab character.770
ErrorsLine contains a tab character.771
ErrorsLine contains a tab character.772
ErrorsLine contains a tab character.773
ErrorsLine contains a tab character.774
ErrorsLine contains a tab character.775
ErrorsLine is longer than 80 characters.776
ErrorsLine contains a tab character.776
ErrorsLine contains a tab character.777
ErrorsLine contains a tab character.778
ErrorsLine contains a tab character.780
ErrorsMethod 'atMost' is not designed for extension - needs to be abstract, final or empty.780
ErrorsMissing a Javadoc comment.780
ErrorsParameter name should be final.780
ErrorsParameter degree should be final.780
ErrorsParameter wobj should be final.780
ErrorsLine contains a tab character.781
ErrorsLine contains a tab character.782
ErrorsLine contains a tab character.783
ErrorsLine contains a tab character.785
ErrorsLine is longer than 80 characters.786
ErrorsLine contains a tab character.786
ErrorsLine contains a tab character.787
ErrorsLine contains a tab character.788
ErrorsLine contains a tab character.789
ErrorsMethod 'stopSolver' is not designed for extension - needs to be abstract, final or empty.789
ErrorsLine contains a tab character.790
ErrorsLine contains a tab character.791
ErrorsLine contains a tab character.793
ErrorsLine is longer than 80 characters.794
ErrorsLine contains a tab character.794
ErrorsLine contains a tab character.795
ErrorsLine contains a tab character.796
ErrorsLine contains a tab character.797
ErrorsMethod 'stopExplanation' is not designed for extension - needs to be abstract, final or empty.797
ErrorsLine contains a tab character.798
ErrorsLine is longer than 80 characters.799
ErrorsLine contains a tab character.799
ErrorsLine contains a tab character.800
ErrorsLine contains a tab character.801
ErrorsLine contains a tab character.802
ErrorsLine contains a tab character.804
ErrorsMethod 'discard' is not designed for extension - needs to be abstract, final or empty.804
ErrorsMissing a Javadoc comment.804
ErrorsParameter things should be final.804
ErrorsLine contains a tab character.805
ErrorsLine contains a tab character.806
ErrorsLine contains a tab character.807
ErrorsLine contains a tab character.808
ErrorsLine contains a tab character.809
ErrorsLine contains a tab character.810
ErrorsLine contains a tab character.812
ErrorsMethod 'discardSolutionsWithObjectiveValueGreaterThan' is not designed for extension - needs to be abstract, final or empty.812
ErrorsMissing a Javadoc comment.812
ErrorsParameter value should be final.812
ErrorsLine contains a tab character.813
ErrorsLine contains a tab character.814
ErrorsLine contains a tab character.815
ErrorsLine contains a tab character.816
ErrorsLine is longer than 80 characters.817
ErrorsLine contains a tab character.817
ErrorsLine contains a tab character.818
ErrorsLine contains a tab character.819
ErrorsLine contains a tab character.820
ErrorsLine contains a tab character.821
ErrorsLine contains a tab character.823
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.823
ErrorsMissing a Javadoc comment.823
ErrorsLine contains a tab character.824
ErrorsLine contains a tab character.825
ErrorsLine contains a tab character.826
ErrorsLine contains a tab character.827
ErrorsLine contains a tab character.828
ErrorsAvoid inline conditionals.828
ErrorsLine is longer than 80 characters.829
ErrorsLine contains a tab character.829
ErrorsLine contains a tab character.830
ErrorsLine contains a tab character.831
ErrorsLine contains a tab character.832
ErrorsLine contains a tab character.833
ErrorsLine contains a tab character.835
ErrorsMethod 'getNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.835
ErrorsMissing a Javadoc comment.835
ErrorsLine contains a tab character.836
ErrorsLine contains a tab character.837
ErrorsLine contains a tab character.839
ErrorsMethod 'getNumberOfConstraints' is not designed for extension - needs to be abstract, final or empty.839
ErrorsMissing a Javadoc comment.839
ErrorsLine contains a tab character.840
ErrorsLine contains a tab character.841
ErrorsLine contains a tab character.843
ErrorsMethod 'getMappingToDomain' is not designed for extension - needs to be abstract, final or empty.843
ErrorsMissing a Javadoc comment.843
ErrorsLine contains a tab character.844
ErrorsLine contains a tab character.845
ErrorsLine contains a tab character.847
ErrorsMethod 'not' is not designed for extension - needs to be abstract, final or empty.847
ErrorsMissing a Javadoc comment.847
ErrorsParameter thing should be final.847
ErrorsLine contains a tab character.848
ErrorsLine contains a tab character.849
ErrorsLine contains a tab character.851
ErrorsLine contains a tab character.852
ErrorsLine contains a tab character.853
ErrorsLine contains a tab character.854
ErrorsLine contains a tab character.855
ErrorsMethod 'getSolver' is not designed for extension - needs to be abstract, final or empty.855
ErrorsLine contains a tab character.856
ErrorsLine contains a tab character.857
ErrorsLine contains a tab character.858
ErrorsLine contains a tab character.859
ErrorsLine contains a tab character.860
ErrorsLine contains a tab character.862
ErrorsLine contains a tab character.863
ErrorsLine has trailing spaces.864
ErrorsLine contains a tab character.864
ErrorsLine contains a tab character.865
ErrorsLine contains a tab character.866
ErrorsLine contains a tab character.867
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.867
ErrorsLine contains a tab character.868
ErrorsLine contains a tab character.869
ErrorsLine contains a tab character.870
ErrorsLine contains a tab character.871
ErrorsLine contains a tab character.872
ErrorsLine contains a tab character.873
ErrorsLine contains a tab character.874
ErrorsLine contains a tab character.875
ErrorsLine contains a tab character.876
ErrorsLine contains a tab character.878
ErrorsLine contains a tab character.879
ErrorsLine has trailing spaces.880
ErrorsLine contains a tab character.880
ErrorsLine contains a tab character.881
ErrorsLine contains a tab character.882
ErrorsLine contains a tab character.883
ErrorsLine contains a tab character.884
ErrorsLine contains a tab character.885
ErrorsLine contains a tab character.886
ErrorsLine contains a tab character.887
ErrorsUnused Javadoc tag.888
ErrorsLine contains a tab character.888
ErrorsLine contains a tab character.889
ErrorsLine contains a tab character.890
ErrorsLine contains a tab character.891
ErrorsLine is longer than 80 characters.892
ErrorsLine contains a tab character.892
ErrorsMethod 'impliedBy' is not designed for extension - needs to be abstract, final or empty.892
ErrorsParameter assumptions should be final.892
ErrorsParameter satisfied should be final.892
ErrorsLine contains a tab character.893
ErrorsParameter falsified should be final.893
ErrorsExpected @throws tag for 'TimeoutException'.893
ErrorsLine contains a tab character.894
ErrorsLine contains a tab character.895
ErrorsLine contains a tab character.896
ErrorsLine contains a tab character.897
ErrorsLine contains a tab character.898
ErrorsLine contains a tab character.899
ErrorsLine contains a tab character.900
ErrorsLine contains a tab character.901
ErrorsLine contains a tab character.902
ErrorsLine contains a tab character.903
ErrorsLine contains a tab character.904
ErrorsLine contains a tab character.905
ErrorsLine contains a tab character.906
ErrorsLine contains a tab character.907
ErrorsLine contains a tab character.908

org/sat4j/pb/tools/DisjunctionRHS.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.41
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsParameter helper should be final.46
Errors'helper' hides a field.46
ErrorsParameter literals should be final.46
Errors'literals' hides a field.46
ErrorsMethod 'implies' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter things should be final.51
ErrorsLine is longer than 80 characters.65

org/sat4j/pb/tools/INegator.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
ErrorsMissing a Javadoc comment.36

org/sat4j/pb/tools/ImplicationAnd.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.45
ErrorsLine has trailing spaces.47
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsParameter helper should be final.56
Errors'helper' hides a field.56
ErrorsParameter clause should be final.56
Errors'clause' hides a field.56
ErrorsLine has trailing spaces.63
ErrorsMethod 'and' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter thing should be final.69
ErrorsExpected @throws tag for 'ContradictionException'.69
ErrorsLine has trailing spaces.82
ErrorsMethod 'andNot' is not designed for extension - needs to be abstract, final or empty.88
ErrorsParameter thing should be final.88
ErrorsExpected @throws tag for 'ContradictionException'.88
ErrorsLine has trailing spaces.101
ErrorsLine has trailing spaces.103
ErrorsMethod 'named' is not designed for extension - needs to be abstract, final or empty.107
ErrorsParameter name should be final.107

org/sat4j/pb/tools/ImplicationNamer.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
ErrorsLine is longer than 80 characters.53
ErrorsMissing a Javadoc comment.53
ErrorsParameter helper should be final.53
Errors'helper' hides a field.53
ErrorsParameter toName should be final.53
Errors'toName' hides a field.53
ErrorsLine has trailing spaces.61
ErrorsMethod 'named' is not designed for extension - needs to be abstract, final or empty.64
ErrorsParameter name should be final.64
ErrorsExpected @param tag for 'name'.64

org/sat4j/pb/tools/ImplicationRHS.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.41
ErrorsLine has trailing spaces.43
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsParameter helper should be final.54
Errors'helper' hides a field.54
ErrorsParameter clause should be final.54
Errors'clause' hides a field.54
ErrorsLine has trailing spaces.61
ErrorsMethod 'implies' is not designed for extension - needs to be abstract, final or empty.67
ErrorsParameter thing should be final.67
ErrorsExpected @throws tag for 'ContradictionException'.67
ErrorsLine has trailing spaces.76
ErrorsUnused @param tag for 'thing'.77
ErrorsMethod 'implies' is not designed for extension - needs to be abstract, final or empty.83
ErrorsParameter things should be final.83
ErrorsExpected @param tag for 'things'.83
ErrorsExpected @throws tag for 'ContradictionException'.84
ErrorsLine has trailing spaces.94
ErrorsMethod 'impliesNot' is not designed for extension - needs to be abstract, final or empty.100
ErrorsParameter thing should be final.100
ErrorsExpected @throws tag for 'ContradictionException'.101

org/sat4j/pb/tools/LexicoDecoratorPB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.46
ErrorsLine has trailing spaces.50
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine is longer than 80 characters.54
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsParameter solver should be final.57
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.61
ErrorsMissing a Javadoc comment.61
ErrorsParameter lits should be final.61
ErrorsParameter coeffs should be final.61
ErrorsParameter moreThan should be final.62
ErrorsParameter d should be final.62
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.66
ErrorsMissing a Javadoc comment.66
ErrorsParameter obj should be final.66
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.71
ErrorsMissing a Javadoc comment.71
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.75
ErrorsParameter assumps should be final.76
ErrorsMethod 'addCriterion' is not designed for extension - needs to be abstract, final or empty.82
ErrorsParameter literals should be final.83
ErrorsMethod 'addCriterion' is not designed for extension - needs to be abstract, final or empty.88
ErrorsMissing a Javadoc comment.88
ErrorsParameter literals should be final.88
ErrorsParameter coefs should be final.88
ErrorsMethod 'evaluate' is not designed for extension - needs to be abstract, final or empty.92
ErrorsMethod 'evaluate' is not designed for extension - needs to be abstract, final or empty.99
ErrorsParameter criterion should be final.100
ErrorsMethod 'fixCriterionValue' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMethod 'discardSolutionsForOptimizing' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMethod 'numberOfCriteria' is not designed for extension - needs to be abstract, final or empty.121
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsParameter literals should be final.126
ErrorsParameter coeffs should be final.126
ErrorsParameter degree should be final.126
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.131
ErrorsMissing a Javadoc comment.131
ErrorsParameter literals should be final.131
ErrorsParameter coeffs should be final.131
ErrorsParameter degree should be final.132
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.136
ErrorsMissing a Javadoc comment.136
ErrorsParameter literals should be final.136
ErrorsParameter coeffs should be final.136
ErrorsParameter degree should be final.136
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsParameter literals should be final.141
ErrorsParameter coeffs should be final.141
ErrorsParameter degree should be final.142
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146
ErrorsParameter literals should be final.146
ErrorsParameter coeffs should be final.146
ErrorsParameter weight should be final.146
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.151
ErrorsMissing a Javadoc comment.151
ErrorsParameter literals should be final.151
ErrorsParameter coeffs should be final.151
ErrorsParameter weight should be final.152

org/sat4j/pb/tools/LexicoHelper.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
ErrorsMissing a Javadoc comment.47
ErrorsParameter solver should be final.47
ErrorsMissing a Javadoc comment.53
ErrorsParameter solver should be final.53
ErrorsParameter explanationEnabled should be final.53
ErrorsParameter canonicalOptFunctionEnabled should be final.54
ErrorsMissing a Javadoc comment.61
ErrorsParameter solver should be final.61
ErrorsParameter explanationEnabled should be final.61
ErrorsMethod 'addCriterion' is not designed for extension - needs to be abstract, final or empty.68
ErrorsMissing a Javadoc comment.68
ErrorsParameter things should be final.68
ErrorsMethod 'addWeightedCriterion' is not designed for extension - needs to be abstract, final or empty.76
ErrorsMissing a Javadoc comment.76
ErrorsParameter things should be final.76
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMissing a Javadoc comment.86

org/sat4j/pb/tools/ManyCorePB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsLine has trailing spaces.47
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsLine is longer than 80 characters.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter factory should be final.51
ErrorsParameter solverNames should be final.51
ErrorsMissing a Javadoc comment.55
ErrorsParameter iSolver should be final.55
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsParameter lits should be final.59
ErrorsParameter coeffs should be final.59
ErrorsParameter moreThan should be final.60
ErrorsParameter d should be final.60
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.69
ErrorsMissing a Javadoc comment.69
ErrorsParameter obj should be final.69
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.75
ErrorsMissing a Javadoc comment.75
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter literals should be final.79
ErrorsParameter coeffs should be final.79
ErrorsParameter degree should be final.79
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.88
ErrorsMissing a Javadoc comment.88
ErrorsParameter literals should be final.88
ErrorsParameter coeffs should be final.88
ErrorsParameter degree should be final.89
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.97
ErrorsMissing a Javadoc comment.97
ErrorsParameter literals should be final.97
ErrorsParameter coeffs should be final.97
ErrorsParameter degree should be final.97
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.106
ErrorsMissing a Javadoc comment.106
ErrorsParameter literals should be final.106
ErrorsParameter coeffs should be final.106
ErrorsParameter degree should be final.107
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.115
ErrorsMissing a Javadoc comment.115
ErrorsParameter literals should be final.115
ErrorsParameter coeffs should be final.115
ErrorsParameter weight should be final.115
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.124
ErrorsMissing a Javadoc comment.124
ErrorsParameter literals should be final.124
ErrorsParameter coeffs should be final.124
ErrorsParameter weight should be final.125

org/sat4j/pb/tools/PBAdapter.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.51
ErrorsLine has trailing spaces.58
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.59
ErrorsMissing a Javadoc comment.62
ErrorsParameter solver should be final.62
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.66
ErrorsMissing a Javadoc comment.66
ErrorsParameter lits should be final.66
ErrorsParameter coeffs should be final.66
ErrorsParameter moreThan should be final.67
ErrorsParameter d should be final.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
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.101
ErrorsMissing a Javadoc comment.101
ErrorsParameter obj should be final.101
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.106
ErrorsMissing a Javadoc comment.106

org/sat4j/pb/tools/SearchOptimizerListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.42
ErrorsLine has trailing spaces.46
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsParameter sfl should be final.58
Errors'sfl' hides a field.58
ErrorsParameter solverService should be final.63
Errors'solverService' hides a field.63
ErrorsParameter model should be final.70
ErrorsParameter lazyModel should be final.70
ErrorsParameter result should be final.83

org/sat4j/pb/tools/StringNegator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsLine contains a tab character.34
ErrorsMissing a Javadoc comment.34
ErrorsLine contains a tab character.36
ErrorsMissing a Javadoc comment.36
ErrorsLine contains a tab character.37
ErrorsLine contains a tab character.38
ErrorsLine contains a tab character.40
ErrorsMissing a Javadoc comment.40
ErrorsParameter thing should be final.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.47
ErrorsMissing a Javadoc comment.47
ErrorsParameter thing should be final.47
ErrorsLine contains a tab character.48
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52

org/sat4j/pb/tools/WeightedObject.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.35
ErrorsLine contains a tab character.37
ErrorsMissing a Javadoc comment.37
ErrorsVariable 'thing' must be private and have accessor methods.37
ErrorsLine contains a tab character.38
ErrorsMissing a Javadoc comment.38
ErrorsLine contains a tab character.40
ErrorsMissing a Javadoc comment.40
ErrorsParameter thing should be final.40
Errors'thing' hides a field.40
ErrorsParameter weight should be final.40
Errors'weight' hides a field.40
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.45
ErrorsMissing a Javadoc comment.45
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.49
ErrorsMissing a Javadoc comment.49
ErrorsParameter delta should be final.49
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.53
ErrorsMissing a Javadoc comment.53
ErrorsParameter arg0 should be final.53
ErrorsLine contains a tab character.54
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.57
ErrorsMissing a Javadoc comment.57
ErrorsParameter e should be final.57
ErrorsParameter w should be final.57
ErrorsLine contains a tab character.58
ErrorsLine contains a tab character.59
ErrorsLine contains a tab character.61
ErrorsMissing a Javadoc comment.61
ErrorsParameter e should be final.61
ErrorsParameter w should be final.61
ErrorsLine contains a tab character.62
ErrorsLine contains a tab character.63
ErrorsLine contains a tab character.65
ErrorsMissing a Javadoc comment.65
ErrorsParameter e should be final.65
ErrorsParameter w should be final.65
ErrorsLine contains a tab character.66
ErrorsLine contains a tab character.67
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 is longer than 80 characters.74
ErrorsLine contains a tab character.74
ErrorsAvoid inline conditionals.74
ErrorsLine contains a tab character.75
ErrorsLine is longer than 80 characters.76
ErrorsLine contains a tab character.76
ErrorsAvoid inline conditionals.76
ErrorsLine contains a tab character.77
ErrorsLine contains a tab character.78
ErrorsLine contains a tab character.80
ErrorsLine contains a tab character.81
ErrorsParameter obj should be final.81
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.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.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.103
ErrorsLine contains a tab character.104
ErrorsLine contains a tab character.105
ErrorsLine contains a tab character.106
ErrorsLine contains a tab character.107

org/sat4j/pb/tools/XplainPB.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.46
ErrorsLine has trailing spaces.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsMissing a Javadoc comment.53
ErrorsParameter solver should be final.53
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.57
ErrorsParameter literals should be final.58
ErrorsParameter degree should be final.58
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.74
ErrorsParameter literals should be final.75
ErrorsParameter degree should be final.75
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.91
ErrorsParameter literals should be final.92
ErrorsParameter n should be final.92
ErrorsMethod 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.116
ErrorsMissing a Javadoc comment.116
ErrorsParameter lits should be final.116
ErrorsParameter coeffs should be final.116
ErrorsParameter moreThan should be final.117
ErrorsParameter d should be final.117
ErrorsLine is longer than 80 characters.135
ErrorsMethod 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.142
ErrorsMissing a Javadoc comment.142
ErrorsParameter obj should be final.142
ErrorsMethod 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.150
ErrorsMissing a Javadoc comment.150
ErrorsParameter literals should be final.150
ErrorsParameter coeffs should be final.150
ErrorsParameter degree should be final.150
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.155
ErrorsMissing a Javadoc comment.155
ErrorsParameter literals should be final.155
ErrorsParameter coeffs should be final.155
ErrorsParameter degree should be final.156
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsParameter literals should be final.160
ErrorsParameter coeffs should be final.160
ErrorsParameter degree should be final.160
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.165
ErrorsMissing a Javadoc comment.165
ErrorsParameter literals should be final.165
ErrorsParameter coeffs should be final.165
ErrorsParameter degree should be final.166
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.170
ErrorsMissing a Javadoc comment.170
ErrorsParameter literals should be final.170
ErrorsParameter coeffs should be final.170
ErrorsParameter weight should be final.170
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.175
ErrorsMissing a Javadoc comment.175
ErrorsParameter literals should be final.175
ErrorsParameter coeffs should be final.175
ErrorsParameter weight should be final.176

org/sat4j/pb/tools/package-info.java

ViolationMessageLine
ErrorsFirst sentence should end with a period.1