SAT4J pseudo - Checkstyle Results

Checkstyle Results

The following document contains the results of Checkstyle .

Summary

Files	Infos	Warnings	Errors
64	0	0	4232

Files

Files	I	W	E
org/sat4j/pb/IPBSolver.java	0	0	19
org/sat4j/pb/LanceurPseudo2005.java	0	0	31
org/sat4j/pb/LanceurPseudo2007.java	0	0	27
org/sat4j/pb/LanceurPseudo2007Eclipse.java	0	0	48
org/sat4j/pb/OPBStringSolver.java	0	0	205
org/sat4j/pb/ObjectiveFunction.java	0	0	48
org/sat4j/pb/OptToPBSATAdapter.java	0	0	52
org/sat4j/pb/PBSolverDecorator.java	0	0	37
org/sat4j/pb/PseudoOptDecorator.java	0	0	60
org/sat4j/pb/SolverFactory.java	0	0	501
org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java	0	0	100
org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java	0	0	93
org/sat4j/pb/constraints/AbstractPBDataStructureFactoryPB.java	0	0	48
org/sat4j/pb/constraints/CompetPBMaxClauseCardConstrDataStructure.java	0	0	34
org/sat4j/pb/constraints/PBMaxCBClauseCardConstrDataStructure.java	0	0	14
org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java	0	0	15
org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java	0	0	29
org/sat4j/pb/constraints/PBMaxDataStructure.java	0	0	51
org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java	0	0	28
org/sat4j/pb/constraints/PBMinDataStructure.java	0	0	47
org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java	0	0	15
org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java	0	0	90
org/sat4j/pb/constraints/PuebloPBMinDataStructure.java	0	0	46
org/sat4j/pb/constraints/package.html	0	0	1
org/sat4j/pb/constraints/pb/AtLeastPB.java	0	0	39
org/sat4j/pb/constraints/pb/BinaryClausePB.java	0	0	59
org/sat4j/pb/constraints/pb/ConflictMap.java	0	0	147
org/sat4j/pb/constraints/pb/ConflictMapCardinality.java	0	0	13
org/sat4j/pb/constraints/pb/ConflictMapClause.java	0	0	25
org/sat4j/pb/constraints/pb/ConflictMapMerging.java	0	0	31
org/sat4j/pb/constraints/pb/HTClausePB.java	0	0	89
org/sat4j/pb/constraints/pb/IConflict.java	0	0	22
org/sat4j/pb/constraints/pb/IDataStructurePB.java	0	0	26
org/sat4j/pb/constraints/pb/IInternalPBConstraintCreator.java	0	0	10
org/sat4j/pb/constraints/pb/InternalMapPBStructure.java	0	0	185
org/sat4j/pb/constraints/pb/MapPb.java	0	0	100
org/sat4j/pb/constraints/pb/MaxWatchPb.java	0	0	117
org/sat4j/pb/constraints/pb/MinWatchCardPB.java	0	0	66
org/sat4j/pb/constraints/pb/MinWatchPb.java	0	0	133
org/sat4j/pb/constraints/pb/MixableCBClausePB.java	0	0	44
org/sat4j/pb/constraints/pb/PBConstr.java	0	0	18
org/sat4j/pb/constraints/pb/Pseudos.java	0	0	150
org/sat4j/pb/constraints/pb/PuebloMinWatchPb.java	0	0	84
org/sat4j/pb/constraints/pb/UnitClausePB.java	0	0	42
org/sat4j/pb/constraints/pb/WatchPb.java	0	0	157
org/sat4j/pb/core/PBDataStructureFactory.java	0	0	22
org/sat4j/pb/core/PBSolver.java	0	0	80
org/sat4j/pb/core/PBSolverCP.java	0	0	199
org/sat4j/pb/core/PBSolverClause.java	0	0	37
org/sat4j/pb/core/PBSolverMerging.java	0	0	35
org/sat4j/pb/core/PBSolverResolution.java	0	0	49
org/sat4j/pb/core/PBSolverWithImpliedClause.java	0	0	43
org/sat4j/pb/core/package.html	0	0	1
org/sat4j/pb/orders/VarOrderHeapObjective.java	0	0	73
org/sat4j/pb/orders/package.html	0	0	1
org/sat4j/pb/package.html	0	0	1
org/sat4j/pb/reader/GoodOPBReader.java	0	0	57
org/sat4j/pb/reader/OPBEclipseReader2007.java	0	0	48
org/sat4j/pb/reader/OPBReader2005.java	0	0	218
org/sat4j/pb/reader/OPBReader2006.java	0	0	19
org/sat4j/pb/reader/OPBReader2007.java	0	0	124
org/sat4j/pb/reader/PBInstanceReader.java	0	0	28
org/sat4j/pb/reader/package.html	0	0	1

Rules

Rules	Violations	Severity
PackageHtml	5	Error
NewlineAtEndOfFile	1	Error
Translation	0	Error
JavadocMethod	529	Error
JavadocType	32	Error
JavadocVariable	61	Error
JavadocStyle	83	Error
ConstantName	0	Error
LocalFinalVariableName	0	Error
LocalVariableName	1	Error
MemberName	0	Error
MethodName	0	Error
PackageName	0	Error
ParameterName	0	Error
StaticVariableName	0	Error
TypeName	0	Error
AvoidStarImport	0	Error
IllegalImport	0	Error
RedundantImport	0	Error
UnusedImports	2	Error
FileLength	0	Error
LineLength	197	Error
MethodLength	0	Error
ParameterNumber	0	Error
EmptyForIteratorPad	0	Error
MethodParamPad	0	Error
NoWhitespaceAfter	0	Error
NoWhitespaceBefore	2	Error
OperatorWrap	0	Error
ParenPad	0	Error
TypecastParenPad	0	Error
TabCharacter	509	Error
WhitespaceAfter	54	Error
WhitespaceAround	1065	Error
ModifierOrder	14	Error
RedundantModifier	20	Error
AvoidNestedBlocks	0	Error
EmptyBlock	2	Error
LeftCurly	0	Error
NeedBraces	160	Error
RightCurly	2	Error
AvoidInlineConditionals	9	Error
DoubleCheckedLocking	0	Error
EmptyStatement	1	Error
EqualsHashCode	0	Error
HiddenField	13	Error
IllegalInstantiation	0	Error
InnerAssignment	5	Error
MagicNumber	7	Error
MissingSwitchDefault	0	Error
RedundantThrows	1	Error
SimplifyBooleanExpression	0	Error
SimplifyBooleanReturn	0	Error
DesignForExtension	278	Error
FinalClass	4	Error
HideUtilityClassConstructor	1	Error
InterfaceIsType	0	Error
VisibilityModifier	33	Error
ArrayTypeStyle	2	Error
FinalParameters	628	Error
GenericIllegalRegexp message : `"Line has trailing spaces."` format : `"\s+$"`	511	Error
TodoComment	0	Error
UpperEll	0	Error

Details

org/sat4j/pb/IPBSolver.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	40
	First sentence should end with a period.	46
	Line has trailing spaces.	49
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	Line has trailing spaces.	71
	Missing a Javadoc comment.	72
	Redundant 'public' modifier.	72
	Line has trailing spaces.	73
	Missing a Javadoc comment.	74
	Redundant 'public' modifier.	74
	Missing a Javadoc comment.	76
	Redundant 'public' modifier.	76

org/sat4j/pb/LanceurPseudo2005.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	41
	Line has trailing spaces.	47
	First sentence should end with a period.	51
	Line has trailing spaces.	53
	Missing a Javadoc comment.	64
	Variable 'obfct' must be private and have accessor methods.	64
	Line has trailing spaces.	68
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Parameter theSolver should be final.	72
	Parameter problemname should be final.	72
	'cast' is not followed by whitespace.	73
	Line has trailing spaces.	78
	Method 'configureSolver' is not designed for extension - needs to be abstract, final or empty.	81
	Missing a Javadoc comment.	81
	Parameter args should be final.	82
	'==' is not preceded with whitespace.	90
	'3' is a magic number.	90
	'==' is not followed by whitespace.	90
	Method 'usage' is not designed for extension - needs to be abstract, final or empty.	97
	Missing a Javadoc comment.	97
	Line is longer than 80 characters.	99
	Method 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.	103
	Missing a Javadoc comment.	103
	Parameter args should be final.	104
	'3' is a magic number.	105

org/sat4j/pb/LanceurPseudo2007.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	37
	Line contains a tab character.	43
	Line has trailing spaces.	44
	Line contains a tab character.	44
	Line contains a tab character.	45
	Line contains a tab character.	46
	Line has trailing spaces.	47
	Line contains a tab character.	47
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	48
	Missing a Javadoc comment.	48
	Parameter theSolver should be final.	49
	Parameter problemname should be final.	49
	'cast' is not followed by whitespace.	50
	First sentence should end with a period.	52
	Line has trailing spaces.	54
	'==' is not preceded with whitespace.	61
	'==' is not followed by whitespace.	61
	'\|\|' is not preceded with whitespace.	61
	'\|\|' is not followed by whitespace.	61
	'>' is not preceded with whitespace.	61
	'3' is a magic number.	61
	'>' is not followed by whitespace.	61

org/sat4j/pb/LanceurPseudo2007Eclipse.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	39
	Line contains a tab character.	41
	Line has trailing spaces.	42
	Line contains a tab character.	42
	Line contains a tab character.	43
	Line contains a tab character.	44
	Line contains a tab character.	47
	Missing a Javadoc comment.	47
	Line contains a tab character.	48
	Line contains a tab character.	49
	Line has trailing spaces.	51
	Line contains a tab character.	51
	Method 'solve' is not designed for extension - needs to be abstract, final or empty.	52
	Missing a Javadoc comment.	52
	Parameter problem should be final.	53
	'{' is not preceded with whitespace.	56
	Line is longer than 80 characters.	57
	Line contains a tab character.	57
	Method 'createReader' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Line contains a tab character.	63
	Parameter theSolver should be final.	63
	Parameter problemname should be final.	63
	Line contains a tab character.	64
	First sentence should end with a period.	66
	Line has trailing spaces.	68
	'==' is not preceded with whitespace.	75
	'==' is not followed by whitespace.	75
	'\|\|' is not preceded with whitespace.	75
	'\|\|' is not followed by whitespace.	75
	'>' is not preceded with whitespace.	75
	'>' is not followed by whitespace.	75
	Method 'displayAnswer' is not designed for extension - needs to be abstract, final or empty.	83
	Missing a Javadoc comment.	83
	'{' is not preceded with whitespace.	84
	Line contains a tab character.	85
	Line contains a tab character.	86
	'if' construct must use '{}'s.	88
	Line contains a tab character.	88
	Line contains a tab character.	89
	'cast' is not followed by whitespace.	89
	Line has trailing spaces.	90
	Line has trailing spaces.	93

org/sat4j/pb/OPBStringSolver.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	20
	Line has trailing spaces.	26
	Line has trailing spaces.	41
	Line has trailing spaces.	43
	Line has trailing spaces.	45
	Line contains a tab character.	49
	Line has trailing spaces.	50
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	52
	Line has trailing spaces.	53
	Line contains a tab character.	53
	Line contains a tab character.	54
	Missing a Javadoc comment.	54
	Line has trailing spaces.	55
	Line contains a tab character.	55
	Line contains a tab character.	56
	Missing a Javadoc comment.	56
	Line contains a tab character.	58
	Line has trailing spaces.	59
	Line contains a tab character.	59
	Line contains a tab character.	60
	Line contains a tab character.	61
	Line contains a tab character.	62
	Line contains a tab character.	64
	Line contains a tab character.	65
	Line contains a tab character.	66
	Line contains a tab character.	67
	Parameter initSize should be final.	67
	Expected @param tag for 'initSize'.	67
	Line contains a tab character.	68
	Line contains a tab character.	69
	Line contains a tab character.	71
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Parameter lits should be final.	71
	Parameter coeffs should be final.	71
	'<' is not preceded with whitespace.	71
	'<' is not followed by whitespace.	71
	'>' is not preceded with whitespace.	71
	Line is longer than 80 characters.	72
	Line contains a tab character.	72
	Parameter moreThan should be final.	72
	Parameter d should be final.	72
	Line contains a tab character.	73
	Line contains a tab character.	74
	Line contains a tab character.	75
	'++' is preceded with whitespace.	75
	Line contains a tab character.	76
	'for' construct must use '{}'s.	77
	Line contains a tab character.	77
	'<' is not followed by whitespace.	77
	';' is not followed by whitespace.	77
	Line is longer than 80 characters.	78
	Line contains a tab character.	78
	'+' is not preceded with whitespace.	78
	'+' is not followed by whitespace.	78
	'+' is not preceded with whitespace.	78
	Line contains a tab character.	79
	'+' is not preceded with whitespace.	79
	'+' is not followed by whitespace.	79
	'+' is not preceded with whitespace.	79
	'+' is not followed by whitespace.	79
	Line contains a tab character.	80
	'}' should be on the same line.	80
	'for' construct must use '{}'s.	82
	Line contains a tab character.	82
	'<' is not followed by whitespace.	82
	';' is not followed by whitespace.	82
	Line is longer than 80 characters.	83
	Line contains a tab character.	83
	'+' is not preceded with whitespace.	83
	'+' is not followed by whitespace.	83
	'+' is not preceded with whitespace.	83
	Line has trailing spaces.	84
	Line contains a tab character.	84
	'+' is not preceded with whitespace.	84
	'+' is not followed by whitespace.	84
	'+' is not preceded with whitespace.	84
	'+' is not followed by whitespace.	84
	Line has trailing spaces.	86
	Line contains a tab character.	87
	Line contains a tab character.	89
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	89
	Missing a Javadoc comment.	89
	Parameter obj should be final.	89
	Line contains a tab character.	90
	Line contains a tab character.	91
	Line contains a tab character.	92
	'+' is not preceded with whitespace.	92
	'+' is not followed by whitespace.	92
	'+' is not preceded with whitespace.	92
	'+' is not followed by whitespace.	92
	Line contains a tab character.	93
	Line contains a tab character.	94
	Line contains a tab character.	95
	'<' is not preceded with whitespace.	95
	'<' is not followed by whitespace.	95
	'>' is not preceded with whitespace.	95
	'for' construct must use '{}'s.	96
	Line contains a tab character.	96
	'<' is not followed by whitespace.	96
	';' is not followed by whitespace.	96
	Line contains a tab character.	97
	'+' is not preceded with whitespace.	97
	'+' is not followed by whitespace.	97
	'+' is not preceded with whitespace.	97
	Line contains a tab character.	98
	Line contains a tab character.	99
	',' is not followed by whitespace.	99
	Line contains a tab character.	100
	Line contains a tab character.	102
	Method 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.	102
	Missing a Javadoc comment.	102
	Line contains a tab character.	103
	Parameter literals should be final.	103
	Parameter degree should be final.	103
	Line contains a tab character.	104
	Line contains a tab character.	105
	Line contains a tab character.	106
	'for' construct must use '{}'s.	107
	';' is not followed by whitespace.	107
	'+' is not preceded with whitespace.	108
	'+' is not followed by whitespace.	108
	'+' is not preceded with whitespace.	109
	'+' is not followed by whitespace.	109
	'+' is not preceded with whitespace.	109
	'+' is not followed by whitespace.	109
	Line has trailing spaces.	110
	Line contains a tab character.	111
	Line contains a tab character.	113
	Method 'addAtMost' is not designed for extension - needs to be abstract, final or empty.	113
	Missing a Javadoc comment.	113
	Line contains a tab character.	114
	Parameter literals should be final.	114
	Parameter degree should be final.	114
	Line contains a tab character.	115
	Line contains a tab character.	116
	Line contains a tab character.	117
	'for' construct must use '{}'s.	118
	';' is not followed by whitespace.	118
	'+' is not preceded with whitespace.	119
	'+' is not followed by whitespace.	119
	'+' is not preceded with whitespace.	120
	'+' is not followed by whitespace.	120
	'+' is not preceded with whitespace.	120
	'+' is not followed by whitespace.	120
	Line has trailing spaces.	121
	Line contains a tab character.	122
	Line contains a tab character.	124
	Method 'addClause' is not designed for extension - needs to be abstract, final or empty.	124
	Missing a Javadoc comment.	124
	Line is longer than 80 characters.	125
	Line contains a tab character.	125
	Parameter literals should be final.	125
	Line contains a tab character.	126
	Line contains a tab character.	127
	'for' construct must use '{}'s.	128
	';' is not followed by whitespace.	128
	'+' is not preceded with whitespace.	129
	'+' is not followed by whitespace.	129
	Line has trailing spaces.	131
	Line contains a tab character.	132
	Line contains a tab character.	134
	Line contains a tab character.	135
	Line contains a tab character.	136
	Line contains a tab character.	137
	Method 'getExplanation' is not designed for extension - needs to be abstract, final or empty.	137
	Missing a Javadoc comment.	137
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	142
	Line is longer than 80 characters.	143
	Line contains a tab character.	143
	Line contains a tab character.	144
	Line contains a tab character.	145
	Missing a Javadoc comment.	145
	Parameter listOfVariables should be final.	145
	Line contains a tab character.	146
	Line contains a tab character.	148
	Line has trailing spaces.	149
	Line contains a tab character.	149
	Line contains a tab character.	150
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	150
	Missing a Javadoc comment.	150
	Line contains a tab character.	151
	'{' is not preceded with whitespace.	151
	Line contains a tab character.	152
	Line contains a tab character.	153
	Line contains a tab character.	155
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	155
	Missing a Javadoc comment.	155
	Line contains a tab character.	156
	Parameter prefix should be final.	156
	Line contains a tab character.	158
	Method 'newVar' is not designed for extension - needs to be abstract, final or empty.	160
	Missing a Javadoc comment.	160
	Parameter howmany should be final.	161
	Line contains a tab character.	162
	Line has trailing spaces.	169
	Missing a Javadoc comment.	170
	Parameter nb should be final.	171

org/sat4j/pb/ObjectiveFunction.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	40
	Line has trailing spaces.	42
	Line has trailing spaces.	44
	Line has trailing spaces.	49
	Missing a Javadoc comment.	54
	'<' is not preceded with whitespace.	54
	'<' is not followed by whitespace.	54
	'>' is not preceded with whitespace.	54
	Missing a Javadoc comment.	56
	Missing a Javadoc comment.	58
	Parameter vars should be final.	58
	'vars' hides a field.	58
	Parameter coeffs should be final.	58
	'<' is not preceded with whitespace.	58
	'<' is not followed by whitespace.	58
	'>' is not preceded with whitespace.	58
	'coeffs' hides a field.	58
	'<' is not preceded with whitespace.	60
	'<' is not followed by whitespace.	60
	'>' is not preceded with whitespace.	60
	'>' is not followed by whitespace.	60
	Method 'calculateDegree' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	Parameter model should be final.	64
	'if' construct must use '{}'s.	69
	'<' is not preceded with whitespace.	71
	'<' is not followed by whitespace.	71
	'&&' is not preceded with whitespace.	71
	'&&' is not followed by whitespace.	71
	Line is longer than 80 characters.	72
	Line is longer than 80 characters.	73
	Missing a Javadoc comment.	80
	Parameter var should be final.	80
	Parameter model should be final.	80
	'for' construct must use '{}'s.	81
	'if' construct must use '{}'s.	82
	Method 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.	87
	Missing a Javadoc comment.	87
	'<' is not preceded with whitespace.	87
	'<' is not followed by whitespace.	87
	'>' is not preceded with whitespace.	87
	Method 'getVars' is not designed for extension - needs to be abstract, final or empty.	91
	Missing a Javadoc comment.	91

