Checkstyle Results

The following document contains the results of Checkstyle.

Summary

Files	Infos	Warnings	Errors
126	0	0	6207

Files

Files	I	W	E
org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java	0	0	46
org/sat4j/pb/IPBSolver.java	0	0	193
org/sat4j/pb/IPBSolverService.java	0	0	4
org/sat4j/pb/LPStringSolver.java	0	0	95
org/sat4j/pb/LanceurPseudo2005.java	0	0	31
org/sat4j/pb/LanceurPseudo2007.java	0	0	16
org/sat4j/pb/LanceurPseudo2007Eclipse.java	0	0	18
org/sat4j/pb/OPBStringSolver.java	0	0	91
org/sat4j/pb/ObjectiveFunction.java	0	0	45
org/sat4j/pb/OptToPBSATAdapter.java	0	0	45
org/sat4j/pb/PBSolverDecorator.java	0	0	48
org/sat4j/pb/PseudoBitsAdderDecorator.java	0	0	58
org/sat4j/pb/PseudoIteratorDecorator.java	0	0	10
org/sat4j/pb/PseudoOptDecorator.java	0	0	75
org/sat4j/pb/SolverFactory.java	0	0	127
org/sat4j/pb/UserFriendlyPBStringSolver.java	0	0	88
org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java	0	0	78
org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java	0	0	74
org/sat4j/pb/constraints/AtLeastCardConstructor.java	0	0	13
org/sat4j/pb/constraints/AtLeastCardPBConstructor.java	0	0	13
org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java	0	0	7
org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java	0	0	7
org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java	0	0	7
org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java	0	0	7
org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/ICardConstructor.java	0	0	5
org/sat4j/pb/constraints/IClauseConstructor.java	0	0	6
org/sat4j/pb/constraints/IPBConstructor.java	0	0	5
org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.java	0	0	15
org/sat4j/pb/constraints/MaxLongWatchPBConstructor.java	0	0	15
org/sat4j/pb/constraints/MaxWatchPBConstructor.java	0	0	15
org/sat4j/pb/constraints/MinCardConstructor.java	0	0	17
org/sat4j/pb/constraints/MinCardPBConstructor.java	0	0	13
org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.java	0	0	15
org/sat4j/pb/constraints/MinLongWatchPBConstructor.java	0	0	15
org/sat4j/pb/constraints/MinWatchPBConstructor.java	0	0	15
org/sat4j/pb/constraints/PBContainer.java	0	0	16
org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PBMaxDataStructure.java	0	0	28
org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PBMinDataStructure.java	0	0	25
org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.java	0	0	15
org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java	0	0	7
org/sat4j/pb/constraints/PuebloPBMinDataStructure.java	0	0	24
org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.java	0	0	12
org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.java	0	0	12
org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.java	0	0	12
org/sat4j/pb/constraints/pb/AtLeastPB.java	0	0	30
org/sat4j/pb/constraints/pb/ConflictMap.java	0	0	117
org/sat4j/pb/constraints/pb/ConflictMapCardinality.java	0	0	6
org/sat4j/pb/constraints/pb/ConflictMapClause.java	0	0	18
org/sat4j/pb/constraints/pb/ConflictMapSwitchToClause.java	0	0	26
org/sat4j/pb/constraints/pb/IConflict.java	0	0	51
org/sat4j/pb/constraints/pb/IDataStructurePB.java	0	0	34
org/sat4j/pb/constraints/pb/IWatchPb.java	0	0	5
org/sat4j/pb/constraints/pb/InternalMapPBStructure.java	0	0	55
org/sat4j/pb/constraints/pb/LearntBinaryClausePB.java	0	0	12
org/sat4j/pb/constraints/pb/LearntHTClausePB.java	0	0	13
org/sat4j/pb/constraints/pb/MapPb.java	0	0	88
org/sat4j/pb/constraints/pb/MaxWatchPb.java	0	0	51
org/sat4j/pb/constraints/pb/MaxWatchPbLong.java	0	0	48
org/sat4j/pb/constraints/pb/MaxWatchPbLongCP.java	0	0	48
org/sat4j/pb/constraints/pb/MinWatchCardPB.java	0	0	45
org/sat4j/pb/constraints/pb/MinWatchPb.java	0	0	76
org/sat4j/pb/constraints/pb/MinWatchPbLong.java	0	0	75
org/sat4j/pb/constraints/pb/MinWatchPbLongCP.java	0	0	78
org/sat4j/pb/constraints/pb/OriginalBinaryClausePB.java	0	0	16
org/sat4j/pb/constraints/pb/OriginalHTClausePB.java	0	0	16
org/sat4j/pb/constraints/pb/PBConstr.java	0	0	15
org/sat4j/pb/constraints/pb/Pseudos.java	0	0	33
org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java	0	0	34
org/sat4j/pb/constraints/pb/UnitClausePB.java	0	0	18
org/sat4j/pb/constraints/pb/UnitClausesPB.java	0	0	18
org/sat4j/pb/constraints/pb/WatchPb.java	0	0	147
org/sat4j/pb/constraints/pb/WatchPbLong.java	0	0	147
org/sat4j/pb/constraints/pb/WatchPbLongCP.java	0	0	162
org/sat4j/pb/core/IPBCDCLSolver.java	0	0	5
org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java	0	0	203
org/sat4j/pb/core/PBDataStructureFactory.java	0	0	9
org/sat4j/pb/core/PBSolver.java	0	0	83
org/sat4j/pb/core/PBSolverCP.java	0	0	46
org/sat4j/pb/core/PBSolverCautious.java	0	0	24
org/sat4j/pb/core/PBSolverClause.java	0	0	13
org/sat4j/pb/core/PBSolverResCP.java	0	0	30
org/sat4j/pb/core/PBSolverResolution.java	0	0	16
org/sat4j/pb/core/PBSolverStats.java	0	0	18
org/sat4j/pb/core/PBSolverWithImpliedClause.java	0	0	15
org/sat4j/pb/core/package-info.java	0	0	1
org/sat4j/pb/orders/IOrderObjective.java	0	0	4
org/sat4j/pb/orders/RandomWalkDecoratorObjective.java	0	0	25
org/sat4j/pb/orders/VarOrderHeapObjective.java	0	0	15
org/sat4j/pb/package-info.java	0	0	1
org/sat4j/pb/reader/JSONPBReader.java	0	0	112
org/sat4j/pb/reader/OPBEclipseReader2007.java	0	0	17
org/sat4j/pb/reader/OPBReader2005.java	0	0	781
org/sat4j/pb/reader/OPBReader2006.java	0	0	14
org/sat4j/pb/reader/OPBReader2007.java	0	0	64
org/sat4j/pb/reader/OPBReader2010.java	0	0	22
org/sat4j/pb/reader/OPBReader2012.java	0	0	12
org/sat4j/pb/reader/PBInstanceReader.java	0	0	14
org/sat4j/pb/tools/ClausalConstraintsDecorator.java	0	0	59
org/sat4j/pb/tools/ConflictTracing.java	0	0	39
org/sat4j/pb/tools/DependencyHelper.java	0	0	1086
org/sat4j/pb/tools/DisjunctionRHS.java	0	0	15
org/sat4j/pb/tools/INegator.java	0	0	5
org/sat4j/pb/tools/ImplicationAnd.java	0	0	25
org/sat4j/pb/tools/ImplicationNamer.java	0	0	17
org/sat4j/pb/tools/ImplicationRHS.java	0	0	27
org/sat4j/pb/tools/LexicoDecoratorPB.java	0	0	66
org/sat4j/pb/tools/LexicoHelper.java	0	0	21
org/sat4j/pb/tools/ManyCorePB.java	0	0	53
org/sat4j/pb/tools/PBAdapter.java	0	0	50
org/sat4j/pb/tools/SearchOptimizerListener.java	0	0	18
org/sat4j/pb/tools/StringNegator.java	0	0	25
org/sat4j/pb/tools/WeightedObject.java	0	0	92
org/sat4j/pb/tools/XplainPB.java	0	0	59
org/sat4j/pb/tools/package-info.java	0	0	1

Rules

Rules	Violations	Severity
JavadocPackage allowLegacy: `"true"`	0	Error
NewlineAtEndOfFile	5	Error
Translation	0	Error
FileLength	0	Error
FileTabCharacter eachLine: `"true"`	1821	Error
RegexpSingleline message: `"Line has trailing spaces."` format: `"\s+$"`	449	Error
JavadocMethod	846	Error
JavadocType	78	Error
JavadocVariable	190	Error
JavadocStyle	149	Error
ConstantName	0	Error
LocalFinalVariableName	0	Error
LocalVariableName	0	Error
MemberName	0	Error
MethodName	0	Error
PackageName	0	Error
ParameterName	0	Error
StaticVariableName	1	Error
TypeName	0	Error
AvoidStarImport	0	Error
IllegalImport	0	Error
RedundantImport	0	Error
UnusedImports	0	Error
LineLength	451	Error
MethodLength	0	Error
ParameterNumber	0	Error
EmptyForIteratorPad	0	Error
MethodParamPad	0	Error
NoWhitespaceAfter	2	Error
NoWhitespaceBefore	0	Error
OperatorWrap	0	Error
ParenPad	0	Error
TypecastParenPad	0	Error
WhitespaceAfter	3	Error
WhitespaceAround	0	Error
ModifierOrder	0	Error
RedundantModifier	0	Error
AvoidNestedBlocks	0	Error
EmptyBlock	2	Error
LeftCurly	0	Error
NeedBraces	0	Error
RightCurly	0	Error
AvoidInlineConditionals	18	Error
DoubleCheckedLocking	0	Error
EmptyStatement	0	Error
EqualsHashCode	0	Error
HiddenField	62	Error
IllegalInstantiation	0	Error
InnerAssignment	8	Error
MagicNumber	17	Error
MissingSwitchDefault	0	Error
RedundantThrows	0	Error
SimplifyBooleanExpression	0	Error
SimplifyBooleanReturn	0	Error
DesignForExtension	656	Error
FinalClass	0	Error
HideUtilityClassConstructor	1	Error
InterfaceIsType	0	Error
VisibilityModifier	78	Error
ArrayTypeStyle	2	Error
FinalParameters	1370	Error
TodoComment	0	Error
UpperEll	0	Error

Details

org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java

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

org/sat4j/pb/IPBSolver.java

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

org/sat4j/pb/IPBSolverService.java

Violation	Message	Line
	Missing a Javadoc comment.	10
	Missing a Javadoc comment.	12
	Missing a Javadoc comment.	15
	Missing a Javadoc comment.	17

org/sat4j/pb/LPStringSolver.java

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

org/sat4j/pb/LanceurPseudo2005.java

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

org/sat4j/pb/LanceurPseudo2007.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	40
	Line has trailing spaces.	42
	Line has trailing spaces.	47
	Line contains a tab character.	47
	Line contains a tab character.	48
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	55
	Parameter factory should be final.	55
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	59
	Parameter theSolver should be final.	60
	Parameter problemname should be final.	60
	First sentence should end with a period.	64
	Line has trailing spaces.	66
	'3' is a magic number.	73

org/sat4j/pb/LanceurPseudo2007Eclipse.java

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

org/sat4j/pb/OPBStringSolver.java

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

org/sat4j/pb/ObjectiveFunction.java

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

org/sat4j/pb/OptToPBSATAdapter.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	43
	Line has trailing spaces.	49
	Missing a Javadoc comment.	53
	Variable 'problem' must be private and have accessor methods.	53
	Missing a Javadoc comment.	55
	Variable 'modelComputed' must be private and have accessor methods.	55
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	59
	Missing a Javadoc comment.	61
	Parameter problem should be final.	61
	'problem' hides a field.	61
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	66
	Inner assignments should be avoided.	72
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	77
	Parameter global should be final.	78
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	82
	Parameter myAssumps should be final.	83
	Parameter global should be final.	83
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	88
	Parameter myAssumps should be final.	89
	Inner assignments should be avoided.	95
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	100
	Line has trailing spaces.	108
	Expected an @return tag.	113
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	113
	Parameter out should be final.	113
	'1000.0' is a magic number.	127
	'1000.0' is a magic number.	134
	'1000.0' is a magic number.	140
	Must have at least one statement.	143
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	150
	Parameter var should be final.	151
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	158
	Parameter prefix should be final.	159
	Method 'isOptimal' is not designed for extension - needs to be abstract, final or empty.	164
	Missing a Javadoc comment.	164
	Line has trailing spaces.	170
	Expected an @return tag.	174
	Method 'getCurrentObjectiveValue' is not designed for extension - needs to be abstract, final or empty.	174
	Line has trailing spaces.	184
	Method 'setTimeoutForFindingBetterSolution' is not designed for extension - needs to be abstract, final or empty.	187
	Parameter seconds should be final.	187
	Expected @param tag for 'seconds'.	187

org/sat4j/pb/PBSolverDecorator.java

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

org/sat4j/pb/PseudoBitsAdderDecorator.java

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

org/sat4j/pb/PseudoIteratorDecorator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	39
	Line has trailing spaces.	41
	Line has trailing spaces.	46
	Line contains a tab character.	46
	Line contains a tab character.	47
	Missing a Javadoc comment.	50
	Parameter solver should be final.	50
	Method 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty.	54

org/sat4j/pb/PseudoOptDecorator.java

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

org/sat4j/pb/SolverFactory.java

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

org/sat4j/pb/UserFriendlyPBStringSolver.java

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

org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java

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

org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java

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

org/sat4j/pb/constraints/AtLeastCardConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	45
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter solver should be final.	47
	Parameter voc should be final.	47
	Parameter theLits should be final.	48
	Parameter degree should be final.	48
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	52
	Missing a Javadoc comment.	52
	Parameter voc should be final.	52
	Parameter dspb should be final.	52

org/sat4j/pb/constraints/AtLeastCardPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	45
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter solver should be final.	47
	Parameter voc should be final.	47
	Parameter theLits should be final.	48
	Parameter degree should be final.	48
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	52
	Missing a Javadoc comment.	52
	Parameter voc should be final.	52
	Parameter dspb should be final.	52

org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Line contains a tab character.	36
	Line contains a tab character.	37
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Line contains a tab character.	36
	Line contains a tab character.	37
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Line contains a tab character.	36
	Line contains a tab character.	37
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Line contains a tab character.	36
	Line contains a tab character.	37
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	35
	Missing a Javadoc comment.	37

org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	35
	Missing a Javadoc comment.	37

org/sat4j/pb/constraints/ICardConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	44

org/sat4j/pb/constraints/IClauseConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	37
	Line is longer than 80 characters.	39
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	41

org/sat4j/pb/constraints/IPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	42
	Missing a Javadoc comment.	44

org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter voc should be final.	44
	Parameter dspb should be final.	44
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter solver should be final.	51
	Parameter voc should be final.	51
	Parameter theLits should be final.	52
	Parameter coefs should be final.	52
	Parameter degree should be final.	52
	Parameter sumCoefs should be final.	53

org/sat4j/pb/constraints/MaxLongWatchPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter voc should be final.	44
	Parameter dspb should be final.	44
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter solver should be final.	51
	Parameter voc should be final.	51
	Parameter theLits should be final.	52
	Parameter coefs should be final.	52
	Parameter degree should be final.	52
	Parameter sumCoefs should be final.	53

org/sat4j/pb/constraints/MaxWatchPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	41
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	43
	Missing a Javadoc comment.	43
	Parameter voc should be final.	43
	Parameter dspb should be final.	43
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter solver should be final.	47
	Parameter voc should be final.	47
	Parameter theLits should be final.	48
	Parameter coefs should be final.	48
	Parameter degree should be final.	48
	Parameter sumCoefs should be final.	49

org/sat4j/pb/constraints/MinCardConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	47
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	49
	Missing a Javadoc comment.	49
	Parameter solver should be final.	49
	Parameter voc should be final.	49
	Parameter theLits should be final.	50
	Parameter degree should be final.	50
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	55
	Missing a Javadoc comment.	55
	Parameter voc should be final.	55
	Parameter dspb should be final.	55
	Line is longer than 80 characters.	59
	';' is not followed by whitespace.	59
	Line is longer than 80 characters.	60
	Line is longer than 80 characters.	62

