Checkstyle Results

The following document contains the results of Checkstyle.

Summary

Files	Infos	Warnings	Errors
121	0	0	4010

Files

Files	I	W	E
org/sat4j/pb/ConstraintRelaxingPseudoOptDecorator.java	0	0	46
org/sat4j/pb/IPBSolver.java	0	0	16
org/sat4j/pb/LPStringSolver.java	0	0	95
org/sat4j/pb/LanceurPseudo2005.java	0	0	32
org/sat4j/pb/LanceurPseudo2007.java	0	0	16
org/sat4j/pb/LanceurPseudo2007Eclipse.java	0	0	18
org/sat4j/pb/OPBStringSolver.java	0	0	88
org/sat4j/pb/ObjectiveFunction.java	0	0	44
org/sat4j/pb/OptToPBSATAdapter.java	0	0	40
org/sat4j/pb/PBSolverDecorator.java	0	0	48
org/sat4j/pb/PseudoBitsAdderDecorator.java	0	0	60
org/sat4j/pb/PseudoIteratorDecorator.java	0	0	10
org/sat4j/pb/PseudoOptDecorator.java	0	0	64
org/sat4j/pb/SolverFactory.java	0	0	126
org/sat4j/pb/UserFriendlyPBStringSolver.java	0	0	88
org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java	0	0	54
org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java	0	0	59
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	14
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	14
org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java	0	0	5
org/sat4j/pb/constraints/PBMinDataStructure.java	0	0	11
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	10
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	128
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	19
org/sat4j/pb/constraints/pb/IDataStructurePB.java	0	0	23
org/sat4j/pb/constraints/pb/IWatchPb.java	0	0	5
org/sat4j/pb/constraints/pb/InternalMapPBStructure.java	0	0	50
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	83
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/MinWatchPbLongLimit.java	0	0	86
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	146
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/PBDataStructureFactory.java	0	0	7
org/sat4j/pb/core/PBSolver.java	0	0	71
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	10
org/sat4j/pb/orders/VarOrderHeapObjective.java	0	0	15
org/sat4j/pb/package-info.java	0	0	1
org/sat4j/pb/reader/OPBEclipseReader2007.java	0	0	17
org/sat4j/pb/reader/OPBReader2005.java	0	0	180
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/PBInstanceReader.java	0	0	20
org/sat4j/pb/tools/ClausalConstraintsDecorator.java	0	0	49
org/sat4j/pb/tools/ConflictTracing.java	0	0	13
org/sat4j/pb/tools/DependencyHelper.java	0	0	263
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	64
org/sat4j/pb/tools/LexicoHelper.java	0	0	21
org/sat4j/pb/tools/ManyCorePB.java	0	0	53
org/sat4j/pb/tools/StringNegator.java	0	0	11
org/sat4j/pb/tools/WeightedObject.java	0	0	29
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"`	58	Error
RegexpSingleline message: `"Line has trailing spaces."` format: `"\s+$"`	449	Error
JavadocMethod	750	Error
JavadocType	75	Error
JavadocVariable	174	Error
JavadocStyle	156	Error
ConstantName	1	Error
LocalFinalVariableName	0	Error
LocalVariableName	3	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	335	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	2	Error
WhitespaceAround	0	Error
ModifierOrder	12	Error
RedundantModifier	21	Error
AvoidNestedBlocks	0	Error
EmptyBlock	2	Error
LeftCurly	0	Error
NeedBraces	0	Error
RightCurly	0	Error
AvoidInlineConditionals	16	Error
DoubleCheckedLocking	0	Error
EmptyStatement	0	Error
EqualsHashCode	0	Error
HiddenField	54	Error
IllegalInstantiation	0	Error
InnerAssignment	8	Error
MagicNumber	16	Error
MissingSwitchDefault	0	Error
RedundantThrows	2	Error
SimplifyBooleanExpression	0	Error
SimplifyBooleanReturn	0	Error
DesignForExtension	561	Error
FinalClass	3	Error
HideUtilityClassConstructor	1	Error
InterfaceIsType	0	Error
VisibilityModifier	86	Error
ArrayTypeStyle	2	Error
FinalParameters	1217	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.	55
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	59
	Parameter solver should be final.	59
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	63
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	68
	Parameter global should be final.	69
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	73
	Parameter assumps should be final.	74
	Parameter global should be final.	74
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	93
	Parameter assumps should be final.	94
	Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.	98
	Missing a Javadoc comment.	98
	Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.	102
	Missing a Javadoc comment.	102
	Parameter assumps should be final.	102
	Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	146
	Missing a Javadoc comment.	146
	Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.	150
	Missing a Javadoc comment.	150
	Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.	154
	Missing a Javadoc comment.	154
	Method 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty.	164
	Missing a Javadoc comment.	164
	Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.	168
	Missing a Javadoc comment.	168
	Parameter forcedValue should be final.	168
	Method 'discard' is not designed for extension - needs to be abstract, final or empty.	175
	Missing a Javadoc comment.	175
	Missing a Javadoc comment.	180
	Method 'isOptimal' is not designed for extension - needs to be abstract, final or empty.	184
	Missing a Javadoc comment.	184
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	188
	Parameter prefix should be final.	189

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 has trailing spaces.	51
	Line has trailing spaces.	76
	Line has trailing spaces.	99
	Line has trailing spaces.	122
	Line has trailing spaces.	144
	Line has trailing spaces.	166
	Line has trailing spaces.	187
	Line has trailing spaces.	208
	Redundant 'public' modifier.	212
	Line has trailing spaces.	216
	Redundant 'public' modifier.	219

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.	55
	Missing a Javadoc comment.	61
	Variable 'factory' must be private and have accessor methods.	61
	Missing a Javadoc comment.	63
	Missing a Javadoc comment.	67
	Parameter factory should be final.	67
	'factory' hides a field.	67
	Line has trailing spaces.	72
	Line contains a tab character.	72
	Line contains a tab character.	73
	First sentence should end with a period.	76
	Line has trailing spaces.	78
	Missing a Javadoc comment.	89
	Variable 'obfct' must be private and have accessor methods.	89
	Line has trailing spaces.	93
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	96
	Parameter theSolver should be final.	97
	Parameter problemname should be final.	97
	Line has trailing spaces.	103
	Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty.	106
	Parameter args should be final.	107
	'3' is a magic number.	130
	Method 'usage' is not designed for extension - needs to be abstract, final or empty.	169
	Line is longer than 80 characters.	171
	Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.	175
	Parameter args should be final.	176
	'3' is a magic number.	177
	Method 'readProblem' is not designed for extension - needs to be abstract, final or empty.	184
	Parameter problemname should be final.	185
	Redundant throws: 'FileNotFoundException' is subclass of 'IOException'.	186

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 'displayAnswer' 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.	196
	Method 'getExplanation' is not designed for extension - needs to be abstract, final or empty.	199
	Missing a Javadoc comment.	199
	Line has trailing spaces.	206
	Missing a Javadoc comment.	211
	Parameter listOfVariables should be final.	211
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	216
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	237
	Parameter prefix should be final.	238
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	242
	Parameter howmany should be final.	243
	Parameter nb should be final.	253
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	256
	Missing a Javadoc comment.	256
	Method 'nConstraints' is not designed for extension - needs to be abstract, final or empty.	260
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	265
	Missing a Javadoc comment.	265
	Parameter literals should be final.	265
	Parameter coeffs should be final.	265
	Parameter degree should be final.	265
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	282
	Missing a Javadoc comment.	282
	Parameter literals should be final.	282
	Parameter coeffs should be final.	282
	Parameter degree should be final.	283
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	299
	Missing a Javadoc comment.	299
	Parameter literals should be final.	299
	Parameter coeffs should be final.	299
	Parameter degree should be final.	299
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	316
	Missing a Javadoc comment.	316
	Parameter literals should be final.	316
	Parameter coeffs should be final.	316
	Parameter degree should be final.	317
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	334
	Missing a Javadoc comment.	334
	Parameter literals should be final.	334
	Parameter coeffs should be final.	334
	Parameter weight should be final.	334
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	351
	Missing a Javadoc comment.	351
	Parameter literals should be final.	351
	Parameter coeffs should be final.	351
	Parameter weight should be final.	352

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.	43
	Line has trailing spaces.	45
	Line has trailing spaces.	47
	Line has trailing spaces.	52
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	59
	Missing a Javadoc comment.	61
	Missing a Javadoc comment.	63
	Parameter vars should be final.	63
	'vars' hides a field.	63
	Parameter coeffs should be final.	63
	'coeffs' hides a field.	63
	Method 'calculateDegree' is not designed for extension - needs to be abstract, final or empty.	69
	Missing a Javadoc comment.	69
	Parameter solver should be final.	69
	Method 'calculateDegreeImplicant' is not designed for extension - needs to be abstract, final or empty.	86
	Missing a Javadoc comment.	86
	Parameter solver should be final.	86
	Missing a Javadoc comment.	103
	Parameter var should be final.	103
	Parameter solver should be final.	103
	Method 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.	110
	Missing a Javadoc comment.	110
	Method 'getVars' is not designed for extension - needs to be abstract, final or empty.	114
	Missing a Javadoc comment.	114
	Method 'setCorrection' is not designed for extension - needs to be abstract, final or empty.	118
	Missing a Javadoc comment.	118
	Parameter correction should be final.	118
	'correction' hides a field.	118
	Method 'getCorrection' is not designed for extension - needs to be abstract, final or empty.	122
	Missing a Javadoc comment.	122
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	126
	Line is longer than 80 characters.	140
	Avoid inline conditionals.	140
	Method 'minValue' is not designed for extension - needs to be abstract, final or empty.	145
	Missing a Javadoc comment.	145
	Method 'calculateDegree' is not designed for extension - needs to be abstract, final or empty.	156
	Missing a Javadoc comment.	156
	Parameter model should be final.	156
	Missing a Javadoc comment.	171
	Parameter var should be final.	171
	Parameter model should be final.	171

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.	133
	Must have at least one statement.	136
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	143
	Parameter var should be final.	144
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	151
	Parameter prefix should be final.	152
	Method 'isOptimal' is not designed for extension - needs to be abstract, final or empty.	157
	Missing a Javadoc comment.	157
	Line has trailing spaces.	163
	Expected an @return tag.	167
	Method 'getCurrentObjectiveValue' is not designed for extension - needs to be abstract, final or empty.	167

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.	66
	Missing a Javadoc comment.	67
	Missing a Javadoc comment.	69
	Parameter solver should be final.	69
	'solver' hides a field.	69
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	75
	Missing a Javadoc comment.	75
	Parameter objf should be final.	75
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	79
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	84
	Parameter assumps should be final.	85
	Missing a Javadoc comment.	144
	Parameter args should be final.	144
	'1000.0' is a magic number.	180
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	184
	Missing a Javadoc comment.	184
	Parameter lits should be final.	184
	Parameter coeffs should be final.	184
	Parameter moreThan should be final.	185
	Parameter d should be final.	185
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	189
	Missing a Javadoc comment.	189
	Method 'addAtMost' 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 coeffs should be final.	193
	Parameter degree should be final.	193
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	198
	Missing a Javadoc comment.	198
	Parameter literals should be final.	198
	Parameter coeffs should be final.	198
	Parameter degree should be final.	199
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	203
	Missing a Javadoc comment.	203
	Parameter literals should be final.	203
	Parameter coeffs should be final.	203
	Parameter degree should be final.	203
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	208
	Missing a Javadoc comment.	208
	Parameter literals should be final.	208
	Parameter coeffs should be final.	208
	Parameter degree should be final.	209
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	213
	Missing a Javadoc comment.	213
	Parameter literals should be final.	213
	Parameter coeffs should be final.	213
	Parameter weight should be final.	213
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	218
	Missing a Javadoc comment.	218
	Parameter literals should be final.	218
	Parameter coeffs should be final.	218
	Parameter weight should be final.	219

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
	Line has trailing spaces.	73
	Parameter solver should be final.	77
	Line has trailing spaces.	83
	Parameter solver should be final.	91
	Parameter nonOptimalMeansSatisfiable should be final.	92
	'nonOptimalMeansSatisfiable' hides a field.	92
	Line has trailing spaces.	98
	Parameter solver should be final.	110
	Parameter nonOptimalMeansSatisfiable should be final.	111
	'nonOptimalMeansSatisfiable' hides a field.	111
	Parameter useAnImplicantForEvaluation should be final.	112
	'useAnImplicantForEvaluation' hides a field.	112
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	118
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	123
	Parameter global should be final.	124
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	128
	Parameter assumps should be final.	129
	Parameter global should be final.	129
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	149
	Parameter assumps should be final.	150
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	154
	Parameter objf should be final.	155
	Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.	159
	Missing a Javadoc comment.	159
	Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.	163
	Missing a Javadoc comment.	163
	Parameter assumps should be final.	163
	Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	196
	Missing a Javadoc comment.	196
	Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.	200
	Missing a Javadoc comment.	200
	Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.	204
	Missing a Javadoc comment.	204
	Method 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty.	219
	Missing a Javadoc comment.	219
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	232
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	238
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	244
	Parameter var should be final.	245
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	249
	Parameter prefix should be final.	250
	Method 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty.	255
	Missing a Javadoc comment.	255
	Method 'discard' is not designed for extension - needs to be abstract, final or empty.	260
	Missing a Javadoc comment.	260
	Method 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.	264
	Missing a Javadoc comment.	264
	Parameter forcedValue should be final.	264
	Method 'isOptimal' is not designed for extension - needs to be abstract, final or empty.	271
	Missing a Javadoc comment.	271
	Method 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.	275

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.	47
	Line is longer than 80 characters.	48
	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 has trailing spaces.	79
	Class SolverFactory should be declared as final.	83
	Line has trailing spaces.	86
	Missing a Javadoc comment.	91
	Line has trailing spaces.	95
	Missing a Javadoc comment.	102
	Line has trailing spaces.	110
	Missing a Javadoc comment.	163
	Missing a Javadoc comment.	168
	Missing a Javadoc comment.	173
	Missing a Javadoc comment.	178
	Line is longer than 80 characters.	191
	Line is longer than 80 characters.	192
	Line is longer than 80 characters.	200
	Missing a Javadoc comment.	200
	Line is longer than 80 characters.	201
	Missing a Javadoc comment.	209
	Parameter phase should be final.	209
	Line is longer than 80 characters.	210
	Missing a Javadoc comment.	218
	Missing a Javadoc comment.	222
	Missing a Javadoc comment.	226
	Missing a Javadoc comment.	230
	Parameter phase should be final.	230
	Line is longer than 80 characters.	231
	Missing a Javadoc comment.	239
	Missing a Javadoc comment.	243
	Line is longer than 80 characters.	244
	Missing a Javadoc comment.	247
	Line is longer than 80 characters.	258
	Line is longer than 80 characters.	260
	Line is longer than 80 characters.	278
	Missing a Javadoc comment.	288
	Line is longer than 80 characters.	289
	Line is longer than 80 characters.	298
	Missing a Javadoc comment.	298
	Line is longer than 80 characters.	299
	Line is longer than 80 characters.	302
	Missing a Javadoc comment.	302
	Line is longer than 80 characters.	303
	Line is longer than 80 characters.	306
	Missing a Javadoc comment.	306
	Line is longer than 80 characters.	307
	Line is longer than 80 characters.	310
	Missing a Javadoc comment.	310
	Line is longer than 80 characters.	311
	Line is longer than 80 characters.	314
	Missing a Javadoc comment.	314
	Line is longer than 80 characters.	315
	Line is longer than 80 characters.	318
	Missing a Javadoc comment.	318
	Parameter dsf should be final.	319
	Line is longer than 80 characters.	320
	Missing a Javadoc comment.	330
	Line is longer than 80 characters.	331
	Line is longer than 80 characters.	332
	Line is longer than 80 characters.	341
	Missing a Javadoc comment.	341
	Line is longer than 80 characters.	342
	Missing a Javadoc comment.	351
	Line is longer than 80 characters.	352
	Line is longer than 80 characters.	353
	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.	374
	Missing a Javadoc comment.	374
	Line is longer than 80 characters.	375
	Line is longer than 80 characters.	388
	Parameter bound should be final.	403
	Expected @param tag for 'bound'.	403
	Line is longer than 80 characters.	404
	Missing a Javadoc comment.	413
	Parameter bound should be final.	424
	Expected @param tag for 'bound'.	424
	Line is longer than 80 characters.	425
	Missing a Javadoc comment.	435
	Line is longer than 80 characters.	446
	Missing a Javadoc comment.	490
	Parameter dsf should be final.	490
	Line is longer than 80 characters.	491
	Line is longer than 80 characters.	531
	Missing a Javadoc comment.	531
	Parameter dsf should be final.	531
	Parameter order should be final.	531
	Line is longer than 80 characters.	532
	Missing a Javadoc comment.	541
	Parameter dsf should be final.	541
	Line has trailing spaces.	548
	Line has trailing spaces.	558
	'100' is a magic number.	563
	Line has trailing spaces.	570
	Line has trailing spaces.	580
	Line has trailing spaces.	591
	Line has trailing spaces.	600
	'100' is a magic number.	605
	Line has trailing spaces.	612
	Line has trailing spaces.	624
	Line is longer than 80 characters.	628
	Line has trailing spaces.	638
	Line has trailing spaces.	653
	Line has trailing spaces.	666
	Line is longer than 80 characters.	670
	Line has trailing spaces.	680
	Line is longer than 80 characters.	684
	Line has trailing spaces.	693
	Line has trailing spaces.	695
	Line is longer than 80 characters.	699
	Line has trailing spaces.	707
	Line has trailing spaces.	719
	Line is longer than 80 characters.	726
	Line has trailing spaces.	739
	Missing a Javadoc comment.	753
	Missing a Javadoc comment.	757
	Line is longer than 80 characters.	758
	'300' is a magic number.	765

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.	43
	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.	54
	Missing a Javadoc comment.	55
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	58
	Parameter iclausec should be final.	58
	'iclausec' hides a field.	58
	Parameter icardc should be final.	59
	'icardc' hides a field.	59
	Parameter ipbc should be final.	59
	'ipbc' hides a field.	59
	Method 'createClause' is not designed for extension - needs to be abstract, final or empty.	65
	Parameter literals should be final.	66
	Method 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.	71
	Parameter literals should be final.	72
	Line has trailing spaces.	78
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	83
	Parameter literals should be final.	84
	Parameter coefs should be final.	84
	Parameter degree should be final.	85
	Line has trailing spaces.	106
	Method 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.	110
	Parameter dspb should be final.	111
	Missing a Javadoc comment.	131
	Parameter coefs should be final.	131
	Method 'constructClause' is not designed for extension - needs to be abstract, final or empty.	140
	Missing a Javadoc comment.	140
	Parameter v should be final.	140
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	144
	Missing a Javadoc comment.	144
	Parameter theLits should be final.	144
	Parameter degree should be final.	144
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	150
	Missing a Javadoc comment.	150
	Parameter theLits should be final.	150
	Parameter coefs should be final.	150
	Parameter degree should be final.	151
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	156
	Missing a Javadoc comment.	156
	Parameter literals should be final.	156
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	160
	Missing a Javadoc comment.	160
	Parameter dspb should be final.	160
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	164
	Missing a Javadoc comment.	164
	Parameter dspb should be final.	164
	Missing a Javadoc comment.	168
	Parameter coefs should be final.	168

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.	62
	Missing a Javadoc comment.	63
	Missing a Javadoc comment.	68
	Parameter literals should be final.	70
	Parameter coefs should be final.	70
	Parameter moreThan should be final.	71
	Parameter degree should be final.	71
	Parameter voc should be final.	71
	Missing a Javadoc comment.	101
	Parameter literals should be final.	103
	Parameter coefs should be final.	103
	Parameter moreThan should be final.	104
	Parameter degree should be final.	104
	Parameter voc should be final.	104
	Missing a Javadoc comment.	117
	Method 'getNormalizer' is not designed for extension - needs to be abstract, final or empty.	119
	Missing a Javadoc comment.	119
	Method 'setNormalizer' is not designed for extension - needs to be abstract, final or empty.	123
	Missing a Javadoc comment.	123
	Parameter simp should be final.	123
	Method 'setNormalizer' is not designed for extension - needs to be abstract, final or empty.	134
	Missing a Javadoc comment.	134
	Parameter normalizer should be final.	134
	Line has trailing spaces.	139
	Line contains a tab character.	139
	Line contains a tab character.	140
	Method 'createClause' is not designed for extension - needs to be abstract, final or empty.	143
	Missing a Javadoc comment.	143
	Parameter literals should be final.	143
	Method 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.	159
	Missing a Javadoc comment.	159
	Parameter literals should be final.	159
	Method 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.	169
	Parameter literals should be final.	170
	Parameter degree should be final.	170
	Method 'createPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	176
	Missing a Javadoc comment.	176
	Parameter literals should be final.	176
	Parameter coefs should be final.	177
	Parameter moreThan should be final.	177
	Parameter degree should be final.	177
	Method 'createAtMostPBConstraint' is not designed for extension - needs to be abstract, final or empty.	184
	Missing a Javadoc comment.	184
	Parameter literals should be final.	184
	Parameter coefs should be final.	185
	Parameter degree should be final.	185
	Method 'createAtLeastPBConstraint' 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 coefs should be final.	191
	Parameter degree should be final.	191
	Method 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	224
	Missing a Javadoc comment.	224
	Parameter dspb should be final.	225
	Missing a Javadoc comment.	229
	Missing a Javadoc comment.	233
	Method 'createLits' is not designed for extension - needs to be abstract, final or empty.	235

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.	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
	Line is longer than 80 characters.	58

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.	46
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	56
	Parameter literals should be final.	57
	Expected @param tag for 'literals'.	57
	Parameter coefs should be final.	57
	Expected @param tag for 'coefs'.	57
	Parameter degree should be final.	58
	Expected @param tag for 'degree'.	58
	Expected @throws tag for 'ContradictionException'.	58
	Method 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.	73
	Parameter dspb should be final.	74
	Expected @param tag for 'dspb'.	74

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.	46
	Line has trailing spaces.	50
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	55
	Parameter literals should be final.	56
	Parameter coefs should be final.	56
	Parameter degree should be final.	57
	Line has trailing spaces.	66
	Method 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.	70
	Parameter dspb should be final.	71

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.	45
	Line has trailing spaces.	49
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	54
	Parameter literals should be final.	55
	Parameter coefs should be final.	55
	Parameter degree should be final.	56
	Method 'learntConstraintFactory' is not designed for extension - needs to be abstract, final or empty.	61
	Parameter dspb should be final.	62

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.	67
	Parameter literal should be final.	67
	Missing a Javadoc comment.	71
	Missing a Javadoc comment.	75
	Missing a Javadoc comment.	79
	Missing a Javadoc comment.	85
	Line has trailing spaces.	94
	First sentence should end with a period.	98
	Line has trailing spaces.	100
	Parameter s should be final.	121
	Missing a Javadoc comment.	130

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
	Redundant 'final' modifier.	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
	Redundant 'final' modifier.	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.	260
	Missing a Javadoc comment.	260
	Parameter litImplied should be final.	260
	Parameter ind should be final.	260
	Parameter reducedCoefs should be final.	261
	Parameter wpb should be final.	261
	Missing a Javadoc comment.	317
	Parameter wpb should be final.	317
	Parameter theCoefs should be final.	317
	First sentence should end with a period.	329
	Expected an @return tag.	332
	Method 'slackConflict' is not designed for extension - needs to be abstract, final or empty.	332
	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.	407
	Parameter slack should be final.	407
	Line is longer than 80 characters.	412
	Missing a Javadoc comment.	442
	Parameter dl should be final.	442
	Parameter slack should be final.	442
	First sentence should end with a period.	455
	Line has trailing spaces.	458
	Parameter a should be final.	465
	Parameter b should be final.	465
	Line has trailing spaces.	473
	Method 'reduceInConstraint' is not designed for extension - needs to be abstract, final or empty.	486
	Parameter wpb should be final.	486
	Missing a Javadoc comment.	533
	Parameter coefs should be final.	533
	Parameter degree should be final.	533
	Parameter wpb should be final.	534
	Missing a Javadoc comment.	574
	Parameter coefs should be final.	574
	Parameter degree should be final.	574
	Parameter wpb should be final.	575
	Parameter minimum should be final.	575
	Missing a Javadoc comment.	594
	Parameter coefs should be final.	594
	Parameter degree should be final.	594
	Parameter wpb should be final.	595
	Missing a Javadoc comment.	615
	Line has trailing spaces.	627
	Method 'getBacktrackLevel' is not designed for extension - needs to be abstract, final or empty.	633
	Parameter maxLevel should be final.	633
	Line is longer than 80 characters.	652
	Line is longer than 80 characters.	655
	Method 'oldGetBacktrackLevel' is not designed for extension - needs to be abstract, final or empty.	668
	Missing a Javadoc comment.	668
	Parameter maxLevel should be final.	668
	Method 'updateSlack' is not designed for extension - needs to be abstract, final or empty.	694
	Missing a Javadoc comment.	694
	Parameter level should be final.	694
	Method 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.	709
	Parameter lit should be final.	710
	Parameter incCoef should be final.	710
	Method 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.	719
	Parameter lit should be final.	720
	Parameter decCoef should be final.	720
	Method 'setCoef' is not designed for extension - needs to be abstract, final or empty.	729
	Parameter lit should be final.	730
	Parameter newValue should be final.	730
	Method 'changeCoef' is not designed for extension - needs to be abstract, final or empty.	752
	Parameter indLit should be final.	753
	Parameter newValue should be final.	753
	Method 'removeCoef' is not designed for extension - needs to be abstract, final or empty.	770
	Parameter lit should be final.	771
	Missing a Javadoc comment.	785
	Parameter lit should be final.	785
	Method 'slackIsCorrect' is not designed for extension - needs to be abstract, final or empty.	794
	Missing a Javadoc comment.	794
	Parameter dl should be final.	794
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	798
	Method 'hasBeenReduced' is not designed for extension - needs to be abstract, final or empty.	817
	Missing a Javadoc comment.	817
	Method 'getNumberOfReductions' is not designed for extension - needs to be abstract, final or empty.	821
	Missing a Javadoc comment.	821

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 has trailing spaces.	40
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	53
	Line has trailing spaces.	58
	Redundant 'public' modifier.	61
	Expected @param tag for 'wpb'.	61
	Expected @param tag for 'coefsBis'.	62
	Expected @param tag for 'indLitImplied'.	62
	Expected @param tag for 'degreeBis'.	63
	First sentence should end with a period.	65
	Line has trailing spaces.	68
	Redundant 'public' modifier.	74
	Missing a Javadoc comment.	76
	Redundant 'public' modifier.	76
	Missing a Javadoc comment.	78
	Redundant 'public' modifier.	78

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
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	41
	Missing a Javadoc comment.	44
	Missing a Javadoc comment.	48
	Missing a Javadoc comment.	51
	Array brackets at illegal position.	51
	Line is longer than 80 characters.	54
	Missing a Javadoc comment.	54
	Missing a Javadoc comment.	56
	Redundant 'public' modifier.	56
	Missing a Javadoc comment.	58
	Redundant 'public' modifier.	58
	Missing a Javadoc comment.	60
	Redundant 'public' modifier.	60
	Missing a Javadoc comment.	62
	Redundant 'public' modifier.	62
	Missing a Javadoc comment.	64
	Redundant 'public' modifier.	64
	Missing a Javadoc comment.	66
	Redundant 'public' modifier.	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
	Missing a Javadoc comment.	36
	Redundant 'public' modifier.	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
	Variable 'lits' must be private and have accessor methods.	45
	Missing a Javadoc comment.	46
	Variable 'coefs' must be private and have accessor methods.	46
	Missing a Javadoc comment.	47
	Variable 'allLits' must be private and have accessor methods.	47
	Missing a Javadoc comment.	49
	Parameter size should be final.	49
	Missing a Javadoc comment.	56
	Parameter cpb should be final.	56
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	73
	Missing a Javadoc comment.	73
	Parameter lit should be final.	73
	Method 'getLit' is not designed for extension - needs to be abstract, final or empty.	78
	Missing a Javadoc comment.	78
	Parameter indLit should be final.	78
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	83
	Missing a Javadoc comment.	83
	Parameter indLit should be final.	83
	Method 'containsKey' is not designed for extension - needs to be abstract, final or empty.	89
	Missing a Javadoc comment.	89
	Parameter lit should be final.	89
	Method 'size' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Method 'put' is not designed for extension - needs to be abstract, final or empty.	98
	Missing a Javadoc comment.	98
	Parameter lit should be final.	98
	Parameter newValue should be final.	98
	Method 'changeCoef' is not designed for extension - needs to be abstract, final or empty.	109
	Missing a Javadoc comment.	109
	Parameter indLit should be final.	109
	Parameter newValue should be final.	109
	Method 'remove' is not designed for extension - needs to be abstract, final or empty.	116
	Missing a Javadoc comment.	116
	Parameter lit should be final.	116
	Method 'copyCoefs' is not designed for extension - needs to be abstract, final or empty.	127
	Missing a Javadoc comment.	127
	Parameter dest should be final.	127
	Method 'copyCoefs' is not designed for extension - needs to be abstract, final or empty.	131
	Missing a Javadoc comment.	131
	Parameter dest should be final.	131
	Method 'copyLits' is not designed for extension - needs to be abstract, final or empty.	135
	Missing a Javadoc comment.	135
	Parameter dest should be final.	135
	Method 'copyLits' is not designed for extension - needs to be abstract, final or empty.	139
	Missing a Javadoc comment.	139
	Parameter dest should be final.	139

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
	Method 'isCardinality' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Method 'isLongSufficient' is not designed for extension - needs to be abstract, final or empty.	75
	Missing a Javadoc comment.	75
	Method 'getAssertiveLiteral' is not designed for extension - needs to be abstract, final or empty.	84
	Missing a Javadoc comment.	84
	Method 'saturation' is not designed for extension - needs to be abstract, final or empty.	88
	Missing a Javadoc comment.	88
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	111
	Missing a Javadoc comment.	111
	Parameter cpb should be final.	111
	Parameter deg should be final.	111
	Parameter reducedCoefs should be final.	112
	Parameter val should be final.	112
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	116
	Missing a Javadoc comment.	116
	Parameter cpb should be final.	116
	Parameter degreeCons should be final.	116
	Parameter reducedCoefs should be final.	117
	Parameter coefMult should be final.	117
	Parameter val should be final.	118
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	139
	Missing a Javadoc comment.	139
	Parameter lits should be final.	139
	Parameter reducedCoefs should be final.	139
	Parameter deg should be final.	140
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	144
	Missing a Javadoc comment.	144
	Parameter lits should be final.	144
	Array brackets at illegal position.	144
	Parameter reducedCoefs should be final.	144
	Parameter degreeCons should be final.	145
	Parameter coefMult should be final.	145
	Missing a Javadoc comment.	156
	Method 'buildConstraintFromConflict' is not designed for extension - needs to be abstract, final or empty.	194
	Missing a Javadoc comment.	194
	Parameter resLits should be final.	194
	Parameter resCoefs should be final.	195
	Method 'buildConstraintFromMapPb' is not designed for extension - needs to be abstract, final or empty.	202
	Missing a Javadoc comment.	202
	Parameter resLits should be final.	202
	Parameter resCoefs should be final.	202
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	210
	Missing a Javadoc comment.	210
	Method 'size' is not designed for extension - needs to be abstract, final or empty.	214
	Missing a Javadoc comment.	214
	Line has trailing spaces.	220
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	223
	Missing a Javadoc comment.	235
	Parameter coef should be final.	235
	Parameter mult should be final.	235
	Method 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.	242
	Missing a Javadoc comment.	242
	Parameter lit should be final.	242
	Parameter incCoef should be final.	242
	Method 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.	246
	Missing a Javadoc comment.	246
	Parameter lit should be final.	246
	Parameter decCoef should be final.	246
	Method 'setCoef' is not designed for extension - needs to be abstract, final or empty.	251
	Missing a Javadoc comment.	251
	Parameter lit should be final.	251
	Parameter newValue should be final.	251
	Method 'changeCoef' is not designed for extension - needs to be abstract, final or empty.	255
	Missing a Javadoc comment.	255
	Parameter indLit should be final.	255
	Parameter newValue should be final.	255
	Method 'removeCoef' is not designed for extension - needs to be abstract, final or empty.	259
	Missing a Javadoc comment.	259
	Parameter lit should be final.	259

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.	125
	Expected @throws tag for 'ContradictionException'.	129
	Line has trailing spaces.	152
	Line has trailing spaces.	154
	Parameter s should be final.	158
	First sentence should end with a period.	175
	Line has trailing spaces.	177
	Parameter s should be final.	184
	Parameter p should be final.	184
	Line is longer than 80 characters.	226
	First sentence should end with a period.	242
	Parameter upl should be final.	245
	Expected @param tag for 'upl'.	245
	First sentence should end with a period.	253
	Line has trailing spaces.	255
	Parameter p should be final.	259
	Line has trailing spaces.	281
	Parameter s should be final.	295
	Parameter voc should be final.	296
	Parameter lits should be final.	296
	Parameter coefs should be final.	296
	Parameter degree should be final.	296
	Parameter sumCoefs should be final.	297
	Expected @param tag for 'sumCoefs'.	297
	Expected @throws tag for 'ContradictionException'.	297
	Line has trailing spaces.	317
	Unused @param tag for 's'.	318
	Line is longer than 80 characters.	327
	Parameter voc should be final.	327
	Expected @param tag for 'voc'.	327
	Parameter mpb should be final.	327

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.	277
	Parameter s should be final.	292
	Parameter voc should be final.	292
	Parameter lits should be final.	292
	Parameter coefs should be final.	293
	Parameter degree should be final.	293
	Parameter sumCoefs should be final.	293
	Expected @param tag for 'sumCoefs'.	293
	Expected @throws tag for 'ContradictionException'.	294
	Line has trailing spaces.	314
	Unused @param tag for 's'.	315
	Parameter voc should be final.	324
	Expected @param tag for 'voc'.	324
	Parameter mpb should be final.	325

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.	275
	Parameter s should be final.	290
	Parameter voc should be final.	290
	Parameter lits should be final.	290
	Parameter coefs should be final.	291
	Parameter degree should be final.	291
	Parameter sumCoefs should be final.	291
	Expected @param tag for 'sumCoefs'.	291
	Expected @throws tag for 'ContradictionException'.	292
	Line has trailing spaces.	312
	Unused @param tag for 's'.	313
	Parameter voc should be final.	322
	Expected @param tag for 'voc'.	322
	Parameter mpb should be final.	323

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.	427
	Line has trailing spaces.	430
	Method 'updateWatched' is not designed for extension - needs to be abstract, final or empty.	437
	Parameter mc should be final.	437
	Parameter pIndice should be final.	437
	Line is longer than 80 characters.	455

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.	429
	Line has trailing spaces.	432
	Method 'updateWatched' is not designed for extension - needs to be abstract, final or empty.	439
	Parameter mc should be final.	439
	Parameter pIndice should be final.	439
	Line is longer than 80 characters.	456

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.	429
	Line has trailing spaces.	432
	Method 'updateWatched' is not designed for extension - needs to be abstract, final or empty.	439
	Parameter mc should be final.	439
	Parameter pIndice should be final.	439
	Line is longer than 80 characters.	456