org/sat4j/pb/OptToPBSATAdapter.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.	38
	Line has trailing spaces.	44
	Missing a Javadoc comment.	48
	Variable 'problem' must be private and have accessor methods.	48
	Missing a Javadoc comment.	50
	Variable 'modelComputed' must be private and have accessor methods.	50
	Missing a Javadoc comment.	52
	Parameter problem should be final.	52
	'problem' hides a field.	52
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	57
	Missing a Javadoc comment.	57
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	63
	Missing a Javadoc comment.	63
	Parameter global should be final.	64
	Line contains a tab character.	65
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	68
	Missing a Javadoc comment.	68
	Parameter assumps should be final.	69
	Parameter global should be final.	69
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	74
	Missing a Javadoc comment.	74
	Parameter assumps should be final.	75
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	79
	Missing a Javadoc comment.	79
	'if' construct must use '{}'s.	81
	Line has trailing spaces.	81
	Line contains a tab character.	81
	Line contains a tab character.	82
	Line contains a tab character.	86
	Must have at least one statement.	92
	Must have at least one statement.	94
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	101
	Missing a Javadoc comment.	101
	Parameter var should be final.	102
	'if' construct must use '{}'s.	103
	Line contains a tab character.	103
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	107
	Missing a Javadoc comment.	107
	Line has trailing spaces.	108
	Parameter prefix should be final.	108
	Line is longer than 80 characters.	109
	'+' is not preceded with whitespace.	109
	'+' is not followed by whitespace.	109
	'+' is not preceded with whitespace.	109
	'+' is not followed by whitespace.	109

org/sat4j/pb/PBSolverDecorator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	40
	Line is longer than 80 characters.	44
	'<' is not preceded with whitespace.	44
	'<' is not followed by whitespace.	44
	'>' is not preceded with whitespace.	44
	Line has trailing spaces.	47
	Missing a Javadoc comment.	51
	Parameter solver should be final.	51
	Line has trailing spaces.	54
	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
	'<' is not preceded with whitespace.	55
	'<' is not followed by whitespace.	55
	'>' is not preceded with whitespace.	55
	Parameter moreThan should be final.	56
	Parameter d should be final.	56
	Line has trailing spaces.	59
	Method 'setListOfVariablesForExplanation' is not designed for extension - needs to be abstract, final or empty.	60
	Missing a Javadoc comment.	60
	Parameter varExplain should be final.	60
	Line contains a tab character.	61
	Line has trailing spaces.	63
	Method 'getExplanation' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	'{' is not preceded with whitespace.	64
	Line contains a tab character.	65
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	68
	Missing a Javadoc comment.	68
	Parameter obj should be final.	68
	Line has trailing spaces.	71

org/sat4j/pb/PseudoOptDecorator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	38
	Line has trailing spaces.	46
	Missing a Javadoc comment.	50
	Line has trailing spaces.	51
	Missing a Javadoc comment.	52
	Missing a Javadoc comment.	53
	Line has trailing spaces.	54
	Missing a Javadoc comment.	55
	Parameter solver should be final.	55
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter objf should be final.	60
	Method 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.	65
	Missing a Javadoc comment.	65
	Line contains a tab character.	68
	'=' is not preceded with whitespace.	70
	'=' is not followed by whitespace.	70
	';' is not followed by whitespace.	70
	'<' is not preceded with whitespace.	70
	'<' is not followed by whitespace.	70
	';' is not followed by whitespace.	70
	Line contains a tab character.	71
	'=' is not preceded with whitespace.	71
	'=' is not followed by whitespace.	71
	'+' is not preceded with whitespace.	71
	'+' is not followed by whitespace.	71
	Method 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	77
	Missing a Javadoc comment.	77
	Method 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.	81
	Missing a Javadoc comment.	81
	Method 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.	85
	Missing a Javadoc comment.	85
	Method 'discard' is not designed for extension - needs to be abstract, final or empty.	89
	Missing a Javadoc comment.	89
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	94
	Missing a Javadoc comment.	94
	Method 'model' is not designed for extension - needs to be abstract, final or empty.	100
	Missing a Javadoc comment.	100
	Line contains a tab character.	101
	Parameter var should be final.	101
	Line contains a tab character.	102
	'-' is not preceded with whitespace.	102
	'-' is not followed by whitespace.	102
	Line contains a tab character.	103
	Line contains a tab character.	105
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	105
	Missing a Javadoc comment.	105
	Line has trailing spaces.	106
	Parameter prefix should be final.	106
	'+' is not preceded with whitespace.	107
	'+' is not followed by whitespace.	107
	'+' is not preceded with whitespace.	107
	'+' is not followed by whitespace.	107
	Line has trailing spaces.	109
	Line has trailing spaces.	110

org/sat4j/pb/SolverFactory.java

Violation	Message	Line
	File does not end with a newline.	0
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	64
	Class SolverFactory should be declared as final.	67
	'<' is not preceded with whitespace.	67
	'<' is not followed by whitespace.	67
	'>' is not preceded with whitespace.	67
	Line has trailing spaces.	70
	Missing a Javadoc comment.	75
	Line has trailing spaces.	79
	Missing a Javadoc comment.	86
	Line has trailing spaces.	94
	'<' is not preceded with whitespace.	116
	'<' is not followed by whitespace.	116
	'>' is not preceded with whitespace.	116
	'<' is not preceded with whitespace.	133
	'<' is not followed by whitespace.	133
	'>' is not preceded with whitespace.	133
	Missing a Javadoc comment.	137
	'<' is not preceded with whitespace.	137
	'<' is not followed by whitespace.	137
	'>' is not preceded with whitespace.	137
	'<' is not preceded with whitespace.	147
	'<' is not followed by whitespace.	147
	'>' is not preceded with whitespace.	147
	Missing a Javadoc comment.	152
	'<' is not preceded with whitespace.	152
	'<' is not followed by whitespace.	152
	'>' is not preceded with whitespace.	152
	Line is longer than 80 characters.	165
	'<' is not preceded with whitespace.	165
	'<' is not followed by whitespace.	165
	'>' is not preceded with whitespace.	165
	Line is longer than 80 characters.	166
	'<' is not preceded with whitespace.	166
	'<' is not followed by whitespace.	166
	'<' is not preceded with whitespace.	166
	'<' is not followed by whitespace.	166
	'>' is not preceded with whitespace.	166
	'>' is not followed by whitespace.	166
	'>' is not preceded with whitespace.	166
	'<' is not preceded with whitespace.	166
	'<' is not followed by whitespace.	166
	'<' is not preceded with whitespace.	166
	'<' is not followed by whitespace.	166
	'>' is not preceded with whitespace.	166
	'>' is not followed by whitespace.	166
	'>' is not preceded with whitespace.	166
	'>' is not followed by whitespace.	166
	'<' is not preceded with whitespace.	167
	'<' is not followed by whitespace.	167
	'>' is not preceded with whitespace.	167
	'<' is not preceded with whitespace.	167
	'<' is not followed by whitespace.	167
	'>' is not preceded with whitespace.	167
	'>' is not followed by whitespace.	167
	Line is longer than 80 characters.	174
	Missing a Javadoc comment.	174
	'<' is not preceded with whitespace.	174
	'<' is not followed by whitespace.	174
	'>' is not preceded with whitespace.	174
	Line is longer than 80 characters.	175
	'<' is not preceded with whitespace.	175
	'<' is not followed by whitespace.	175
	'<' is not preceded with whitespace.	175
	'<' is not followed by whitespace.	175
	'>' is not preceded with whitespace.	175
	'>' is not followed by whitespace.	175
	'>' is not preceded with whitespace.	175
	'<' is not preceded with whitespace.	175
	'<' is not followed by whitespace.	175
	'<' is not preceded with whitespace.	175
	'<' is not followed by whitespace.	175
	'>' is not preceded with whitespace.	175
	'>' is not followed by whitespace.	175
	'>' is not preceded with whitespace.	175
	'>' is not followed by whitespace.	175
	'<' is not preceded with whitespace.	176
	'<' is not followed by whitespace.	176
	'>' is not preceded with whitespace.	176
	'<' is not preceded with whitespace.	176
	'<' is not followed by whitespace.	176
	'>' is not preceded with whitespace.	176
	'>' is not followed by whitespace.	176
	Line is longer than 80 characters.	183
	Missing a Javadoc comment.	183
	'<' is not preceded with whitespace.	183
	'<' is not followed by whitespace.	183
	'>' is not preceded with whitespace.	183
	Parameter phase should be final.	183
	Line is longer than 80 characters.	184
	'<' is not preceded with whitespace.	184
	'<' is not followed by whitespace.	184
	'<' is not preceded with whitespace.	184
	'<' is not followed by whitespace.	184
	'>' is not preceded with whitespace.	184
	'>' is not followed by whitespace.	184
	'>' is not preceded with whitespace.	184
	'<' is not preceded with whitespace.	184
	'<' is not followed by whitespace.	184
	'<' is not preceded with whitespace.	184
	'<' is not followed by whitespace.	184
	'>' is not preceded with whitespace.	184
	'>' is not followed by whitespace.	184
	'>' is not preceded with whitespace.	184
	'>' is not followed by whitespace.	184
	'<' is not preceded with whitespace.	185
	'<' is not followed by whitespace.	185
	'>' is not preceded with whitespace.	185
	'<' is not preceded with whitespace.	185
	'<' is not followed by whitespace.	185
	'>' is not preceded with whitespace.	185
	'>' is not followed by whitespace.	185
	Missing a Javadoc comment.	192
	'<' is not preceded with whitespace.	192
	'<' is not followed by whitespace.	192
	'>' is not preceded with whitespace.	192
	Missing a Javadoc comment.	196
	'<' is not preceded with whitespace.	196
	'<' is not followed by whitespace.	196
	'>' is not preceded with whitespace.	196
	Missing a Javadoc comment.	200
	'<' is not preceded with whitespace.	200
	'<' is not followed by whitespace.	200
	'>' is not preceded with whitespace.	200
	Line is longer than 80 characters.	204
	Missing a Javadoc comment.	204
	'<' is not preceded with whitespace.	204
	'<' is not followed by whitespace.	204
	'>' is not preceded with whitespace.	204
	Parameter phase should be final.	204
	Line is longer than 80 characters.	205
	'<' is not preceded with whitespace.	205
	'<' is not followed by whitespace.	205
	'<' is not preceded with whitespace.	205
	'<' is not followed by whitespace.	205
	'>' is not preceded with whitespace.	205
	'>' is not followed by whitespace.	205
	'>' is not preceded with whitespace.	205
	'<' is not preceded with whitespace.	205
	'<' is not followed by whitespace.	205
	'<' is not preceded with whitespace.	205
	'<' is not followed by whitespace.	205
	'>' is not preceded with whitespace.	205
	'>' is not followed by whitespace.	205
	'>' is not preceded with whitespace.	205
	'>' is not followed by whitespace.	205
	'<' is not preceded with whitespace.	206
	'<' is not followed by whitespace.	206
	'>' is not preceded with whitespace.	206
	'<' is not preceded with whitespace.	206
	'<' is not followed by whitespace.	206
	'>' is not preceded with whitespace.	206
	'>' is not followed by whitespace.	206
	Missing a Javadoc comment.	213
	'<' is not preceded with whitespace.	213
	'<' is not followed by whitespace.	213
	'>' is not preceded with whitespace.	213
	Missing a Javadoc comment.	217
	'<' is not preceded with whitespace.	217
	'<' is not followed by whitespace.	217
	'>' is not preceded with whitespace.	217
	Line is longer than 80 characters.	218
	Missing a Javadoc comment.	221
	'<' is not preceded with whitespace.	221
	'<' is not followed by whitespace.	221
	'>' is not preceded with whitespace.	221
	Line is longer than 80 characters.	232
	'<' is not preceded with whitespace.	232
	'<' is not followed by whitespace.	232
	'>' is not preceded with whitespace.	232
	Line is longer than 80 characters.	234
	'<' is not preceded with whitespace.	234
	'<' is not followed by whitespace.	234
	'<' is not preceded with whitespace.	234
	'<' is not followed by whitespace.	234
	'>' is not preceded with whitespace.	234
	'>' is not followed by whitespace.	234
	'>' is not preceded with whitespace.	234
	'<' is not preceded with whitespace.	234
	'<' is not followed by whitespace.	234
	'<' is not preceded with whitespace.	234
	'<' is not followed by whitespace.	234
	'>' is not preceded with whitespace.	234
	'>' is not followed by whitespace.	234
	'>' is not preceded with whitespace.	234
	'>' is not followed by whitespace.	234
	'<' is not preceded with whitespace.	236
	'<' is not followed by whitespace.	236
	'>' is not preceded with whitespace.	236
	Line is longer than 80 characters.	244
	Missing a Javadoc comment.	244
	'<' is not preceded with whitespace.	244
	'<' is not followed by whitespace.	244
	'>' is not preceded with whitespace.	244
	Line is longer than 80 characters.	246
	'<' is not preceded with whitespace.	246
	'<' is not followed by whitespace.	246
	'<' is not preceded with whitespace.	246
	'<' is not followed by whitespace.	246
	'>' is not preceded with whitespace.	246
	'>' is not followed by whitespace.	246
	'>' is not preceded with whitespace.	246
	'<' is not preceded with whitespace.	246
	'<' is not followed by whitespace.	246
	'<' is not preceded with whitespace.	246
	'<' is not followed by whitespace.	246
	'>' is not preceded with whitespace.	246
	'>' is not followed by whitespace.	246
	'>' is not preceded with whitespace.	246
	'>' is not followed by whitespace.	246
	'<' is not preceded with whitespace.	248
	'<' is not followed by whitespace.	248
	'>' is not preceded with whitespace.	248
	Line is longer than 80 characters.	263
	'<' is not preceded with whitespace.	263
	'<' is not followed by whitespace.	263
	'>' is not preceded with whitespace.	263
	Line is longer than 80 characters.	264
	'<' is not preceded with whitespace.	264
	'<' is not followed by whitespace.	264
	'<' is not preceded with whitespace.	264
	'<' is not followed by whitespace.	264
	'>' is not preceded with whitespace.	264
	'>' is not followed by whitespace.	264
	'>' is not preceded with whitespace.	264
	'<' is not preceded with whitespace.	264
	'<' is not followed by whitespace.	264
	'<' is not preceded with whitespace.	264
	'<' is not followed by whitespace.	264
	'>' is not preceded with whitespace.	264
	'>' is not followed by whitespace.	264
	'>' is not preceded with whitespace.	264
	'>' is not followed by whitespace.	264
	'<' is not preceded with whitespace.	266
	'<' is not followed by whitespace.	266
	'>' is not preceded with whitespace.	266
	'<' is not preceded with whitespace.	266
	'<' is not followed by whitespace.	266
	'>' is not preceded with whitespace.	266
	'>' is not followed by whitespace.	266
	Line is longer than 80 characters.	274
	Missing a Javadoc comment.	274
	'<' is not preceded with whitespace.	274
	'<' is not followed by whitespace.	274
	'>' is not preceded with whitespace.	274
	Line is longer than 80 characters.	275
	'<' is not preceded with whitespace.	275
	'<' is not followed by whitespace.	275
	'<' is not preceded with whitespace.	275
	'<' is not followed by whitespace.	275
	'>' is not preceded with whitespace.	275
	'>' is not followed by whitespace.	275
	'>' is not preceded with whitespace.	275
	'<' is not preceded with whitespace.	275
	'<' is not followed by whitespace.	275
	'<' is not preceded with whitespace.	275
	'<' is not followed by whitespace.	275
	'>' is not preceded with whitespace.	275
	'>' is not followed by whitespace.	275
	'>' is not preceded with whitespace.	275
	'>' is not followed by whitespace.	275
	'<' is not preceded with whitespace.	277
	'<' is not followed by whitespace.	277
	'>' is not preceded with whitespace.	277
	'<' is not preceded with whitespace.	277
	'<' is not followed by whitespace.	277
	'>' is not preceded with whitespace.	277
	'>' is not followed by whitespace.	277
	Missing a Javadoc comment.	285
	Line is longer than 80 characters.	286
	'<' is not preceded with whitespace.	286
	'<' is not followed by whitespace.	286
	'<' is not preceded with whitespace.	286
	'<' is not followed by whitespace.	286
	'>' is not preceded with whitespace.	286
	'>' is not followed by whitespace.	286
	'>' is not preceded with whitespace.	286
	'<' is not preceded with whitespace.	286
	'<' is not followed by whitespace.	286
	'<' is not preceded with whitespace.	286
	'<' is not followed by whitespace.	286
	'>' is not preceded with whitespace.	286
	'>' is not followed by whitespace.	286
	'>' is not preceded with whitespace.	286
	'>' is not followed by whitespace.	286
	Missing a Javadoc comment.	295
	Line is longer than 80 characters.	296
	'<' is not preceded with whitespace.	296
	'<' is not followed by whitespace.	296
	'<' is not preceded with whitespace.	296
	'<' is not followed by whitespace.	296
	'>' is not preceded with whitespace.	296
	'>' is not followed by whitespace.	296
	'>' is not preceded with whitespace.	296
	'<' is not preceded with whitespace.	296
	'<' is not followed by whitespace.	296
	'<' is not preceded with whitespace.	296
	'<' is not followed by whitespace.	296
	'>' is not preceded with whitespace.	296
	'>' is not followed by whitespace.	296
	'>' is not preceded with whitespace.	296
	'>' is not followed by whitespace.	296
	Line is longer than 80 characters.	305
	Missing a Javadoc comment.	305
	Line contains a tab character.	306
	Line contains a tab character.	307
	Line contains a tab character.	308
	Line has trailing spaces.	310
	Line is longer than 80 characters.	319
	'<' is not preceded with whitespace.	319
	'<' is not followed by whitespace.	319
	'<' is not preceded with whitespace.	319
	'<' is not followed by whitespace.	319
	'>' is not preceded with whitespace.	319
	'>' is not followed by whitespace.	319
	'>' is not preceded with whitespace.	319
	'<' is not preceded with whitespace.	319
	'<' is not followed by whitespace.	319
	'<' is not preceded with whitespace.	319
	'<' is not followed by whitespace.	319
	'>' is not preceded with whitespace.	319
	'>' is not followed by whitespace.	319
	'>' is not preceded with whitespace.	319
	'>' is not followed by whitespace.	319
	'<' is not preceded with whitespace.	322
	'<' is not followed by whitespace.	322
	'>' is not preceded with whitespace.	322
	'>' is not followed by whitespace.	322
	Missing a Javadoc comment.	328
	Line is longer than 80 characters.	329
	'<' is not preceded with whitespace.	329
	'<' is not followed by whitespace.	329
	'<' is not preceded with whitespace.	329
	'<' is not followed by whitespace.	329
	'>' is not preceded with whitespace.	329
	'>' is not followed by whitespace.	329
	'>' is not preceded with whitespace.	329
	'<' is not preceded with whitespace.	329
	'<' is not followed by whitespace.	329
	'<' is not preceded with whitespace.	329
	'<' is not followed by whitespace.	329
	'>' is not preceded with whitespace.	329
	'>' is not followed by whitespace.	329
	'>' is not preceded with whitespace.	329
	'>' is not followed by whitespace.	329
	'<' is not preceded with whitespace.	332
	'<' is not followed by whitespace.	332
	'>' is not preceded with whitespace.	332
	'>' is not followed by whitespace.	332
	Line is longer than 80 characters.	345
	'<' is not preceded with whitespace.	345
	'<' is not followed by whitespace.	345
	'<' is not preceded with whitespace.	345
	'<' is not followed by whitespace.	345
	'>' is not preceded with whitespace.	345
	'>' is not followed by whitespace.	345
	'>' is not preceded with whitespace.	345
	'<' is not preceded with whitespace.	345
	'<' is not followed by whitespace.	345
	'<' is not preceded with whitespace.	345
	'<' is not followed by whitespace.	345
	'>' is not preceded with whitespace.	345
	'>' is not followed by whitespace.	345
	'>' is not preceded with whitespace.	345
	'>' is not followed by whitespace.	345
	'<' is not preceded with whitespace.	349
	'<' is not followed by whitespace.	349
	'>' is not preceded with whitespace.	349
	'>' is not followed by whitespace.	349
	Line is longer than 80 characters.	355
	Missing a Javadoc comment.	355
	Line is longer than 80 characters.	356
	'<' is not preceded with whitespace.	356
	'<' is not followed by whitespace.	356
	'<' is not preceded with whitespace.	356
	'<' is not followed by whitespace.	356
	'>' is not preceded with whitespace.	356
	'>' is not followed by whitespace.	356
	'>' is not preceded with whitespace.	356
	'<' is not preceded with whitespace.	356
	'<' is not followed by whitespace.	356
	'<' is not preceded with whitespace.	356
	'<' is not followed by whitespace.	356
	'>' is not preceded with whitespace.	356
	'>' is not followed by whitespace.	356
	'>' is not preceded with whitespace.	356
	'>' is not followed by whitespace.	356
	'<' is not preceded with whitespace.	360
	'<' is not followed by whitespace.	360
	'>' is not preceded with whitespace.	360
	'>' is not followed by whitespace.	360
	'<' is not preceded with whitespace.	373
	'<' is not followed by whitespace.	373
	'>' is not preceded with whitespace.	373
	Line is longer than 80 characters.	381
	'<' is not preceded with whitespace.	381
	'<' is not followed by whitespace.	381
	'>' is not preceded with whitespace.	381
	'<' is not preceded with whitespace.	397
	'<' is not followed by whitespace.	397
	'>' is not preceded with whitespace.	397
	Line is longer than 80 characters.	409
	Missing a Javadoc comment.	409
	Parameter dsf should be final.	409
	'<' is not preceded with whitespace.	409
	'<' is not followed by whitespace.	409
	'>' is not preceded with whitespace.	409
	Line is longer than 80 characters.	410
	'<' is not preceded with whitespace.	410
	'<' is not followed by whitespace.	410
	'<' is not preceded with whitespace.	410
	'<' is not followed by whitespace.	410
	'>' is not preceded with whitespace.	410
	'>' is not followed by whitespace.	410
	'>' is not preceded with whitespace.	410
	'<' is not preceded with whitespace.	410
	'<' is not followed by whitespace.	410
	'<' is not preceded with whitespace.	410
	'<' is not followed by whitespace.	410
	'>' is not preceded with whitespace.	410
	'>' is not followed by whitespace.	410
	'>' is not preceded with whitespace.	410
	'>' is not followed by whitespace.	410
	Line is longer than 80 characters.	412
	'<' is not preceded with whitespace.	412
	'<' is not followed by whitespace.	412
	'>' is not preceded with whitespace.	412
	'>' is not followed by whitespace.	412
	'<' is not preceded with whitespace.	422
	'<' is not followed by whitespace.	422
	'>' is not preceded with whitespace.	422
	'<' is not preceded with whitespace.	430
	'<' is not followed by whitespace.	430
	'>' is not preceded with whitespace.	430
	'<' is not preceded with whitespace.	438
	'<' is not followed by whitespace.	438
	'>' is not preceded with whitespace.	438
	'<' is not preceded with whitespace.	446
	'<' is not followed by whitespace.	446
	'>' is not preceded with whitespace.	446
	Missing a Javadoc comment.	450
	'<' is not preceded with whitespace.	450
	'<' is not followed by whitespace.	450
	'>' is not preceded with whitespace.	450
	Parameter dsf should be final.	450
	'<' is not preceded with whitespace.	450
	'<' is not followed by whitespace.	450
	'>' is not preceded with whitespace.	450
	Parameter order should be final.	451
	'<' is not preceded with whitespace.	451
	'<' is not followed by whitespace.	451
	'>' is not preceded with whitespace.	451
	Line is longer than 80 characters.	452
	'<' is not preceded with whitespace.	452
	'<' is not followed by whitespace.	452
	'<' is not preceded with whitespace.	452
	'<' is not followed by whitespace.	452
	'>' is not preceded with whitespace.	452
	'>' is not followed by whitespace.	452
	'>' is not preceded with whitespace.	452
	'<' is not preceded with whitespace.	452
	'<' is not followed by whitespace.	452
	'<' is not preceded with whitespace.	452
	'<' is not followed by whitespace.	452
	'>' is not preceded with whitespace.	452
	'>' is not followed by whitespace.	452
	'>' is not preceded with whitespace.	452
	'>' is not followed by whitespace.	452
	'<' is not preceded with whitespace.	453
	'<' is not followed by whitespace.	453
	'>' is not preceded with whitespace.	453
	'<' is not preceded with whitespace.	453
	'<' is not followed by whitespace.	453
	'>' is not preceded with whitespace.	453
	'>' is not followed by whitespace.	453
	Line is longer than 80 characters.	460
	Missing a Javadoc comment.	460
	'<' is not preceded with whitespace.	460
	'<' is not followed by whitespace.	460
	'>' is not preceded with whitespace.	460
	Parameter dsf should be final.	460
	'<' is not preceded with whitespace.	460
	'<' is not followed by whitespace.	460
	'>' is not preceded with whitespace.	460
	'<' is not preceded with whitespace.	461
	'<' is not followed by whitespace.	461
	'>' is not preceded with whitespace.	461
	'>' is not followed by whitespace.	461
	Line has trailing spaces.	467
	Missing a Javadoc comment.	477
	Line has trailing spaces.	484
	Missing a Javadoc comment.	493
	Missing a Javadoc comment.	498
	Line has trailing spaces.	501
	Missing a Javadoc comment.	502
	'300' is a magic number.	504