org/sat4j/pb/constraints/MinCardPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	46
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	48
	Missing a Javadoc comment.	48
	Parameter solver should be final.	48
	Parameter voc should be final.	48
	Parameter theLits should be final.	49
	Parameter degree should be final.	49
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	54
	Missing a Javadoc comment.	54
	Parameter voc should be final.	54
	Parameter dspb should be final.	54

org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter voc should be final.	44
	Parameter dspb should be final.	44
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter solver should be final.	51
	Parameter voc should be final.	51
	Parameter theLits should be final.	52
	Parameter coefs should be final.	52
	Parameter degree should be final.	52
	Parameter sumCoefs should be final.	53

org/sat4j/pb/constraints/MinLongWatchPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter voc should be final.	44
	Parameter dspb should be final.	44
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter solver should be final.	51
	Parameter voc should be final.	51
	Parameter theLits should be final.	52
	Parameter coefs should be final.	52
	Parameter degree should be final.	52
	Parameter sumCoefs should be final.	53

org/sat4j/pb/constraints/MinWatchPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	41
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	43
	Missing a Javadoc comment.	43
	Parameter voc should be final.	43
	Parameter dspb should be final.	43
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter solver should be final.	47
	Parameter voc should be final.	47
	Parameter theLits should be final.	48
	Parameter coefs should be final.	48
	Parameter degree should be final.	48
	Parameter sumCoefs should be final.	49

org/sat4j/pb/constraints/PBContainer.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	35
	Variable 'lits' must be private and have accessor methods.	35
	Missing a Javadoc comment.	36
	Variable 'coefs' must be private and have accessor methods.	36
	Missing a Javadoc comment.	37
	Variable 'degree' must be private and have accessor methods.	37
	Missing a Javadoc comment.	39
	Parameter lits should be final.	39
	'lits' hides a field.	39
	Parameter coefs should be final.	39
	'coefs' hides a field.	39
	Parameter degree should be final.	39
	'degree' hides a field.	39

org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/PBMaxDataStructure.java

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

org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/PBMinDataStructure.java

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

org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	41
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	43
	Missing a Javadoc comment.	43
	Parameter voc should be final.	43
	Parameter dspb should be final.	43
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter solver should be final.	47
	Parameter voc should be final.	47
	Parameter theLits should be final.	48
	Parameter coefs should be final.	48
	Parameter degree should be final.	48
	Parameter sumCoefs should be final.	49

org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line has trailing spaces.	36
	Missing a Javadoc comment.	40

org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	37
	Line has trailing spaces.	41
	Missing a Javadoc comment.	45
	Method 'createClause' is not designed for extension - needs to be abstract, final or empty.	50
	Parameter literals should be final.	51

org/sat4j/pb/constraints/PuebloPBMinDataStructure.java

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

org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructClause' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter solver should be final.	44
	Parameter voc should be final.	44
	Parameter v should be final.	45
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter voc should be final.	59
	Parameter literals should be final.	59

org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructClause' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter solver should be final.	44
	Parameter voc should be final.	44
	Parameter v should be final.	45
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter voc should be final.	59
	Parameter literals should be final.	59

org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Method 'constructClause' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter solver should be final.	44
	Parameter voc should be final.	44
	Parameter v should be final.	45
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter voc should be final.	59
	Parameter literals should be final.	59

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	40
	Line has trailing spaces.	43
	Missing a Javadoc comment.	47
	Missing a Javadoc comment.	49
	Parameter voc should be final.	49
	Parameter ps should be final.	49
	Parameter degree should be final.	49
	'degree' hides a field.	49
	Missing a Javadoc comment.	54
	Parameter s should be final.	54
	Parameter voc should be final.	54
	Parameter ps should be final.	55
	Parameter n should be final.	55
	Missing a Javadoc comment.	63
	Parameter voc should be final.	63
	Parameter ps should be final.	63
	Parameter n should be final.	63
	Missing a Javadoc comment.	69
	Parameter literal should be final.	69
	Missing a Javadoc comment.	73
	Missing a Javadoc comment.	77
	Missing a Javadoc comment.	81
	Missing a Javadoc comment.	87
	Line has trailing spaces.	96
	First sentence should end with a period.	100
	Line has trailing spaces.	102
	Parameter s should be final.	117
	Missing a Javadoc comment.	126

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

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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	34
	Parameter cpb should be final.	34
	Parameter level should be final.	34

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	36
	Parameter cpb should be final.	36
	Parameter level should be final.	36
	Missing a Javadoc comment.	40
	Parameter cpb should be final.	40
	Parameter level should be final.	40
	Line has trailing spaces.	47
	Parameter litImplied should be final.	55
	Expected @param tag for 'litImplied'.	55
	Parameter ind should be final.	55
	Expected @param tag for 'ind'.	55
	Parameter reducedCoefs should be final.	56
	Expected @param tag for 'reducedCoefs'.	56
	Parameter wpb should be final.	56
	Expected @param tag for 'wpb'.	56

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	36
	Name 'UpperBound' must match pattern '^[a-z][a-zA-Z0-9]*$'.	36
	Variable 'UpperBound' must be private and have accessor methods.	36
	Missing a Javadoc comment.	38
	Parameter cpb should be final.	38
	Parameter level should be final.	38
	Missing a Javadoc comment.	42
	Parameter cpb should be final.	42
	Parameter level should be final.	42
	Line has trailing spaces.	49
	Parameter litImplied should be final.	57
	Expected @param tag for 'litImplied'.	57
	Parameter ind should be final.	57
	Expected @param tag for 'ind'.	57
	Parameter reducedCoefs should be final.	58
	Expected @param tag for 'reducedCoefs'.	58
	Parameter wpb should be final.	58
	Expected @param tag for 'wpb'.	58
	Must have at least one statement.	64
	Missing a Javadoc comment.	85
	Parameter ind should be final.	85
	Parameter wpb should be final.	85
	Parameter reducedCoefs should be final.	86

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

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

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

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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	34
	Line contains a tab character.	36
	Missing a Javadoc comment.	36

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

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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	41
	Parameter ps should be final.	41
	Parameter voc should be final.	41
	Line has trailing spaces.	46
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	54
	Parameter literal should be final.	54
	Missing a Javadoc comment.	58
	Missing a Javadoc comment.	66

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	43
	Parameter ps should be final.	43
	Parameter voc should be final.	43
	Parameter s should be final.	48
	Missing a Javadoc comment.	66
	Missing a Javadoc comment.	70
	Parameter literal should be final.	70
	Missing a Javadoc comment.	74
	Missing a Javadoc comment.	82

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	42
	Parameter ps should be final.	42
	Parameter voc should be final.	42
	Line has trailing spaces.	48
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	56
	Parameter literal should be final.	56
	Missing a Javadoc comment.	60
	Missing a Javadoc comment.	68
	Line has trailing spaces.	74
	Parameter s should be final.	85
	Parameter voc should be final.	85
	Parameter literals should be final.	85

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	42
	Parameter ps should be final.	42
	Parameter voc should be final.	42
	Line has trailing spaces.	47
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	55
	Parameter literal should be final.	55
	Missing a Javadoc comment.	59
	Missing a Javadoc comment.	67
	Line has trailing spaces.	74
	Parameter s should be final.	84
	Parameter voc should be final.	85
	Parameter literals should be final.	85

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	40
	Line contains a tab character.	44
	Missing a Javadoc comment.	44
	Line contains a tab character.	46
	Missing a Javadoc comment.	46
	Line contains a tab character.	48
	Missing a Javadoc comment.	48
	Line contains a tab character.	50
	Missing a Javadoc comment.	50
	Line contains a tab character.	52
	Missing a Javadoc comment.	52
	Line contains a tab character.	54
	Missing a Javadoc comment.	54

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

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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	First sentence should end with a period.	42
	Line has trailing spaces.	44
	Unused @param tag for 'ps'.	47
	Unused @param tag for 'weightedLits'.	49
	Unused @param tag for 'moreThan'.	51
	Parameter voc should be final.	56
	Parameter lits should be final.	56
	Expected @param tag for 'lits'.	56
	Parameter coefs should be final.	56
	Expected @param tag for 'coefs'.	56
	Parameter degree should be final.	57
	Parameter sumCoefs should be final.	57
	Expected @param tag for 'sumCoefs'.	57
	Missing a Javadoc comment.	61
	Parameter voc should be final.	61
	Parameter mpb should be final.	61
	Parameter s should be final.	81
	Parameter voc should be final.	81
	Parameter lits should be final.	81
	Parameter coefs should be final.	82
	Parameter degree should be final.	82
	Expected @throws tag for 'ContradictionException'.	83
	Line is longer than 80 characters.	104
	Missing a Javadoc comment.	104
	Parameter voc should be final.	104
	Parameter mpb should be final.	104
	Parameter pIndice should be final.	109
	Parameter mc should be final.	114
	Parameter pIndice should be final.	114
	Line is longer than 80 characters.	122

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	42
	Parameter value should be final.	42
	Parameter voc should be final.	42
	'voc' hides a field.	42
	Line has trailing spaces.	48
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	56
	Parameter p should be final.	56
	Missing a Javadoc comment.	60
	'{' is followed by whitespace.	61
	Missing a Javadoc comment.	64
	Missing a Javadoc comment.	68
	'{' is followed by whitespace.	69
	Missing a Javadoc comment.	72

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	Parameter values should be final.	40
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	44
	Missing a Javadoc comment.	44
	Parameter literal should be final.	44
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	48
	Missing a Javadoc comment.	48
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	52
	Missing a Javadoc comment.	52
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	56
	Missing a Javadoc comment.	56
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	60
	Missing a Javadoc comment.	60
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	48
	Line has trailing spaces.	50
	Line has trailing spaces.	56
	Line contains a tab character.	56
	Line contains a tab character.	57
	Missing a Javadoc comment.	60
	First sentence should end with a period.	61
	Variable 'activity' must be private and have accessor methods.	64
	First sentence should end with a period.	66
	Variable 'coefs' must be private and have accessor methods.	69
	Missing a Javadoc comment.	71
	Variable 'sumcoefs' must be private and have accessor methods.	71
	First sentence should end with a period.	73
	Variable 'degree' must be private and have accessor methods.	76
	First sentence should end with a period.	78
	Variable 'lits' must be private and have accessor methods.	81
	First sentence should end with a period.	83
	Variable 'learnt' must be private and have accessor methods.	86
	First sentence should end with a period.	88
	Variable 'voc' must be private and have accessor methods.	91
	Parameter mpb should be final.	100
	Expected @param tag for 'mpb'.	100
	Parameter lits should be final.	117
	'lits' hides a field.	117
	Expected @param tag for 'lits'.	117
	Parameter coefs should be final.	117
	'coefs' hides a field.	117
	Expected @param tag for 'coefs'.	117
	Parameter degree should be final.	117
	'degree' hides a field.	117
	Expected @param tag for 'degree'.	117
	Parameter sumCoefs should be final.	118
	Expected @param tag for 'sumCoefs'.	118
	First sentence should end with a period.	127
	Line has trailing spaces.	130
	Method 'isAssertive' is not designed for extension - needs to be abstract, final or empty.	134
	Parameter dl should be final.	134
	Expected @param tag for 'dl'.	134
	First sentence should end with a period.	158
	Line has trailing spaces.	160
	Method 'calcReason' is not designed for extension - needs to be abstract, final or empty.	168
	Parameter p should be final.	168
	Parameter outReason should be final.	168
	Line is longer than 80 characters.	176
	Missing a Javadoc comment.	183
	Missing a Javadoc comment.	185
	First sentence should end with a period.	188
	Line has trailing spaces.	190
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	195
	Parameter i should be final.	195
	First sentence should end with a period.	199
	Line has trailing spaces.	201
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	206
	Parameter i should be final.	206
	First sentence should end with a period.	210
	Line has trailing spaces.	212
	Method 'getActivity' is not designed for extension - needs to be abstract, final or empty.	216
	First sentence should end with a period.	220
	Line has trailing spaces.	222
	Method 'incActivity' is not designed for extension - needs to be abstract, final or empty.	225
	Parameter claInc should be final.	225
	Expected @param tag for 'claInc'.	225
	Method 'setActivity' is not designed for extension - needs to be abstract, final or empty.	231
	Missing a Javadoc comment.	231
	Parameter d should be final.	231
	First sentence should end with a period.	237
	Line has trailing spaces.	240
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	243
	First sentence should end with a period.	247
	Line has trailing spaces.	250
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	257
	Parameter theCoefs should be final.	257
	Parameter theDegree should be final.	258
	First sentence should end with a period.	262
	Line has trailing spaces.	265
	Unused @param tag for 'coefs'.	266
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	270
	Parameter theCoefs should be final.	270
	Expected @param tag for 'theCoefs'.	270
	First sentence should end with a period.	282
	Line has trailing spaces.	285
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	288
	Line has trailing spaces.	294
	Line has trailing spaces.	296
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	299
	Line has trailing spaces.	305
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	309
	Line has trailing spaces.	315
	Method 'locked' is not designed for extension - needs to be abstract, final or empty.	318
	First sentence should end with a period.	327
	Line has trailing spaces.	330
	Parameter a should be final.	337
	Parameter b should be final.	337
	First sentence should end with a period.	341
	Line has trailing spaces.	343
	Method 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.	347
	Parameter d should be final.	347
	Method 'selectionSort' is not designed for extension - needs to be abstract, final or empty.	351
	Missing a Javadoc comment.	351
	Parameter from should be final.	351
	Parameter to should be final.	351
	First sentence should end with a period.	374
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	377
	First sentence should end with a period.	381
	Line has trailing spaces.	383
	Method 'simplify' is not designed for extension - needs to be abstract, final or empty.	386
	Missing a Javadoc comment.	401
	First sentence should end with a period.	405
	First sentence should end with a period.	421
	Line has trailing spaces.	423
	Parameter from should be final.	429
	Parameter to should be final.	429
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	472
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	495
	Missing a Javadoc comment.	495
	Parameter s should be final.	495
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	509
	Method 'register' is not designed for extension - needs to be abstract, final or empty.	513
	Missing a Javadoc comment.	513
	Line has trailing spaces.	525
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	528
	Line has trailing spaces.	536
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	539
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	545
	Missing a Javadoc comment.	545
	Line has trailing spaces.	551
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	554
	Method 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.	570
	Missing a Javadoc comment.	570
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	574
	Parameter pb should be final.	575
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	617
	Method 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.	626
	Missing a Javadoc comment.	626
	Parameter claInc should be final.	626
	Method 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.	632
	Missing a Javadoc comment.	632
	Method 'toConstraint' is not designed for extension - needs to be abstract, final or empty.	636
	Missing a Javadoc comment.	636
	Method 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.	640
	Missing a Javadoc comment.	640
	Parameter p should be final.	640
	Parameter trail should be final.	640
	Parameter outReason should be final.	640
	Line is longer than 80 characters.	651

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

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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	45
	Line has trailing spaces.	49
	Line contains a tab character.	49
	Line contains a tab character.	50
	Missing a Javadoc comment.	53
	First sentence should end with a period.	55
	Variable 'activity' must be private and have accessor methods.	58
	First sentence should end with a period.	61
	Variable 'bigCoefs' must be private and have accessor methods.	64
	First sentence should end with a period.	66
	Variable 'bigDegree' must be private and have accessor methods.	69
	First sentence should end with a period.	71
	Variable 'coefs' must be private and have accessor methods.	74
	Missing a Javadoc comment.	76
	Variable 'sumcoefs' must be private and have accessor methods.	76
	First sentence should end with a period.	78
	Variable 'degree' must be private and have accessor methods.	81
	First sentence should end with a period.	83
	Variable 'lits' must be private and have accessor methods.	86
	First sentence should end with a period.	88
	Variable 'learnt' must be private and have accessor methods.	91
	First sentence should end with a period.	93
	Variable 'voc' must be private and have accessor methods.	96
	Parameter mpb should be final.	105
	Expected @param tag for 'mpb'.	105
	Parameter lits should be final.	124
	'lits' hides a field.	124
	Expected @param tag for 'lits'.	124
	Parameter coefs should be final.	124
	'coefs' hides a field.	124
	Expected @param tag for 'coefs'.	124
	Parameter degree should be final.	124
	'degree' hides a field.	124
	Expected @param tag for 'degree'.	124
	Parameter sumCoefs should be final.	125
	Expected @param tag for 'sumCoefs'.	125
	Missing a Javadoc comment.	136
	Parameter bigValues should be final.	136
	First sentence should end with a period.	146
	Line has trailing spaces.	149
	Method 'isAssertive' is not designed for extension - needs to be abstract, final or empty.	153
	Parameter dl should be final.	153
	Expected @param tag for 'dl'.	153
	First sentence should end with a period.	177
	Line has trailing spaces.	179
	Method 'calcReason' is not designed for extension - needs to be abstract, final or empty.	187
	Parameter p should be final.	187
	Parameter outReason should be final.	187
	Missing a Javadoc comment.	202
	Missing a Javadoc comment.	204
	First sentence should end with a period.	207
	Line has trailing spaces.	209
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	214
	Parameter i should be final.	214
	First sentence should end with a period.	218
	Line has trailing spaces.	220
	Method 'getActivity' is not designed for extension - needs to be abstract, final or empty.	224
	First sentence should end with a period.	228
	Line has trailing spaces.	230
	Method 'incActivity' is not designed for extension - needs to be abstract, final or empty.	233
	Parameter claInc should be final.	233
	Expected @param tag for 'claInc'.	233
	Method 'setActivity' is not designed for extension - needs to be abstract, final or empty.	239
	Missing a Javadoc comment.	239
	Parameter d should be final.	239
	First sentence should end with a period.	245
	Line has trailing spaces.	248
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	251
	First sentence should end with a period.	255
	Line has trailing spaces.	258
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	265
	Parameter theCoefs should be final.	265
	Parameter theDegree should be final.	265
	First sentence should end with a period.	269
	Line has trailing spaces.	272
	Unused @param tag for 'coefs'.	273
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	277
	Parameter theCoefs should be final.	277
	Expected @param tag for 'theCoefs'.	277
	First sentence should end with a period.	289
	Line has trailing spaces.	292
	Unused @param tag for 'coefs'.	293
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	297
	Parameter theCoefs should be final.	297
	Expected @param tag for 'theCoefs'.	297
	First sentence should end with a period.	309
	Line has trailing spaces.	312
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	315
	Line has trailing spaces.	321
	Line has trailing spaces.	323
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	326
	Line has trailing spaces.	332
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	336
	Line has trailing spaces.	342
	Method 'locked' is not designed for extension - needs to be abstract, final or empty.	345
	First sentence should end with a period.	354
	Line has trailing spaces.	357
	Parameter a should be final.	364
	Parameter b should be final.	364
	First sentence should end with a period.	368
	Line has trailing spaces.	370
	Method 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.	374
	Parameter d should be final.	374
	Method 'selectionSort' is not designed for extension - needs to be abstract, final or empty.	378
	Missing a Javadoc comment.	378
	Parameter from should be final.	378
	Parameter to should be final.	378
	First sentence should end with a period.	407
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	410
	First sentence should end with a period.	414
	Line has trailing spaces.	416
	Method 'simplify' is not designed for extension - needs to be abstract, final or empty.	419
	Missing a Javadoc comment.	434
	First sentence should end with a period.	438
	First sentence should end with a period.	448
	Line has trailing spaces.	450
	Parameter from should be final.	456
	Parameter to should be final.	456
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	504
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	527
	Missing a Javadoc comment.	527
	Parameter s should be final.	527
	Method 'register' is not designed for extension - needs to be abstract, final or empty.	537
	Missing a Javadoc comment.	537
	Line has trailing spaces.	549
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	552
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	558
	Missing a Javadoc comment.	558
	Line has trailing spaces.	564
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	567
	Method 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.	583
	Missing a Javadoc comment.	583
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	587
	Parameter pb should be final.	588
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	630
	Method 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.	639
	Missing a Javadoc comment.	639
	Parameter claInc should be final.	639
	Method 'getLongCoefs' is not designed for extension - needs to be abstract, final or empty.	645
	Missing a Javadoc comment.	645
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	651
	Missing a Javadoc comment.	651
	Parameter theCoefs should be final.	651
	Parameter theDegree should be final.	652
	First sentence should end with a period.	656
	Line has trailing spaces.	658
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	663
	Parameter i should be final.	663
	Line has trailing spaces.	669
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	672
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	681
	Method 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.	685
	Missing a Javadoc comment.	685
	Method 'toConstraint' is not designed for extension - needs to be abstract, final or empty.	689
	Missing a Javadoc comment.	689
	Method 'calcReasonOnTheFly' is not designed for extension - needs to be abstract, final or empty.	693
	Missing a Javadoc comment.	693
	Parameter p should be final.	693
	Parameter trail should be final.	693
	Parameter outReason should be final.	693