org/sat4j/pb/constraints/pb/MinWatchPbLongLimit.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
	First sentence should end with a period.	55
	Variable 'compWatchCumul' must be private and have accessor methods.	59
	Variable 'watched' must be private and have accessor methods.	64
	First sentence should end with a period.	66
	Variable 'watching' must be private and have accessor methods.	69
	Line has trailing spaces.	73
	Variable 'watchingCount' must be private and have accessor methods.	76
	Line has trailing spaces.	80
	Line has trailing spaces.	82
	Parameter voc should be final.	88
	Parameter mpb should be final.	88
	Line has trailing spaces.	103
	Line is longer than 80 characters.	114
	Parameter voc should be final.	114
	Parameter lits should be final.	114
	Parameter coefs should be final.	114
	Parameter degree should be final.	115
	Parameter sumCoefs should be final.	115
	Expected @param tag for 'sumCoefs'.	115
	Line has trailing spaces.	130
	Line has trailing spaces.	132
	Method 'computeWatches' is not designed for extension - needs to be abstract, final or empty.	135
	Missing a Javadoc comment.	160
	Line is longer than 80 characters.	166
	Line has trailing spaces.	199
	Line has trailing spaces.	201
	Line is longer than 80 characters.	203
	Method 'computePropagation' is not designed for extension - needs to be abstract, final or empty.	206
	Parameter s should be final.	207
	Line is longer than 80 characters.	212
	Line has trailing spaces.	226
	Parameter s should be final.	241
	Parameter voc should be final.	241
	Parameter lits should be final.	241
	Parameter coefs should be final.	242
	Parameter degree should be final.	242
	Parameter sumCoefs should be final.	242
	Expected @param tag for 'sumCoefs'.	242
	Expected @throws tag for 'ContradictionException'.	243
	Line has trailing spaces.	263
	Line has trailing spaces.	265
	Method 'nbOfWatched' is not designed for extension - needs to be abstract, final or empty.	268
	Avoid inline conditionals.	276
	First sentence should end with a period.	281
	Line has trailing spaces.	283
	Method 'propagate' is not designed for extension - needs to be abstract, final or empty.	290
	Parameter s should be final.	291
	Parameter p should be final.	291
	Line is longer than 80 characters.	335
	First sentence should end with a period.	366
	Method 'remove' is not designed for extension - needs to be abstract, final or empty.	369
	Parameter upl should be final.	370
	Expected @param tag for 'upl'.	370
	First sentence should end with a period.	386
	Line has trailing spaces.	388
	Method 'undo' is not designed for extension - needs to be abstract, final or empty.	392
	Parameter p should be final.	393
	Line has trailing spaces.	416
	Unused @param tag for 's'.	417
	Parameter voc should be final.	426
	Expected @param tag for 'voc'.	426
	Parameter mpb should be final.	427
	First sentence should end with a period.	431
	Line has trailing spaces.	433
	Method 'maximalCoefficient' is not designed for extension - needs to be abstract, final or empty.	439
	Parameter pIndice should be final.	439
	Line has trailing spaces.	455
	Line has trailing spaces.	458
	Method 'updateWatched' is not designed for extension - needs to be abstract, final or empty.	465
	Parameter mc should be final.	465
	Parameter pIndice should be final.	465
	Line is longer than 80 characters.	507
	Missing a Javadoc comment.	550
	Parameter coef should be final.	550
	Missing a Javadoc comment.	557
	Parameter coef should be final.	557
	Missing a Javadoc comment.	566
	Parameter coef should be final.	566

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
	Missing a Javadoc comment.	44
	Redundant 'public' modifier.	44
	Missing a Javadoc comment.	46
	Redundant 'public' modifier.	46
	Missing a Javadoc comment.	48
	Redundant 'public' modifier.	48
	Missing a Javadoc comment.	50
	Redundant 'public' modifier.	50
	Missing a Javadoc comment.	52
	Redundant 'public' modifier.	52
	Missing a Javadoc comment.	54
	Redundant 'public' modifier.	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.	47
	Line has trailing spaces.	49
	Line has trailing spaces.	55
	Line contains a tab character.	55
	Line contains a tab character.	56
	First sentence should end with a period.	59
	Variable 'activity' must be private and have accessor methods.	62
	First sentence should end with a period.	64
	Variable 'coefs' must be private and have accessor methods.	67
	Missing a Javadoc comment.	69
	Variable 'sumcoefs' must be private and have accessor methods.	69
	First sentence should end with a period.	71
	Variable 'degree' must be private and have accessor methods.	74
	First sentence should end with a period.	76
	Variable 'lits' must be private and have accessor methods.	79
	First sentence should end with a period.	81
	Variable 'learnt' must be private and have accessor methods.	84
	First sentence should end with a period.	86
	Variable 'voc' must be private and have accessor methods.	89
	Parameter mpb should be final.	98
	Expected @param tag for 'mpb'.	98
	Parameter lits should be final.	115
	'lits' hides a field.	115
	Expected @param tag for 'lits'.	115
	Parameter coefs should be final.	115
	'coefs' hides a field.	115
	Expected @param tag for 'coefs'.	115
	Parameter degree should be final.	115
	'degree' hides a field.	115
	Expected @param tag for 'degree'.	115
	Parameter sumCoefs should be final.	116
	Expected @param tag for 'sumCoefs'.	116
	First sentence should end with a period.	125
	Line has trailing spaces.	128
	Method 'isAssertive' is not designed for extension - needs to be abstract, final or empty.	132
	Parameter dl should be final.	132
	Expected @param tag for 'dl'.	132
	First sentence should end with a period.	156
	Line has trailing spaces.	158
	Method 'calcReason' is not designed for extension - needs to be abstract, final or empty.	166
	Parameter p should be final.	166
	Parameter outReason should be final.	166
	Line is longer than 80 characters.	174
	Missing a Javadoc comment.	181
	'protected' modifier out of order with the JLS suggestions.	181
	Missing a Javadoc comment.	183
	'protected' modifier out of order with the JLS suggestions.	183
	First sentence should end with a period.	186
	Line has trailing spaces.	188
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	193
	Parameter i should be final.	193
	First sentence should end with a period.	197
	Line has trailing spaces.	199
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	204
	Parameter i should be final.	204
	First sentence should end with a period.	208
	Line has trailing spaces.	210
	Method 'getActivity' is not designed for extension - needs to be abstract, final or empty.	214
	First sentence should end with a period.	218
	Line has trailing spaces.	220
	Method 'incActivity' is not designed for extension - needs to be abstract, final or empty.	223
	Parameter claInc should be final.	223
	Expected @param tag for 'claInc'.	223
	Method 'setActivity' is not designed for extension - needs to be abstract, final or empty.	229
	Missing a Javadoc comment.	229
	Parameter d should be final.	229
	First sentence should end with a period.	235
	Line has trailing spaces.	238
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	241
	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.	255
	Parameter theCoefs should be final.	255
	Parameter theDegree should be final.	256
	First sentence should end with a period.	260
	Line has trailing spaces.	263
	Unused @param tag for 'coefs'.	264
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	268
	Parameter theCoefs should be final.	268
	Expected @param tag for 'theCoefs'.	268
	First sentence should end with a period.	280
	Line has trailing spaces.	283
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	286
	Line has trailing spaces.	292
	Line has trailing spaces.	294
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	297
	Line has trailing spaces.	303
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	307
	Line has trailing spaces.	313
	Method 'locked' is not designed for extension - needs to be abstract, final or empty.	316
	First sentence should end with a period.	325
	Line has trailing spaces.	328
	Parameter a should be final.	335
	Parameter b should be final.	335
	First sentence should end with a period.	339
	Line has trailing spaces.	341
	Method 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.	345
	Parameter d should be final.	345
	Method 'selectionSort' is not designed for extension - needs to be abstract, final or empty.	349
	Missing a Javadoc comment.	349
	Parameter from should be final.	349
	Parameter to should be final.	349
	Name 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.	350
	First sentence should end with a period.	372
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	375
	First sentence should end with a period.	379
	Line has trailing spaces.	381
	Method 'simplify' is not designed for extension - needs to be abstract, final or empty.	384
	Missing a Javadoc comment.	399
	First sentence should end with a period.	403
	'protected' modifier out of order with the JLS suggestions.	406
	First sentence should end with a period.	419
	Line has trailing spaces.	421
	'protected' modifier out of order with the JLS suggestions.	427
	Parameter from should be final.	427
	Parameter to should be final.	427
	'15' is a magic number.	429
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	470
	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

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.	45
	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 'activity' must be private and have accessor methods.	56
	First sentence should end with a period.	58
	Variable 'coefs' must be private and have accessor methods.	61
	Missing a Javadoc comment.	63
	Variable 'sumcoefs' must be private and have accessor methods.	63
	First sentence should end with a period.	65
	Variable 'degree' must be private and have accessor methods.	68
	First sentence should end with a period.	70
	Variable 'lits' must be private and have accessor methods.	73
	First sentence should end with a period.	75
	Variable 'learnt' must be private and have accessor methods.	78
	First sentence should end with a period.	80
	Variable 'voc' must be private and have accessor methods.	83
	Parameter mpb should be final.	92
	Expected @param tag for 'mpb'.	92
	Parameter lits should be final.	110
	'lits' hides a field.	110
	Expected @param tag for 'lits'.	110
	Parameter coefs should be final.	110
	'coefs' hides a field.	110
	Expected @param tag for 'coefs'.	110
	Parameter degree should be final.	110
	'degree' hides a field.	110
	Expected @param tag for 'degree'.	110
	Parameter sumCoefs should be final.	111
	Expected @param tag for 'sumCoefs'.	111
	Missing a Javadoc comment.	120
	Parameter bigValues should be final.	120
	First sentence should end with a period.	128
	Line has trailing spaces.	131
	Method 'isAssertive' is not designed for extension - needs to be abstract, final or empty.	135
	Parameter dl should be final.	135
	Expected @param tag for 'dl'.	135
	First sentence should end with a period.	159
	Line has trailing spaces.	161
	Method 'calcReason' is not designed for extension - needs to be abstract, final or empty.	169
	Parameter p should be final.	169
	Parameter outReason should be final.	169
	Missing a Javadoc comment.	192
	'protected' modifier out of order with the JLS suggestions.	192
	Missing a Javadoc comment.	194
	'protected' modifier out of order with the JLS suggestions.	194
	First sentence should end with a period.	197
	Line has trailing spaces.	199
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	204
	Parameter i should be final.	204
	First sentence should end with a period.	208
	Line has trailing spaces.	210
	Method 'getActivity' is not designed for extension - needs to be abstract, final or empty.	214
	First sentence should end with a period.	218
	Line has trailing spaces.	220
	Method 'incActivity' is not designed for extension - needs to be abstract, final or empty.	223
	Parameter claInc should be final.	223
	Expected @param tag for 'claInc'.	223
	Method 'setActivity' is not designed for extension - needs to be abstract, final or empty.	229
	Missing a Javadoc comment.	229
	Parameter d should be final.	229
	First sentence should end with a period.	235
	Line has trailing spaces.	238
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	241
	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.	255
	Parameter theCoefs should be final.	255
	Parameter theDegree should be final.	255
	First sentence should end with a period.	259
	Line has trailing spaces.	262
	Unused @param tag for 'coefs'.	263
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	267
	Parameter theCoefs should be final.	267
	Expected @param tag for 'theCoefs'.	267
	First sentence should end with a period.	279
	Line has trailing spaces.	282
	Method 'computeLeftSide' is not designed for extension - needs to be abstract, final or empty.	285
	Line has trailing spaces.	291
	Line has trailing spaces.	293
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	296
	Line has trailing spaces.	302
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	306
	Line has trailing spaces.	312
	Method 'locked' is not designed for extension - needs to be abstract, final or empty.	315
	First sentence should end with a period.	324
	Line has trailing spaces.	327
	Parameter a should be final.	334
	Parameter b should be final.	334
	First sentence should end with a period.	338
	Line has trailing spaces.	340
	Method 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.	344
	Parameter d should be final.	344
	Method 'selectionSort' is not designed for extension - needs to be abstract, final or empty.	348
	Missing a Javadoc comment.	348
	Parameter from should be final.	348
	Parameter to should be final.	348
	Name 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.	349
	First sentence should end with a period.	371
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	374
	First sentence should end with a period.	378
	Line has trailing spaces.	380
	Method 'simplify' is not designed for extension - needs to be abstract, final or empty.	383
	Missing a Javadoc comment.	398
	First sentence should end with a period.	402
	'protected' modifier out of order with the JLS suggestions.	405
	First sentence should end with a period.	417
	Line has trailing spaces.	419
	'protected' modifier out of order with the JLS suggestions.	425
	Parameter from should be final.	425
	Parameter to should be final.	425
	'15' is a magic number.	427
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	466
	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

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
	First sentence should end with a period.	53
	Variable 'activity' must be private and have accessor methods.	56
	First sentence should end with a period.	59
	Variable 'bigCoefs' must be private and have accessor methods.	62
	First sentence should end with a period.	64
	Variable 'bigDegree' must be private and have accessor methods.	67
	First sentence should end with a period.	69
	Variable 'coefs' must be private and have accessor methods.	72
	Missing a Javadoc comment.	74
	Variable 'sumcoefs' must be private and have accessor methods.	74
	First sentence should end with a period.	76
	Variable 'degree' must be private and have accessor methods.	79
	First sentence should end with a period.	81
	Variable 'lits' must be private and have accessor methods.	84
	First sentence should end with a period.	86
	Variable 'learnt' must be private and have accessor methods.	89
	First sentence should end with a period.	91
	Variable 'voc' must be private and have accessor methods.	94
	Parameter mpb should be final.	103
	Expected @param tag for 'mpb'.	103
	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
	'protected' modifier out of order with the JLS suggestions.	202
	Missing a Javadoc comment.	204
	'protected' modifier out of order with the JLS suggestions.	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
	Name 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.	379
	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
	'protected' modifier out of order with the JLS suggestions.	441
	First sentence should end with a period.	454
	Line has trailing spaces.	456
	'protected' modifier out of order with the JLS suggestions.	462
	Parameter from should be final.	462
	Parameter to should be final.	462
	'15' is a magic number.	464
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	510
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	535
	Missing a Javadoc comment.	535
	Parameter s should be final.	535
	Method 'register' is not designed for extension - needs to be abstract, final or empty.	545
	Missing a Javadoc comment.	545
	Line has trailing spaces.	557
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	560
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	566
	Missing a Javadoc comment.	566
	Line has trailing spaces.	572
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	575
	Method 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.	591
	Missing a Javadoc comment.	591
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	595
	Parameter pb should be final.	596
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	638
	Method 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.	647
	Missing a Javadoc comment.	647
	Parameter claInc should be final.	647
	Method 'getLongCoefs' is not designed for extension - needs to be abstract, final or empty.	653
	Missing a Javadoc comment.	653
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	659
	Missing a Javadoc comment.	659
	Parameter theCoefs should be final.	659
	Parameter theDegree should be final.	660
	First sentence should end with a period.	664
	Line has trailing spaces.	666
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	671
	Parameter i should be final.	671
	Line has trailing spaces.	677
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	680
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	689
	Method 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.	693
	Missing a Javadoc comment.	693
	Method 'toConstraint' is not designed for extension - needs to be abstract, final or empty.	697
	Missing a Javadoc comment.	697

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/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.	71

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.	54
	Missing a Javadoc comment.	57
	Line has trailing spaces.	60
	Missing a Javadoc comment.	64
	Variable 'stats' must be private and have accessor methods.	64
	Missing a Javadoc comment.	66
	Parameter learner should be final.	66
	Line is longer than 80 characters.	67
	Parameter dsf should be final.	67
	Parameter order should be final.	67
	Parameter restarter should be final.	67
	Missing a Javadoc comment.	73
	Parameter learner should be final.	73
	Parameter dsf should be final.	74
	Parameter params should be final.	74
	Parameter order should be final.	74
	Parameter restarter should be final.	75
	Method 'addPseudoBoolean' 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 moreThan should be final.	82
	Parameter degree should be final.	82
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	90
	Missing a Javadoc comment.	90
	Parameter obj should be final.	90
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	98
	Missing a Javadoc comment.	98
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	102
	Missing a Javadoc comment.	102
	Parameter literals should be final.	102
	Parameter coeffs should be final.	102
	Parameter degree should be final.	102
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	112
	Missing a Javadoc comment.	112
	Parameter literals should be final.	112
	Parameter coeffs should be final.	112
	Parameter degree should be final.	113
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	121
	Missing a Javadoc comment.	121
	Parameter literals should be final.	121
	Parameter coeffs should be final.	121
	Parameter degree should be final.	121
	Method 'addAtLeast' 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 'addExactly' is not designed for extension - needs to be abstract, final or empty.	140
	Missing a Javadoc comment.	140
	Parameter literals should be final.	140
	Parameter coeffs should be final.	140
	Parameter weight should be final.	140
	Method 'addExactly' 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 weight should be final.	151
	Line is longer than 80 characters.	166
	Variable 'objectiveFunctionBased' must be private and have accessor methods.	166
	Parameter learnedConstrs should be final.	200
	Inner assignments should be avoided.	202
	Line is longer than 80 characters.	213
	Line is longer than 80 characters.	214
	Line is longer than 80 characters.	227
	Line is longer than 80 characters.	234
	Parameter constr should be final.	243
	Parameter reason should be final.	258
	Parameter from should be final.	262

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
	Missing a Javadoc comment.	38
	Missing a Javadoc comment.	40
	Parameter order should be final.	40
	Parameter p should be final.	40
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	45
	Missing a Javadoc comment.	45
	Parameter obj should be final.	45

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/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
	Missing a Javadoc comment.	95
	Variable 'solver' must be private and have accessor methods.	95
	Missing a Javadoc comment.	97
	Variable 'lits' must be private and have accessor methods.	97
	Missing a Javadoc comment.	99
	Variable 'coeffs' must be private and have accessor methods.	99
	Missing a Javadoc comment.	101
	Variable 'd' must be private and have accessor methods.	101
	Missing a Javadoc comment.	103
	Variable 'operator' must be private and have accessor methods.	103
	Missing a Javadoc comment.	105
	Missing a Javadoc comment.	107
	Missing a Javadoc comment.	110
	Variable 'hasObjFunc' must be private and have accessor methods.	110
	Missing a Javadoc comment.	113
	Variable 'hasVariablesExplanation' must be private and have accessor methods.	113
	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
	Missing a Javadoc comment.	118
	Variable 'nbConstraintsRead' must be private and have accessor methods.	118
	First sentence should end with a period.	120
	Line has trailing spaces.	123
	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
	First sentence should end with a period.	133
	First sentence should end with a period.	139
	Method 'endObjective' is not designed for extension - needs to be abstract, final or empty.	142
	First sentence should end with a period.	151
	Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.	154
	Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty.	167
	Expected @throws tag for 'ContradictionException'.	167
	First sentence should end with a period.	184
	Line has trailing spaces.	186
	Parameter coeff should be final.	193
	Parameter var should be final.	193
	Expected @throws tag for 'ParseFormatException'.	194
	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
	Avoid inline conditionals.	201
	First sentence should end with a period.	204
	Line has trailing spaces.	206
	Method 'constraintRelOp' is not designed for extension - needs to be abstract, final or empty.	210
	Parameter relop should be final.	210
	First sentence should end with a period.	214
	Line has trailing spaces.	217
	Method 'constraintRightTerm' is not designed for extension - needs to be abstract, final or empty.	221
	Parameter val should be final.	221
	Missing a Javadoc comment.	225
	Variable 'in' must be private and have accessor methods.	225
	Missing a Javadoc comment.	227
	Variable 'savedChar' must be private and have accessor methods.	227
	Missing a Javadoc comment.	229
	Variable 'charAvailable' must be private and have accessor methods.	229
	Missing a Javadoc comment.	231
	Variable 'eofReached' must be private and have accessor methods.	231
	Missing a Javadoc comment.	233
	First sentence should end with a period.	235
	Line has trailing spaces.	237
	Expected an @return tag.	240
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	240
	Expected @throws tag for 'IOException'.	240
	Method 'getVars' is not designed for extension - needs to be abstract, final or empty.	260
	Missing a Javadoc comment.	260
	Method 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.	264
	Missing a Javadoc comment.	264
	First sentence should end with a period.	268
	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
	First sentence should end with a period.	276
	Expected an @return tag.	279
	Method 'eof' is not designed for extension - needs to be abstract, final or empty.	279
	Method 'eol' is not designed for extension - needs to be abstract, final or empty.	283
	Missing a Javadoc comment.	283
	First sentence should end with a period.	287
	Line has trailing spaces.	289
	Method 'skipSpaces' is not designed for extension - needs to be abstract, final or empty.	292
	Expected @throws tag for 'IOException'.	292
	First sentence should end with a period.	302
	Line has trailing spaces.	304
	Method 'readWord' is not designed for extension - needs to be abstract, final or empty.	308
	Expected @throws tag for 'IOException'.	308
	Inner assignments should be avoided.	314
	First sentence should end with a period.	322
	Line has trailing spaces.	324
	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
	Inner assignments should be avoided.	342
	First sentence should end with a period.	349
	Line has trailing spaces.	351
	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
	Expected @throws tag for 'ParseFormatException'.	357
	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
	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
	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
	First sentence should end with a period.	412
	Line has trailing spaces.	414
	Expected @throws tag for 'IOException'.	418
	First sentence should end with a period.	443
	Line has trailing spaces.	446
	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
	First sentence should end with a period.	484
	Line has trailing spaces.	486
	Expected @throws tag for 'IOException'.	489
	Inner assignments should be avoided.	494
	First sentence should end with a period.	501
	Line has trailing spaces.	503
	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
	Expected @throws tag for 'IOException'.	512
	Expected @throws tag for 'ParseFormatException'.	512
	Expected @throws tag for 'IOException'.	533
	Expected @throws tag for 'ParseFormatException'.	534
	First sentence should end with a period.	537
	Line has trailing spaces.	540
	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 is longer than 80 characters.	565
	First sentence should end with a period.	586
	Line has trailing spaces.	588
	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
	Expected @throws tag for 'ContradictionException'.	594
	Inner assignments should be avoided.	625
	Missing a Javadoc comment.	644
	Parameter solver should be final.	644
	'solver' hides a field.	644
	First sentence should end with a period.	650
	Line has trailing spaces.	653
	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
	Expected @throws tag for 'ContradictionException'.	659
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	698
	Missing a Javadoc comment.	706
	Parameter input should be final.	706
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	730
	Parameter model should be final.	731
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	747
	Parameter model should be final.	748
	Parameter out should be final.	748
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	761
	Missing a Javadoc comment.	761
	Method 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.	768
	Missing a Javadoc comment.	768
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	772
	'in' hides a field.	773

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/PBInstanceReader.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Line has trailing spaces.	48
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	55
	Missing a Javadoc comment.	57
	Missing a Javadoc comment.	59
	Parameter solver should be final.	59
	'solver' hides a field.	59
	Missing a Javadoc comment.	64
	Method 'hasObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	75
	Parameter filename should be final.	76
	Redundant throws: 'FileNotFoundException' is subclass of 'IOException'.	77
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	117
	Parameter model should be final.	119
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	123
	Parameter model should be final.	124
	Parameter out should be final.	124

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.	43
	Line has trailing spaces.	47
	Line contains a tab character.	47
	Line contains a tab character.	48
	Missing a Javadoc comment.	51
	Parameter solver should be final.	51
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	55
	Missing a Javadoc comment.	55
	Parameter lits should be final.	55
	Parameter coeffs should be final.	55
	Parameter moreThan should be final.	56
	Parameter d should be final.	56
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	60
	Missing a Javadoc comment.	60
	Parameter obj should be final.	60
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	68
	Missing a Javadoc comment.	68
	Parameter literals should be final.	68
	Parameter coeffs should be final.	68
	Parameter degree should be final.	68
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	73
	Missing a Javadoc comment.	73
	Parameter literals should be final.	73
	Parameter coeffs should be final.	73
	Parameter degree should be final.	74
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	78
	Missing a Javadoc comment.	78
	Parameter literals should be final.	78
	Parameter coeffs should be final.	78
	Parameter degree should be final.	78
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	83
	Missing a Javadoc comment.	83
	Parameter literals should be final.	83
	Parameter coeffs should be final.	83
	Parameter degree should be final.	84
	Method 'addExactly' 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 weight should be final.	88
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Parameter literals should be final.	93
	Parameter coeffs should be final.	93
	Parameter weight should be final.	94

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
	Missing a Javadoc comment.	43
	Missing a Javadoc comment.	45
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	47
	Missing a Javadoc comment.	49
	Parameter filename should be final.	49
	'filename' hides a field.	49
	Missing a Javadoc comment.	54
	Method 'learn' is not designed for extension - needs to be abstract, final or empty.	63
	Parameter c should be final.	64

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.	56
	Line has trailing spaces.	58
	Missing a Javadoc comment.	66
	Parameter thing should be final.	68
	Parameter thing should be final.	72
	Missing a Javadoc comment.	77
	Parameter thing should be final.	79
	Parameter thing should be final.	83
	Missing a Javadoc comment.	88
	Missing a Javadoc comment.	89
	Missing a Javadoc comment.	91
	Parameter thing should be final.	91
	'thing' hides a field.	91
	Missing a Javadoc comment.	95
	Line has trailing spaces.	101
	Line contains a tab character.	101
	Line contains a tab character.	102
	Missing a Javadoc comment.	105
	Missing a Javadoc comment.	106
	Missing a Javadoc comment.	107
	Variable 'descs' must be private and have accessor methods.	107
	Missing a Javadoc comment.	109
	Missing a Javadoc comment.	110
	Missing a Javadoc comment.	111
	Variable 'solver' must be private and have accessor methods.	111
	Missing a Javadoc comment.	112
	Missing a Javadoc comment.	114
	Missing a Javadoc comment.	115
	Missing a Javadoc comment.	116
	Missing a Javadoc comment.	118
	Missing a Javadoc comment.	119
	Line has trailing spaces.	122
	Parameter solver should be final.	126
	'solver' hides a field.	126
	Line has trailing spaces.	131
	Parameter solver should be final.	140
	'solver' hides a field.	140
	Parameter explanationEnabled should be final.	140
	'explanationEnabled' hides a field.	140
	Line has trailing spaces.	145
	Parameter solver should be final.	160
	'solver' hides a field.	160
	Parameter explanationEnabled should be final.	160
	'explanationEnabled' hides a field.	160
	Parameter canonicalOptFunctionEnabled should be final.	161
	Method 'setNegator' is not designed for extension - needs to be abstract, final or empty.	174
	Missing a Javadoc comment.	174
	Parameter negator should be final.	174
	'negator' hides a field.	174
	Line has trailing spaces.	180
	Method 'getIntValue' is not designed for extension - needs to be abstract, final or empty.	185
	Parameter thing should be final.	185
	Line has trailing spaces.	191
	Method 'getIntValue' is not designed for extension - needs to be abstract, final or empty.	200
	Parameter thing should be final.	200
	Parameter create should be final.	200
	Line has trailing spaces.	227
	Line has trailing spaces.	231
	Line has trailing spaces.	233
	Method 'getSolution' is not designed for extension - needs to be abstract, final or empty.	239
	Line has trailing spaces.	254
	Line has trailing spaces.	257
	Line has trailing spaces.	259
	Method 'getASolution' is not designed for extension - needs to be abstract, final or empty.	266
	Method 'getSolutionCost' is not designed for extension - needs to be abstract, final or empty.	279
	Missing a Javadoc comment.	279
	Line has trailing spaces.	287
	Unused @throws tag for 'IllegalArgumentException'.	292
	Method 'getBooleanValueFor' is not designed for extension - needs to be abstract, final or empty.	295
	Parameter t should be final.	295
	Line has trailing spaces.	300
	Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty.	305
	Expected @throws tag for 'TimeoutException'.	305
	Line has trailing spaces.	310
	Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty.	315
	Parameter assumps should be final.	315
	Expected @param tag for 'assumps'.	315
	Expected @throws tag for 'TimeoutException'.	315
	Line has trailing spaces.	324
	Method 'hasASolution' is not designed for extension - needs to be abstract, final or empty.	329
	Parameter assumps should be final.	329
	Expected @param tag for 'assumps'.	329
	Expected @throws tag for 'TimeoutException'.	329
	Line has trailing spaces.	339
	Line has trailing spaces.	341
	Method 'why' is not designed for extension - needs to be abstract, final or empty.	347
	Expected @throws tag for 'TimeoutException'.	347
	Line has trailing spaces.	364
	Method 'why' is not designed for extension - needs to be abstract, final or empty.	370
	Parameter thing should be final.	370
	Expected @param tag for 'thing'.	370
	Expected @throws tag for 'TimeoutException'.	370
	Line has trailing spaces.	378
	Method 'whyNot' is not designed for extension - needs to be abstract, final or empty.	384
	Parameter thing should be final.	384
	Expected @param tag for 'thing'.	384
	Expected @throws tag for 'TimeoutException'.	384
	Missing a Javadoc comment.	390
	Parameter assumps should be final.	390
	Line has trailing spaces.	399
	Method 'setTrue' is not designed for extension - needs to be abstract, final or empty.	409
	Parameter thing should be final.	409
	Parameter name should be final.	409
	Line has trailing spaces.	418
	Method 'setFalse' is not designed for extension - needs to be abstract, final or empty.	428
	Parameter thing should be final.	428
	Parameter name should be final.	428
	First sentence should end with a period.	437
	Line has trailing spaces.	439
	Method 'implication' is not designed for extension - needs to be abstract, final or empty.	445
	Parameter lhs should be final.	445
	Method 'disjunction' is not designed for extension - needs to be abstract, final or empty.	453
	Missing a Javadoc comment.	453
	Parameter lhs should be final.	453
	Line has trailing spaces.	464
	Unused Javadoc tag.	469
	Method 'atLeast' is not designed for extension - needs to be abstract, final or empty.	473
	Parameter name should be final.	473
	Expected @param tag for 'name'.	473
	Parameter i should be final.	473
	Parameter things should be final.	473
	Expected @throws tag for 'ContradictionException'.	474
	Line has trailing spaces.	485
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	494
	Parameter i should be final.	494
	Parameter things should be final.	494
	Expected @throws tag for 'ContradictionException'.	495
	Line has trailing spaces.	508
	Unused Javadoc tag.	513
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	517
	Parameter name should be final.	517
	Expected @param tag for 'name'.	517
	Parameter i should be final.	517
	Parameter things should be final.	517
	Expected @throws tag for 'ContradictionException'.	518
	Line has trailing spaces.	528
	Line has trailing spaces.	531
	Method 'clause' is not designed for extension - needs to be abstract, final or empty.	534
	Parameter name should be final.	534
	Expected @param tag for 'name'.	534
	Parameter things should be final.	534
	Expected @param tag for 'things'.	534
	Expected @throws tag for 'ContradictionException'.	534
	Line has trailing spaces.	550
	Unused @param tag for 'things'.	553
	Method 'iff' is not designed for extension - needs to be abstract, final or empty.	557
	Parameter name should be final.	557
	Expected @param tag for 'name'.	557
	Parameter thing should be final.	557
	Parameter otherThings should be final.	557
	Expected @param tag for 'otherThings'.	557
	Expected @throws tag for 'ContradictionException'.	558
	Line has trailing spaces.	574
	Method 'and' is not designed for extension - needs to be abstract, final or empty.	580
	Parameter name should be final.	580
	Expected @param tag for 'name'.	580
	Parameter thing should be final.	580
	Expected @param tag for 'thing'.	580
	Parameter otherThings should be final.	580
	Expected @param tag for 'otherThings'.	580
	Expected @throws tag for 'ContradictionException'.	581
	Line has trailing spaces.	597
	Method 'or' is not designed for extension - needs to be abstract, final or empty.	603
	Parameter name should be final.	603
	Expected @param tag for 'name'.	603
	Parameter thing should be final.	603
	Expected @param tag for 'thing'.	603
	Parameter otherThings should be final.	603
	Expected @param tag for 'otherThings'.	603
	Expected @throws tag for 'ContradictionException'.	604
	Line has trailing spaces.	620
	Method 'halfOr' is not designed for extension - needs to be abstract, final or empty.	626
	Parameter name should be final.	626
	Expected @param tag for 'name'.	626
	Parameter thing should be final.	626
	Expected @param tag for 'thing'.	626
	Parameter otherThings should be final.	626
	Expected @param tag for 'otherThings'.	626
	Expected @throws tag for 'ContradictionException'.	627
	First sentence should end with a period.	640
	Line has trailing spaces.	643
	Method 'ifThenElse' is not designed for extension - needs to be abstract, final or empty.	649
	Parameter name should be final.	649
	Expected @param tag for 'name'.	649
	Parameter thing should be final.	649
	Expected @param tag for 'thing'.	649
	Parameter conditionThing should be final.	649
	Expected @param tag for 'conditionThing'.	649
	Parameter thenThing should be final.	649
	Expected @param tag for 'thenThing'.	649
	Parameter elseThing should be final.	650
	Expected @param tag for 'elseThing'.	650
	Expected @throws tag for 'ContradictionException'.	650
	Line has trailing spaces.	664
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	669
	Parameter wobj should be final.	669
	Missing a Javadoc comment.	677
	Parameter thing should be final.	677
	Parameter weight should be final.	677
	Inner assignments should be avoided.	681
	Missing a Javadoc comment.	689
	Parameter n should be final.	689
	Line has trailing spaces.	701
	Method 'addToObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	705
	Parameter thing should be final.	705
	Expected @param tag for 'thing'.	705
	Parameter weight should be final.	705
	Expected @param tag for 'weight'.	705
	Line has trailing spaces.	711
	Method 'addToObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	715
	Parameter thing should be final.	715
	Expected @param tag for 'thing'.	715
	Parameter weight should be final.	715
	Expected @param tag for 'weight'.	715
	'20' is a magic number.	716
	Line has trailing spaces.	724
	Method 'atLeast' is not designed for extension - needs to be abstract, final or empty.	729
	Parameter name should be final.	729
	Expected @param tag for 'name'.	729
	Parameter degree should be final.	729
	Expected @param tag for 'degree'.	729
	Parameter wobj should be final.	729
	Expected @param tag for 'wobj'.	729
	Expected @throws tag for 'ContradictionException'.	730
	Line has trailing spaces.	746
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	751
	Parameter name should be final.	751
	Expected @param tag for 'name'.	751
	Parameter degree should be final.	751
	Expected @param tag for 'degree'.	751
	Parameter wobj should be final.	751
	Expected @param tag for 'wobj'.	751
	Expected @throws tag for 'ContradictionException'.	752
	Method 'atMost' is not designed for extension - needs to be abstract, final or empty.	764
	Missing a Javadoc comment.	764
	Parameter name should be final.	764
	Parameter degree should be final.	764
	Parameter wobj should be final.	764
	Method 'stopSolver' is not designed for extension - needs to be abstract, final or empty.	773
	Method 'stopExplanation' is not designed for extension - needs to be abstract, final or empty.	781
	Method 'discard' is not designed for extension - needs to be abstract, final or empty.	788
	Missing a Javadoc comment.	788
	Parameter things should be final.	788
	Method 'discardSolutionsWithObjectiveValueGreaterThan' is not designed for extension - needs to be abstract, final or empty.	796
	Missing a Javadoc comment.	796
	Parameter value should be final.	796
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	807
	Missing a Javadoc comment.	807
	Avoid inline conditionals.	812
	Method 'getNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.	819
	Missing a Javadoc comment.	819
	Method 'getNumberOfConstraints' is not designed for extension - needs to be abstract, final or empty.	823
	Missing a Javadoc comment.	823
	Method 'getMappingToDomain' is not designed for extension - needs to be abstract, final or empty.	827
	Missing a Javadoc comment.	827
	Method 'not' is not designed for extension - needs to be abstract, final or empty.	831
	Missing a Javadoc comment.	831
	Parameter thing should be final.	831
	Method 'getSolver' is not designed for extension - needs to be abstract, final or empty.	839
	Line has trailing spaces.	848
	Method 'reset' is not designed for extension - needs to be abstract, final or empty.	851

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 'fixCriterionValue' is not designed for extension - needs to be abstract, final or empty.	99
	Method 'discardSolutionsForOptimizing' is not designed for extension - needs to be abstract, final or empty.	109
	Method 'numberOfCriteria' is not designed for extension - needs to be abstract, final or empty.	117
	Method 'addAtMost' 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 degree should be final.	122
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	127
	Missing a Javadoc comment.	127
	Parameter literals should be final.	127
	Parameter coeffs should be final.	127
	Parameter degree should be final.	128
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	132
	Missing a Javadoc comment.	132
	Parameter literals should be final.	132
	Parameter coeffs should be final.	132
	Parameter degree should be final.	132
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	137
	Missing a Javadoc comment.	137
	Parameter literals should be final.	137
	Parameter coeffs should be final.	137
	Parameter degree should be final.	138
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	142
	Missing a Javadoc comment.	142
	Parameter literals should be final.	142
	Parameter coeffs should be final.	142
	Parameter weight should be final.	142
	Method 'addExactly' is not designed for extension - needs to be abstract, final or empty.	147
	Missing a Javadoc comment.	147
	Parameter literals should be final.	147
	Parameter coeffs should be final.	147
	Parameter weight should be final.	148

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/StringNegator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Class StringNegator should be declared as final.	32
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	34
	Name 'instance' must match pattern '^[A-Z][A-Z0-9](_[A-Z0-9]+)$'.	34
	Missing a Javadoc comment.	36
	Missing a Javadoc comment.	40
	Parameter thing should be final.	40
	Missing a Javadoc comment.	47
	Parameter thing should be final.	47

org/sat4j/pb/tools/WeightedObject.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line is longer than 80 characters.	29
	Class WeightedObject should be declared as final.	35
	Missing a Javadoc comment.	35
	Missing a Javadoc comment.	37
	Variable 'thing' must be private and have accessor methods.	37
	Missing a Javadoc comment.	38
	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
	Missing a Javadoc comment.	45
	Missing a Javadoc comment.	49
	Parameter delta should be final.	49
	Missing a Javadoc comment.	53
	Parameter arg0 should be final.	53
	Missing a Javadoc comment.	57
	Parameter e should be final.	57
	Parameter w should be final.	57
	Missing a Javadoc comment.	61
	Parameter e should be final.	61
	Parameter w should be final.	61
	Missing a Javadoc comment.	65
	Parameter e should be final.	65
	Parameter w should be final.	65
	Avoid inline conditionals.	74
	Avoid inline conditionals.	76
	Parameter obj should be final.	81

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/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/MinWatchPbLongLimit.java

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

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