org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	42
	Line has trailing spaces.	46
	Line contains a tab character.	46
	Line contains a tab character.	47
	Line contains a tab character.	48
	Line has trailing spaces.	49
	Line contains a tab character.	49
	Line contains a tab character.	50
	Missing a Javadoc comment.	50
	Line has trailing spaces.	55
	Line is longer than 80 characters.	56
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter literals should be final.	60
	Parameter coefs should be final.	60
	Parameter moreThan should be final.	61
	Parameter degree should be final.	61
	Line has trailing spaces.	68
	Line is longer than 80 characters.	69
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	72
	Missing a Javadoc comment.	72
	Parameter literals should be final.	73
	Parameter coefs should be final.	73
	Parameter degree should be final.	74
	Line is longer than 80 characters.	75
	Line has trailing spaces.	80
	Line is longer than 80 characters.	81
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	84
	Missing a Javadoc comment.	84
	Parameter literals should be final.	85
	Parameter coefs should be final.	86
	'<' is not preceded with whitespace.	86
	'<' is not followed by whitespace.	86
	'>' is not preceded with whitespace.	86
	Parameter moreThan should be final.	86
	Parameter degree should be final.	86
	'if' construct must use '{}'s.	90
	Line is longer than 80 characters.	97
	'if' construct must use '{}'s.	99
	'<' is not preceded with whitespace.	103
	'<' is not followed by whitespace.	103
	'>' is not preceded with whitespace.	103
	'>' is not followed by whitespace.	103
	Line is longer than 80 characters.	105
	',' is not followed by whitespace.	108
	',' is not followed by whitespace.	108
	Line has trailing spaces.	113
	Line is longer than 80 characters.	114
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	117
	Missing a Javadoc comment.	117
	Parameter dspb should be final.	118
	Line has trailing spaces.	130
	Line is longer than 80 characters.	131
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	134
	Missing a Javadoc comment.	134
	Parameter literals should be final.	135
	Parameter coefs should be final.	136
	'<' is not preceded with whitespace.	136
	'<' is not followed by whitespace.	136
	'>' is not preceded with whitespace.	136
	Parameter degree should be final.	136
	Line has trailing spaces.	147
	Missing a Javadoc comment.	148
	Parameter coeffs should be final.	148
	'<' is not preceded with whitespace.	148
	'<' is not followed by whitespace.	148
	'>' is not preceded with whitespace.	148
	'for' construct must use '{}'s.	149
	'if' construct must use '{}'s.	150
	Line is longer than 80 characters.	155
	Missing a Javadoc comment.	155
	'protected' modifier out of order with the JLS suggestions.	155
	Missing a Javadoc comment.	157
	'protected' modifier out of order with the JLS suggestions.	157
	Missing a Javadoc comment.	160
	'protected' modifier out of order with the JLS suggestions.	160
	Line is longer than 80 characters.	163
	Missing a Javadoc comment.	163
	'protected' modifier out of order with the JLS suggestions.	163
	Missing a Javadoc comment.	166
	'protected' modifier out of order with the JLS suggestions.	166
	Line is longer than 80 characters.	168
	Missing a Javadoc comment.	168
	'protected' modifier out of order with the JLS suggestions.	168
	Missing a Javadoc comment.	170
	'protected' modifier out of order with the JLS suggestions.	170
	'<' is not preceded with whitespace.	171
	'<' is not followed by whitespace.	171
	'>' is not preceded with whitespace.	171
	Missing a Javadoc comment.	173
	'protected' modifier out of order with the JLS suggestions.	173
	Missing a Javadoc comment.	175
	'protected' modifier out of order with the JLS suggestions.	175
	Missing a Javadoc comment.	177
	'protected' modifier out of order with the JLS suggestions.	177

org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line is longer than 80 characters.	57
	'<' is not preceded with whitespace.	57
	'<' is not followed by whitespace.	57
	'>' is not preceded with whitespace.	57
	'<' is not preceded with whitespace.	57
	'<' is not followed by whitespace.	57
	'>' is not preceded with whitespace.	57
	'>' is not followed by whitespace.	57
	Line has trailing spaces.	60
	Line contains a tab character.	60
	Line contains a tab character.	61
	Line contains a tab character.	62
	Line is longer than 80 characters.	64
	Line contains a tab character.	64
	Method 'createClause' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	Parameter literals should be final.	64
	'if' construct must use '{}'s.	66
	'if' construct must use '{}'s.	68
	'==' is not preceded with whitespace.	68
	'==' is not followed by whitespace.	68
	Line is longer than 80 characters.	69
	Line contains a tab character.	69
	Method 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.	73
	Missing a Javadoc comment.	73
	Parameter literals should be final.	73
	'if' construct must use '{}'s.	74
	Line contains a tab character.	74
	'==' is not preceded with whitespace.	74
	'==' is not followed by whitespace.	74
	Line contains a tab character.	75
	'if' construct must use '{}'s.	76
	Line contains a tab character.	76
	'==' is not preceded with whitespace.	76
	'==' is not followed by whitespace.	76
	Line contains a tab character.	77
	',' is not followed by whitespace.	77
	Method 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.	81
	Missing a Javadoc comment.	81
	Parameter literals should be final.	82
	Parameter degree should be final.	82
	Method 'createPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	87
	Missing a Javadoc comment.	87
	Parameter literals should be final.	87
	Parameter coefs should be final.	88
	'<' is not preceded with whitespace.	88
	'<' is not followed by whitespace.	88
	'>' is not preceded with whitespace.	88
	Parameter moreThan should be final.	88
	Parameter degree should be final.	88
	Line has trailing spaces.	96
	Expected @param tag for 'moreThan'.	101
	Expected @throws tag for 'ContradictionException'.	102
	Missing a Javadoc comment.	104
	Missing a Javadoc comment.	106
	'<' is not preceded with whitespace.	107
	'<' is not followed by whitespace.	107
	'>' is not preceded with whitespace.	107
	Method 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	110
	Missing a Javadoc comment.	110
	Parameter literals should be final.	110
	Parameter coefs should be final.	111
	'<' is not preceded with whitespace.	111
	'<' is not followed by whitespace.	111
	'>' is not preceded with whitespace.	111
	Parameter degree should be final.	111
	Line is longer than 80 characters.	115
	Method 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	115
	Missing a Javadoc comment.	115
	Parameter dspb should be final.	115
	Method 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	119
	Missing a Javadoc comment.	119
	Parameter literals should be final.	119
	Parameter coefs should be final.	120
	'<' is not preceded with whitespace.	120
	'<' is not followed by whitespace.	120
	'>' is not preceded with whitespace.	120
	Parameter moreThan should be final.	120
	Parameter degree should be final.	120
	Expected @param tag for 'literals'.	131
	Expected @param tag for 'coefs'.	132
	Expected @param tag for 'degree'.	132
	Missing a Javadoc comment.	134
	'<' is not preceded with whitespace.	135
	'<' is not followed by whitespace.	135
	'>' is not preceded with whitespace.	135
	Method 'createLits' is not designed for extension - needs to be abstract, final or empty.	137
	Missing a Javadoc comment.	137

org/sat4j/pb/constraints/AbstractPBDataStructureFactoryPB.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	42
	Line has trailing spaces.	44
	Line has trailing spaces.	53
	Line contains a tab character.	53
	Line contains a tab character.	54
	Line contains a tab character.	55
	Line contains a tab character.	57
	Method 'createUnregisteredPseudoBooleanConstraint' is not designed for extension - needs to be abstract, final or empty.	57
	Missing a Javadoc comment.	57
	Line is longer than 80 characters.	58
	Line contains a tab character.	58
	Parameter literals should be final.	58
	Parameter coefs should be final.	59
	'<' is not preceded with whitespace.	59
	'<' is not followed by whitespace.	59
	'>' is not preceded with whitespace.	59
	Parameter degree should be final.	59
	Method 'createClause' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	Line is longer than 80 characters.	65
	Parameter literals should be final.	65
	',' is not followed by whitespace.	66
	'==' is not preceded with whitespace.	67
	'==' is not followed by whitespace.	67
	'==' is not preceded with whitespace.	70
	'==' is not followed by whitespace.	70
	Line contains a tab character.	71
	',' is not followed by whitespace.	73
	Method 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.	76
	Missing a Javadoc comment.	76
	Parameter literals should be final.	77
	'if' construct must use '{}'s.	78
	Line contains a tab character.	78
	'==' is not preceded with whitespace.	78
	'==' is not followed by whitespace.	78
	Line contains a tab character.	79
	'if' construct must use '{}'s.	80
	Line contains a tab character.	80
	'==' is not preceded with whitespace.	80
	'==' is not followed by whitespace.	80
	Line contains a tab character.	81
	',' is not followed by whitespace.	81
	',' is not followed by whitespace.	82

org/sat4j/pb/constraints/CompetPBMaxClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	45
	Line has trailing spaces.	46
	'{' is not preceded with whitespace.	46
	Line has trailing spaces.	49
	Line contains a tab character.	49
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	53
	Line has trailing spaces.	55
	Line is longer than 80 characters.	56
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter literals should be final.	60
	Parameter coefs should be final.	61
	'<' is not preceded with whitespace.	61
	'<' is not followed by whitespace.	61
	'>' is not preceded with whitespace.	61
	Parameter moreThan should be final.	61
	Parameter degree should be final.	61
	Line is longer than 80 characters.	68
	'if' construct must use '{}'s.	70
	Line is longer than 80 characters.	73
	'if' construct must use '{}'s.	75
	'<' is not preceded with whitespace.	79
	'<' is not followed by whitespace.	79
	'>' is not preceded with whitespace.	79
	'>' is not followed by whitespace.	79
	',' is not followed by whitespace.	84
	',' is not followed by whitespace.	84

org/sat4j/pb/constraints/PBMaxCBClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	34
	Missing a Javadoc comment.	37
	Line has trailing spaces.	42
	Method 'constructClause' is not designed for extension - needs to be abstract, final or empty.	46
	Missing a Javadoc comment.	46
	Parameter v should be final.	47
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter literals should be final.	52

org/sat4j/pb/constraints/PBMaxClauseAtLeastConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	35
	Line has trailing spaces.	39
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	43
	Missing a Javadoc comment.	43
	Parameter theLits should be final.	44
	Parameter degree should be final.	44
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	49
	Missing a Javadoc comment.	49
	Parameter literals should be final.	50
	Parameter degree should be final.	50

org/sat4j/pb/constraints/PBMaxClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	39
	Line has trailing spaces.	43
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter mpb should be final.	48
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	53
	Missing a Javadoc comment.	53
	Line is longer than 80 characters.	54
	Parameter theLits should be final.	54
	Parameter coefs should be final.	54
	Parameter degree should be final.	54
	Line is longer than 80 characters.	56
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter literals should be final.	60
	Parameter coefs should be final.	61
	'<' is not preceded with whitespace.	61
	'<' is not followed by whitespace.	61
	'>' is not preceded with whitespace.	61
	Parameter degree should be final.	61
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Parameter mpb should be final.	67
	'{' is not preceded with whitespace.	67

org/sat4j/pb/constraints/PBMaxDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	45
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	55
	Parameter literals should be final.	56
	Expected @param tag for 'literals'.	56
	Parameter coefs should be final.	56
	Expected @param tag for 'coefs'.	56
	Parameter moreThan should be final.	57
	Expected @param tag for 'moreThan'.	57
	Parameter degree should be final.	57
	Expected @param tag for 'degree'.	57
	Expected @throws tag for 'ContradictionException'.	57
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	68
	Parameter literals should be final.	69
	Expected @param tag for 'literals'.	69
	Parameter coefs should be final.	69
	Expected @param tag for 'coefs'.	69
	Parameter degree should be final.	70
	Expected @param tag for 'degree'.	70
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	83
	Parameter literals should be final.	84
	Expected @param tag for 'literals'.	84
	Parameter coefs should be final.	85
	'<' is not preceded with whitespace.	85
	'<' is not followed by whitespace.	85
	'>' is not preceded with whitespace.	85
	Expected @param tag for 'coefs'.	85
	Parameter moreThan should be final.	85
	Expected @param tag for 'moreThan'.	85
	Parameter degree should be final.	85
	Expected @param tag for 'degree'.	85
	Expected @throws tag for 'ContradictionException'.	86
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	97
	Parameter literals should be final.	98
	Expected @param tag for 'literals'.	98
	Parameter coefs should be final.	99
	'<' is not preceded with whitespace.	99
	'<' is not followed by whitespace.	99
	'>' is not preceded with whitespace.	99
	Expected @param tag for 'coefs'.	99
	Parameter degree should be final.	99
	Expected @param tag for 'degree'.	99
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	110
	Parameter dspb should be final.	111
	Expected @param tag for 'dspb'.	111
	Line contains a tab character.	112
	',' is not followed by whitespace.	112

org/sat4j/pb/constraints/PBMinClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	39
	Line has trailing spaces.	43
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	47
	Missing a Javadoc comment.	47
	Parameter mpb should be final.	48
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	53
	Missing a Javadoc comment.	53
	Line is longer than 80 characters.	54
	Parameter theLits should be final.	54
	Parameter coefs should be final.	54
	Parameter degree should be final.	54
	Line is longer than 80 characters.	56
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	59
	Missing a Javadoc comment.	59
	Parameter literals should be final.	60
	Parameter coefs should be final.	61
	'<' is not preceded with whitespace.	61
	'<' is not followed by whitespace.	61
	'>' is not preceded with whitespace.	61
	Parameter degree should be final.	61
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Parameter dspb should be final.	67

org/sat4j/pb/constraints/PBMinDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	45
	Line has trailing spaces.	49
	Line is longer than 80 characters.	50
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	53
	Missing a Javadoc comment.	53
	Parameter literals should be final.	54
	Parameter coefs should be final.	54
	Parameter moreThan should be final.	55
	Parameter degree should be final.	55
	Line has trailing spaces.	62
	Line is longer than 80 characters.	63
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Parameter literals should be final.	67
	Parameter coefs should be final.	67
	Parameter degree should be final.	68
	Line has trailing spaces.	75
	Line is longer than 80 characters.	76
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	79
	Missing a Javadoc comment.	79
	Parameter literals should be final.	80
	Parameter coefs should be final.	81
	'<' is not preceded with whitespace.	81
	'<' is not followed by whitespace.	81
	'>' is not preceded with whitespace.	81
	Parameter moreThan should be final.	81
	Parameter degree should be final.	81
	Line has trailing spaces.	89
	Line is longer than 80 characters.	90
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Parameter literals should be final.	94
	Parameter coefs should be final.	95
	'<' is not preceded with whitespace.	95
	'<' is not followed by whitespace.	95
	'>' is not preceded with whitespace.	95
	Parameter degree should be final.	95
	Line has trailing spaces.	102
	Line is longer than 80 characters.	103
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	106
	Missing a Javadoc comment.	106
	Parameter dspb should be final.	107

org/sat4j/pb/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	35
	Line has trailing spaces.	39
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	43
	Missing a Javadoc comment.	43
	Parameter theLits should be final.	44
	Parameter degree should be final.	44
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	49
	Missing a Javadoc comment.	49
	Parameter literals should be final.	50
	Parameter degree should be final.	50