org/sat4j/pb/core/IPBCDCLSolver.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	37
	Line has trailing spaces.	39
	Line has trailing spaces.	41

org/sat4j/pb/core/ObjectiveReducerPBSolverDecorator.java

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

org/sat4j/pb/core/PBDataStructureFactory.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	43
	Missing a Javadoc comment.	47
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	55
	Missing a Javadoc comment.	58

org/sat4j/pb/core/PBSolver.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	60
	Line has trailing spaces.	63
	Missing a Javadoc comment.	67
	Variable 'stats' must be private and have accessor methods.	67
	Missing a Javadoc comment.	69
	Parameter learner should be final.	69
	Line is longer than 80 characters.	70
	Parameter dsf should be final.	70
	Parameter order should be final.	70
	Parameter restarter should be final.	70
	Missing a Javadoc comment.	76
	Parameter learner should be final.	76
	Parameter dsf should be final.	77
	Parameter params should be final.	77
	Parameter order should be final.	77
	Parameter restarter should be final.	78
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	84
	Missing a Javadoc comment.	84
	Parameter literals should be final.	84
	Parameter coeffs should be final.	84
	Parameter moreThan should be final.	85
	Parameter degree should be final.	85
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Parameter obj should be final.	93
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	101
	Missing a Javadoc comment.	101
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	105
	Missing a Javadoc comment.	105
	Parameter literals should be final.	105
	Parameter coeffs should be final.	105
	Parameter degree should be final.	105
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	115
	Missing a Javadoc comment.	115
	Parameter literals should be final.	115
	Parameter coeffs should be final.	115
	Parameter degree should be final.	116
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	124
	Missing a Javadoc comment.	124
	Parameter literals should be final.	124
	Parameter coeffs should be final.	124
	Parameter degree should be final.	124
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	134
	Missing a Javadoc comment.	134
	Parameter literals should be final.	134
	Parameter coeffs should be final.	134
	Parameter degree should be final.	135
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	143
	Missing a Javadoc comment.	143
	Parameter literals should be final.	143
	Parameter coeffs should be final.	143
	Parameter weight should be final.	143
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	153
	Missing a Javadoc comment.	153
	Parameter literals should be final.	153
	Parameter coeffs should be final.	153
	Parameter weight should be final.	154
	Missing a Javadoc comment.	166
	Method 'addAtMostOnTheFly' is not designed for extension - needs to be abstract, final or empty.	168
	Missing a Javadoc comment.	168
	Parameter literals should be final.	168
	Parameter coefs should be final.	168
	Parameter degree should be final.	169
	Line is longer than 80 characters.	193
	Method 'addAtMostOnTheFly' is not designed for extension - needs to be abstract, final or empty.	193
	Missing a Javadoc comment.	193
	Parameter literals should be final.	193
	Parameter coefs should be final.	193
	Parameter degree should be final.	193
	Line is longer than 80 characters.	205
	Variable 'objectiveFunctionBased' must be private and have accessor methods.	205
	Parameter learnedConstrs should be final.	239
	Inner assignments should be avoided.	241
	Line is longer than 80 characters.	252
	Line is longer than 80 characters.	253
	Line is longer than 80 characters.	266
	Line is longer than 80 characters.	273
	Parameter constr should be final.	282
	Parameter reason should be final.	297
	Parameter from should be final.	301

org/sat4j/pb/core/PBSolverCP.java

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

org/sat4j/pb/core/PBSolverCautious.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	43
	Parameter learner should be final.	43
	Parameter dsf should be final.	44
	Parameter order should be final.	44
	Missing a Javadoc comment.	49
	Parameter learner should be final.	49
	Parameter dsf should be final.	50
	Parameter order should be final.	50
	Parameter bound should be final.	50
	Method 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.	55
	Parameter myconfl should be final.	56
	Parameter level should be final.	56
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	60
	Parameter prefix should be final.	61
	Line is longer than 80 characters.	65
	Method 'updateNumberOfReductions' is not designed for extension - needs to be abstract, final or empty.	68
	Parameter confl should be final.	69
	Method 'updateNumberOfReducedLearnedConstraints' is not designed for extension - needs to be abstract, final or empty.	74
	Parameter confl should be final.	75

org/sat4j/pb/core/PBSolverClause.java

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

org/sat4j/pb/core/PBSolverResCP.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	37
	Line has trailing spaces.	40
	Line contains a tab character.	40
	Line contains a tab character.	41
	Missing a Javadoc comment.	44
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	48
	Parameter learner should be final.	48
	Parameter dsf should be final.	49
	Parameter order should be final.	49
	Missing a Javadoc comment.	53
	Parameter learner should be final.	53
	Parameter dsf should be final.	54
	Parameter order should be final.	54
	Parameter bound should be final.	54
	'bound' hides a field.	54
	Missing a Javadoc comment.	59
	Parameter learner should be final.	59
	Parameter dsf should be final.	60
	Parameter params should be final.	60
	Parameter order should be final.	60
	Parameter restarter should be final.	61
	Missing a Javadoc comment.	65
	Parameter learner should be final.	65
	Parameter dsf should be final.	66
	Parameter params should be final.	66
	Parameter order should be final.	66
	Method 'someCriteria' is not designed for extension - needs to be abstract, final or empty.	71

org/sat4j/pb/core/PBSolverResolution.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	37
	Line has trailing spaces.	40
	Missing a Javadoc comment.	44
	Parameter learner should be final.	44
	Parameter dsf should be final.	45
	Parameter params should be final.	45
	Parameter order should be final.	45
	Parameter restarter should be final.	46
	Missing a Javadoc comment.	50
	Parameter learner should be final.	50
	Line is longer than 80 characters.	51
	Parameter dsf should be final.	51
	Parameter order should be final.	51
	Parameter restarter should be final.	51

org/sat4j/pb/core/PBSolverStats.java

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

org/sat4j/pb/core/PBSolverWithImpliedClause.java

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

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

Violation	Message	Line
	First sentence should end with a period.	1

org/sat4j/pb/orders/IOrderObjective.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	35
	Missing a Javadoc comment.	36

org/sat4j/pb/orders/RandomWalkDecoratorObjective.java

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

org/sat4j/pb/orders/VarOrderHeapObjective.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	44
	Line has trailing spaces.	48
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	58
	Parameter strategy should be final.	58
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Parameter obj should be final.	62
	'obj' hides a field.	62
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	66
	Avoid inline conditionals.	81
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	94

org/sat4j/pb/package-info.java

Violation	Message	Line
	First sentence should end with a period.	1

org/sat4j/pb/reader/JSONPBReader.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	48
	Line is longer than 80 characters.	52
	Line has trailing spaces.	56
	Line contains a tab character.	61
	Missing a Javadoc comment.	61
	Line is longer than 80 characters.	62
	Line contains a tab character.	62
	Missing a Javadoc comment.	62
	Line contains a tab character.	63
	Line is longer than 80 characters.	64
	Line contains a tab character.	64
	Missing a Javadoc comment.	64
	Line contains a tab character.	66
	Missing a Javadoc comment.	66
	Line contains a tab character.	67
	Line contains a tab character.	69
	Missing a Javadoc comment.	69
	Line contains a tab character.	70
	Missing a Javadoc comment.	70
	Line is longer than 80 characters.	71
	Line contains a tab character.	71
	Missing a Javadoc comment.	71
	Line contains a tab character.	72
	Missing a Javadoc comment.	72
	Line contains a tab character.	73
	Line contains a tab character.	75
	Missing a Javadoc comment.	75
	Parameter solver should be final.	75
	Line contains a tab character.	76
	Line contains a tab character.	77
	Line contains a tab character.	79
	Method 'handleNotHandled' is not designed for extension - needs to be abstract, final or empty.	79
	Line contains a tab character.	80
	Parameter constraint should be final.	80
	Line contains a tab character.	81
	Line contains a tab character.	82
	Line contains a tab character.	83
	Line is longer than 80 characters.	84
	Line contains a tab character.	84
	Line contains a tab character.	85
	Line contains a tab character.	86
	Line contains a tab character.	87
	Line contains a tab character.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line contains a tab character.	92
	Missing a Javadoc comment.	92
	Parameter constraint should be final.	92
	Line contains a tab character.	93
	Line contains a tab character.	94
	Line contains a tab character.	95
	Line contains a tab character.	96
	Line contains a tab character.	97
	Line contains a tab character.	98
	Line contains a tab character.	99
	Line contains a tab character.	100
	Line contains a tab character.	101
	Line contains a tab character.	102
	Line contains a tab character.	103
	Line is longer than 80 characters.	104
	Line contains a tab character.	104
	Line contains a tab character.	105
	Line contains a tab character.	106
	Avoid inline conditionals.	106
	Line contains a tab character.	107
	Line is longer than 80 characters.	108
	Line contains a tab character.	108
	Line contains a tab character.	109
	Line contains a tab character.	111
	Line contains a tab character.	113
	Missing a Javadoc comment.	113
	Parameter constraint should be final.	113
	Line contains a tab character.	114
	Line contains a tab character.	115
	Line contains a tab character.	116
	Line contains a tab character.	117
	Line contains a tab character.	118
	Line contains a tab character.	119
	Line contains a tab character.	120
	Line contains a tab character.	121
	Line is longer than 80 characters.	122
	Line contains a tab character.	122
	Line contains a tab character.	123
	Line contains a tab character.	124
	Line contains a tab character.	125
	Line is longer than 80 characters.	126
	Line contains a tab character.	126
	Line contains a tab character.	127
	Line contains a tab character.	128
	Line contains a tab character.	129
	Line contains a tab character.	130
	Line contains a tab character.	131
	Line contains a tab character.	132
	Line contains a tab character.	133
	Line contains a tab character.	134
	Line contains a tab character.	135
	Line contains a tab character.	136
	Line contains a tab character.	137
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	141
	Line contains a tab character.	143
	Line contains a tab character.	145
	Method 'constraintRegexp' is not designed for extension - needs to be abstract, final or empty.	145
	Line contains a tab character.	146
	Line is longer than 80 characters.	147
	Line contains a tab character.	147
	Line contains a tab character.	148
	Line contains a tab character.	149

org/sat4j/pb/reader/OPBEclipseReader2007.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	41
	Line has trailing spaces.	46
	Line contains a tab character.	46
	Line contains a tab character.	47
	Missing a Javadoc comment.	50
	Parameter solver should be final.	55
	Expected @param tag for 'solver'.	55
	First sentence should end with a period.	59
	First sentence should end with a period.	65
	First sentence should end with a period.	71
	Line has trailing spaces.	74
	Method 'readVariablesExplanation' is not designed for extension - needs to be abstract, final or empty.	78
	Expected @throws tag for 'IOException'.	79
	Expected @throws tag for 'ParseFormatException'.	80
	Method 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.	122