org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	46
	Line has trailing spaces.	50
	Method 'constructClause' is not designed for extension - needs to be abstract, final or empty.	54
	Missing a Javadoc comment.	54
	Line is longer than 80 characters.	55
	Parameter v should be final.	55
	Line contains a tab character.	56
	'==' is not preceded with whitespace.	56
	'==' is not followed by whitespace.	56
	Line is longer than 80 characters.	57
	Line contains a tab character.	57
	Method 'constructCard' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Parameter theLits should be final.	63
	Parameter degree should be final.	63
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	69
	Missing a Javadoc comment.	69
	Parameter mpb should be final.	70
	Method 'constructPB' is not designed for extension - needs to be abstract, final or empty.	75
	Missing a Javadoc comment.	75
	Line is longer than 80 characters.	76
	Parameter theLits should be final.	76
	Parameter coefs should be final.	76
	Parameter degree should be final.	76
	Line is longer than 80 characters.	78
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	81
	Missing a Javadoc comment.	81
	Parameter literals should be final.	82
	'if' construct must use '{}'s.	83
	Line contains a tab character.	83
	'==' is not preceded with whitespace.	83
	'==' is not followed by whitespace.	83
	Line contains a tab character.	84
	'if' construct must use '{}'s.	85
	Line contains a tab character.	85
	'==' is not preceded with whitespace.	85
	'==' is not followed by whitespace.	85
	Line contains a tab character.	86
	',' is not followed by whitespace.	86
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	90
	Missing a Javadoc comment.	90
	Parameter literals should be final.	91
	Parameter degree should be final.	91
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	95
	Missing a Javadoc comment.	95
	Parameter literals should be final.	96
	Parameter coefs should be final.	97
	'<' is not preceded with whitespace.	97
	'<' is not followed by whitespace.	97
	'>' is not preceded with whitespace.	97
	Parameter degree should be final.	97
	Method 'constructLearntClause' is not designed for extension - needs to be abstract, final or empty.	102
	Missing a Javadoc comment.	102
	Parameter dspb should be final.	103
	'<' is not preceded with whitespace.	105
	'<' is not followed by whitespace.	105
	'>' is not preceded with whitespace.	105
	'<' is not preceded with whitespace.	105
	'<' is not followed by whitespace.	105
	'>' is not preceded with whitespace.	105
	'>' is not followed by whitespace.	105
	'if' construct must use '{}'s.	107
	'==' is not preceded with whitespace.	107
	'==' is not followed by whitespace.	107
	Line contains a tab character.	108
	'if' construct must use '{}'s.	109
	'==' is not preceded with whitespace.	109
	'==' is not followed by whitespace.	109
	Line contains a tab character.	110
	',' is not followed by whitespace.	110
	Method 'constructLearntCard' is not designed for extension - needs to be abstract, final or empty.	114
	Missing a Javadoc comment.	114
	Parameter dspb should be final.	115
	'<' is not preceded with whitespace.	117
	'<' is not followed by whitespace.	117
	'>' is not preceded with whitespace.	117
	'<' is not preceded with whitespace.	117
	'<' is not followed by whitespace.	117
	'>' is not preceded with whitespace.	117
	'>' is not followed by whitespace.	117
	Line is longer than 80 characters.	119
	Method 'constructLearntPB' is not designed for extension - needs to be abstract, final or empty.	122
	Missing a Javadoc comment.	122
	Parameter dspb should be final.	123
	',' is not followed by whitespace.	124

org/sat4j/pb/constraints/PuebloPBMinDataStructure.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	45
	Line has trailing spaces.	49
	Line is longer than 80 characters.	50
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	53
	Missing a Javadoc comment.	53
	Parameter literals should be final.	54
	Parameter coefs should be final.	54
	Parameter moreThan should be final.	55
	Parameter degree should be final.	55
	Line has trailing spaces.	62
	Line is longer than 80 characters.	63
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Parameter literals should be final.	67
	Parameter coefs should be final.	67
	Parameter degree should be final.	68
	Line has trailing spaces.	75
	Line is longer than 80 characters.	76
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	79
	Missing a Javadoc comment.	79
	Parameter literals should be final.	80
	Parameter coefs should be final.	81
	'<' is not preceded with whitespace.	81
	'<' is not followed by whitespace.	81
	'>' is not preceded with whitespace.	81
	Parameter moreThan should be final.	81
	Parameter degree should be final.	81
	Line has trailing spaces.	89
	Line is longer than 80 characters.	90
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	93
	Missing a Javadoc comment.	93
	Parameter literals should be final.	94
	Parameter coefs should be final.	95
	'<' is not preceded with whitespace.	95
	'<' is not followed by whitespace.	95
	'>' is not preceded with whitespace.	95
	Parameter degree should be final.	95
	Method 'constraintFactory' is not designed for extension - needs to be abstract, final or empty.	99
	Missing a Javadoc comment.	99
	Parameter dspb should be final.	100
	Line has trailing spaces.	104

org/sat4j/pb/constraints/package.html

Violation	Message	Line
	Missing package documentation file.	0

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Class AtLeastPB should be declared as final.	39
	Missing a Javadoc comment.	39
	Line has trailing spaces.	42
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	48
	Parameter voc should be final.	48
	Parameter ps should be final.	48
	Parameter degree should be final.	48
	'degree' hides a field.	48
	Missing a Javadoc comment.	53
	Parameter s should be final.	53
	Parameter voc should be final.	53
	Parameter ps should be final.	54
	Parameter n should be final.	54
	'if' construct must use '{}'s.	56
	Missing a Javadoc comment.	61
	Parameter voc should be final.	61
	Parameter ps should be final.	61
	Parameter n should be final.	61
	Missing a Javadoc comment.	65
	Parameter literal should be final.	65
	Missing a Javadoc comment.	69
	Missing a Javadoc comment.	73
	Missing a Javadoc comment.	77
	Missing a Javadoc comment.	83
	'for' construct must use '{}'s.	85
	Line has trailing spaces.	91
	First sentence should end with a period.	95
	Line has trailing spaces.	97
	Missing a Javadoc comment.	106
	Missing a Javadoc comment.	111
	Missing a Javadoc comment.	117
	Parameter s should be final.	118
	Missing a Javadoc comment.	127

org/sat4j/pb/constraints/pb/BinaryClausePB.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	20
	Line has trailing spaces.	26
	Line is longer than 80 characters.	27
	Missing a Javadoc comment.	37
	Line contains a tab character.	39
	Line has trailing spaces.	40
	Line contains a tab character.	40
	Line contains a tab character.	41
	Line contains a tab character.	42
	Line contains a tab character.	44
	Missing a Javadoc comment.	44
	Parameter ps should be final.	44
	Parameter voc should be final.	44
	Line contains a tab character.	45
	Line contains a tab character.	46
	Line contains a tab character.	48
	Missing a Javadoc comment.	48
	Line has trailing spaces.	49
	Line contains a tab character.	49
	Line contains a tab character.	50
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	50
	Missing a Javadoc comment.	50
	Line contains a tab character.	51
	Line contains a tab character.	52
	Line contains a tab character.	54
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	54
	Missing a Javadoc comment.	54
	Parameter literal should be final.	54
	Line contains a tab character.	55
	Line contains a tab character.	56
	Line contains a tab character.	58
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	58
	Missing a Javadoc comment.	58
	Line contains a tab character.	59
	',' is not followed by whitespace.	59
	Line contains a tab character.	60
	Line contains a tab character.	62
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Line contains a tab character.	63
	Line contains a tab character.	64
	Line contains a tab character.	66
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	66
	Missing a Javadoc comment.	66
	Line contains a tab character.	67
	Line contains a tab character.	68
	Line contains a tab character.	70
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	70
	Missing a Javadoc comment.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Line has trailing spaces.	73
	Line contains a tab character.	73
	Line has trailing spaces.	77
	Parameter s should be final.	87
	Parameter voc should be final.	88
	Parameter literals should be final.	88

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	44
	First sentence should end with a period.	46
	Variable 'currentSlack' must be private and have accessor methods.	49
	Missing a Javadoc comment.	51
	Variable 'currentLevel' must be private and have accessor methods.	51
	Variable 'byLevel' must be private and have accessor methods.	58
	First sentence should end with a period.	60
	Line has trailing spaces.	62
	Parameter cpb should be final.	69
	Parameter level should be final.	69
	Missing a Javadoc comment.	73
	Parameter cpb should be final.	73
	Parameter level should be final.	73
	Missing a Javadoc comment.	80
	'if' construct must use '{}'s.	90
	First sentence should end with a period.	102
	Line has trailing spaces.	104
	Expected an @return tag.	108
	Redundant 'final' modifier.	108
	Parameter level should be final.	108
	Expected @param tag for 'level'.	108
	First sentence should end with a period.	112
	Line has trailing spaces.	114
	Expected an @return tag.	118
	Redundant 'final' modifier.	118
	Parameter indLevel should be final.	118
	Expected @param tag for 'indLevel'.	118
	Line has trailing spaces.	124
	Missing a Javadoc comment.	126
	Variable 'coefMult' must be private and have accessor methods.	126
	Missing a Javadoc comment.	128
	Variable 'coefMultCons' must be private and have accessor methods.	128
	Line has trailing spaces.	133
	Method 'resolve' is not designed for extension - needs to be abstract, final or empty.	140
	Parameter cpb should be final.	140
	Parameter litImplied should be final.	140
	Parameter val should be final.	141
	Expected @param tag for 'val'.	141
	'if' construct must use '{}'s.	161
	'while' construct must use '{}'s.	178
	'if' construct must use '{}'s.	213
	Method 'reduceUntilConflict' is not designed for extension - needs to be abstract, final or empty.	240
	Missing a Javadoc comment.	240
	Parameter litImplied should be final.	240
	Parameter ind should be final.	240
	Parameter reducedCoefs should be final.	241
	Parameter wpb should be final.	241
	First sentence should end with a period.	293
	Expected an @return tag.	296
	Method 'slackConflict' is not designed for extension - needs to be abstract, final or empty.	296
	'if' construct must use '{}'s.	302
	Method 'oldIsAssertive' is not designed for extension - needs to be abstract, final or empty.	308
	Missing a Javadoc comment.	308
	Parameter dl should be final.	308
	'if' construct must use '{}'s.	312
	'if' construct must use '{}'s.	317
	Missing a Javadoc comment.	326
	Parameter dl should be final.	326
	'if' construct must use '{}'s.	333
	First sentence should end with a period.	340
	Line has trailing spaces.	343
	Method 'isAssertive' is not designed for extension - needs to be abstract, final or empty.	348
	Parameter dl should be final.	348
	'if' construct must use '{}'s.	355
	Missing a Javadoc comment.	363
	Parameter slack should be final.	363
	'if' construct must use '{}'s.	369
	'if' construct must use '{}'s.	376
	'if' construct must use '{}'s.	380
	Missing a Javadoc comment.	390
	Parameter dl should be final.	390
	Parameter slack should be final.	390
	'if' construct must use '{}'s.	395
	First sentence should end with a period.	402
	Line has trailing spaces.	405
	Parameter a should be final.	412
	Parameter b should be final.	412
	Line has trailing spaces.	420
	Method 'reduceInConstraint' is not designed for extension - needs to be abstract, final or empty.	433
	Parameter wpb should be final.	433
	'for' construct must use '{}'s.	440
	Line is longer than 80 characters.	441
	'if' construct must use '{}'s.	447
	'for' construct must use '{}'s.	448
	'if' construct must use '{}'s.	449
	Missing a Javadoc comment.	471
	Parameter coefs should be final.	471
	Parameter degree should be final.	471
	'if' construct must use '{}'s.	475
	'for' construct must use '{}'s.	483
	'if' construct must use '{}'s.	484
	Missing a Javadoc comment.	490
	'if' construct must use '{}'s.	492
	Line has trailing spaces.	501
	Method 'getBacktrackLevel' is not designed for extension - needs to be abstract, final or empty.	507
	Parameter maxLevel should be final.	507
	Line is longer than 80 characters.	526
	'if' construct must use '{}'s.	528
	'if' construct must use '{}'s.	532
	Method 'oldGetBacktrackLevel' is not designed for extension - needs to be abstract, final or empty.	540
	Missing a Javadoc comment.	540
	Parameter maxLevel should be final.	540
	Line is longer than 80 characters.	545
	';' is preceded with whitespace.	546
	'if' construct must use '{}'s.	548
	Method 'updateSlack' is not designed for extension - needs to be abstract, final or empty.	564
	Missing a Javadoc comment.	564
	Parameter level should be final.	564
	'if' construct must use '{}'s.	571
	Method 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.	577
	Missing a Javadoc comment.	577
	Parameter lit should be final.	578
	Parameter incCoef should be final.	578
	Method 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.	586
	Missing a Javadoc comment.	586
	Parameter lit should be final.	587
	Parameter decCoef should be final.	587
	Method 'setCoef' is not designed for extension - needs to be abstract, final or empty.	595
	Missing a Javadoc comment.	595
	Parameter lit should be final.	596
	Parameter newValue should be final.	596
	'if' construct must use '{}'s.	599
	Method 'changeCoef' is not designed for extension - needs to be abstract, final or empty.	616
	Missing a Javadoc comment.	616
	Parameter indLit should be final.	617
	Parameter newValue should be final.	617
	Line contains a tab character.	618
	'if' construct must use '{}'s.	621
	Method 'removeCoef' is not designed for extension - needs to be abstract, final or empty.	633
	Missing a Javadoc comment.	633
	Parameter lit should be final.	634
	Line has trailing spaces.	646
	Line has trailing spaces.	647
	Missing a Javadoc comment.	648
	Parameter lit should be final.	648
	'for' construct must use '{}'s.	649
	'if' construct must use '{}'s.	650
	Method 'slackIsCorrect' is not designed for extension - needs to be abstract, final or empty.	655
	Missing a Javadoc comment.	655
	Parameter dl should be final.	655
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	659
	Missing a Javadoc comment.	659

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	31
	Line contains a tab character.	33
	Missing a Javadoc comment.	33
	Parameter cpb should be final.	33
	Parameter level should be final.	33
	Line contains a tab character.	34
	Line contains a tab character.	35
	Line contains a tab character.	36

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	32
	Missing a Javadoc comment.	34
	Parameter cpb should be final.	34
	Parameter level should be final.	34
	Missing a Javadoc comment.	38
	Parameter cpb should be final.	38
	Parameter level should be final.	38
	Line has trailing spaces.	45
	Method 'reduceUntilConflict' is not designed for extension - needs to be abstract, final or empty.	52
	Parameter litImplied should be final.	53
	Expected @param tag for 'litImplied'.	53
	Parameter ind should be final.	53
	Expected @param tag for 'ind'.	53
	Parameter reducedCoefs should be final.	54
	Expected @param tag for 'reducedCoefs'.	54
	Parameter wpb should be final.	54
	Expected @param tag for 'wpb'.	54
	'for' construct must use '{}'s.	55
	'if' construct must use '{}'s.	56
	'else' construct must use '{}'s.	58

org/sat4j/pb/constraints/pb/ConflictMapMerging.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	32
	Line contains a tab character.	34
	Missing a Javadoc comment.	34
	Parameter cpb should be final.	34
	Parameter level should be final.	34
	Line contains a tab character.	35
	Line contains a tab character.	36
	Missing a Javadoc comment.	37
	Parameter cpb should be final.	37
	Parameter level should be final.	37
	Line has trailing spaces.	44
	Method 'reduceUntilConflict' is not designed for extension - needs to be abstract, final or empty.	51
	Parameter litImplied should be final.	52
	Expected @param tag for 'litImplied'.	52
	Parameter ind should be final.	52
	Expected @param tag for 'ind'.	52
	Parameter reducedCoefs should be final.	53
	Expected @param tag for 'reducedCoefs'.	53
	Parameter wpb should be final.	53
	Expected @param tag for 'wpb'.	53
	Line contains a tab character.	54
	',' is not followed by whitespace.	58
	Line has trailing spaces.	61
	Line contains a tab character.	61
	Line has trailing spaces.	62
	Line contains a tab character.	62

org/sat4j/pb/constraints/pb/HTClausePB.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	39
	Line has trailing spaces.	42
	Line contains a tab character.	46
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	48
	Parameter ps should be final.	48
	Parameter voc should be final.	48
	Line has trailing spaces.	55
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	58
	Missing a Javadoc comment.	58
	Parameter literal should be final.	58
	Line has trailing spaces.	64
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	67
	Missing a Javadoc comment.	67
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	'for' construct must use '{}'s.	73
	Line has trailing spaces.	81
	Parameter s should be final.	91
	Parameter voc should be final.	92
	Parameter literals should be final.	92
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	98
	Missing a Javadoc comment.	98
	Parameter s should be final.	99
	'for' construct must use '{}'s.	100
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	108
	Missing a Javadoc comment.	108
	Line has trailing spaces.	111
	First sentence should end with a period.	112
	Line contains a tab character.	112
	Line contains a tab character.	113
	Line has trailing spaces.	114
	Line contains a tab character.	114
	Line contains a tab character.	115
	Line contains a tab character.	116
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	116
	Line contains a tab character.	117
	Line contains a tab character.	118
	Line contains a tab character.	120
	Line contains a tab character.	121
	Line has trailing spaces.	122
	Line contains a tab character.	122
	Line contains a tab character.	123
	Line contains a tab character.	124
	Line contains a tab character.	125
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	125
	Missing a Javadoc comment.	125
	Line contains a tab character.	126
	Line contains a tab character.	127
	First sentence should end with a period.	129
	Line contains a tab character.	129
	Line is longer than 80 characters.	130
	Line contains a tab character.	130
	Line is longer than 80 characters.	131
	Line contains a tab character.	131
	Line has trailing spaces.	132
	Line contains a tab character.	132
	Line contains a tab character.	133
	Line contains a tab character.	134
	Line contains a tab character.	135
	Method 'register' is not designed for extension - needs to be abstract, final or empty.	135
	Line contains a tab character.	136
	Line contains a tab character.	137
	Line contains a tab character.	138
	Line contains a tab character.	139
	Line contains a tab character.	140
	Line contains a tab character.	141
	Line contains a tab character.	142
	Line contains a tab character.	143
	Line contains a tab character.	144
	Line contains a tab character.	145
	Line contains a tab character.	146
	Line contains a tab character.	147
	Line contains a tab character.	148
	Line contains a tab character.	149
	Line contains a tab character.	150
	Line contains a tab character.	151
	Line contains a tab character.	152
	Line contains a tab character.	153
	Line contains a tab character.	154
	Line contains a tab character.	156
	Line contains a tab character.	157
	Line contains a tab character.	158
	Line contains a tab character.	159

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	34
	Line has trailing spaces.	38
	Missing a Javadoc comment.	49
	Missing a Javadoc comment.	51
	Line has trailing spaces.	56
	Redundant 'public' modifier.	59
	Expected @param tag for 'wpb'.	59
	Expected @param tag for 'coefsBis'.	60
	Expected @param tag for 'indLitImplied'.	60
	Expected @param tag for 'degreeBis'.	61
	First sentence should end with a period.	63
	Line has trailing spaces.	66
	Redundant 'public' modifier.	72
	Missing a Javadoc comment.	74
	Redundant 'public' modifier.	74
	Missing a Javadoc comment.	75
	Redundant 'public' modifier.	75

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	36
	Missing a Javadoc comment.	37
	Missing a Javadoc comment.	39
	Missing a Javadoc comment.	42
	Missing a Javadoc comment.	46
	Missing a Javadoc comment.	49
	Array brackets at illegal position.	49
	Line is longer than 80 characters.	52
	Missing a Javadoc comment.	52
	'<' is not preceded with whitespace.	52
	'<' is not followed by whitespace.	52
	'>' is not preceded with whitespace.	52
	Missing a Javadoc comment.	54
	Redundant 'public' modifier.	54
	Missing a Javadoc comment.	56
	Redundant 'public' modifier.	56
	Missing a Javadoc comment.	58
	Redundant 'public' modifier.	58
	Line has trailing spaces.	59
	Missing a Javadoc comment.	60
	Redundant 'public' modifier.	60