org/sat4j/pb/reader/OPBReader2005.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line is longer than 80 characters.	21
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line is longer than 80 characters.	27
	Line has trailing spaces.	30
	Line has trailing spaces.	32
	Line has trailing spaces.	39
	Line has trailing spaces.	42
	Line has trailing spaces.	78
	Line has trailing spaces.	80
	Line has trailing spaces.	82
	First sentence should end with a period.	90
	Line contains a tab character.	90
	Line contains a tab character.	91
	Line contains a tab character.	92
	Line contains a tab character.	93
	Line contains a tab character.	95
	Missing a Javadoc comment.	95
	Variable 'solver' must be private and have accessor methods.	95
	Line contains a tab character.	97
	Missing a Javadoc comment.	97
	Variable 'lits' must be private and have accessor methods.	97
	Line contains a tab character.	99
	Missing a Javadoc comment.	99
	Variable 'coeffs' must be private and have accessor methods.	99
	Line contains a tab character.	101
	Missing a Javadoc comment.	101
	Variable 'd' must be private and have accessor methods.	101
	Line contains a tab character.	103
	Missing a Javadoc comment.	103
	Variable 'operator' must be private and have accessor methods.	103
	Line contains a tab character.	105
	Missing a Javadoc comment.	105
	Line contains a tab character.	107
	Missing a Javadoc comment.	107
	Line contains a tab character.	109
	Line contains a tab character.	110
	Missing a Javadoc comment.	110
	Variable 'hasObjFunc' must be private and have accessor methods.	110
	Line contains a tab character.	112
	Line contains a tab character.	113
	Missing a Javadoc comment.	113
	Variable 'hasVariablesExplanation' must be private and have accessor methods.	113
	Line is longer than 80 characters.	115
	Line contains a tab character.	115
	Missing a Javadoc comment.	115
	Variable 'nbVars' must be private and have accessor methods.	115
	Variable 'nbConstr' must be private and have accessor methods.	115
	Line contains a tab character.	117
	Line contains a tab character.	118
	Missing a Javadoc comment.	118
	Variable 'nbConstraintsRead' must be private and have accessor methods.	118
	First sentence should end with a period.	120
	Line contains a tab character.	120
	Line contains a tab character.	121
	Line contains a tab character.	122
	Line has trailing spaces.	123
	Line contains a tab character.	123
	Line contains a tab character.	124
	Line contains a tab character.	125
	Line contains a tab character.	126
	Line contains a tab character.	127
	Line contains a tab character.	128
	Line contains a tab character.	129
	Method 'metaData' is not designed for extension - needs to be abstract, final or empty.	129
	Parameter nbvar should be final.	129
	Parameter nbconstr should be final.	129
	Line contains a tab character.	130
	Line contains a tab character.	131
	First sentence should end with a period.	133
	Line contains a tab character.	133
	Line contains a tab character.	134
	Line contains a tab character.	135
	Line contains a tab character.	136
	Line contains a tab character.	137
	First sentence should end with a period.	139
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	141
	Line contains a tab character.	142
	Method 'endObjective' is not designed for extension - needs to be abstract, final or empty.	142
	Line contains a tab character.	143
	Line contains a tab character.	144
	Line contains a tab character.	145
	Line contains a tab character.	146
	Line contains a tab character.	147
	Line contains a tab character.	148
	Line contains a tab character.	149
	First sentence should end with a period.	151
	Line contains a tab character.	151
	Line contains a tab character.	152
	Line contains a tab character.	153
	Line contains a tab character.	154
	Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.	154
	Line contains a tab character.	155
	Line contains a tab character.	156
	Line contains a tab character.	157
	Line contains a tab character.	158
	Line contains a tab character.	159
	Line contains a tab character.	161
	Line contains a tab character.	162
	Line contains a tab character.	163
	Line contains a tab character.	164
	Line contains a tab character.	165
	Line contains a tab character.	166
	Line contains a tab character.	167
	Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty.	167
	Expected @throws tag for 'ContradictionException'.	167
	Line contains a tab character.	169
	Line contains a tab character.	170
	Line contains a tab character.	171
	Line contains a tab character.	173
	Line contains a tab character.	174
	Line contains a tab character.	175
	Line contains a tab character.	176
	Line contains a tab character.	177
	Line contains a tab character.	178
	Line contains a tab character.	179
	Line contains a tab character.	180
	Line contains a tab character.	181
	Line contains a tab character.	182
	First sentence should end with a period.	184
	Line contains a tab character.	184
	Line contains a tab character.	185
	Line has trailing spaces.	186
	Line contains a tab character.	186
	Line contains a tab character.	187
	Line contains a tab character.	188
	Line contains a tab character.	189
	Line contains a tab character.	190
	Line contains a tab character.	191
	Line contains a tab character.	192
	Line contains a tab character.	193
	Parameter coeff should be final.	193
	Parameter var should be final.	193
	Line contains a tab character.	194
	Expected @throws tag for 'ParseFormatException'.	194
	Line contains a tab character.	195
	Line contains a tab character.	196
	Line contains a tab character.	197
	Line contains a tab character.	199
	Method 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.	199
	Missing a Javadoc comment.	199
	Parameter var should be final.	199
	Line contains a tab character.	200
	Line contains a tab character.	201
	Avoid inline conditionals.	201
	Line contains a tab character.	202
	First sentence should end with a period.	204
	Line contains a tab character.	204
	Line contains a tab character.	205
	Line has trailing spaces.	206
	Line contains a tab character.	206
	Line contains a tab character.	207
	Line contains a tab character.	208
	Line contains a tab character.	209
	Line contains a tab character.	210
	Method 'constraintRelOp' is not designed for extension - needs to be abstract, final or empty.	210
	Parameter relop should be final.	210
	Line contains a tab character.	211
	Line contains a tab character.	212
	First sentence should end with a period.	214
	Line contains a tab character.	214
	Line is longer than 80 characters.	215
	Line contains a tab character.	215
	Line contains a tab character.	216
	Line has trailing spaces.	217
	Line contains a tab character.	217
	Line contains a tab character.	218
	Line contains a tab character.	219
	Line contains a tab character.	220
	Line contains a tab character.	221
	Method 'constraintRightTerm' is not designed for extension - needs to be abstract, final or empty.	221
	Parameter val should be final.	221
	Line contains a tab character.	222
	Line contains a tab character.	223
	Line contains a tab character.	225
	Missing a Javadoc comment.	225
	Variable 'in' must be private and have accessor methods.	225
	Line contains a tab character.	227
	Missing a Javadoc comment.	227
	Variable 'savedChar' must be private and have accessor methods.	227
	Line is longer than 80 characters.	229
	Line contains a tab character.	229
	Missing a Javadoc comment.	229
	Variable 'charAvailable' must be private and have accessor methods.	229
	Line contains a tab character.	231
	Missing a Javadoc comment.	231
	Variable 'eofReached' must be private and have accessor methods.	231
	Line contains a tab character.	233
	Missing a Javadoc comment.	233
	First sentence should end with a period.	235
	Line contains a tab character.	235
	Line contains a tab character.	236
	Line has trailing spaces.	237
	Line contains a tab character.	237
	Line contains a tab character.	238
	Line contains a tab character.	239
	Expected an @return tag.	240
	Line contains a tab character.	240
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	240
	Expected @throws tag for 'IOException'.	240
	Line contains a tab character.	241
	Line contains a tab character.	243
	Line contains a tab character.	244
	Line contains a tab character.	245
	Line contains a tab character.	246
	Line contains a tab character.	248
	Line contains a tab character.	249
	Line contains a tab character.	250
	Line contains a tab character.	251
	Line contains a tab character.	252
	Line contains a tab character.	253
	Line contains a tab character.	254
	Line contains a tab character.	255
	Line contains a tab character.	256
	Line contains a tab character.	257
	Line contains a tab character.	258
	Line contains a tab character.	260
	Method 'getVars' is not designed for extension - needs to be abstract, final or empty.	260
	Missing a Javadoc comment.	260
	Line contains a tab character.	261
	Line contains a tab character.	262
	Line contains a tab character.	264
	Method 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.	264
	Missing a Javadoc comment.	264
	Line contains a tab character.	265
	Line contains a tab character.	266
	First sentence should end with a period.	268
	Line contains a tab character.	268
	Line contains a tab character.	269
	Line contains a tab character.	270
	Line contains a tab character.	271
	Method 'putback' is not designed for extension - needs to be abstract, final or empty.	271
	Parameter c should be final.	271
	Expected @param tag for 'c'.	271
	Line contains a tab character.	272
	Line contains a tab character.	273
	Line contains a tab character.	274
	First sentence should end with a period.	276
	Line contains a tab character.	276
	Line contains a tab character.	277
	Line contains a tab character.	278
	Expected an @return tag.	279
	Line contains a tab character.	279
	Method 'eof' is not designed for extension - needs to be abstract, final or empty.	279
	Line contains a tab character.	280
	Line contains a tab character.	281
	Line contains a tab character.	283
	Method 'eol' is not designed for extension - needs to be abstract, final or empty.	283
	Missing a Javadoc comment.	283
	Line contains a tab character.	284
	Line contains a tab character.	285
	First sentence should end with a period.	287
	Line contains a tab character.	287
	Line contains a tab character.	288
	Line has trailing spaces.	289
	Line contains a tab character.	289
	Line contains a tab character.	290
	Line contains a tab character.	291
	Line contains a tab character.	292
	Method 'skipSpaces' is not designed for extension - needs to be abstract, final or empty.	292
	Expected @throws tag for 'IOException'.	292
	Line contains a tab character.	293
	Line contains a tab character.	295
	Line contains a tab character.	296
	Line contains a tab character.	297
	Line contains a tab character.	299
	Line contains a tab character.	300
	First sentence should end with a period.	302
	Line contains a tab character.	302
	Line contains a tab character.	303
	Line has trailing spaces.	304
	Line contains a tab character.	304
	Line contains a tab character.	305
	Line contains a tab character.	306
	Line contains a tab character.	307
	Line contains a tab character.	308
	Method 'readWord' is not designed for extension - needs to be abstract, final or empty.	308
	Expected @throws tag for 'IOException'.	308
	Line contains a tab character.	309
	Line contains a tab character.	310
	Line contains a tab character.	312
	Line contains a tab character.	314
	Inner assignments should be avoided.	314
	Line contains a tab character.	315
	Line contains a tab character.	316
	Line contains a tab character.	318
	Line contains a tab character.	319
	Line contains a tab character.	320
	First sentence should end with a period.	322
	Line contains a tab character.	322
	Line contains a tab character.	323
	Line has trailing spaces.	324
	Line contains a tab character.	324
	Line contains a tab character.	325
	Line contains a tab character.	326
	Line contains a tab character.	327
	Line contains a tab character.	328
	Line contains a tab character.	329
	Method 'readInteger' is not designed for extension - needs to be abstract, final or empty.	329
	Parameter s should be final.	329
	Expected @throws tag for 'IOException'.	329
	Line contains a tab character.	330
	Line contains a tab character.	332
	Line contains a tab character.	333
	Line contains a tab character.	335
	Line contains a tab character.	336
	Line contains a tab character.	337
	Line is longer than 80 characters.	338
	Line contains a tab character.	338
	Line contains a tab character.	339
	Line contains a tab character.	340
	Line contains a tab character.	342
	Inner assignments should be avoided.	342
	Line contains a tab character.	343
	Line contains a tab character.	344
	Line contains a tab character.	346
	Line contains a tab character.	347
	First sentence should end with a period.	349
	Line contains a tab character.	349
	Line contains a tab character.	350
	Line has trailing spaces.	351
	Line contains a tab character.	351
	Line contains a tab character.	352
	Line contains a tab character.	353
	Line contains a tab character.	354
	Line contains a tab character.	355
	Line contains a tab character.	356
	Method 'readIdentifier' is not designed for extension - needs to be abstract, final or empty.	356
	Parameter s should be final.	356
	Expected @param tag for 's'.	356
	Expected @throws tag for 'IOException'.	356
	Line contains a tab character.	357
	Expected @throws tag for 'ParseFormatException'.	357
	Line contains a tab character.	358
	Line contains a tab character.	360
	Line contains a tab character.	362
	Line contains a tab character.	364
	Line contains a tab character.	365
	Line contains a tab character.	366
	Line contains a tab character.	367
	Line contains a tab character.	368
	Line contains a tab character.	370
	Line contains a tab character.	371
	Line contains a tab character.	372
	Line contains a tab character.	373
	Line contains a tab character.	375
	Line contains a tab character.	377
	Line contains a tab character.	378
	Line contains a tab character.	379
	Line contains a tab character.	380
	Line contains a tab character.	381
	Line contains a tab character.	382
	Line contains a tab character.	384
	Line contains a tab character.	385
	Line contains a tab character.	386
	Line contains a tab character.	387
	Line contains a tab character.	388
	Line contains a tab character.	389
	Line contains a tab character.	390
	Line contains a tab character.	391
	Line contains a tab character.	392
	Line contains a tab character.	393
	Line contains a tab character.	395
	Method 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.	395
	Missing a Javadoc comment.	395
	Parameter c should be final.	395
	Line contains a tab character.	396
	Line contains a tab character.	397
	Line contains a tab character.	399
	Method 'isGoodFollowingCharacter' is not designed for extension - needs to be abstract, final or empty.	399
	Missing a Javadoc comment.	399
	Parameter c should be final.	399
	Line is longer than 80 characters.	400
	Line contains a tab character.	400
	Line contains a tab character.	401
	Line contains a tab character.	403
	Method 'checkId' is not designed for extension - needs to be abstract, final or empty.	403
	Missing a Javadoc comment.	403
	Parameter s should be final.	403
	Line is longer than 80 characters.	404
	Line contains a tab character.	404
	Line contains a tab character.	405
	Line contains a tab character.	406
	Line contains a tab character.	407
	Line is longer than 80 characters.	408
	Line contains a tab character.	408
	Line contains a tab character.	409
	Line contains a tab character.	410
	First sentence should end with a period.	412
	Line contains a tab character.	412
	Line contains a tab character.	413
	Line has trailing spaces.	414
	Line contains a tab character.	414
	Line contains a tab character.	415
	Line contains a tab character.	416
	Line contains a tab character.	417
	Line contains a tab character.	418
	Expected @throws tag for 'IOException'.	418
	Line contains a tab character.	419
	Line contains a tab character.	421
	Line contains a tab character.	423
	Line contains a tab character.	424
	Line contains a tab character.	425
	Line contains a tab character.	426
	Line contains a tab character.	428
	Line contains a tab character.	429
	Line contains a tab character.	430
	Line contains a tab character.	432
	Line contains a tab character.	433
	Line contains a tab character.	434
	Line contains a tab character.	435
	Line contains a tab character.	436
	Line contains a tab character.	437
	Line contains a tab character.	438
	Line contains a tab character.	440
	Line contains a tab character.	441
	First sentence should end with a period.	443
	Line contains a tab character.	443
	Line is longer than 80 characters.	444
	Line contains a tab character.	444
	Line contains a tab character.	445
	Line has trailing spaces.	446
	Line contains a tab character.	446
	Line contains a tab character.	447
	Line contains a tab character.	448
	Line contains a tab character.	449
	Line contains a tab character.	450
	Method 'readMetaData' is not designed for extension - needs to be abstract, final or empty.	450
	Expected @throws tag for 'IOException'.	450
	Expected @throws tag for 'ParseFormatException'.	450
	Line contains a tab character.	451
	Line contains a tab character.	452
	Line contains a tab character.	454
	Line contains a tab character.	455
	Line contains a tab character.	456
	Line contains a tab character.	457
	Line is longer than 80 characters.	458
	Line contains a tab character.	458
	Line contains a tab character.	459
	Line contains a tab character.	461
	Line contains a tab character.	462
	Line contains a tab character.	463
	Line is longer than 80 characters.	464
	Line contains a tab character.	464
	Line contains a tab character.	465
	Line contains a tab character.	467
	Line contains a tab character.	469
	Line contains a tab character.	470
	Line contains a tab character.	471
	Line is longer than 80 characters.	472
	Line contains a tab character.	472
	Line contains a tab character.	473
	Line contains a tab character.	475
	Line contains a tab character.	477
	Line contains a tab character.	478
	Line contains a tab character.	480
	Line contains a tab character.	481
	Line contains a tab character.	482
	First sentence should end with a period.	484
	Line contains a tab character.	484
	Line contains a tab character.	485
	Line has trailing spaces.	486
	Line contains a tab character.	486
	Line contains a tab character.	487
	Line contains a tab character.	488
	Line contains a tab character.	489
	Expected @throws tag for 'IOException'.	489
	Line contains a tab character.	490
	Line contains a tab character.	492
	Line contains a tab character.	494
	Inner assignments should be avoided.	494
	Line contains a tab character.	495
	Line contains a tab character.	496
	Line contains a tab character.	498
	Line contains a tab character.	499
	First sentence should end with a period.	501
	Line contains a tab character.	501
	Line contains a tab character.	502
	Line has trailing spaces.	503
	Line contains a tab character.	503
	Line contains a tab character.	504
	Line contains a tab character.	505
	Line contains a tab character.	506
	Line contains a tab character.	507
	Line contains a tab character.	508
	Line contains a tab character.	509
	Line contains a tab character.	510
	Line contains a tab character.	511
	Method 'readTerm' is not designed for extension - needs to be abstract, final or empty.	511
	Parameter coeff should be final.	511
	Parameter var should be final.	511
	Line contains a tab character.	512
	Expected @throws tag for 'IOException'.	512
	Expected @throws tag for 'ParseFormatException'.	512
	Line contains a tab character.	513
	Line contains a tab character.	515
	Line contains a tab character.	517
	Line contains a tab character.	518
	Line contains a tab character.	519
	Line contains a tab character.	520
	Line is longer than 80 characters.	521
	Line contains a tab character.	521
	Line contains a tab character.	522
	Line contains a tab character.	524
	Line contains a tab character.	525
	Line contains a tab character.	526
	Line contains a tab character.	527
	Line contains a tab character.	529
	Line contains a tab character.	530
	Line contains a tab character.	531
	Line contains a tab character.	532
	Line contains a tab character.	533
	Expected @throws tag for 'IOException'.	533
	Line contains a tab character.	534
	Expected @throws tag for 'ParseFormatException'.	534
	Line contains a tab character.	535
	First sentence should end with a period.	537
	Line contains a tab character.	537
	Line is longer than 80 characters.	538
	Line contains a tab character.	538
	Line contains a tab character.	539
	Line has trailing spaces.	540
	Line contains a tab character.	540
	Line contains a tab character.	541
	Line contains a tab character.	542
	Line contains a tab character.	543
	Line is longer than 80 characters.	544
	Line contains a tab character.	544
	Method 'readObjective' is not designed for extension - needs to be abstract, final or empty.	544
	Expected @throws tag for 'IOException'.	544
	Expected @throws tag for 'ParseFormatException'.	544
	Line contains a tab character.	545
	Line contains a tab character.	546
	Line contains a tab character.	547
	Line contains a tab character.	549
	Line contains a tab character.	551
	Line contains a tab character.	552
	Line contains a tab character.	553
	Line contains a tab character.	554
	Line contains a tab character.	555
	Line contains a tab character.	556
	Line contains a tab character.	557
	Line contains a tab character.	559
	Line contains a tab character.	560
	Line contains a tab character.	561
	Line contains a tab character.	563
	Line contains a tab character.	564
	Line is longer than 80 characters.	565
	Line contains a tab character.	565
	Line contains a tab character.	567
	Line contains a tab character.	568
	Line contains a tab character.	569
	Line contains a tab character.	570
	Line is longer than 80 characters.	571
	Line contains a tab character.	571
	Line contains a tab character.	572
	Line contains a tab character.	573
	Line contains a tab character.	574
	Line is longer than 80 characters.	575
	Line contains a tab character.	575
	Line contains a tab character.	576
	Line contains a tab character.	577
	Line contains a tab character.	579
	Line contains a tab character.	580
	Line contains a tab character.	581
	Line contains a tab character.	582
	Line contains a tab character.	583
	Line contains a tab character.	584
	First sentence should end with a period.	586
	Line contains a tab character.	586
	Line is longer than 80 characters.	587
	Line contains a tab character.	587
	Line has trailing spaces.	588
	Line contains a tab character.	588
	Line contains a tab character.	589
	Line contains a tab character.	590
	Line contains a tab character.	591
	Line contains a tab character.	592
	Line is longer than 80 characters.	593
	Line contains a tab character.	593
	Method 'readConstraint' is not designed for extension - needs to be abstract, final or empty.	593
	Expected @throws tag for 'IOException'.	593
	Expected @throws tag for 'ParseFormatException'.	593
	Line contains a tab character.	594
	Expected @throws tag for 'ContradictionException'.	594
	Line contains a tab character.	595
	Line contains a tab character.	596
	Line contains a tab character.	597
	Line contains a tab character.	599
	Line contains a tab character.	601
	Line contains a tab character.	602
	Line is longer than 80 characters.	603
	Line contains a tab character.	603
	Line contains a tab character.	605
	Line contains a tab character.	606
	Line contains a tab character.	607
	Line contains a tab character.	608
	Line contains a tab character.	609
	Line contains a tab character.	610
	Line is longer than 80 characters.	611
	Line contains a tab character.	611
	Line contains a tab character.	612
	Line contains a tab character.	613
	Line contains a tab character.	614
	Line is longer than 80 characters.	615
	Line contains a tab character.	615
	Line contains a tab character.	616
	Line contains a tab character.	617
	Line contains a tab character.	619
	Line contains a tab character.	620
	Line is longer than 80 characters.	621
	Line contains a tab character.	621
	Line contains a tab character.	622
	Line contains a tab character.	624
	Line contains a tab character.	625
	Inner assignments should be avoided.	625
	Line contains a tab character.	626
	Line is longer than 80 characters.	627
	Line contains a tab character.	627
	Line contains a tab character.	629
	Line contains a tab character.	630
	Line contains a tab character.	631
	Line contains a tab character.	632
	Line contains a tab character.	634
	Line contains a tab character.	635
	Line contains a tab character.	636
	Line contains a tab character.	637
	Line is longer than 80 characters.	638
	Line contains a tab character.	638
	Line contains a tab character.	639
	Line contains a tab character.	641
	Line contains a tab character.	642
	Line contains a tab character.	644
	Missing a Javadoc comment.	644
	Parameter solver should be final.	644
	'solver' hides a field.	644
	Line contains a tab character.	645
	Line contains a tab character.	646
	Line contains a tab character.	647
	Line contains a tab character.	648
	First sentence should end with a period.	650
	Line contains a tab character.	650
	Line is longer than 80 characters.	651
	Line contains a tab character.	651
	Line contains a tab character.	652
	Line has trailing spaces.	653
	Line contains a tab character.	653
	Line contains a tab character.	654
	Line contains a tab character.	655
	Line contains a tab character.	656
	Line contains a tab character.	657
	Line contains a tab character.	658
	Method 'parse' is not designed for extension - needs to be abstract, final or empty.	658
	Expected @throws tag for 'IOException'.	658
	Expected @throws tag for 'ParseFormatException'.	658
	Line contains a tab character.	659
	Expected @throws tag for 'ContradictionException'.	659
	Line contains a tab character.	660
	Line contains a tab character.	662
	Line contains a tab character.	664
	Line contains a tab character.	666
	Line contains a tab character.	668
	Line contains a tab character.	669
	Line contains a tab character.	670
	Line contains a tab character.	671
	Line contains a tab character.	672
	Line contains a tab character.	673
	Line contains a tab character.	674
	Line contains a tab character.	675
	Line contains a tab character.	677
	Line contains a tab character.	678
	Line contains a tab character.	679
	Line contains a tab character.	680
	Line contains a tab character.	681
	Line contains a tab character.	683
	Line contains a tab character.	684
	Line contains a tab character.	685
	Line contains a tab character.	687
	Line contains a tab character.	688
	Line contains a tab character.	689
	Line contains a tab character.	690
	Line contains a tab character.	691
	Line is longer than 80 characters.	692
	Line contains a tab character.	692
	Line is longer than 80 characters.	693
	Line contains a tab character.	693
	Line contains a tab character.	694
	Line contains a tab character.	695
	Line contains a tab character.	696
	Line contains a tab character.	698
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	698
	Line contains a tab character.	699
	Line contains a tab character.	700
	Line contains a tab character.	701
	Line contains a tab character.	702
	Line contains a tab character.	703
	Line contains a tab character.	704
	Line contains a tab character.	706
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	706
	Missing a Javadoc comment.	706
	Parameter input should be final.	706
	Line contains a tab character.	707
	Line contains a tab character.	708
	Line contains a tab character.	709
	Line contains a tab character.	710
	Line contains a tab character.	711
	Line contains a tab character.	712
	Line contains a tab character.	713
	Line contains a tab character.	714
	Line contains a tab character.	715
	Line contains a tab character.	716
	Line contains a tab character.	717
	Line contains a tab character.	718
	Line contains a tab character.	719
	Line is longer than 80 characters.	720
	Line contains a tab character.	720
	Line contains a tab character.	721
	Line contains a tab character.	722
	Line is longer than 80 characters.	723
	Line contains a tab character.	723
	Line contains a tab character.	725
	Line contains a tab character.	726
	Line contains a tab character.	728
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	728
	Line contains a tab character.	729
	Parameter model should be final.	729
	Line contains a tab character.	730
	Line contains a tab character.	732
	Line contains a tab character.	733
	Line contains a tab character.	734
	Line contains a tab character.	735
	Line contains a tab character.	736
	Line contains a tab character.	737
	Line contains a tab character.	738
	Line contains a tab character.	739
	Line contains a tab character.	740
	Line contains a tab character.	741
	Line contains a tab character.	742
	Line contains a tab character.	743
	Line contains a tab character.	745
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	745
	Line contains a tab character.	746
	Parameter model should be final.	746
	Parameter out should be final.	746
	Line contains a tab character.	747
	Line contains a tab character.	748
	Line contains a tab character.	749
	Line contains a tab character.	750
	Line contains a tab character.	751
	Line contains a tab character.	752
	Line contains a tab character.	753
	Line contains a tab character.	754
	Line contains a tab character.	755
	Line contains a tab character.	756
	Line contains a tab character.	757
	Line contains a tab character.	759
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	759
	Missing a Javadoc comment.	759
	Line contains a tab character.	760
	Line contains a tab character.	761
	Line contains a tab character.	762
	Line contains a tab character.	763
	Line contains a tab character.	764
	Line contains a tab character.	766
	Method 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.	766
	Missing a Javadoc comment.	766
	Line contains a tab character.	767
	Line contains a tab character.	768
	Line contains a tab character.	770
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	770
	Line contains a tab character.	771
	'in' hides a field.	771
	Line is longer than 80 characters.	772
	Line contains a tab character.	772
	Line contains a tab character.	773
	Line contains a tab character.	774