org/sat4j/pb/constraints/pb/IInternalPBConstraintCreator.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	41
	Redundant 'public' modifier.	41
	'<' is not preceded with whitespace.	42
	'<' is not followed by whitespace.	42
	'>' is not preceded with whitespace.	42

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line contains a tab character.	43
	Missing a Javadoc comment.	43
	Variable 'lits' must be private and have accessor methods.	43
	Line contains a tab character.	44
	Missing a Javadoc comment.	44
	'<' is not preceded with whitespace.	44
	'<' is not followed by whitespace.	44
	'>' is not preceded with whitespace.	44
	Variable 'coefs' must be private and have accessor methods.	44
	Line contains a tab character.	45
	Missing a Javadoc comment.	45
	Variable 'allLits' must be private and have accessor methods.	45
	Line has trailing spaces.	46
	Line contains a tab character.	46
	Line has trailing spaces.	47
	Line contains a tab character.	47
	Line contains a tab character.	48
	Missing a Javadoc comment.	48
	Parameter size should be final.	48
	'{' is not preceded with whitespace.	48
	Line contains a tab character.	49
	Line contains a tab character.	50
	',' is not followed by whitespace.	50
	Line contains a tab character.	51
	'<' is not preceded with whitespace.	51
	'<' is not followed by whitespace.	51
	'>' is not preceded with whitespace.	51
	'>' is not followed by whitespace.	51
	Line contains a tab character.	52
	Line contains a tab character.	53
	Line has trailing spaces.	54
	Line contains a tab character.	54
	Line contains a tab character.	55
	Missing a Javadoc comment.	55
	Parameter cpb should be final.	55
	'{' is not preceded with whitespace.	55
	Line contains a tab character.	56
	'*' is not preceded with whitespace.	56
	'*' is not followed by whitespace.	56
	'+' is not preceded with whitespace.	56
	'+' is not followed by whitespace.	56
	',' is not followed by whitespace.	56
	Line contains a tab character.	57
	'<' is not preceded with whitespace.	57
	'<' is not followed by whitespace.	57
	'>' is not preceded with whitespace.	57
	'>' is not followed by whitespace.	57
	Line contains a tab character.	58
	Line contains a tab character.	59
	'+' is not preceded with whitespace.	65
	'+' is not followed by whitespace.	65
	Line contains a tab character.	69
	Line has trailing spaces.	70
	Line contains a tab character.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	72
	Missing a Javadoc comment.	72
	Parameter lit should be final.	72
	'{' is not preceded with whitespace.	72
	Line contains a tab character.	73
	Line contains a tab character.	74
	Line contains a tab character.	75
	Line has trailing spaces.	76
	Line contains a tab character.	76
	Line contains a tab character.	77
	Method 'getLit' is not designed for extension - needs to be abstract, final or empty.	77
	Missing a Javadoc comment.	77
	Parameter indLit should be final.	77
	'{' is not preceded with whitespace.	77
	Line contains a tab character.	78
	Line has trailing spaces.	79
	Line contains a tab character.	79
	Line contains a tab character.	80
	Line contains a tab character.	82
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	82
	Missing a Javadoc comment.	82
	Parameter indLit should be final.	82
	'{' is not preceded with whitespace.	82
	Line contains a tab character.	83
	Line has trailing spaces.	84
	Line contains a tab character.	84
	Line contains a tab character.	85
	Line has trailing spaces.	86
	Line contains a tab character.	86
	Line contains a tab character.	87
	Line contains a tab character.	88
	Method 'containsKey' is not designed for extension - needs to be abstract, final or empty.	88
	Missing a Javadoc comment.	88
	Parameter lit should be final.	88
	'{' is not preceded with whitespace.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line has trailing spaces.	91
	Line contains a tab character.	91
	Line contains a tab character.	92
	Method 'size' is not designed for extension - needs to be abstract, final or empty.	92
	Missing a Javadoc comment.	92
	'{' is not preceded with whitespace.	92
	Line contains a tab character.	93
	Line contains a tab character.	94
	Line has trailing spaces.	95
	Line contains a tab character.	95
	Line contains a tab character.	96
	Line contains a tab character.	97
	Method 'put' is not designed for extension - needs to be abstract, final or empty.	97
	Missing a Javadoc comment.	97
	Parameter lit should be final.	97
	Parameter newValue should be final.	97
	'{' is not preceded with whitespace.	97
	Line contains a tab character.	98
	Line contains a tab character.	99
	'{' is not preceded with whitespace.	99
	Line contains a tab character.	100
	',' is not followed by whitespace.	100
	Line contains a tab character.	101
	'}' should be on the same line.	101
	Line contains a tab character.	102
	Line contains a tab character.	103
	Line contains a tab character.	104
	Line contains a tab character.	105
	'-' is not preceded with whitespace.	105
	'-' is not followed by whitespace.	105
	Line contains a tab character.	106
	Line contains a tab character.	107
	Line has trailing spaces.	108
	Line contains a tab character.	108
	Line contains a tab character.	109
	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
	'{' is not preceded with whitespace.	109
	Line contains a tab character.	110
	Line contains a tab character.	111
	',' is not followed by whitespace.	111
	Line contains a tab character.	112
	Line has trailing spaces.	113
	Line contains a tab character.	113
	Line contains a tab character.	114
	Line has trailing spaces.	115
	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
	'{' is not preceded with whitespace.	116
	Line contains a tab character.	117
	Line contains a tab character.	118
	'{' is not preceded with whitespace.	118
	Line contains a tab character.	119
	Line contains a tab character.	120
	Line contains a tab character.	121
	Line contains a tab character.	122
	',' is not followed by whitespace.	122
	Line contains a tab character.	123
	',' is not followed by whitespace.	123
	Line contains a tab character.	124
	Line has trailing spaces.	126
	Method 'copyCoefs' is not designed for extension - needs to be abstract, final or empty.	128
	Missing a Javadoc comment.	128
	Parameter dest should be final.	128
	'<' is not preceded with whitespace.	128
	'<' is not followed by whitespace.	128
	'>' is not preceded with whitespace.	128
	'{' is not preceded with whitespace.	128
	Line contains a tab character.	129
	Method 'copyCoefs' is not designed for extension - needs to be abstract, final or empty.	132
	Missing a Javadoc comment.	132
	Parameter dest should be final.	132
	'{' is not preceded with whitespace.	132
	Line contains a tab character.	133
	Method 'copyLits' is not designed for extension - needs to be abstract, final or empty.	136
	Missing a Javadoc comment.	136
	Parameter dest should be final.	136
	'{' is not preceded with whitespace.	136
	Line contains a tab character.	137
	Method 'copyLits' is not designed for extension - needs to be abstract, final or empty.	140
	Missing a Javadoc comment.	140
	Parameter dest should be final.	140
	'{' is not preceded with whitespace.	140
	Line contains a tab character.	141

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	38
	Line has trailing spaces.	39
	Missing a Javadoc comment.	48
	Variable 'weightedLits' must be private and have accessor methods.	48
	Missing a Javadoc comment.	50
	Variable 'degree' must be private and have accessor methods.	50
	Missing a Javadoc comment.	52
	Parameter cpb should be final.	52
	Missing a Javadoc comment.	57
	Parameter size should be final.	57
	Method 'isCardinality' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	'{' is not preceded with whitespace.	62
	'for' construct must use '{}'s.	63
	'if' construct must use '{}'s.	64
	Line contains a tab character.	65
	Line has trailing spaces.	68
	Method 'saturation' is not designed for extension - needs to be abstract, final or empty.	69
	Missing a Javadoc comment.	69
	'if' construct must use '{}'s.	74
	'for' construct must use '{}'s.	82
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	89
	Missing a Javadoc comment.	89
	Parameter cpb should be final.	89
	Parameter deg should be final.	89
	Parameter reducedCoefs should be final.	90
	Parameter val should be final.	90
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	94
	Missing a Javadoc comment.	94
	Parameter cpb should be final.	94
	Parameter degreeCons should be final.	94
	Parameter reducedCoefs should be final.	95
	Parameter coefMult should be final.	95
	Parameter val should be final.	96
	'if' construct must use '{}'s.	100
	'else' construct must use '{}'s.	106
	Method 'cuttingPlane' 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 reducedCoefs should be final.	116
	Parameter deg should be final.	117
	Method 'cuttingPlane' is not designed for extension - needs to be abstract, final or empty.	121
	Missing a Javadoc comment.	121
	Parameter lits should be final.	121
	Array brackets at illegal position.	121
	Parameter reducedCoefs should be final.	121
	Parameter degreeCons should be final.	122
	Parameter coefMult should be final.	122
	'for' construct must use '{}'s.	126
	Missing a Javadoc comment.	132
	'if' construct must use '{}'s.	158
	'else' construct must use '{}'s.	160
	Line has trailing spaces.	160
	Line is longer than 80 characters.	165
	Method 'buildConstraintFromConflict' is not designed for extension - needs to be abstract, final or empty.	168
	Missing a Javadoc comment.	168
	Parameter resLits should be final.	168
	Parameter resCoefs should be final.	169
	'<' is not preceded with whitespace.	169
	'<' is not followed by whitespace.	169
	'>' is not preceded with whitespace.	169
	Method 'buildConstraintFromMapPb' is not designed for extension - needs to be abstract, final or empty.	176
	Missing a Javadoc comment.	176
	Parameter resLits should be final.	176
	Parameter resCoefs should be final.	176
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	184
	Missing a Javadoc comment.	184
	Method 'size' is not designed for extension - needs to be abstract, final or empty.	188
	Missing a Javadoc comment.	188
	Line has trailing spaces.	194
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	197
	Missing a Javadoc comment.	197
	Missing a Javadoc comment.	209
	Parameter coef should be final.	209
	Parameter mult should be final.	209
	'if' construct must use '{}'s.	210
	Method 'increaseCoef' is not designed for extension - needs to be abstract, final or empty.	215
	Missing a Javadoc comment.	215
	Parameter lit should be final.	215
	Parameter incCoef should be final.	215
	Method 'decreaseCoef' is not designed for extension - needs to be abstract, final or empty.	219
	Missing a Javadoc comment.	219
	Parameter lit should be final.	219
	Parameter decCoef should be final.	219
	Method 'setCoef' is not designed for extension - needs to be abstract, final or empty.	223
	Missing a Javadoc comment.	223
	Parameter lit should be final.	223
	Parameter newValue should be final.	223
	Method 'changeCoef' is not designed for extension - needs to be abstract, final or empty.	227
	Missing a Javadoc comment.	227
	Parameter indLit should be final.	227
	Parameter newValue should be final.	227
	Method 'removeCoef' is not designed for extension - needs to be abstract, final or empty.	231
	Missing a Javadoc comment.	231
	Parameter lit should be final.	231

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Class MaxWatchPb should be declared as final.	40
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	42
	First sentence should end with a period.	44
	Line has trailing spaces.	46
	Unused @param tag for 'ps'.	49
	Unused @param tag for 'weightedLits'.	51
	Unused @param tag for 'moreThan'.	53
	Unused @param tag for 'degree'.	55
	Parameter voc should be final.	58
	Parameter mpb should be final.	58
	Expected @param tag for 'mpb'.	58
	Line is longer than 80 characters.	67
	Missing a Javadoc comment.	67
	Parameter voc should be final.	67
	Parameter lits should be final.	67
	Parameter coefs should be final.	67
	Parameter degree should be final.	67
	First sentence should end with a period.	76
	Line has trailing spaces.	78
	Expected @throws tag for 'ContradictionException'.	82
	'{' is not preceded with whitespace.	86
	Line has trailing spaces.	105
	Missing a Javadoc comment.	108
	Parameter s should be final.	109
	'if' construct must use '{}'s.	115
	Line has trailing spaces.	115
	Parameter s should be final.	136
	Parameter voc should be final.	137
	Expected @param tag for 'voc'.	137
	Parameter ps should be final.	137
	Parameter coefs should be final.	137
	Parameter moreThan should be final.	137
	Parameter degree should be final.	137
	Expected @throws tag for 'ContradictionException'.	138
	Parameter s should be final.	157
	Parameter voc should be final.	158
	Expected @param tag for 'voc'.	158
	Parameter ps should be final.	158
	Parameter coefs should be final.	158
	'<' is not preceded with whitespace.	158
	'<' is not followed by whitespace.	158
	'>' is not preceded with whitespace.	158
	Parameter moreThan should be final.	158
	Parameter degree should be final.	159
	Expected @throws tag for 'ContradictionException'.	159
	'<' is not preceded with whitespace.	163
	'<' is not followed by whitespace.	163
	'>' is not preceded with whitespace.	163
	'<' is not preceded with whitespace.	163
	'<' is not followed by whitespace.	163
	'>' is not preceded with whitespace.	163
	'>' is not followed by whitespace.	163
	Line is longer than 80 characters.	167
	'if' construct must use '{}'s.	175
	Line has trailing spaces.	186
	Parameter s should be final.	193
	Parameter p should be final.	193
	'while' construct must use '{}'s.	201
	First sentence should end with a period.	234
	'if' construct must use '{}'s.	239
	First sentence should end with a period.	244
	Line has trailing spaces.	246
	Parameter p should be final.	250
	'while' construct must use '{}'s.	252
	Line has trailing spaces.	261
	Expected an @return tag.	263
	Parameter voc should be final.	263
	Expected @param tag for 'voc'.	263
	Parameter lits should be final.	263
	Expected @param tag for 'lits'.	263
	Parameter coefs should be final.	263
	Expected @param tag for 'coefs'.	263
	Parameter moreThan should be final.	264
	Expected @param tag for 'moreThan'.	264
	Parameter degree should be final.	264
	Expected @param tag for 'degree'.	264
	Line has trailing spaces.	271
	Expected an @return tag.	273
	Parameter voc should be final.	273
	Expected @param tag for 'voc'.	273
	Parameter lits should be final.	273
	Expected @param tag for 'lits'.	273
	Parameter coefs should be final.	274
	'<' is not preceded with whitespace.	274
	'<' is not followed by whitespace.	274
	'>' is not preceded with whitespace.	274
	Expected @param tag for 'coefs'.	274
	Parameter moreThan should be final.	274
	Expected @param tag for 'moreThan'.	274
	Parameter degree should be final.	274
	Expected @param tag for 'degree'.	274
	Parameter s should be final.	290
	Parameter voc should be final.	291
	Parameter mpb should be final.	291
	Expected @throws tag for 'ContradictionException'.	291
	Line has trailing spaces.	316
	Parameter s should be final.	321
	Line is longer than 80 characters.	322
	Parameter voc should be final.	322
	Parameter lits should be final.	322
	Parameter coefs should be final.	322
	Parameter degree should be final.	322
	Expected @throws tag for 'ContradictionException'.	322
	Line has trailing spaces.	339
	Expected an @return tag.	341
	Line is longer than 80 characters.	341
	Parameter voc should be final.	341
	Expected @param tag for 'voc'.	341
	Parameter mpb should be final.	341
	Expected @param tag for 'mpb'.	341
	Line has trailing spaces.	345

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	38
	Line has trailing spaces.	41
	Missing a Javadoc comment.	45
	Missing a Javadoc comment.	47
	Parameter voc should be final.	47
	Parameter ps should be final.	47
	Parameter moreThan should be final.	47
	Parameter degree should be final.	47
	'degree' hides a field.	47
	Missing a Javadoc comment.	52
	Parameter voc should be final.	52
	Parameter ps should be final.	52
	Parameter degree should be final.	52
	'degree' hides a field.	52
	Line has trailing spaces.	59
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Parameter literal should be final.	62
	Line has trailing spaces.	68
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	75
	Missing a Javadoc comment.	75
	'for' construct must use '{}'s.	77
	Line has trailing spaces.	84
	Parameter s should be final.	97
	Parameter voc should be final.	97
	Parameter ps should be final.	97
	Parameter degree should be final.	97
	Expected @throws tag for 'ContradictionException'.	98
	Line has trailing spaces.	104
	Parameter s should be final.	118
	Parameter voc should be final.	119
	Parameter ps should be final.	119
	Parameter moreThan should be final.	119
	Parameter degree should be final.	119
	Expected @throws tag for 'ContradictionException'.	120
	Missing a Javadoc comment.	124
	Parameter s should be final.	124
	Parameter voc should be final.	125
	Parameter ps should be final.	125
	Parameter moreThan should be final.	125
	Parameter degree should be final.	125
	Parameter normalized should be final.	126
	'for' construct must use '{}'s.	132
	'if' construct must use '{}'s.	141
	'else' construct must use '{}'s.	143
	'if' construct must use '{}'s.	146
	Line has trailing spaces.	155
	First sentence should end with a period.	159
	Line has trailing spaces.	161
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	165
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	170
	Missing a Javadoc comment.	170
	Method 'register' is not designed for extension - needs to be abstract, final or empty.	175
	Missing a Javadoc comment.	175
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	181
	Missing a Javadoc comment.	181
	Parameter s should be final.	182
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	191
	Missing a Javadoc comment.	191

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	42
	First sentence should end with a period.	44
	Variable 'watched' must be private and have accessor methods.	47
	Variable 'watching' must be private and have accessor methods.	52
	First sentence should end with a period.	54
	Variable 'watchingCount' must be private and have accessor methods.	57
	First sentence should end with a period.	59
	Line has trailing spaces.	61
	Line has trailing spaces.	64
	Line has trailing spaces.	65
	Parameter voc should be final.	67
	Parameter mpb should be final.	67
	Line is longer than 80 characters.	80
	Missing a Javadoc comment.	80
	Parameter voc should be final.	80
	Parameter lits should be final.	80
	Parameter coefs should be final.	80
	Parameter degree should be final.	80
	Line has trailing spaces.	94
	Method 'computeWatches' is not designed for extension - needs to be abstract, final or empty.	97
	Missing a Javadoc comment.	97
	'if' construct must use '{}'s.	112
	Missing a Javadoc comment.	121
	Line has trailing spaces.	160
	Line is longer than 80 characters.	161
	Method 'computePropagation' is not designed for extension - needs to be abstract, final or empty.	163
	Missing a Javadoc comment.	163
	Parameter s should be final.	164
	Line is longer than 80 characters.	169
	Parameter s should be final.	191
	Parameter voc should be final.	192
	Expected @param tag for 'voc'.	192
	Parameter ps should be final.	192
	Parameter coefs should be final.	192
	Parameter moreThan should be final.	192
	Parameter degree should be final.	192
	Expected @throws tag for 'ContradictionException'.	193
	Parameter s should be final.	212
	Parameter voc should be final.	213
	Expected @param tag for 'voc'.	213
	Parameter ps should be final.	213
	Parameter coefs should be final.	213
	'<' is not preceded with whitespace.	213
	'<' is not followed by whitespace.	213
	'>' is not preceded with whitespace.	213
	Parameter moreThan should be final.	213
	Parameter degree should be final.	214
	Expected @throws tag for 'ContradictionException'.	214
	'<' is not preceded with whitespace.	217
	'<' is not followed by whitespace.	217
	'>' is not preceded with whitespace.	217
	'<' is not preceded with whitespace.	217
	'<' is not followed by whitespace.	217
	'>' is not preceded with whitespace.	217
	'>' is not followed by whitespace.	217
	Line is longer than 80 characters.	222
	'if' construct must use '{}'s.	225
	Parameter s should be final.	252
	Parameter voc should be final.	253
	Parameter mpb should be final.	253
	Expected @throws tag for 'ContradictionException'.	253
	Parameter s should be final.	283
	Line is longer than 80 characters.	284
	Parameter voc should be final.	284
	Parameter lits should be final.	284
	Parameter coefs should be final.	284
	Parameter degree should be final.	284
	Expected @throws tag for 'ContradictionException'.	284
	Line has trailing spaces.	302
	Method 'nbOfWatched' is not designed for extension - needs to be abstract, final or empty.	305
	'for' construct must use '{}'s.	308
	'if' construct must use '{}'s.	309
	Avoid inline conditionals.	311
	Line has trailing spaces.	318
	Method 'propagate' is not designed for extension - needs to be abstract, final or empty.	325
	Parameter s should be final.	325
	Parameter p should be final.	325
	'while' construct must use '{}'s.	331
	First sentence should end with a period.	385
	Method 'remove' is not designed for extension - needs to be abstract, final or empty.	388
	First sentence should end with a period.	397
	Line has trailing spaces.	399
	Method 'undo' is not designed for extension - needs to be abstract, final or empty.	403
	Parameter p should be final.	403
	'while' construct must use '{}'s.	406
	Line has trailing spaces.	422
	Expected an @return tag.	424
	Parameter voc should be final.	424
	Expected @param tag for 'voc'.	424
	Parameter lits should be final.	424
	Expected @param tag for 'lits'.	424
	Parameter coefs should be final.	424
	Expected @param tag for 'coefs'.	424
	Parameter moreThan should be final.	425
	Expected @param tag for 'moreThan'.	425
	Parameter degree should be final.	425
	Expected @param tag for 'degree'.	425
	Line has trailing spaces.	431
	Expected an @return tag.	433
	Parameter voc should be final.	433
	Expected @param tag for 'voc'.	433
	Parameter lits should be final.	433
	Expected @param tag for 'lits'.	433
	Parameter coefs should be final.	434
	'<' is not preceded with whitespace.	434
	'<' is not followed by whitespace.	434
	'>' is not preceded with whitespace.	434
	Expected @param tag for 'coefs'.	434
	Parameter moreThan should be final.	434
	Expected @param tag for 'moreThan'.	434
	Parameter degree should be final.	434
	Expected @param tag for 'degree'.	434
	Line has trailing spaces.	441
	Expected an @return tag.	443
	Line is longer than 80 characters.	443
	Parameter voc should be final.	443
	Expected @param tag for 'voc'.	443
	Parameter mpb should be final.	443
	Expected @param tag for 'mpb'.	443
	Line has trailing spaces.	448
	Method 'maximalCoefficient' is not designed for extension - needs to be abstract, final or empty.	454
	Parameter pIndice should be final.	454
	'for' construct must use '{}'s.	456
	Method 'updateWatched' is not designed for extension - needs to be abstract, final or empty.	467
	Missing a Javadoc comment.	467
	Parameter mc should be final.	467
	Parameter pIndice should be final.	467

org/sat4j/pb/constraints/pb/MixableCBClausePB.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	37
	Line has trailing spaces.	40
	Missing a Javadoc comment.	44
	Parameter ps should be final.	44
	Parameter voc should be final.	44
	Parameter learnt should be final.	44
	Missing a Javadoc comment.	48
	Parameter ps should be final.	48
	Parameter voc should be final.	48
	Missing a Javadoc comment.	52
	Parameter s should be final.	52
	Parameter voc should be final.	53
	Parameter literals should be final.	53
	Line has trailing spaces.	61
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	Line has trailing spaces.	70
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	73
	Missing a Javadoc comment.	73
	Parameter literal should be final.	73
	Line has trailing spaces.	79
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	82
	Missing a Javadoc comment.	82
	'for' construct must use '{}'s.	84
	Line has trailing spaces.	91
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	94
	Missing a Javadoc comment.	94
	Line has trailing spaces.	100
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	103
	Missing a Javadoc comment.	103
	Line has trailing spaces.	111
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	114
	Missing a Javadoc comment.	114
	Line has trailing spaces.	120
	Line is longer than 80 characters.	121
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	123
	Missing a Javadoc comment.	123
	Parameter s should be final.	124
	'for' construct must use '{}'s.	125

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	38
	Missing a Javadoc comment.	42
	Redundant 'public' modifier.	42
	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

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	38
	Utility classes should not have a public or default constructor.	38
	Line contains a tab character.	40
	Missing a Javadoc comment.	40
	Parameter ps should be final.	40
	Line contains a tab character.	41
	Parameter bigCoefs should be final.	41
	'<' is not preceded with whitespace.	41
	'<' is not followed by whitespace.	41
	'>' is not preceded with whitespace.	41
	Parameter moreThan should be final.	41
	Parameter bigDeg should be final.	41
	Line contains a tab character.	42
	Parameter voc should be final.	42
	Line contains a tab character.	43
	Line contains a tab character.	44
	Line contains a tab character.	45
	Line contains a tab character.	46
	Line contains a tab character.	47
	Line has trailing spaces.	48
	Line is longer than 80 characters.	48
	Line contains a tab character.	48
	',' is not followed by whitespace.	48
	',' is not followed by whitespace.	48
	',' is not followed by whitespace.	48
	Line has trailing spaces.	49
	Line contains a tab character.	49
	Line contains a tab character.	50
	'*' is not preceded with whitespace.	50
	'*' is not followed by whitespace.	50
	'+' is not preceded with whitespace.	50
	'+' is not followed by whitespace.	50
	'if' construct must use '{}'s.	51
	Line contains a tab character.	51
	Line contains a tab character.	52
	'if' construct must use '{}'s.	53
	Line contains a tab character.	53
	Line contains a tab character.	54
	'if' construct must use '{}'s.	55
	Line contains a tab character.	55
	Line contains a tab character.	56
	Line contains a tab character.	57
	Line contains a tab character.	58
	Line contains a tab character.	60
	Missing a Javadoc comment.	60
	Parameter lits should be final.	60
	Line contains a tab character.	61
	Parameter bc should be final.	61
	Parameter moreThan should be final.	61
	Parameter bigDeg should be final.	61
	Line contains a tab character.	62
	Line contains a tab character.	63
	Line contains a tab character.	64
	Line contains a tab character.	65
	Line contains a tab character.	66
	Line contains a tab character.	67
	Line contains a tab character.	68
	Line has trailing spaces.	69
	Line contains a tab character.	69
	'for' construct must use '{}'s.	70
	Line contains a tab character.	70
	Line contains a tab character.	71
	Line contains a tab character.	72
	Line contains a tab character.	73
	Line contains a tab character.	74
	Line contains a tab character.	75
	Line has trailing spaces.	76
	Line contains a tab character.	76
	'for' construct must use '{}'s.	77
	Line contains a tab character.	77
	'if' construct must use '{}'s.	78
	Line has trailing spaces.	78
	Line contains a tab character.	78
	Line contains a tab character.	79
	Line has trailing spaces.	80
	Line contains a tab character.	80
	Line has trailing spaces.	81
	Line contains a tab character.	81
	Line contains a tab character.	82
	Line has trailing spaces.	83
	Line contains a tab character.	83
	Line contains a tab character.	84
	Line contains a tab character.	86
	Missing a Javadoc comment.	86
	Parameter ps should be final.	86
	Line contains a tab character.	87
	Parameter bigCoefs should be final.	87
	'<' is not preceded with whitespace.	87
	'<' is not followed by whitespace.	87
	'>' is not preceded with whitespace.	87
	Parameter moreThan should be final.	87
	Parameter bigDeg should be final.	87
	Line contains a tab character.	88
	Parameter voc should be final.	88
	Line contains a tab character.	89
	Line contains a tab character.	90
	Line contains a tab character.	91
	Line contains a tab character.	92
	Line contains a tab character.	93
	Line is longer than 80 characters.	94
	Line contains a tab character.	94
	Line contains a tab character.	95
	Line contains a tab character.	96
	Line contains a tab character.	97
	Line contains a tab character.	98
	Line contains a tab character.	100
	Missing a Javadoc comment.	100
	Parameter ps should be final.	100
	Line has trailing spaces.	101
	Line contains a tab character.	101
	Parameter bigCoefs should be final.	101
	Parameter moreThan should be final.	101
	Parameter bigDeg should be final.	101
	Line contains a tab character.	102
	Line contains a tab character.	103
	Line contains a tab character.	104
	Line contains a tab character.	105
	Line contains a tab character.	106
	Line contains a tab character.	107
	Line is longer than 80 characters.	108
	Line contains a tab character.	108
	Line contains a tab character.	109
	Line contains a tab character.	110
	Line is longer than 80 characters.	111
	Line contains a tab character.	111
	Line contains a tab character.	112
	Line contains a tab character.	114
	Missing a Javadoc comment.	114
	'<' is not preceded with whitespace.	114
	'<' is not followed by whitespace.	114
	'>' is not preceded with whitespace.	114
	Parameter vec should be final.	114
	Line contains a tab character.	115
	'<' is not preceded with whitespace.	115
	'<' is not followed by whitespace.	115
	'>' is not preceded with whitespace.	115
	'<' is not preceded with whitespace.	115
	'<' is not followed by whitespace.	115
	'>' is not preceded with whitespace.	115
	'>' is not followed by whitespace.	115
	'for' construct must use '{}'s.	116
	Line contains a tab character.	116
	Line contains a tab character.	117
	Line contains a tab character.	118
	Line contains a tab character.	119

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Class PuebloMinWatchPb should be declared as final.	40
	Missing a Javadoc comment.	40
	Missing a Javadoc comment.	42
	First sentence should end with a period.	44
	Line has trailing spaces.	46
	Unused @param tag for 'ps'.	49
	Unused @param tag for 'weightedLits'.	51
	Unused @param tag for 'moreThan'.	53
	Unused @param tag for 'degree'.	55
	Parameter voc should be final.	58
	Parameter mpb should be final.	58
	Expected @param tag for 'mpb'.	58
	Parameter s should be final.	77
	Parameter voc should be final.	78
	Expected @param tag for 'voc'.	78
	Parameter ps should be final.	78
	Parameter coefs should be final.	78
	Parameter moreThan should be final.	78
	Parameter degree should be final.	78
	Expected @throws tag for 'ContradictionException'.	79
	Parameter s should be final.	98
	Parameter voc should be final.	99
	Expected @param tag for 'voc'.	99
	Parameter ps should be final.	99
	Parameter coefs should be final.	99
	'<' is not preceded with whitespace.	99
	'<' is not followed by whitespace.	99
	'>' is not preceded with whitespace.	99
	Parameter moreThan should be final.	99
	Parameter degree should be final.	100
	Expected @throws tag for 'ContradictionException'.	100
	'<' is not preceded with whitespace.	103
	'<' is not followed by whitespace.	103
	'>' is not preceded with whitespace.	103
	'<' is not preceded with whitespace.	103
	'<' is not followed by whitespace.	103
	'>' is not preceded with whitespace.	103
	'>' is not followed by whitespace.	103
	Line is longer than 80 characters.	108
	Missing a Javadoc comment.	124
	Parameter s should be final.	124
	Parameter voc should be final.	125
	Parameter mpb should be final.	125
	Line has trailing spaces.	141
	Expected an @return tag.	143
	Parameter voc should be final.	143
	Expected @param tag for 'voc'.	143
	Parameter lits should be final.	143
	Expected @param tag for 'lits'.	143
	Parameter coefs should be final.	143
	Expected @param tag for 'coefs'.	143
	Parameter moreThan should be final.	144
	Expected @param tag for 'moreThan'.	144
	Parameter degree should be final.	144
	Expected @param tag for 'degree'.	144
	Line has trailing spaces.	150
	Expected an @return tag.	152
	Parameter voc should be final.	152
	Expected @param tag for 'voc'.	152
	Parameter lits should be final.	152
	Expected @param tag for 'lits'.	152
	Parameter coefs should be final.	153
	'<' is not preceded with whitespace.	153
	'<' is not followed by whitespace.	153
	'>' is not preceded with whitespace.	153
	Expected @param tag for 'coefs'.	153
	Parameter moreThan should be final.	153
	Expected @param tag for 'moreThan'.	153
	Parameter degree should be final.	153
	Expected @param tag for 'degree'.	153
	Line is longer than 80 characters.	159
	Missing a Javadoc comment.	159
	Parameter voc should be final.	159
	Parameter mpb should be final.	159
	Missing a Javadoc comment.	163
	Parameter pIndice should be final.	164
	Missing a Javadoc comment.	168
	Parameter mc should be final.	169
	Parameter pIndice should be final.	169

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	20
	Line has trailing spaces.	26
	Line is longer than 80 characters.	27
	Missing a Javadoc comment.	36
	Line contains a tab character.	38
	Missing a Javadoc comment.	38
	Parameter value should be final.	38
	Line contains a tab character.	39
	Line contains a tab character.	40
	Line contains a tab character.	42
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	42
	Missing a Javadoc comment.	42
	Line contains a tab character.	43
	Line contains a tab character.	44
	Line contains a tab character.	46
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	46
	Missing a Javadoc comment.	46
	Parameter theLiteral1 should be final.	46
	Line contains a tab character.	47
	Line contains a tab character.	48
	Line contains a tab character.	50
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	50
	Missing a Javadoc comment.	50
	Line contains a tab character.	51
	Line contains a tab character.	52
	Line contains a tab character.	54
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	54
	Missing a Javadoc comment.	54
	Line contains a tab character.	55
	Line contains a tab character.	56
	Line contains a tab character.	58
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	58
	Missing a Javadoc comment.	58
	Line contains a tab character.	59
	Line contains a tab character.	60
	Line contains a tab character.	62
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	62
	Missing a Javadoc comment.	62
	Line contains a tab character.	63
	Line contains a tab character.	64

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

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	41
	Line has trailing spaces.	44
	Line contains a tab character.	44
	Line contains a tab character.	45
	Line contains a tab character.	46
	First sentence should end with a period.	48
	Line contains a tab character.	48
	First sentence should end with a period.	53
	First sentence should end with a period.	58
	Variable 'activity' must be private and have accessor methods.	61
	First sentence should end with a period.	63
	Variable 'coefs' must be private and have accessor methods.	66
	First sentence should end with a period.	68
	Variable 'degree' must be private and have accessor methods.	71
	First sentence should end with a period.	73
	Variable 'lits' must be private and have accessor methods.	76
	First sentence should end with a period.	78
	Variable 'learnt' must be private and have accessor methods.	81
	First sentence should end with a period.	83
	Variable 'watchCumul' must be private and have accessor methods.	86
	First sentence should end with a period.	88
	Variable 'voc' must be private and have accessor methods.	91
	Missing a Javadoc comment.	99
	Parameter mpb should be final.	99
	Missing a Javadoc comment.	111
	Parameter lits should be final.	111
	'lits' hides a field.	111
	Parameter coefs should be final.	111
	'coefs' hides a field.	111
	Parameter degree should be final.	111
	'degree' hides a field.	111
	First sentence should end with a period.	119
	Line has trailing spaces.	122
	Method 'isAssertive' is not designed for extension - needs to be abstract, final or empty.	126
	Parameter dl should be final.	126
	Expected @param tag for 'dl'.	126
	'if' construct must use '{}'s.	129
	Line is longer than 80 characters.	130
	'if' construct must use '{}'s.	134
	Line is longer than 80 characters.	138
	First sentence should end with a period.	146
	Line has trailing spaces.	148
	Method 'calcReason' is not designed for extension - needs to be abstract, final or empty.	156
	Parameter p should be final.	156
	Parameter outReason should be final.	156
	Missing a Javadoc comment.	164
	'protected' modifier out of order with the JLS suggestions.	164
	Missing a Javadoc comment.	166
	'protected' modifier out of order with the JLS suggestions.	166
	First sentence should end with a period.	169
	Line has trailing spaces.	171
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	176
	Parameter i should be final.	176
	First sentence should end with a period.	180
	Line has trailing spaces.	182
	Method 'getCoef' is not designed for extension - needs to be abstract, final or empty.	187
	Parameter i should be final.	187
	First sentence should end with a period.	191
	Line has trailing spaces.	193
	Method 'getActivity' is not designed for extension - needs to be abstract, final or empty.	197
	First sentence should end with a period.	201
	Line has trailing spaces.	203
	Method 'incActivity' is not designed for extension - needs to be abstract, final or empty.	206
	Parameter claInc should be final.	206
	Expected @param tag for 'claInc'.	206
	First sentence should end with a period.	210
	Line has trailing spaces.	213
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	216
	First sentence should end with a period.	220
	Line has trailing spaces.	223
	Line is longer than 80 characters.	230
	Method 'slackConstraint' is not designed for extension - needs to be abstract, final or empty.	230
	Parameter theCoefs should be final.	230
	Parameter theDegree should be final.	230
	First sentence should end with a period.	234
	Line has trailing spaces.	237
	Method 'recalcLeftSide' is not designed for extension - needs to be abstract, final or empty.	242
	Parameter theCoefs should be final.	242
	'for' construct must use '{}'s.	245
	First sentence should end with a period.	253
	Line has trailing spaces.	256
	Method 'recalcLeftSide' is not designed for extension - needs to be abstract, final or empty.	259
	First sentence should end with a period.	263
	Line has trailing spaces.	265
	Method 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.	268
	Line has trailing spaces.	274
	Method 'learnt' is not designed for extension - needs to be abstract, final or empty.	278
	Line has trailing spaces.	284
	Method 'locked' is not designed for extension - needs to be abstract, final or empty.	287
	'==' is not preceded with whitespace.	289
	'==' is not followed by whitespace.	289
	Line has trailing spaces.	298
	Method 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.	302
	Parameter d should be final.	302
	Method 'selectionSort' is not designed for extension - needs to be abstract, final or empty.	306
	Missing a Javadoc comment.	306
	Parameter from should be final.	306
	Parameter to should be final.	306
	Name 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.	307
	'if' construct must use '{}'s.	314
	Line is longer than 80 characters.	315
	First sentence should end with a period.	327
	Method 'setLearnt' is not designed for extension - needs to be abstract, final or empty.	330
	First sentence should end with a period.	334
	Line has trailing spaces.	336
	Method 'simplify' is not designed for extension - needs to be abstract, final or empty.	339
	Method 'size' is not designed for extension - needs to be abstract, final or empty.	354
	Missing a Javadoc comment.	354
	First sentence should end with a period.	358
	'protected' modifier out of order with the JLS suggestions.	361
	First sentence should end with a period.	374
	Line has trailing spaces.	376
	'protected' modifier out of order with the JLS suggestions.	382
	Parameter from should be final.	382
	Parameter to should be final.	382
	'if' construct must use '{}'s.	384
	'15' is a magic number.	384
	'/' is not preceded with whitespace.	388
	'/' is not followed by whitespace.	388
	'do' construct must use '{}'s.	397
	'do' construct must use '{}'s.	401
	'if' construct must use '{}'s.	406
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	423
	Missing a Javadoc comment.	423
	Method 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.	448
	Missing a Javadoc comment.	448
	Parameter s should be final.	448
	Method 'getDegree' is not designed for extension - needs to be abstract, final or empty.	463
	Method 'register' is not designed for extension - needs to be abstract, final or empty.	467
	Missing a Javadoc comment.	467
	Method 'getCoefs' is not designed for extension - needs to be abstract, final or empty.	477
	Missing a Javadoc comment.	477
	Method 'getLits' is not designed for extension - needs to be abstract, final or empty.	483
	Missing a Javadoc comment.	483
	Method 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.	489
	Missing a Javadoc comment.	489
	First sentence should end with a period.	493
	Expected an @return tag.	496
	Method 'computeAnImpliedClause' is not designed for extension - needs to be abstract, final or empty.	496
	'for' construct must use '{}'s.	506
	Method 'coefficientsEqualToOne' is not designed for extension - needs to be abstract, final or empty.	513
	Missing a Javadoc comment.	513
	Method 'equals' is not designed for extension - needs to be abstract, final or empty.	517
	Missing a Javadoc comment.	517
	Line contains a tab character.	518
	Parameter pb should be final.	518
	'==' is not preceded with whitespace.	519
	'==' is not followed by whitespace.	519
	'for' construct must use '{}'s.	537
	Line has trailing spaces.	556
	Method 'hashCode' is not designed for extension - needs to be abstract, final or empty.	557
	Missing a Javadoc comment.	557