org/sat4j/pb/reader/OPBReader2006.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	39
	Line has trailing spaces.	41
	Line has trailing spaces.	46
	Missing a Javadoc comment.	50
	Parameter solver should be final.	50
	First sentence should end with a period.	54
	Line has trailing spaces.	56
	Method 'readTerm' is not designed for extension - needs to be abstract, final or empty.	64
	Parameter coeff should be final.	65
	Parameter var should be final.	65
	Expected @throws tag for 'IOException'.	66
	Expected @throws tag for 'ParseFormatException'.	66

org/sat4j/pb/reader/OPBReader2007.java

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

org/sat4j/pb/reader/OPBReader2010.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	49
	Missing a Javadoc comment.	51
	Line has trailing spaces.	54
	Line contains a tab character.	54
	Line contains a tab character.	55
	Missing a Javadoc comment.	58
	Parameter solver should be final.	58
	First sentence should end with a period.	62
	Line has trailing spaces.	65
	Method 'readMetaData' is not designed for extension - needs to be abstract, final or empty.	69
	Expected @throws tag for 'IOException'.	70
	Expected @throws tag for 'ParseFormatException'.	70
	Method 'readObjective' is not designed for extension - needs to be abstract, final or empty.	119
	Missing a Javadoc comment.	128
	Missing a Javadoc comment.	144
	Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.	146
	Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty.	175
	Line is longer than 80 characters.	180
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	192

org/sat4j/pb/reader/OPBReader2012.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	42
	Missing a Javadoc comment.	47
	Line has trailing spaces.	50
	Line contains a tab character.	50
	Line contains a tab character.	51
	Missing a Javadoc comment.	54
	Parameter solver should be final.	54
	Method 'readMetaData' is not designed for extension - needs to be abstract, final or empty.	58
	Method 'readObjective' is not designed for extension - needs to be abstract, final or empty.	80
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	91

org/sat4j/pb/reader/PBInstanceReader.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	39
	Missing a Javadoc comment.	44
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	48
	Parameter solver should be final.	48
	'solver' hides a field.	48
	Missing a Javadoc comment.	53
	Method 'hasObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	60
	Missing a Javadoc comment.	60
	Method 'handleFileName' is not designed for extension - needs to be abstract, final or empty.	64
	Parameter fname should be final.	65
	Parameter prefix should be final.	65

org/sat4j/pb/tools/ClausalConstraintsDecorator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	44
	Line has trailing spaces.	48
	Line contains a tab character.	48
	Line contains a tab character.	49
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	54
	Parameter solver should be final.	54
	'solver' hides a field.	54
	Parameter encodingAd should be final.	55
	Missing a Javadoc comment.	60
	Parameter solver should be final.	60
	'solver' hides a field.	60
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	65
	Missing a Javadoc comment.	65
	Parameter lits should be final.	65
	Parameter coeffs should be final.	65
	Parameter moreThan should be final.	66
	Parameter d should be final.	66
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	78
	Missing a Javadoc comment.	78
	Parameter obj should be final.	78
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	82
	Missing a Javadoc comment.	82
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	86
	Missing a Javadoc comment.	86
	Parameter literals should be final.	86
	Parameter coeffs should be final.	86
	Parameter degree should be final.	86
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	95
	Missing a Javadoc comment.	95
	Parameter literals should be final.	95
	Parameter coeffs should be final.	95
	Parameter degree should be final.	96
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	104
	Missing a Javadoc comment.	104
	Parameter literals should be final.	104
	Parameter coeffs should be final.	104
	Parameter degree should be final.	104
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	113
	Missing a Javadoc comment.	113
	Parameter literals should be final.	113
	Parameter coeffs should be final.	113
	Parameter degree should be final.	114
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	122
	Missing a Javadoc comment.	122
	Parameter literals should be final.	122
	Parameter coeffs should be final.	122
	Parameter weight should be final.	122
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	131
	Missing a Javadoc comment.	131
	Parameter literals should be final.	131
	Parameter coeffs should be final.	131
	Parameter weight should be final.	132
	Missing a Javadoc comment.	140
	Parameter coeffs should be final.	140
	Missing a Javadoc comment.	150
	Parameter coeffs should be final.	150

org/sat4j/pb/tools/ConflictTracing.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	41
	Line contains a tab character.	43
	Missing a Javadoc comment.	43
	Line contains a tab character.	45
	Missing a Javadoc comment.	45
	Line contains a tab character.	46
	Missing a Javadoc comment.	46
	Line contains a tab character.	47
	Missing a Javadoc comment.	47
	Line contains a tab character.	49
	Missing a Javadoc comment.	49
	Parameter filename should be final.	49
	'filename' hides a field.	49
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	52
	Line contains a tab character.	54
	Missing a Javadoc comment.	54
	Line contains a tab character.	55
	Line is longer than 80 characters.	56
	Line contains a tab character.	56
	Line contains a tab character.	57
	Line contains a tab character.	58
	Line contains a tab character.	59
	Line contains a tab character.	60
	Line contains a tab character.	61
	Line contains a tab character.	63
	Method 'learn' is not designed for extension - needs to be abstract, final or empty.	63
	Line contains a tab character.	64
	Parameter c should be final.	64
	Line contains a tab character.	65
	Line contains a tab character.	66
	Line is longer than 80 characters.	67
	Line contains a tab character.	67
	Line contains a tab character.	68
	Line contains a tab character.	69
	Line contains a tab character.	70