org/sat4j/pb/core/PBDataStructureFactory.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line is longer than 80 characters.	40
	Missing a Javadoc comment.	40
	'<' is not preceded with whitespace.	40
	'<' is not followed by whitespace.	40
	'>' is not preceded with whitespace.	40
	'<' is not preceded with whitespace.	40
	'<' is not followed by whitespace.	40
	'>' is not preceded with whitespace.	40
	Missing a Javadoc comment.	42
	'<' is not preceded with whitespace.	43
	'<' is not followed by whitespace.	43
	'>' is not preceded with whitespace.	43
	Missing a Javadoc comment.	46
	'<' is not preceded with whitespace.	47
	'<' is not followed by whitespace.	47
	'>' is not preceded with whitespace.	47
	Missing a Javadoc comment.	49

org/sat4j/pb/core/PBSolver.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
	Missing a Javadoc comment.	47
	'<' is not preceded with whitespace.	47
	'<' is not followed by whitespace.	47
	'>' is not preceded with whitespace.	47
	'<' is not preceded with whitespace.	48
	'<' is not followed by whitespace.	48
	'<' is not preceded with whitespace.	48
	'<' is not followed by whitespace.	48
	'>' is not preceded with whitespace.	48
	'>' is not followed by whitespace.	48
	'>' is not preceded with whitespace.	48
	Line has trailing spaces.	51
	Missing a Javadoc comment.	55
	Parameter acg should be final.	55
	Parameter learner should be final.	56
	'<' is not preceded with whitespace.	56
	'<' is not followed by whitespace.	56
	'<' is not preceded with whitespace.	56
	'<' is not followed by whitespace.	56
	'>' is not preceded with whitespace.	56
	'>' is not followed by whitespace.	56
	'>' is not preceded with whitespace.	56
	Parameter dsf should be final.	57
	'<' is not preceded with whitespace.	57
	'<' is not followed by whitespace.	57
	'>' is not preceded with whitespace.	57
	Parameter order should be final.	57
	'<' is not preceded with whitespace.	57
	'<' is not followed by whitespace.	57
	'>' is not preceded with whitespace.	57
	Parameter restarter should be final.	58
	Missing a Javadoc comment.	62
	Parameter acg should be final.	62
	Parameter learner should be final.	63
	'<' is not preceded with whitespace.	63
	'<' is not followed by whitespace.	63
	'<' is not preceded with whitespace.	63
	'<' is not followed by whitespace.	63
	'>' is not preceded with whitespace.	63
	'>' is not followed by whitespace.	63
	'>' is not preceded with whitespace.	63
	Parameter dsf should be final.	64
	'<' is not preceded with whitespace.	64
	'<' is not followed by whitespace.	64
	'>' is not preceded with whitespace.	64
	Parameter params should be final.	64
	Parameter order should be final.	65
	'<' is not preceded with whitespace.	65
	'<' is not followed by whitespace.	65
	'>' is not preceded with whitespace.	65
	Parameter restarter should be final.	65
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	69
	Missing a Javadoc comment.	69
	Parameter literals should be final.	69
	Parameter coeffs should be final.	69
	'<' is not preceded with whitespace.	69
	'<' is not followed by whitespace.	69
	'>' is not preceded with whitespace.	69
	Parameter moreThan should be final.	70
	Parameter degree should be final.	70
	First sentence should end with a period.	78
	Variable 'listOfVariables' must be private and have accessor methods.	82
	Method 'setListOfVariablesForExplanation' is not designed for extension - needs to be abstract, final or empty.	84
	Missing a Javadoc comment.	84
	Parameter lv should be final.	84
	Method 'getExplanation' is not designed for extension - needs to be abstract, final or empty.	88
	Missing a Javadoc comment.	88
	Method 'setObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	92
	Missing a Javadoc comment.	92
	Parameter obj should be final.	92
	'<' is not preceded with whitespace.	93
	'<' is not followed by whitespace.	93
	'>' is not preceded with whitespace.	93

org/sat4j/pb/core/PBSolverCP.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Type Javadoc comment is missing an @param <L> tag.	50
	'<' is not preceded with whitespace.	50
	'<' is not followed by whitespace.	50
	'>' is not preceded with whitespace.	50
	'<' is not preceded with whitespace.	50
	'<' is not followed by whitespace.	50
	'>' is not preceded with whitespace.	50
	Missing a Javadoc comment.	52
	Line has trailing spaces.	53
	Line is longer than 80 characters.	59
	Parameter acg should be final.	59
	Expected @param tag for 'acg'.	59
	Parameter learner should be final.	59
	'<' is not preceded with whitespace.	59
	'<' is not followed by whitespace.	59
	',' is not followed by whitespace.	59
	'<' is not preceded with whitespace.	59
	'<' is not followed by whitespace.	59
	'>' is not preceded with whitespace.	59
	'>' is not followed by whitespace.	59
	'>' is not preceded with whitespace.	59
	Expected @param tag for 'learner'.	59
	Parameter dsf should be final.	60
	'<' is not preceded with whitespace.	60
	'<' is not followed by whitespace.	60
	'>' is not preceded with whitespace.	60
	Expected @param tag for 'dsf'.	60
	Parameter order should be final.	60
	'<' is not preceded with whitespace.	60
	'<' is not followed by whitespace.	60
	'>' is not preceded with whitespace.	60
	Expected @param tag for 'order'.	60
	Line is longer than 80 characters.	61
	'1.5' is a magic number.	61
	'100' is a magic number.	61
	',' is not followed by whitespace.	61
	Line is longer than 80 characters.	64
	Missing a Javadoc comment.	64
	Parameter acg should be final.	64
	Parameter learner should be final.	64
	'<' is not preceded with whitespace.	64
	'<' is not followed by whitespace.	64
	',' is not followed by whitespace.	64
	'<' is not preceded with whitespace.	64
	'<' is not followed by whitespace.	64
	'>' is not preceded with whitespace.	64
	'>' is not followed by whitespace.	64
	'>' is not preceded with whitespace.	64
	Parameter dsf should be final.	64
	'<' is not preceded with whitespace.	64
	'<' is not followed by whitespace.	64
	'>' is not preceded with whitespace.	64
	Parameter params should be final.	64
	Parameter order should be final.	64
	'<' is not preceded with whitespace.	64
	'<' is not followed by whitespace.	64
	'>' is not preceded with whitespace.	64
	Parameter restarter should be final.	64
	Line is longer than 80 characters.	68
	Missing a Javadoc comment.	68
	Parameter acg should be final.	68
	Parameter learner should be final.	68
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	',' is not followed by whitespace.	68
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	'>' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	Parameter dsf should be final.	68
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	Parameter params should be final.	68
	Parameter order should be final.	68
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	',' is not followed by whitespace.	69
	Line has trailing spaces.	72
	Method 'analyze' is not designed for extension - needs to be abstract, final or empty.	73
	Missing a Javadoc comment.	73
	Parameter myconfl should be final.	74
	Parameter results should be final.	74
	'cast' is not followed by whitespace.	77
	',' is not followed by whitespace.	79
	'cast' is not followed by whitespace.	82
	',' is not followed by whitespace.	83
	'if' construct must use '{}'s.	88
	'if' construct must use '{}'s.	92
	Line contains a tab character.	93
	Line is longer than 80 characters.	105
	Line contains a tab character.	105
	Line has trailing spaces.	112
	Line is longer than 80 characters.	112
	'==' is not preceded with whitespace.	112
	'==' is not followed by whitespace.	112
	'{' is not preceded with whitespace.	112
	Line contains a tab character.	113
	Line contains a tab character.	114
	'=' is not preceded with whitespace.	114
	Line contains a tab character.	115
	Line has trailing spaces.	117
	Line has trailing spaces.	121
	Line has trailing spaces.	123
	Line has trailing spaces.	124
	Line has trailing spaces.	125
	Line contains a tab character.	126
	'if' construct must use '{}'s.	127
	Line has trailing spaces.	127
	Line contains a tab character.	128
	'else' construct must use '{}'s.	129
	Line contains a tab character.	130
	Method 'analyzeAtRootLevel' is not designed for extension - needs to be abstract, final or empty.	133
	Missing a Javadoc comment.	133
	Parameter myconfl should be final.	134
	',' is not followed by whitespace.	138
	'cast' is not followed by whitespace.	140
	'if' construct must use '{}'s.	141
	Line contains a tab character.	142
	',' is not followed by whitespace.	142
	'if' construct must use '{}'s.	144
	Line contains a tab character.	145
	Method 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.	149
	Missing a Javadoc comment.	149
	Parameter myconfl should be final.	149
	Parameter level should be final.	149
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	153
	Missing a Javadoc comment.	153
	Parameter prefix should be final.	154
	Line has trailing spaces.	158
	Missing a Javadoc comment.	159
	'<' is not preceded with whitespace.	159
	'<' is not followed by whitespace.	159
	'>' is not preceded with whitespace.	159
	'<' is not preceded with whitespace.	159
	'<' is not followed by whitespace.	159
	'>' is not preceded with whitespace.	159
	'>' is not followed by whitespace.	159
	Missing a Javadoc comment.	160
	'<' is not preceded with whitespace.	160
	'<' is not followed by whitespace.	160
	'>' is not preceded with whitespace.	160
	'<' is not preceded with whitespace.	160
	'<' is not followed by whitespace.	160
	'>' is not preceded with whitespace.	160
	'>' is not followed by whitespace.	160
	Line has trailing spaces.	161
	Method 'initExplanation' is not designed for extension - needs to be abstract, final or empty.	162
	Missing a Javadoc comment.	162
	'{' is not preceded with whitespace.	162
	Line contains a tab character.	163
	Line contains a tab character.	164
	Line has trailing spaces.	166
	Method 'buildExplanation' is not designed for extension - needs to be abstract, final or empty.	167
	Missing a Javadoc comment.	167
	Parameter lit should be final.	167
	Parameter c should be final.	167
	'{' is not preceded with whitespace.	167
	Line contains a tab character.	168
	'>>' is not preceded with whitespace.	168
	'>>' is not followed by whitespace.	168
	'{' is not preceded with whitespace.	168
	Line contains a tab character.	169
	Line contains a tab character.	170
	Line contains a tab character.	171
	Method 'getExplanation' is not designed for extension - needs to be abstract, final or empty.	174
	Missing a Javadoc comment.	174
	Line contains a tab character.	175
	'{' is not preceded with whitespace.	175
	Line contains a tab character.	176
	'{' is not preceded with whitespace.	176
	Line contains a tab character.	177
	Line contains a tab character.	178
	Line is longer than 80 characters.	179
	Line contains a tab character.	179
	Line contains a tab character.	180
	'for' is not followed by whitespace.	180
	'<' is not preceded with whitespace.	180
	'<' is not followed by whitespace.	180
	';' is not followed by whitespace.	180
	'{' is not preceded with whitespace.	180
	Line contains a tab character.	181
	'+' is not preceded with whitespace.	181
	'+' is not followed by whitespace.	181
	Line contains a tab character.	182
	'+' is not preceded with whitespace.	182
	'+' is not followed by whitespace.	182
	Line contains a tab character.	183
	Line contains a tab character.	184
	Line contains a tab character.	185
	Line contains a tab character.	186
	Line contains a tab character.	187

org/sat4j/pb/core/PBSolverClause.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	38
	'<' is not preceded with whitespace.	38
	'<' is not followed by whitespace.	38
	'>' is not preceded with whitespace.	38
	Line has trailing spaces.	41
	Missing a Javadoc comment.	45
	Parameter acg should be final.	45
	Line is longer than 80 characters.	46
	Parameter learner should be final.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	',' is not followed by whitespace.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	'>' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	Parameter dsf should be final.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	Parameter order should be final.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	Method 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.	50
	Missing a Javadoc comment.	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
	Missing a Javadoc comment.	55
	Parameter prefix should be final.	56

org/sat4j/pb/core/PBSolverMerging.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	38
	'<' is not preceded with whitespace.	38
	'<' is not followed by whitespace.	38
	'>' is not preceded with whitespace.	38
	Line has trailing spaces.	41
	Missing a Javadoc comment.	45
	Parameter acg should be final.	45
	Parameter learner should be final.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	'>' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	Parameter dsf should be final.	47
	'<' is not preceded with whitespace.	47
	'<' is not followed by whitespace.	47
	'>' is not preceded with whitespace.	47
	Parameter order should be final.	47
	'<' is not preceded with whitespace.	47
	'<' is not followed by whitespace.	47
	'>' is not preceded with whitespace.	47
	Method 'chooseConflict' is not designed for extension - needs to be abstract, final or empty.	51
	Missing a Javadoc comment.	51
	Parameter myconfl should be final.	52
	Parameter level should be final.	52
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	56
	Missing a Javadoc comment.	56
	Parameter prefix should be final.	57

org/sat4j/pb/core/PBSolverResolution.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	37
	'<' is not preceded with whitespace.	37
	'<' is not followed by whitespace.	37
	'>' is not preceded with whitespace.	37
	Line has trailing spaces.	40
	Missing a Javadoc comment.	44
	Parameter acg should be final.	45
	Parameter learner should be final.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'<' is not preceded with whitespace.	46
	'<' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	'>' is not followed by whitespace.	46
	'>' is not preceded with whitespace.	46
	Parameter dsf should be final.	47
	'<' is not preceded with whitespace.	47
	'<' is not followed by whitespace.	47
	'>' is not preceded with whitespace.	47
	Parameter params should be final.	48
	Parameter order should be final.	48
	'<' is not preceded with whitespace.	48
	'<' is not followed by whitespace.	48
	'>' is not preceded with whitespace.	48
	Parameter restarter should be final.	49
	Missing a Javadoc comment.	53
	Parameter acg should be final.	54
	Parameter learner should be final.	55
	'<' is not preceded with whitespace.	55
	'<' is not followed by whitespace.	55
	'<' is not preceded with whitespace.	55
	'<' is not followed by whitespace.	55
	'>' is not preceded with whitespace.	55
	'>' is not followed by whitespace.	55
	'>' is not preceded with whitespace.	55
	Parameter dsf should be final.	56
	'<' is not preceded with whitespace.	56
	'<' is not followed by whitespace.	56
	'>' is not preceded with whitespace.	56
	Parameter order should be final.	57
	'<' is not preceded with whitespace.	57
	'<' is not followed by whitespace.	57
	'>' is not preceded with whitespace.	57
	Parameter restarter should be final.	57

org/sat4j/pb/core/PBSolverWithImpliedClause.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Missing a Javadoc comment.	42
	'<' is not preceded with whitespace.	42
	'<' is not followed by whitespace.	42
	'>' is not preceded with whitespace.	42
	Missing a Javadoc comment.	44
	Parameter acg should be final.	44
	Line is longer than 80 characters.	45
	Parameter learner should be final.	45
	'<' is not preceded with whitespace.	45
	'<' is not followed by whitespace.	45
	',' is not followed by whitespace.	45
	'<' is not preceded with whitespace.	45
	'<' is not followed by whitespace.	45
	'>' is not preceded with whitespace.	45
	'>' is not followed by whitespace.	45
	'>' is not preceded with whitespace.	45
	Parameter dsf should be final.	45
	'<' is not preceded with whitespace.	45
	'<' is not followed by whitespace.	45
	'>' is not preceded with whitespace.	45
	Parameter order should be final.	45
	'<' is not preceded with whitespace.	45
	'<' is not followed by whitespace.	45
	'>' is not preceded with whitespace.	45
	Line has trailing spaces.	50
	Method 'addPseudoBoolean' is not designed for extension - needs to be abstract, final or empty.	54
	Missing a Javadoc comment.	54
	Parameter literals should be final.	55
	Parameter coeffs should be final.	55
	'<' is not preceded with whitespace.	55
	'<' is not followed by whitespace.	55
	'>' is not preceded with whitespace.	55
	Parameter moreThan should be final.	56
	Parameter degree should be final.	56
	'cast' is not followed by whitespace.	60
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Parameter prefix should be final.	72

org/sat4j/pb/core/package.html

Violation	Message	Line
	Missing package documentation file.	0

org/sat4j/pb/orders/VarOrderHeapObjective.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
	Unused import - org.sat4j.core.LiteralsUtils.var.	31
	Missing a Javadoc comment.	43
	'<' is not preceded with whitespace.	43
	'<' is not followed by whitespace.	43
	'>' is not preceded with whitespace.	43
	Line contains a tab character.	45
	Line has trailing spaces.	46
	Line contains a tab character.	48
	Line contains a tab character.	50
	Missing a Javadoc comment.	50
	Line contains a tab character.	52
	Missing a Javadoc comment.	52
	Line contains a tab character.	53
	Line contains a tab character.	54
	Line contains a tab character.	56
	Missing a Javadoc comment.	56
	Parameter strategy should be final.	56
	Line contains a tab character.	57
	Line contains a tab character.	58
	Line contains a tab character.	60
	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
	'obj' hides a field.	60
	Line contains a tab character.	61
	Line contains a tab character.	62
	Line contains a tab character.	64
	Method 'init' is not designed for extension - needs to be abstract, final or empty.	64
	Missing a Javadoc comment.	64
	Line contains a tab character.	65
	Line contains a tab character.	66
	Line contains a tab character.	67
	Line contains a tab character.	68
	Line contains a tab character.	69
	'<' is not preceded with whitespace.	69
	'<' is not followed by whitespace.	69
	'>' is not preceded with whitespace.	69
	Line contains a tab character.	70
	Line contains a tab character.	71
	Line is longer than 80 characters.	72
	Line contains a tab character.	72
	Line contains a tab character.	73
	Line contains a tab character.	74
	Line contains a tab character.	75
	Line contains a tab character.	76
	Line contains a tab character.	77
	Line contains a tab character.	78
	Line contains a tab character.	79
	'if' construct must use '{}'s.	80
	Line contains a tab character.	80
	Line contains a tab character.	81
	'else' construct must use '{}'s.	82
	Line contains a tab character.	82
	Line contains a tab character.	83
	Line contains a tab character.	84
	Line contains a tab character.	85
	Line contains a tab character.	86
	Line contains a tab character.	87
	Line contains a tab character.	88
	Line contains a tab character.	90
	Method 'toString' is not designed for extension - needs to be abstract, final or empty.	90
	Missing a Javadoc comment.	90
	Line contains a tab character.	91
	Line is longer than 80 characters.	92
	Line contains a tab character.	92
	Line contains a tab character.	93

org/sat4j/pb/orders/package.html

Violation	Message	Line
	Missing package documentation file.	0

org/sat4j/pb/package.html

Violation	Message	Line
	Missing package documentation file.	0

org/sat4j/pb/reader/GoodOPBReader.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	54
	First sentence should end with a period.	59
	Missing a Javadoc comment.	64
	Missing a Javadoc comment.	66
	Missing a Javadoc comment.	68
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	'<' is not preceded with whitespace.	68
	'<' is not followed by whitespace.	68
	'>' is not preceded with whitespace.	68
	'>' is not followed by whitespace.	68
	Missing a Javadoc comment.	70
	'<' is not preceded with whitespace.	70
	'<' is not followed by whitespace.	70
	'>' is not preceded with whitespace.	70
	'<' is not preceded with whitespace.	70
	'<' is not followed by whitespace.	70
	'>' is not preceded with whitespace.	70
	'>' is not followed by whitespace.	70
	Line has trailing spaces.	73
	Parameter solver should be final.	75
	'solver' hides a field.	75
	Expected @param tag for 'solver'.	75
	Missing a Javadoc comment.	79
	Missing a Javadoc comment.	85
	Parameter in should be final.	85
	Method 'parseLine' is not designed for extension - needs to be abstract, final or empty.	100
	Missing a Javadoc comment.	100
	Parameter line should be final.	100
	'if' construct must use '{}'s.	102
	'if' construct must use '{}'s.	104
	'if' construct must use '{}'s.	106
	'if' construct must use '{}'s.	108
	'<' is not preceded with whitespace.	118
	'<' is not followed by whitespace.	118
	'>' is not preceded with whitespace.	118
	'<' is not preceded with whitespace.	118
	'<' is not followed by whitespace.	118
	'>' is not preceded with whitespace.	118
	'>' is not followed by whitespace.	118
	Line contains a tab character.	183
	'+' is not preceded with whitespace.	183
	'+' is not followed by whitespace.	183
	Avoid inline conditionals.	188
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	195
	Missing a Javadoc comment.	195
	Parameter model should be final.	196
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	210
	Missing a Javadoc comment.	210
	Parameter model should be final.	211
	Parameter out should be final.	211

org/sat4j/pb/reader/OPBEclipseReader2007.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Unused import - java.text.ParseException.	31
	Line contains a tab character.	44
	Line has trailing spaces.	45
	Line contains a tab character.	45
	Line contains a tab character.	46
	Line contains a tab character.	47
	Line contains a tab character.	49
	Missing a Javadoc comment.	49
	Line contains a tab character.	50
	Line contains a tab character.	51
	Line contains a tab character.	52
	Line contains a tab character.	53
	Parameter solver should be final.	53
	Expected @param tag for 'solver'.	53
	Line contains a tab character.	54
	Line contains a tab character.	55
	First sentence should end with a period.	57
	First sentence should end with a period.	63
	First sentence should end with a period.	69
	Line is longer than 80 characters.	70
	Line has trailing spaces.	72
	Method 'readVariablesExplanation' is not designed for extension - needs to be abstract, final or empty.	76
	Line is longer than 80 characters.	77
	Line contains a tab character.	77
	Expected @throws tag for 'IOException'.	77
	Expected @throws tag for 'ParseFormatException'.	77
	'{' is not preceded with whitespace.	77
	Line is longer than 80 characters.	82
	Line is longer than 80 characters.	94
	Line contains a tab character.	98
	Line is longer than 80 characters.	99
	Line contains a tab character.	99
	Line has trailing spaces.	100
	Line contains a tab character.	100
	'if' construct must use '{}'s.	103
	'else' construct must use '{}'s.	109
	Line contains a tab character.	113
	Method 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.	115
	Missing a Javadoc comment.	115
	Line contains a tab character.	116
	'{' is not preceded with whitespace.	117
	Line contains a tab character.	118
	Line has trailing spaces.	125

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.	76
	Line has trailing spaces.	78
	Line has trailing spaces.	80
	First sentence should end with a period.	88
	Missing a Javadoc comment.	93
	Variable 'solver' must be private and have accessor methods.	93
	Missing a Javadoc comment.	95
	Missing a Javadoc comment.	97
	'<' is not preceded with whitespace.	97
	'<' is not followed by whitespace.	97
	'>' is not preceded with whitespace.	97
	Missing a Javadoc comment.	99
	Missing a Javadoc comment.	101
	Missing a Javadoc comment.	103
	Missing a Javadoc comment.	105
	'<' is not preceded with whitespace.	105
	'<' is not followed by whitespace.	105
	'>' is not preceded with whitespace.	105
	'<' is not preceded with whitespace.	105
	'<' is not followed by whitespace.	105
	'>' is not preceded with whitespace.	105
	'>' is not followed by whitespace.	105
	Missing a Javadoc comment.	108
	Missing a Javadoc comment.	111
	Variable 'hasVariablesExplanation' must be private and have accessor methods.	111
	Missing a Javadoc comment.	113
	Variable 'nbVars' must be private and have accessor methods.	113
	Variable 'nbConstr' must be private and have accessor methods.	113
	Missing a Javadoc comment.	116
	Variable 'nbConstraintsRead' must be private and have accessor methods.	116
	First sentence should end with a period.	118
	Line has trailing spaces.	121
	Method 'metaData' is not designed for extension - needs to be abstract, final or empty.	127
	Parameter nbvar should be final.	127
	Parameter nbconstr should be final.	127
	First sentence should end with a period.	131
	First sentence should end with a period.	137
	Method 'endObjective' is not designed for extension - needs to be abstract, final or empty.	140
	First sentence should end with a period.	149
	Method 'beginConstraint' is not designed for extension - needs to be abstract, final or empty.	152
	Method 'endConstraint' is not designed for extension - needs to be abstract, final or empty.	165
	Expected @throws tag for 'ContradictionException'.	165
	First sentence should end with a period.	180
	Line has trailing spaces.	182
	Parameter coeff should be final.	188
	Parameter var should be final.	188
	Method 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.	193
	Missing a Javadoc comment.	193
	Parameter var should be final.	193
	Avoid inline conditionals.	195
	First sentence should end with a period.	198
	Line has trailing spaces.	200
	Method 'constraintRelOp' is not designed for extension - needs to be abstract, final or empty.	204
	Parameter relop should be final.	204
	First sentence should end with a period.	208
	Line has trailing spaces.	211
	Method 'constraintRightTerm' is not designed for extension - needs to be abstract, final or empty.	215
	Parameter val should be final.	215
	Missing a Javadoc comment.	219
	Variable 'in' must be private and have accessor methods.	219
	Missing a Javadoc comment.	221
	Variable 'savedChar' must be private and have accessor methods.	221
	Missing a Javadoc comment.	223
	Variable 'charAvailable' must be private and have accessor methods.	223
	Missing a Javadoc comment.	225
	Variable 'eofReached' must be private and have accessor methods.	225
	Missing a Javadoc comment.	227
	First sentence should end with a period.	229
	Line has trailing spaces.	231
	Expected an @return tag.	234
	Method 'get' is not designed for extension - needs to be abstract, final or empty.	234
	Expected @throws tag for 'IOException'.	234
	'if' construct must use '{}'s.	243
	Method 'getVars' is not designed for extension - needs to be abstract, final or empty.	253
	Missing a Javadoc comment.	253
	Method 'getCoeffs' is not designed for extension - needs to be abstract, final or empty.	257
	Missing a Javadoc comment.	257
	'<' is not preceded with whitespace.	257
	'<' is not followed by whitespace.	257
	'>' is not preceded with whitespace.	257
	First sentence should end with a period.	261
	Method 'putback' is not designed for extension - needs to be abstract, final or empty.	264
	Parameter c should be final.	264
	Expected @param tag for 'c'.	264
	First sentence should end with a period.	269
	Expected an @return tag.	272
	Method 'eof' is not designed for extension - needs to be abstract, final or empty.	272
	Method 'eol' is not designed for extension - needs to be abstract, final or empty.	276
	Missing a Javadoc comment.	276
	First sentence should end with a period.	280
	Line has trailing spaces.	282
	Method 'skipSpaces' is not designed for extension - needs to be abstract, final or empty.	285
	Expected @throws tag for 'IOException'.	285
	'while' construct must use '{}'s.	288
	Inner assignments should be avoided.	288
	Empty statement.	289
	First sentence should end with a period.	294
	Line has trailing spaces.	296
	Method 'readWord' is not designed for extension - needs to be abstract, final or empty.	300
	Expected @throws tag for 'IOException'.	300
	'while' construct must use '{}'s.	306
	Inner assignments should be avoided.	306
	First sentence should end with a period.	313
	Line has trailing spaces.	315
	Method 'readInteger' is not designed for extension - needs to be abstract, final or empty.	320
	Parameter s should be final.	320
	Expected @throws tag for 'IOException'.	320
	'if' construct must use '{}'s.	327
	'while' construct must use '{}'s.	331
	Inner assignments should be avoided.	331
	First sentence should end with a period.	337
	Line has trailing spaces.	339
	Method 'readIdentifier' is not designed for extension - needs to be abstract, final or empty.	344
	Parameter s should be final.	344
	Expected @param tag for 's'.	344
	Expected @throws tag for 'IOException'.	344
	Expected @throws tag for 'ParseFormatException'.	345
	'if' construct must use '{}'s.	354
	'if' construct must use '{}'s.	367
	'if' construct must use '{}'s.	370
	Method 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.	381
	Missing a Javadoc comment.	381
	Parameter c should be final.	381
	Method 'isGoodFollowingCharacter' is not designed for extension - needs to be abstract, final or empty.	385
	Missing a Javadoc comment.	385
	Parameter c should be final.	385
	Method 'checkId' is not designed for extension - needs to be abstract, final or empty.	389
	Missing a Javadoc comment.	389
	Parameter s should be final.	389
	First sentence should end with a period.	398
	Line has trailing spaces.	400
	Expected @throws tag for 'IOException'.	404
	'if' construct must use '{}'s.	410
	'if' construct must use '{}'s.	413
	'if' construct must use '{}'s.	417
	'if' construct must use '{}'s.	419
	First sentence should end with a period.	425
	Line has trailing spaces.	428
	Method 'readMetaData' is not designed for extension - needs to be abstract, final or empty.	432
	Expected @throws tag for 'IOException'.	432
	Expected @throws tag for 'ParseFormatException'.	432
	'if' construct must use '{}'s.	438
	'if' construct must use '{}'s.	443
	'if' construct must use '{}'s.	450
	First sentence should end with a period.	463
	Line has trailing spaces.	465
	Expected @throws tag for 'IOException'.	468
	Inner assignments should be avoided.	473
	First sentence should end with a period.	480
	Line has trailing spaces.	482
	Method 'readTerm' is not designed for extension - needs to be abstract, final or empty.	490
	Parameter coeff should be final.	490
	Parameter var should be final.	490
	Expected @throws tag for 'IOException'.	491
	Expected @throws tag for 'ParseFormatException'.	491
	Expected @throws tag for 'ContradictionException'.	491
	'if' construct must use '{}'s.	498
	'if' construct must use '{}'s.	502
	Missing a Javadoc comment.	506
	First sentence should end with a period.	510
	Line has trailing spaces.	513
	Expected @throws tag for 'IOException'.	517
	Expected @throws tag for 'ParseFormatException'.	517
	Line is longer than 80 characters.	543
	'if' construct must use '{}'s.	547
	'if' construct must use '{}'s.	550
	'else' construct must use '{}'s.	552
	'else' construct must use '{}'s.	558
	First sentence should end with a period.	563
	Line has trailing spaces.	565
	Expected @throws tag for 'IOException'.	570
	Expected @throws tag for 'ParseFormatException'.	570
	Expected @throws tag for 'ContradictionException'.	571
	'if' construct must use '{}'s.	588
	'if' construct must use '{}'s.	596
	Inner assignments should be avoided.	601
	'if' construct must use '{}'s.	612
	Missing a Javadoc comment.	619
	Parameter solver should be final.	619
	'solver' hides a field.	619
	'<' is not preceded with whitespace.	622
	'<' is not followed by whitespace.	622
	'>' is not preceded with whitespace.	622
	'>' is not followed by whitespace.	622
	First sentence should end with a period.	625
	Line has trailing spaces.	628
	Method 'parse' is not designed for extension - needs to be abstract, final or empty.	633
	Expected @throws tag for 'IOException'.	633
	Expected @throws tag for 'ParseFormatException'.	633
	Expected @throws tag for 'ContradictionException'.	634
	'if' construct must use '{}'s.	648
	'if' construct must use '{}'s.	653
	'if' construct must use '{}'s.	656
	Missing a Javadoc comment.	669
	Missing a Javadoc comment.	677
	Parameter input should be final.	677
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	689
	Missing a Javadoc comment.	689
	Parameter model should be final.	690
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	706
	Missing a Javadoc comment.	706
	Parameter model should be final.	707
	Parameter out should be final.	707
	Method 'getObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.	720
	Missing a Javadoc comment.	720
	Method 'getListOfVariables' is not designed for extension - needs to be abstract, final or empty.	727
	Missing a Javadoc comment.	727

org/sat4j/pb/reader/OPBReader2006.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	38
	Line has trailing spaces.	40
	Line has trailing spaces.	45
	Missing a Javadoc comment.	49
	Parameter solver should be final.	49
	First sentence should end with a period.	53
	Line has trailing spaces.	55
	Method 'readTerm' is not designed for extension - needs to be abstract, final or empty.	63
	Parameter coeff should be final.	64
	Parameter var should be final.	64
	Expected @throws tag for 'IOException'.	65
	Expected @throws tag for 'ParseFormatException'.	65
	Expected @throws tag for 'ContradictionException'.	65
	'if' construct must use '{}'s.	70

org/sat4j/pb/reader/OPBReader2007.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	30
	Line has trailing spaces.	32
	Line has trailing spaces.	39
	Line has trailing spaces.	42
	Line has trailing spaces.	70
	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
	Missing a Javadoc comment.	89
	Parameter solver should be final.	96
	Expected @param tag for 'solver'.	96
	Method 'isGoodFirstCharacter' is not designed for extension - needs to be abstract, final or empty.	100
	Missing a Javadoc comment.	100
	Parameter c should be final.	101
	Method 'checkId' is not designed for extension - needs to be abstract, final or empty.	105
	Missing a Javadoc comment.	105
	Parameter s should be final.	106
	'if' construct must use '{}'s.	109
	First sentence should end with a period.	118
	Method 'readTerm' is not designed for extension - needs to be abstract, final or empty.	123
	Missing a Javadoc comment.	123
	Parameter coeff should be final.	124
	Parameter var should be final.	124
	'<' is not preceded with whitespace.	131
	'<' is not followed by whitespace.	131
	'>' is not preceded with whitespace.	131
	'<' is not preceded with whitespace.	131
	'<' is not followed by whitespace.	131
	'>' is not preceded with whitespace.	131
	'>' is not followed by whitespace.	131
	'if' construct must use '{}'s.	137
	First sentence should end with a period.	149
	Line has trailing spaces.	151
	Method 'literalInAProduct' is not designed for extension - needs to be abstract, final or empty.	158
	Parameter var should be final.	158
	Parameter lits should be final.	158
	Avoid inline conditionals.	159
	Avoid inline conditionals.	161
	First sentence should end with a period.	165
	Line has trailing spaces.	167
	Method 'negateLiteralInAProduct' is not designed for extension - needs to be abstract, final or empty.	174
	Parameter var should be final.	174
	Parameter lits should be final.	174
	Avoid inline conditionals.	175
	Avoid inline conditionals.	177
	First sentence should end with a period.	181
	Line has trailing spaces.	184
	Method 'readMetaData' is not designed for extension - needs to be abstract, final or empty.	188
	Expected @throws tag for 'IOException'.	189
	Expected @throws tag for 'ParseFormatException'.	189
	'if' construct must use '{}'s.	195
	'if' construct must use '{}'s.	199
	'if' construct must use '{}'s.	207
	Line has trailing spaces.	215
	'!=' is not preceded with whitespace.	216
	'!=' is not followed by whitespace.	216
	'&&' is not preceded with whitespace.	216
	'&&' is not followed by whitespace.	216
	Method 'translateVarToId' is not designed for extension - needs to be abstract, final or empty.	233
	Missing a Javadoc comment.	233
	Parameter var should be final.	234
	Avoid inline conditionals.	235
	Avoid inline conditionals.	237
	Missing a Javadoc comment.	240
	Parameter tmpLit should be final.	240
	'<' is not preceded with whitespace.	240
	'<' is not followed by whitespace.	240
	'>' is not preceded with whitespace.	240
	'for' construct must use '{}'s.	253
	Line is longer than 80 characters.	253
	'<' is not preceded with whitespace.	253
	'<' is not followed by whitespace.	253
	'>' is not preceded with whitespace.	253
	';' is not followed by whitespace.	253
	'<' is not preceded with whitespace.	261
	'<' is not followed by whitespace.	261
	'>' is not preceded with whitespace.	261
	'<' is not preceded with whitespace.	261
	'<' is not followed by whitespace.	261
	'>' is not preceded with whitespace.	261
	'>' is not followed by whitespace.	261
	Line is longer than 80 characters.	262
	'<' is not preceded with whitespace.	262
	'<' is not followed by whitespace.	262
	'>' is not preceded with whitespace.	262
	';' is not followed by whitespace.	262
	Line is longer than 80 characters.	274
	Missing a Javadoc comment.	274
	'<' is not preceded with whitespace.	274
	'<' is not followed by whitespace.	274
	'<' is not preceded with whitespace.	274
	'<' is not followed by whitespace.	274
	'>' is not preceded with whitespace.	274
	'>' is not followed by whitespace.	274
	'>' is not preceded with whitespace.	274
	'<' is not preceded with whitespace.	274
	'<' is not followed by whitespace.	274
	'<' is not preceded with whitespace.	274
	'<' is not followed by whitespace.	274
	'>' is not preceded with whitespace.	274
	'>' is not followed by whitespace.	274
	'>' is not preceded with whitespace.	274
	'>' is not followed by whitespace.	274
	Missing a Javadoc comment.	276
	Parameter lits should be final.	276
	'<' is not preceded with whitespace.	276
	'<' is not followed by whitespace.	276
	'>' is not preceded with whitespace.	276
	'for' construct must use '{}'s.	277
	'<' is not preceded with whitespace.	277
	'<' is not followed by whitespace.	277
	'<' is not preceded with whitespace.	277
	'<' is not followed by whitespace.	277
	'>' is not preceded with whitespace.	277
	'>' is not followed by whitespace.	277
	'>' is not preceded with whitespace.	277
	'if' construct must use '{}'s.	278

org/sat4j/pb/reader/PBInstanceReader.java

Violation	Message	Line
	Line is longer than 80 characters.	2
	Line has trailing spaces.	18
	Line has trailing spaces.	23
	Line has trailing spaces.	24
	Line has trailing spaces.	25
	Line has trailing spaces.	46
	Missing a Javadoc comment.	51
	Missing a Javadoc comment.	53
	Missing a Javadoc comment.	55
	Missing a Javadoc comment.	57
	Parameter solver should be final.	57
	'solver' hides a field.	57
	Line contains a tab character.	58
	Missing a Javadoc comment.	63
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	71
	Missing a Javadoc comment.	71
	Parameter filename should be final.	72
	Redundant throws: 'FileNotFoundException' is subclass of 'IOException'.	73
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	112
	Missing a Javadoc comment.	112
	Parameter model should be final.	114
	Method 'decode' is not designed for extension - needs to be abstract, final or empty.	118
	Missing a Javadoc comment.	118
	Parameter model should be final.	119
	Parameter out should be final.	119
	Method 'parseInstance' is not designed for extension - needs to be abstract, final or empty.	123
	Missing a Javadoc comment.	123
	Parameter in should be final.	124

org/sat4j/pb/reader/package.html

Violation	Message	Line
	Missing package documentation file.	0

Parent Project

Project Documentation

Checkstyle Results

Summary

Files

Rules

Details

org/sat4j/pb/IPBSolver.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/PseudoOptDecorator.java

org/sat4j/pb/SolverFactory.java

org/sat4j/pb/constraints/AbstractPBClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/AbstractPBDataStructureFactory.java

org/sat4j/pb/constraints/AbstractPBDataStructureFactoryPB.java

org/sat4j/pb/constraints/CompetPBMaxClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PBMaxCBClauseCardConstrDataStructure.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/PuebloPBMinClauseAtLeastConstrDataStructure.java

org/sat4j/pb/constraints/PuebloPBMinClauseCardConstrDataStructure.java

org/sat4j/pb/constraints/PuebloPBMinDataStructure.java

org/sat4j/pb/constraints/package.html

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

org/sat4j/pb/constraints/pb/BinaryClausePB.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/ConflictMapMerging.java

org/sat4j/pb/constraints/pb/HTClausePB.java

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

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

org/sat4j/pb/constraints/pb/IInternalPBConstraintCreator.java

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

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

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

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

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

org/sat4j/pb/constraints/pb/MixableCBClausePB.java

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

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

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

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

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

org/sat4j/pb/core/PBDataStructureFactory.java

org/sat4j/pb/core/PBSolver.java

org/sat4j/pb/core/PBSolverCP.java

org/sat4j/pb/core/PBSolverClause.java

org/sat4j/pb/core/PBSolverMerging.java

org/sat4j/pb/core/PBSolverResolution.java

org/sat4j/pb/core/PBSolverWithImpliedClause.java

org/sat4j/pb/core/package.html

org/sat4j/pb/orders/VarOrderHeapObjective.java

org/sat4j/pb/orders/package.html

org/sat4j/pb/package.html

org/sat4j/pb/reader/GoodOPBReader.java

org/sat4j/pb/reader/OPBEclipseReader2007.java

org/sat4j/pb/reader/OPBReader2005.java

org/sat4j/pb/reader/OPBReader2006.java

org/sat4j/pb/reader/OPBReader2007.java

org/sat4j/pb/reader/PBInstanceReader.java

org/sat4j/pb/reader/package.html