org/sat4j/pb/tools/DependencyHelper.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	58
	Line has trailing spaces.	60
	Line contains a tab character.	68
	Missing a Javadoc comment.	68
	Line contains a tab character.	70
	Parameter thing should be final.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Line contains a tab character.	74
	Parameter thing should be final.	74
	Line contains a tab character.	75
	Line contains a tab character.	76
	Line contains a tab character.	77
	Line contains a tab character.	79
	Missing a Javadoc comment.	79
	Line contains a tab character.	81
	Parameter thing should be final.	81
	Line contains a tab character.	82
	Line contains a tab character.	83
	Line contains a tab character.	85
	Parameter thing should be final.	85
	Line contains a tab character.	86
	Line contains a tab character.	87
	Line contains a tab character.	88
	Missing a Javadoc comment.	90
	Line contains a tab character.	90
	Line contains a tab character.	91
	Missing a Javadoc comment.	91
	Line contains a tab character.	93
	Missing a Javadoc comment.	93
	Parameter thing should be final.	93
	'thing' hides a field.	93
	Line contains a tab character.	94
	Line contains a tab character.	95
	Line contains a tab character.	97
	Missing a Javadoc comment.	97
	Line contains a tab character.	98
	Line contains a tab character.	99
	Line contains a tab character.	101
	Line contains a tab character.	102
	Line contains a tab character.	103
	Line contains a tab character.	104
	Line contains a tab character.	105
	Line contains a tab character.	107
	Line has trailing spaces.	108
	Line contains a tab character.	108
	Line contains a tab character.	109
	Line contains a tab character.	110
	Line contains a tab character.	112
	Missing a Javadoc comment.	112
	Line contains a tab character.	113
	Missing a Javadoc comment.	113
	Line contains a tab character.	114
	Missing a Javadoc comment.	114
	Variable 'descs' must be private and have accessor methods.	114
	Line contains a tab character.	116
	Missing a Javadoc comment.	116
	Line contains a tab character.	117
	Missing a Javadoc comment.	117
	Line contains a tab character.	118
	Missing a Javadoc comment.	118
	Variable 'solver' must be private and have accessor methods.	118
	Line contains a tab character.	119
	Missing a Javadoc comment.	119
	Line contains a tab character.	121
	Missing a Javadoc comment.	121
	Line contains a tab character.	122
	Missing a Javadoc comment.	122
	Line contains a tab character.	123
	Missing a Javadoc comment.	123
	Line contains a tab character.	125
	Missing a Javadoc comment.	125
	Line contains a tab character.	126
	Missing a Javadoc comment.	126
	Line contains a tab character.	128
	Line has trailing spaces.	129
	Line contains a tab character.	129
	Line contains a tab character.	130
	Line contains a tab character.	131
	Line contains a tab character.	132
	Line contains a tab character.	133
	Parameter solver should be final.	133
	'solver' hides a field.	133
	Line contains a tab character.	134
	Line contains a tab character.	135
	Line contains a tab character.	137
	Line has trailing spaces.	138
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	141
	Line is longer than 80 characters.	142
	Line contains a tab character.	142
	Line is longer than 80 characters.	143
	Line contains a tab character.	143
	Line is longer than 80 characters.	144
	Line contains a tab character.	144
	Line contains a tab character.	145
	Line contains a tab character.	146
	Line contains a tab character.	147
	Parameter solver should be final.	147
	'solver' hides a field.	147
	Parameter explanationEnabled should be final.	147
	'explanationEnabled' hides a field.	147
	Line contains a tab character.	148
	Line contains a tab character.	149
	Line contains a tab character.	151
	Line has trailing spaces.	152
	Line contains a tab character.	152
	Line contains a tab character.	153
	Line contains a tab character.	154
	Line contains a tab character.	155
	Line is longer than 80 characters.	156
	Line contains a tab character.	156
	Line is longer than 80 characters.	157
	Line contains a tab character.	157
	Line is longer than 80 characters.	158
	Line contains a tab character.	158
	Line contains a tab character.	159
	Line contains a tab character.	160
	Line contains a tab character.	161
	Line is longer than 80 characters.	162
	Line contains a tab character.	162
	Line is longer than 80 characters.	163
	Line contains a tab character.	163
	Line contains a tab character.	164
	Line contains a tab character.	165
	Line contains a tab character.	166
	Line contains a tab character.	167
	Parameter solver should be final.	167
	'solver' hides a field.	167
	Parameter explanationEnabled should be final.	167
	'explanationEnabled' hides a field.	167
	Line contains a tab character.	168
	Parameter canonicalOptFunctionEnabled should be final.	168
	Line contains a tab character.	169
	Line contains a tab character.	170
	Line contains a tab character.	171
	Line contains a tab character.	172
	Line contains a tab character.	173
	Line contains a tab character.	174
	Line contains a tab character.	175
	Line contains a tab character.	176
	Line contains a tab character.	177
	Line contains a tab character.	178
	Line contains a tab character.	179
	Line contains a tab character.	181
	Method 'setNegator' is not designed for extension - needs to be abstract, final or empty.	181
	Missing a Javadoc comment.	181
	Parameter negator should be final.	181
	'negator' hides a field.	181
	Line contains a tab character.	182
	Line contains a tab character.	183
	Line contains a tab character.	185
	Line contains a tab character.	186
	Line has trailing spaces.	187
	Line contains a tab character.	187
	Line contains a tab character.	188
	Line contains a tab character.	189
	Line is longer than 80 characters.	190
	Line contains a tab character.	190
	Line contains a tab character.	191
	Line contains a tab character.	192
	Method 'getIntValue' is not designed for extension - needs to be abstract, final or empty.	192
	Parameter thing should be final.	192
	Line contains a tab character.	193
	Line contains a tab character.	194
	Line contains a tab character.	196
	Line contains a tab character.	197
	Line has trailing spaces.	198
	Line contains a tab character.	198
	Line contains a tab character.	199
	Line contains a tab character.	200
	Line contains a tab character.	201
	Line is longer than 80 characters.	202
	Line contains a tab character.	202
	Line contains a tab character.	203
	Line contains a tab character.	204
	Line is longer than 80 characters.	205
	Line contains a tab character.	205
	Line contains a tab character.	206
	Line contains a tab character.	207
	Method 'getIntValue' is not designed for extension - needs to be abstract, final or empty.	207
	Parameter thing should be final.	207
	Parameter create should be final.	207
	Line contains a tab character.	208
	Line contains a tab character.	209
	Line contains a tab character.	210
	Line contains a tab character.	211
	Line contains a tab character.	212
	Line contains a tab character.	213
	Line contains a tab character.	214
	Line contains a tab character.	215
	Line contains a tab character.	216
	Line contains a tab character.	217
	Line contains a tab character.	218
	Line contains a tab character.	219
	Line contains a tab character.	220
	Line contains a tab character.	221
	Line contains a tab character.	222
	Line contains a tab character.	223
	Line contains a tab character.	224
	Line contains a tab character.	225
	Line contains a tab character.	226
	Line contains a tab character.	227
	Line contains a tab character.	228
	Line contains a tab character.	229
	Line contains a tab character.	230
	Line contains a tab character.	232
	Line contains a tab character.	233
	Line has trailing spaces.	234
	Line contains a tab character.	234
	Line contains a tab character.	235
	Line contains a tab character.	236
	Line contains a tab character.	237
	Line has trailing spaces.	238
	Line contains a tab character.	238
	Line contains a tab character.	239
	Line has trailing spaces.	240
	Line contains a tab character.	240
	Line contains a tab character.	241
	Line contains a tab character.	242
	Line contains a tab character.	243
	Line contains a tab character.	244
	Line contains a tab character.	245
	Line contains a tab character.	246
	Method 'getSolution' is not designed for extension - needs to be abstract, final or empty.	246
	Line contains a tab character.	247
	Line contains a tab character.	248
	Line contains a tab character.	249
	Line contains a tab character.	250
	Line contains a tab character.	251
	Line contains a tab character.	252
	Line contains a tab character.	253
	Line contains a tab character.	254
	Line contains a tab character.	255
	Line contains a tab character.	256
	Line contains a tab character.	257
	Line contains a tab character.	259
	Line contains a tab character.	260
	Line has trailing spaces.	261
	Line contains a tab character.	261
	Line contains a tab character.	262
	Line contains a tab character.	263
	Line has trailing spaces.	264
	Line contains a tab character.	264
	Line contains a tab character.	265
	Line has trailing spaces.	266
	Line contains a tab character.	266
	Line contains a tab character.	267
	Line contains a tab character.	268
	Line contains a tab character.	269
	Line contains a tab character.	270
	Line contains a tab character.	271
	Line contains a tab character.	272
	Line contains a tab character.	273
	Method 'getASolution' is not designed for extension - needs to be abstract, final or empty.	273
	Line contains a tab character.	274
	Line contains a tab character.	275
	Line contains a tab character.	276
	Line contains a tab character.	277
	Line contains a tab character.	278
	Line contains a tab character.	279
	Line contains a tab character.	280
	Line contains a tab character.	281
	Line contains a tab character.	282
	Line contains a tab character.	283
	Line contains a tab character.	284
	Line contains a tab character.	286
	Method 'getSolutionCost' is not designed for extension - needs to be abstract, final or empty.	286
	Missing a Javadoc comment.	286
	Line contains a tab character.	287
	Line contains a tab character.	288
	Line contains a tab character.	290
	Line contains a tab character.	291
	Line contains a tab character.	292
	Line contains a tab character.	293
	Line has trailing spaces.	294
	Line contains a tab character.	294
	Line contains a tab character.	295
	Line contains a tab character.	296
	Line is longer than 80 characters.	297
	Line contains a tab character.	297
	Line contains a tab character.	298
	Line contains a tab character.	299
	Unused @throws tag for 'IllegalArgumentException'.	299
	Line contains a tab character.	300
	Line contains a tab character.	301
	Line contains a tab character.	302
	Method 'getBooleanValueFor' is not designed for extension - needs to be abstract, final or empty.	302
	Parameter t should be final.	302
	Line contains a tab character.	303
	Line contains a tab character.	304
	Line contains a tab character.	305
	Line contains a tab character.	306
	Line contains a tab character.	307
	Line contains a tab character.	308
	Line contains a tab character.	309
	Line contains a tab character.	311
	Line has trailing spaces.	312
	Line contains a tab character.	312
	Line is longer than 80 characters.	313
	Line contains a tab character.	313
	Line contains a tab character.	314
	Line contains a tab character.	315
	Line contains a tab character.	316
	Line contains a tab character.	317
	Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty.	317
	Expected @throws tag for 'TimeoutException'.	317
	Line contains a tab character.	318
	Line contains a tab character.	319
	Line contains a tab character.	321
	Line has trailing spaces.	322
	Line contains a tab character.	322
	Line is longer than 80 characters.	323
	Line contains a tab character.	323
	Line contains a tab character.	324
	Line contains a tab character.	325
	Line contains a tab character.	326
	Line contains a tab character.	327
	Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty.	327
	Parameter assumps should be final.	327
	Expected @param tag for 'assumps'.	327
	Expected @throws tag for 'TimeoutException'.	327
	Line contains a tab character.	328
	Line contains a tab character.	329
	Line contains a tab character.	330
	Line contains a tab character.	331
	Line contains a tab character.	332
	Line contains a tab character.	333
	Line contains a tab character.	335
	Line has trailing spaces.	336
	Line contains a tab character.	336
	Line is longer than 80 characters.	337
	Line contains a tab character.	337
	Line contains a tab character.	338
	Line contains a tab character.	339
	Line contains a tab character.	340
	Line is longer than 80 characters.	341
	Line contains a tab character.	341
	Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty.	341
	Parameter assumps should be final.	341
	Expected @param tag for 'assumps'.	341
	Expected @throws tag for 'TimeoutException'.	341
	Line contains a tab character.	342
	Line contains a tab character.	343
	Line contains a tab character.	344
	Line contains a tab character.	345
	Line contains a tab character.	346
	Line contains a tab character.	347
	Line contains a tab character.	349
	Line contains a tab character.	350
	Line has trailing spaces.	351
	Line contains a tab character.	351
	Line contains a tab character.	352
	Line has trailing spaces.	353
	Line contains a tab character.	353
	Line is longer than 80 characters.	354
	Line contains a tab character.	354
	Line contains a tab character.	355
	Line contains a tab character.	356
	Line contains a tab character.	357
	Line contains a tab character.	358
	Line contains a tab character.	359
	Method 'why' is not designed for extension - needs to be abstract, final or empty.	359
	Expected @throws tag for 'TimeoutException'.	359
	Line contains a tab character.	360
	Line is longer than 80 characters.	361
	Line contains a tab character.	361
	Line contains a tab character.	362
	Line contains a tab character.	363
	Line contains a tab character.	364
	Line contains a tab character.	365
	Line contains a tab character.	366
	Line contains a tab character.	367
	Line contains a tab character.	368
	Line contains a tab character.	369
	Line contains a tab character.	370
	Line contains a tab character.	371
	Line contains a tab character.	372
	Line contains a tab character.	374
	Line contains a tab character.	375
	Line has trailing spaces.	376
	Line contains a tab character.	376
	Line is longer than 80 characters.	377
	Line contains a tab character.	377
	Line contains a tab character.	378
	Line contains a tab character.	379
	Line contains a tab character.	380
	Line contains a tab character.	381
	Line contains a tab character.	382
	Method 'why' is not designed for extension - needs to be abstract, final or empty.	382
	Parameter thing should be final.	382
	Expected @param tag for 'thing'.	382
	Expected @throws tag for 'TimeoutException'.	382
	Line contains a tab character.	383
	Line contains a tab character.	384
	Line contains a tab character.	385
	Line contains a tab character.	386
	Line contains a tab character.	388
	Line contains a tab character.	389
	Line has trailing spaces.	390
	Line contains a tab character.	390
	Line is longer than 80 characters.	391
	Line contains a tab character.	391
	Line contains a tab character.	392
	Line contains a tab character.	393
	Line contains a tab character.	394
	Line contains a tab character.	395
	Line contains a tab character.	396
	Method 'whyNot' is not designed for extension - needs to be abstract, final or empty.	396
	Parameter thing should be final.	396
	Expected @param tag for 'thing'.	396
	Expected @throws tag for 'TimeoutException'.	396
	Line contains a tab character.	397
	Line contains a tab character.	398
	Line contains a tab character.	399
	Line contains a tab character.	400
	Line contains a tab character.	402
	Missing a Javadoc comment.	402
	Parameter assumps should be final.	402
	Line contains a tab character.	403
	Line contains a tab character.	404
	Line contains a tab character.	405
	Line contains a tab character.	406
	Line contains a tab character.	407
	Line contains a tab character.	409
	Line contains a tab character.	410
	Line has trailing spaces.	411
	Line contains a tab character.	411
	Line contains a tab character.	412
	Line contains a tab character.	413
	Line contains a tab character.	414
	Line is longer than 80 characters.	415
	Line contains a tab character.	415
	Line contains a tab character.	416
	Line contains a tab character.	417
	Line contains a tab character.	418
	Line contains a tab character.	419
	Line contains a tab character.	420
	Line contains a tab character.	421
	Method 'setTrue' is not designed for extension - needs to be abstract, final or empty.	421
	Parameter thing should be final.	421
	Parameter name should be final.	421
	Line contains a tab character.	422
	Line contains a tab character.	423
	Line contains a tab character.	424
	Line contains a tab character.	425
	Line contains a tab character.	426
	Line contains a tab character.	428
	Line contains a tab character.	429
	Line has trailing spaces.	430
	Line contains a tab character.	430
	Line contains a tab character.	431
	Line contains a tab character.	432
	Line contains a tab character.	433
	Line is longer than 80 characters.	434
	Line contains a tab character.	434
	Line contains a tab character.	435
	Line contains a tab character.	436
	Line contains a tab character.	437
	Line contains a tab character.	438
	Line contains a tab character.	439
	Line contains a tab character.	440
	Method 'setFalse' is not designed for extension - needs to be abstract, final or empty.	440
	Parameter thing should be final.	440
	Parameter name should be final.	440
	Line contains a tab character.	441
	Line is longer than 80 characters.	442
	Line contains a tab character.	442
	Line contains a tab character.	443
	Line contains a tab character.	444
	Line contains a tab character.	445
	Line contains a tab character.	447
	First sentence should end with a period.	449
	Line contains a tab character.	449
	Line contains a tab character.	450
	Line has trailing spaces.	451
	Line contains a tab character.	451
	Line contains a tab character.	452
	Line is longer than 80 characters.	453
	Line contains a tab character.	453
	Line contains a tab character.	454
	Line contains a tab character.	455
	Line contains a tab character.	456
	Line contains a tab character.	457
	Method 'implication' is not designed for extension - needs to be abstract, final or empty.	457
	Parameter lhs should be final.	457
	Line contains a tab character.	458
	Line contains a tab character.	459
	Line contains a tab character.	460
	Line contains a tab character.	461
	Line contains a tab character.	462
	Line contains a tab character.	463
	Line contains a tab character.	465
	Method 'disjunction' is not designed for extension - needs to be abstract, final or empty.	465
	Missing a Javadoc comment.	465
	Parameter lhs should be final.	465
	Line contains a tab character.	466
	Line contains a tab character.	467
	Line contains a tab character.	468
	Line contains a tab character.	469
	Line contains a tab character.	470
	Line contains a tab character.	471
	Line contains a tab character.	473
	Line is longer than 80 characters.	474
	Line contains a tab character.	474
	Line contains a tab character.	475
	Line has trailing spaces.	476
	Line contains a tab character.	476
	Line contains a tab character.	477
	Line contains a tab character.	478
	Line contains a tab character.	479
	Line contains a tab character.	480
	Unused Javadoc tag.	481
	Line contains a tab character.	481
	Line contains a tab character.	482
	Line contains a tab character.	483
	Line contains a tab character.	484
	Line contains a tab character.	485
	Method 'atLeast' is not designed for extension - needs to be abstract, final or empty.	485
	Parameter name should be final.	485
	Expected @param tag for 'name'.	485
	Parameter i should be final.	485
	Parameter things should be final.	485
	Line contains a tab character.	486
	Expected @throws tag for 'ContradictionException'.	486
	Line contains a tab character.	487
	Line contains a tab character.	488
	Line contains a tab character.	489
	Line contains a tab character.	490
	Line contains a tab character.	491
	Line contains a tab character.	492
	Line contains a tab character.	494
	Line is longer than 80 characters.	495
	Line contains a tab character.	495
	Line contains a tab character.	496
	Line has trailing spaces.	497
	Line contains a tab character.	497
	Line contains a tab character.	498
	Line contains a tab character.	499
	Line contains a tab character.	500
	Line contains a tab character.	501
	Line contains a tab character.	502
	Line contains a tab character.	503
	Line contains a tab character.	504
	Line contains a tab character.	505
	Line contains a tab character.	506
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	506
	Parameter i should be final.	506
	Parameter things should be final.	506
	Line contains a tab character.	507
	Expected @throws tag for 'ContradictionException'.	507
	Line contains a tab character.	508
	Line contains a tab character.	509
	Line contains a tab character.	510
	Line contains a tab character.	511
	Line contains a tab character.	512
	Line contains a tab character.	513
	Line contains a tab character.	514
	Line contains a tab character.	515
	Line contains a tab character.	517
	Line is longer than 80 characters.	518
	Line contains a tab character.	518
	Line contains a tab character.	519
	Line has trailing spaces.	520
	Line contains a tab character.	520
	Line contains a tab character.	521
	Line contains a tab character.	522
	Line contains a tab character.	523
	Line contains a tab character.	524
	Unused Javadoc tag.	525
	Line contains a tab character.	525
	Line contains a tab character.	526
	Line contains a tab character.	527
	Line contains a tab character.	528
	Line contains a tab character.	529
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	529
	Parameter name should be final.	529
	Expected @param tag for 'name'.	529
	Parameter i should be final.	529
	Parameter things should be final.	529
	Line contains a tab character.	530
	Expected @throws tag for 'ContradictionException'.	530
	Line contains a tab character.	531
	Line contains a tab character.	532
	Line contains a tab character.	533
	Line contains a tab character.	534
	Line contains a tab character.	535
	Line contains a tab character.	536
	Line contains a tab character.	538
	Line contains a tab character.	539
	Line has trailing spaces.	540
	Line contains a tab character.	540
	Line contains a tab character.	541
	Line contains a tab character.	542
	Line has trailing spaces.	543
	Line contains a tab character.	543
	Line contains a tab character.	544
	Line contains a tab character.	545
	Line contains a tab character.	546
	Method 'clause' is not designed for extension - needs to be abstract, final or empty.	546
	Parameter name should be final.	546
	Expected @param tag for 'name'.	546
	Parameter things should be final.	546
	Expected @param tag for 'things'.	546
	Expected @throws tag for 'ContradictionException'.	546
	Line contains a tab character.	547
	Line contains a tab character.	548
	Line contains a tab character.	549
	Line contains a tab character.	550
	Line contains a tab character.	551
	Line contains a tab character.	552
	Line contains a tab character.	553
	Line contains a tab character.	554
	Line contains a tab character.	555
	Line contains a tab character.	557
	Line contains a tab character.	559
	Line is longer than 80 characters.	560
	Line contains a tab character.	560
	Line contains a tab character.	561
	Line has trailing spaces.	562
	Line contains a tab character.	562
	Line contains a tab character.	563
	Line contains a tab character.	564
	Line contains a tab character.	565
	Unused @param tag for 'things'.	565
	Line contains a tab character.	566
	Line contains a tab character.	567
	Line contains a tab character.	568
	Line contains a tab character.	569
	Method 'iff' is not designed for extension - needs to be abstract, final or empty.	569
	Parameter name should be final.	569
	Expected @param tag for 'name'.	569
	Parameter thing should be final.	569
	Parameter otherThings should be final.	569
	Expected @param tag for 'otherThings'.	569
	Line contains a tab character.	570
	Expected @throws tag for 'ContradictionException'.	570
	Line contains a tab character.	571
	Line contains a tab character.	572
	Line contains a tab character.	573
	Line contains a tab character.	574
	Line is longer than 80 characters.	575
	Line contains a tab character.	575
	Line contains a tab character.	576
	Line contains a tab character.	577
	Line contains a tab character.	578
	Line contains a tab character.	579
	Line contains a tab character.	580
	Line contains a tab character.	581
	Line contains a tab character.	583
	Line contains a tab character.	584
	Line contains a tab character.	585
	Line has trailing spaces.	586
	Line contains a tab character.	586
	Line contains a tab character.	587
	Line contains a tab character.	588
	Line contains a tab character.	589
	Line contains a tab character.	590
	Line contains a tab character.	591
	Line contains a tab character.	592
	Method 'and' is not designed for extension - needs to be abstract, final or empty.	592
	Parameter name should be final.	592
	Expected @param tag for 'name'.	592
	Parameter thing should be final.	592
	Expected @param tag for 'thing'.	592
	Parameter otherThings should be final.	592
	Expected @param tag for 'otherThings'.	592
	Line contains a tab character.	593
	Expected @throws tag for 'ContradictionException'.	593
	Line contains a tab character.	594
	Line contains a tab character.	595
	Line contains a tab character.	596
	Line contains a tab character.	597
	Line is longer than 80 characters.	598
	Line contains a tab character.	598
	Line contains a tab character.	599
	Line contains a tab character.	600
	Line contains a tab character.	601
	Line contains a tab character.	602
	Line contains a tab character.	603
	Line contains a tab character.	604
	Line contains a tab character.	606
	Line contains a tab character.	607
	Line contains a tab character.	608
	Line has trailing spaces.	609
	Line contains a tab character.	609
	Line contains a tab character.	610
	Line contains a tab character.	611
	Line contains a tab character.	612
	Line contains a tab character.	613
	Line contains a tab character.	614
	Line contains a tab character.	615
	Method 'or' is not designed for extension - needs to be abstract, final or empty.	615
	Parameter name should be final.	615
	Expected @param tag for 'name'.	615
	Parameter thing should be final.	615
	Expected @param tag for 'thing'.	615
	Parameter otherThings should be final.	615
	Expected @param tag for 'otherThings'.	615
	Line contains a tab character.	616
	Expected @throws tag for 'ContradictionException'.	616
	Line contains a tab character.	617
	Line contains a tab character.	618
	Line contains a tab character.	619
	Line contains a tab character.	620
	Line contains a tab character.	621
	Line contains a tab character.	622
	Line contains a tab character.	623
	Line contains a tab character.	624
	Line contains a tab character.	625
	Line contains a tab character.	626
	Line contains a tab character.	627
	Line contains a tab character.	629
	Line contains a tab character.	630
	Line contains a tab character.	631
	Line has trailing spaces.	632
	Line contains a tab character.	632
	Line contains a tab character.	633
	Line contains a tab character.	634
	Line contains a tab character.	635
	Line contains a tab character.	636
	Line contains a tab character.	637
	Line contains a tab character.	638
	Method 'halfOr' is not designed for extension - needs to be abstract, final or empty.	638
	Parameter name should be final.	638
	Expected @param tag for 'name'.	638
	Parameter thing should be final.	638
	Expected @param tag for 'thing'.	638
	Parameter otherThings should be final.	638
	Expected @param tag for 'otherThings'.	638
	Line contains a tab character.	639
	Expected @throws tag for 'ContradictionException'.	639
	Line contains a tab character.	640
	Line contains a tab character.	641
	Line contains a tab character.	642
	Line contains a tab character.	643
	Line is longer than 80 characters.	644
	Line contains a tab character.	644
	Line contains a tab character.	645
	Line contains a tab character.	646
	Line contains a tab character.	647
	Line contains a tab character.	648
	Line contains a tab character.	649
	Line contains a tab character.	650
	First sentence should end with a period.	652
	Line contains a tab character.	652
	Line contains a tab character.	653
	Line contains a tab character.	654
	Line has trailing spaces.	655
	Line contains a tab character.	655
	Line contains a tab character.	656
	Line contains a tab character.	657
	Line contains a tab character.	658
	Line contains a tab character.	659
	Line contains a tab character.	660
	Line contains a tab character.	661
	Method 'ifThenElse' is not designed for extension - needs to be abstract, final or empty.	661
	Parameter name should be final.	661
	Expected @param tag for 'name'.	661
	Parameter thing should be final.	661
	Expected @param tag for 'thing'.	661
	Parameter conditionThing should be final.	661
	Expected @param tag for 'conditionThing'.	661
	Parameter thenThing should be final.	661
	Expected @param tag for 'thenThing'.	661
	Line contains a tab character.	662
	Parameter elseThing should be final.	662
	Expected @param tag for 'elseThing'.	662
	Expected @throws tag for 'ContradictionException'.	662
	Line contains a tab character.	663
	Line is longer than 80 characters.	664
	Line contains a tab character.	664
	Line contains a tab character.	665
	Line contains a tab character.	666
	Line contains a tab character.	667
	Line contains a tab character.	668
	Line contains a tab character.	669
	Line contains a tab character.	670
	Line contains a tab character.	671
	Line contains a tab character.	673
	Line contains a tab character.	674
	Line contains a tab character.	675
	Line has trailing spaces.	676
	Line contains a tab character.	676
	Line contains a tab character.	677
	Line contains a tab character.	678
	Line contains a tab character.	679
	Line contains a tab character.	680
	Line contains a tab character.	681
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	681
	Parameter wobj should be final.	681
	Line contains a tab character.	682
	Line contains a tab character.	683
	Line contains a tab character.	684
	Line contains a tab character.	685
	Line contains a tab character.	687
	Line contains a tab character.	689
	Missing a Javadoc comment.	689
	Parameter thing should be final.	689
	Parameter weight should be final.	689
	Line contains a tab character.	690
	Line contains a tab character.	691
	Line contains a tab character.	692
	Line is longer than 80 characters.	693
	Line contains a tab character.	693
	Inner assignments should be avoided.	693
	Line is longer than 80 characters.	694
	Line contains a tab character.	694
	Line contains a tab character.	695
	Line contains a tab character.	696
	Line contains a tab character.	697
	Line contains a tab character.	698
	Line contains a tab character.	699
	Line contains a tab character.	700
	Line contains a tab character.	701
	Line contains a tab character.	702
	Line contains a tab character.	703
	Line contains a tab character.	705
	Missing a Javadoc comment.	705
	Parameter n should be final.	705
	Line contains a tab character.	706
	Line contains a tab character.	707
	Line contains a tab character.	708
	Line is longer than 80 characters.	709
	Line contains a tab character.	709
	Line contains a tab character.	710
	Line contains a tab character.	711
	Line contains a tab character.	712
	Line contains a tab character.	713
	Line contains a tab character.	715
	Line contains a tab character.	716
	Line has trailing spaces.	717
	Line contains a tab character.	717
	Line contains a tab character.	718
	Line contains a tab character.	719
	Line contains a tab character.	720
	Line contains a tab character.	721
	Method 'addToObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	721
	Parameter thing should be final.	721
	Expected @param tag for 'thing'.	721
	Parameter weight should be final.	721
	Expected @param tag for 'weight'.	721
	Line contains a tab character.	722
	Line contains a tab character.	723
	Line contains a tab character.	725
	Line contains a tab character.	726
	Line has trailing spaces.	727
	Line contains a tab character.	727
	Line contains a tab character.	728
	Line contains a tab character.	729
	Line contains a tab character.	730
	Line contains a tab character.	731
	Method 'addToObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	731
	Parameter thing should be final.	731
	Expected @param tag for 'thing'.	731
	Parameter weight should be final.	731
	Expected @param tag for 'weight'.	731
	Line contains a tab character.	732
	'20' is a magic number.	732
	Line contains a tab character.	733
	Line contains a tab character.	734
	Line contains a tab character.	736
	Line contains a tab character.	737
	Line contains a tab character.	738
	Line contains a tab character.	739
	Line has trailing spaces.	740
	Line contains a tab character.	740
	Line contains a tab character.	741
	Line contains a tab character.	742
	Line contains a tab character.	743
	Line contains a tab character.	744
	Line is longer than 80 characters.	745
	Line contains a tab character.	745
	Method 'atLeast' is not designed for extension - needs to be abstract, final or empty.	745
	Parameter name should be final.	745
	Expected @param tag for 'name'.	745
	Parameter degree should be final.	745
	Expected @param tag for 'degree'.	745
	Parameter wobj should be final.	745
	Expected @param tag for 'wobj'.	745
	Line contains a tab character.	746
	Expected @throws tag for 'ContradictionException'.	746
	Line contains a tab character.	747
	Line contains a tab character.	748
	Line contains a tab character.	749
	Line contains a tab character.	750
	Line contains a tab character.	751
	Line contains a tab character.	752
	Line contains a tab character.	753
	Line is longer than 80 characters.	754
	Line contains a tab character.	754
	Line contains a tab character.	755
	Line contains a tab character.	756
	Line contains a tab character.	758
	Line contains a tab character.	759
	Line contains a tab character.	760
	Line contains a tab character.	761
	Line has trailing spaces.	762
	Line contains a tab character.	762
	Line contains a tab character.	763
	Line contains a tab character.	764
	Line contains a tab character.	765
	Line contains a tab character.	766
	Line contains a tab character.	767
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	767
	Parameter name should be final.	767
	Expected @param tag for 'name'.	767
	Parameter degree should be final.	767
	Expected @param tag for 'degree'.	767
	Parameter wobj should be final.	767
	Expected @param tag for 'wobj'.	767
	Line contains a tab character.	768
	Expected @throws tag for 'ContradictionException'.	768
	Line contains a tab character.	769
	Line contains a tab character.	770
	Line contains a tab character.	771
	Line contains a tab character.	772
	Line contains a tab character.	773
	Line contains a tab character.	774
	Line contains a tab character.	775
	Line is longer than 80 characters.	776
	Line contains a tab character.	776
	Line contains a tab character.	777
	Line contains a tab character.	778
	Line contains a tab character.	780
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	780
	Missing a Javadoc comment.	780
	Parameter name should be final.	780
	Parameter degree should be final.	780
	Parameter wobj should be final.	780
	Line contains a tab character.	781
	Line contains a tab character.	782
	Line contains a tab character.	783
	Line contains a tab character.	785
	Line is longer than 80 characters.	786
	Line contains a tab character.	786
	Line contains a tab character.	787
	Line contains a tab character.	788
	Line contains a tab character.	789
	Method 'stopSolver' is not designed for extension - needs to be abstract, final or empty.	789
	Line contains a tab character.	790
	Line contains a tab character.	791
	Line contains a tab character.	793
	Line is longer than 80 characters.	794
	Line contains a tab character.	794
	Line contains a tab character.	795
	Line contains a tab character.	796
	Line contains a tab character.	797
	Method 'stopExplanation' is not designed for extension - needs to be abstract, final or empty.	797
	Line contains a tab character.	798
	Line is longer than 80 characters.	799
	Line contains a tab character.	799
	Line contains a tab character.	800
	Line contains a tab character.	801
	Line contains a tab character.	802
	Line contains a tab character.	804
	Method 'discard' is not designed for extension - needs to be abstract, final or empty.	804
	Missing a Javadoc comment.	804
	Parameter things should be final.	804
	Line contains a tab character.	805
	Line contains a tab character.	806
	Line contains a tab character.	807
	Line contains a tab character.	808
	Line contains a tab character.	809
	Line contains a tab character.	810
	Line contains a tab character.	812
	Method 'discardSolutionsWithObjectiveValueGreaterThan' is not designed for extension - needs to be abstract, final or empty.	812
	Missing a Javadoc comment.	812
	Parameter value should be final.	812
	Line contains a tab character.	813
	Line contains a tab character.	814
	Line contains a tab character.	815
	Line contains a tab character.	816
	Line is longer than 80 characters.	817
	Line contains a tab character.	817
	Line contains a tab character.	818
	Line contains a tab character.	819
	Line contains a tab character.	820
	Line contains a tab character.	821
	Line contains a tab character.	823
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	823
	Missing a Javadoc comment.	823
	Line contains a tab character.	824
	Line contains a tab character.	825
	Line contains a tab character.	826
	Line contains a tab character.	827
	Line contains a tab character.	828
	Avoid inline conditionals.	828
	Line is longer than 80 characters.	829
	Line contains a tab character.	829
	Line contains a tab character.	830
	Line contains a tab character.	831
	Line contains a tab character.	832
	Line contains a tab character.	833
	Line contains a tab character.	835
	Method 'getNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.	835
	Missing a Javadoc comment.	835
	Line contains a tab character.	836
	Line contains a tab character.	837
	Line contains a tab character.	839
	Method 'getNumberOfConstraints' is not designed for extension - needs to be abstract, final or empty.	839
	Missing a Javadoc comment.	839
	Line contains a tab character.	840
	Line contains a tab character.	841
	Line contains a tab character.	843
	Method 'getMappingToDomain' is not designed for extension - needs to be abstract, final or empty.	843
	Missing a Javadoc comment.	843
	Line contains a tab character.	844
	Line contains a tab character.	845
	Line contains a tab character.	847
	Method 'not' is not designed for extension - needs to be abstract, final or empty.	847
	Missing a Javadoc comment.	847
	Parameter thing should be final.	847
	Line contains a tab character.	848
	Line contains a tab character.	849
	Line contains a tab character.	851
	Line contains a tab character.	852
	Line contains a tab character.	853
	Line contains a tab character.	854
	Line contains a tab character.	855
	Method 'getSolver' is not designed for extension - needs to be abstract, final or empty.	855
	Line contains a tab character.	856
	Line contains a tab character.	857
	Line contains a tab character.	858
	Line contains a tab character.	859
	Line contains a tab character.	860
	Line contains a tab character.	862
	Line contains a tab character.	863
	Line has trailing spaces.	864
	Line contains a tab character.	864
	Line contains a tab character.	865
	Line contains a tab character.	866
	Line contains a tab character.	867
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	867
	Line contains a tab character.	868
	Line contains a tab character.	869
	Line contains a tab character.	870
	Line contains a tab character.	871
	Line contains a tab character.	872
	Line contains a tab character.	873
	Line contains a tab character.	874
	Line contains a tab character.	875
	Line contains a tab character.	876
	Line contains a tab character.	878
	Line contains a tab character.	879
	Line has trailing spaces.	880
	Line contains a tab character.	880
	Line contains a tab character.	881
	Line contains a tab character.	882
	Line contains a tab character.	883
	Line contains a tab character.	884
	Line contains a tab character.	885
	Line contains a tab character.	886
	Line contains a tab character.	887
	Unused Javadoc tag.	888
	Line contains a tab character.	888
	Line contains a tab character.	889
	Line contains a tab character.	890
	Line contains a tab character.	891
	Line is longer than 80 characters.	892
	Line contains a tab character.	892
	Method 'impliedBy' is not designed for extension - needs to be abstract, final or empty.	892
	Parameter assumptions should be final.	892
	Parameter satisfied should be final.	892
	Line contains a tab character.	893
	Parameter falsified should be final.	893
	Expected @throws tag for 'TimeoutException'.	893
	Line contains a tab character.	894
	Line contains a tab character.	895
	Line contains a tab character.	896
	Line contains a tab character.	897
	Line contains a tab character.	898
	Line contains a tab character.	899
	Line contains a tab character.	900
	Line contains a tab character.	901
	Line contains a tab character.	902
	Line contains a tab character.	903
	Line contains a tab character.	904
	Line contains a tab character.	905
	Line contains a tab character.	906
	Line contains a tab character.	907
	Line contains a tab character.	908

org/sat4j/pb/tools/DisjunctionRHS.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	42
	Missing a Javadoc comment.	44
	Missing a Javadoc comment.	46
	Parameter helper should be final.	46
	'helper' hides a field.	46
	Parameter literals should be final.	46
	'literals' hides a field.	46
	Method 'implies' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter things should be final.	51
	Line is longer than 80 characters.	65

org/sat4j/pb/tools/INegator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	36

org/sat4j/pb/tools/ImplicationAnd.java

Violation	Message	Line
	File does not end with a newline.	0
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	45
	Line has trailing spaces.	47
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	56
	Parameter helper should be final.	56
	'helper' hides a field.	56
	Parameter clause should be final.	56
	'clause' hides a field.	56
	Line has trailing spaces.	63
	Method 'and' is not designed for extension - needs to be abstract, final or empty.	69
	Parameter thing should be final.	69
	Expected @throws tag for 'ContradictionException'.	69
	Line has trailing spaces.	82
	Method 'andNot' is not designed for extension - needs to be abstract, final or empty.	88
	Parameter thing should be final.	88
	Expected @throws tag for 'ContradictionException'.	88
	Line has trailing spaces.	101
	Line has trailing spaces.	103
	Method 'named' is not designed for extension - needs to be abstract, final or empty.	107
	Parameter name should be final.	107

org/sat4j/pb/tools/ImplicationNamer.java

Violation	Message	Line
	File does not end with a newline.	0
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	42
	Line has trailing spaces.	44
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	51
	Line is longer than 80 characters.	53
	Missing a Javadoc comment.	53
	Parameter helper should be final.	53
	'helper' hides a field.	53
	Parameter toName should be final.	53
	'toName' hides a field.	53
	Line has trailing spaces.	61
	Method 'named' is not designed for extension - needs to be abstract, final or empty.	64
	Parameter name should be final.	64
	Expected @param tag for 'name'.	64

org/sat4j/pb/tools/ImplicationRHS.java

Violation	Message	Line
	File does not end with a newline.	0
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	41
	Line has trailing spaces.	43
	Missing a Javadoc comment.	49
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	54
	Parameter helper should be final.	54
	'helper' hides a field.	54
	Parameter clause should be final.	54
	'clause' hides a field.	54
	Line has trailing spaces.	61
	Method 'implies' is not designed for extension - needs to be abstract, final or empty.	67
	Parameter thing should be final.	67
	Expected @throws tag for 'ContradictionException'.	67
	Line has trailing spaces.	76
	Unused @param tag for 'thing'.	77
	Method 'implies' is not designed for extension - needs to be abstract, final or empty.	83
	Parameter things should be final.	83
	Expected @param tag for 'things'.	83
	Expected @throws tag for 'ContradictionException'.	84
	Line has trailing spaces.	94
	Method 'impliesNot' is not designed for extension - needs to be abstract, final or empty.	100
	Parameter thing should be final.	100
	Expected @throws tag for 'ContradictionException'.	101

org/sat4j/pb/tools/LexicoDecoratorPB.java

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

org/sat4j/pb/tools/LexicoHelper.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	43
	Missing a Javadoc comment.	45
	Missing a Javadoc comment.	47
	Parameter solver should be final.	47
	Missing a Javadoc comment.	53
	Parameter solver should be final.	53
	Parameter explanationEnabled should be final.	53
	Parameter canonicalOptFunctionEnabled should be final.	54
	Missing a Javadoc comment.	61
	Parameter solver should be final.	61
	Parameter explanationEnabled should be final.	61
	Method 'addCriterion' is not designed for extension - needs to be abstract, final or empty.	68
	Missing a Javadoc comment.	68
	Parameter things should be final.	68
	Method 'addWeightedCriterion' is not designed for extension - needs to be abstract, final or empty.	76
	Missing a Javadoc comment.	76
	Parameter things should be final.	76
	Method 'isOptimal' is not designed for extension - needs to be abstract, final or empty.	86
	Missing a Javadoc comment.	86

org/sat4j/pb/tools/ManyCorePB.java

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

org/sat4j/pb/tools/PBAdapter.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	48
	Line has trailing spaces.	51
	Line has trailing spaces.	58
	Line contains a tab character.	58
	Line contains a tab character.	59
	Missing a Javadoc comment.	62
	Parameter solver should be final.	62
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Parameter lits should be final.	66
	Parameter coeffs should be final.	66
	Parameter moreThan should be final.	67
	Parameter d should be final.	67
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Parameter literals should be final.	71
	Parameter coeffs should be final.	71
	Parameter degree should be final.	71
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	76
	Missing a Javadoc comment.	76
	Parameter literals should be final.	76
	Parameter coeffs should be final.	76
	Parameter degree should be final.	77
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	81
	Missing a Javadoc comment.	81
	Parameter literals should be final.	81
	Parameter coeffs should be final.	81
	Parameter degree should be final.	81
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	86
	Missing a Javadoc comment.	86
	Parameter literals should be final.	86
	Parameter coeffs should be final.	86
	Parameter degree should be final.	87
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	91
	Missing a Javadoc comment.	91
	Parameter literals should be final.	91
	Parameter coeffs should be final.	91
	Parameter weight should be final.	91
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	96
	Missing a Javadoc comment.	96
	Parameter literals should be final.	96
	Parameter coeffs should be final.	96
	Parameter weight should be final.	97
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	101
	Missing a Javadoc comment.	101
	Parameter obj should be final.	101
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	106
	Missing a Javadoc comment.	106

org/sat4j/pb/tools/SearchOptimizerListener.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	42
	Line has trailing spaces.	46
	Line contains a tab character.	46
	Line contains a tab character.	47
	Missing a Javadoc comment.	50
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	58
	Parameter sfl should be final.	58
	'sfl' hides a field.	58
	Parameter solverService should be final.	63
	'solverService' hides a field.	63
	Parameter model should be final.	70
	Parameter lazyModel should be final.	70
	Parameter result should be final.	83

org/sat4j/pb/tools/StringNegator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	32
	Line contains a tab character.	34
	Missing a Javadoc comment.	34
	Line contains a tab character.	36
	Missing a Javadoc comment.	36
	Line contains a tab character.	37
	Line contains a tab character.	38
	Line contains a tab character.	40
	Missing a Javadoc comment.	40
	Parameter thing should be final.	40
	Line contains a tab character.	41
	Line contains a tab character.	42
	Line contains a tab character.	43
	Line contains a tab character.	44
	Line contains a tab character.	45
	Line contains a tab character.	47
	Missing a Javadoc comment.	47
	Parameter thing should be final.	47
	Line contains a tab character.	48
	Line contains a tab character.	49
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	52

org/sat4j/pb/tools/WeightedObject.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Missing a Javadoc comment.	35
	Line contains a tab character.	37
	Missing a Javadoc comment.	37
	Variable 'thing' must be private and have accessor methods.	37
	Line contains a tab character.	38
	Missing a Javadoc comment.	38
	Line contains a tab character.	40
	Missing a Javadoc comment.	40
	Parameter thing should be final.	40
	'thing' hides a field.	40
	Parameter weight should be final.	40
	'weight' hides a field.	40
	Line contains a tab character.	41
	Line contains a tab character.	42
	Line contains a tab character.	43
	Line contains a tab character.	45
	Missing a Javadoc comment.	45
	Line contains a tab character.	46
	Line contains a tab character.	47
	Line contains a tab character.	49
	Missing a Javadoc comment.	49
	Parameter delta should be final.	49
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	53
	Missing a Javadoc comment.	53
	Parameter arg0 should be final.	53
	Line contains a tab character.	54
	Line contains a tab character.	55
	Line contains a tab character.	57
	Missing a Javadoc comment.	57
	Parameter e should be final.	57
	Parameter w should be final.	57
	Line contains a tab character.	58
	Line contains a tab character.	59
	Line contains a tab character.	61
	Missing a Javadoc comment.	61
	Parameter e should be final.	61
	Parameter w should be final.	61
	Line contains a tab character.	62
	Line contains a tab character.	63
	Line contains a tab character.	65
	Missing a Javadoc comment.	65
	Parameter e should be final.	65
	Parameter w should be final.	65
	Line contains a tab character.	66
	Line contains a tab character.	67
	Line contains a tab character.	69
	Line contains a tab character.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Line contains a tab character.	73
	Line is longer than 80 characters.	74
	Line contains a tab character.	74
	Avoid inline conditionals.	74
	Line contains a tab character.	75
	Line is longer than 80 characters.	76
	Line contains a tab character.	76
	Avoid inline conditionals.	76
	Line contains a tab character.	77
	Line contains a tab character.	78
	Line contains a tab character.	80
	Line contains a tab character.	81
	Parameter obj should be final.	81
	Line contains a tab character.	82
	Line contains a tab character.	83
	Line contains a tab character.	84
	Line contains a tab character.	85
	Line contains a tab character.	86
	Line contains a tab character.	87
	Line contains a tab character.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line contains a tab character.	91
	Line contains a tab character.	92
	Line contains a tab character.	93
	Line contains a tab character.	94
	Line contains a tab character.	95
	Line contains a tab character.	96
	Line contains a tab character.	97
	Line contains a tab character.	98
	Line contains a tab character.	99
	Line contains a tab character.	100
	Line contains a tab character.	101
	Line contains a tab character.	102
	Line contains a tab character.	103
	Line contains a tab character.	104
	Line contains a tab character.	105
	Line contains a tab character.	106
	Line contains a tab character.	107

org/sat4j/pb/tools/XplainPB.java

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

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

Violation	Message	Line
	First sentence should end with a period.	1

Parent Project

Project Documentation

Checkstyle Results

Summary

Files

Rules

Details

org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java

org/sat4j/pb/IPBSolver.java

org/sat4j/pb/IPBSolverService.java

org/sat4j/pb/LPStringSolver.java

org/sat4j/pb/LanceurPseudo2005.java

org/sat4j/pb/LanceurPseudo2007.java

org/sat4j/pb/LanceurPseudo2007Eclipse.java

org/sat4j/pb/OPBStringSolver.java

org/sat4j/pb/ObjectiveFunction.java

org/sat4j/pb/OptToPBSATAdapter.java

org/sat4j/pb/PBSolverDecorator.java

org/sat4j/pb/PseudoBitsAdderDecorator.java

org/sat4j/pb/PseudoIteratorDecorator.java

org/sat4j/pb/PseudoOptDecorator.java

org/sat4j/pb/SolverFactory.java

org/sat4j/pb/UserFriendlyPBStringSolver.java

org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java

org/sat4j/pb/constraints/AtLeastCardConstructor.java

org/sat4j/pb/constraints/AtLeastCardPBConstructor.java

org/sat4j/pb/constraints/CompetMinHTmixedClauseCardConstrDataStructureFactory.java

org/sat4j/pb/constraints/CompetResolutionMinPBLongMixedWLClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/CompetResolutionPBLongMixedHTClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/CompetResolutionPBLongMixedWLClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/CompetResolutionPBMixedHTClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/CompetResolutionPBMixedWLClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/ICardConstructor.java

org/sat4j/pb/constraints/IClauseConstructor.java

org/sat4j/pb/constraints/IPBConstructor.java

org/sat4j/pb/constraints/MaxLongWatchPBCPConstructor.java

org/sat4j/pb/constraints/MaxLongWatchPBConstructor.java

org/sat4j/pb/constraints/MaxWatchPBConstructor.java

org/sat4j/pb/constraints/MinCardConstructor.java

org/sat4j/pb/constraints/MinCardPBConstructor.java

org/sat4j/pb/constraints/MinLongWatchPBCPConstructor.java

org/sat4j/pb/constraints/MinLongWatchPBConstructor.java

org/sat4j/pb/constraints/MinWatchPBConstructor.java

org/sat4j/pb/constraints/PBContainer.java

org/sat4j/pb/constraints/PBLongMaxClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PBLongMinClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java

org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PBMaxDataStructure.java

org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PBMinDataStructure.java

org/sat4j/pb/constraints/PuebloMinWatchPBConstructor.java

org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java

org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PuebloPBMinDataStructure.java

org/sat4j/pb/constraints/UnitBinaryHTClauseConstructor.java

org/sat4j/pb/constraints/UnitBinaryHTClausePBConstructor.java

org/sat4j/pb/constraints/UnitBinaryWLClauseConstructor.java

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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