Checkstyle Results

The following document contains the results of Checkstylerss feed

Summary

FilesInfos InfosWarnings WarningsErrors Errors
195006129

Files

FilesInfosWarningsErrors
org/sat4j/AbstractLauncher.java0097
org/sat4j/AbstractOptimizationLauncher.java0027
org/sat4j/BasicLauncher.java0019
org/sat4j/ExitCode.java0011
org/sat4j/LightFactory.java0013
org/sat4j/MUSLauncher.java0032
org/sat4j/Messages.java0010
org/sat4j/MoreThanSAT.java0013
org/sat4j/core/ASolverFactory.java0019
org/sat4j/core/ConstrGroup.java0033
org/sat4j/core/DefaultComparator.java008
org/sat4j/core/LiteralsUtils.java0022
org/sat4j/core/ReadOnlyVec.java0063
org/sat4j/core/ReadOnlyVecInt.java0076
org/sat4j/core/Vec.java0076
org/sat4j/core/VecInt.java00135
org/sat4j/minisat/SolverFactory.java0065
org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java006
org/sat4j/minisat/constraints/AbstractDataStructureFactory.java0042
org/sat4j/minisat/constraints/CardinalityDataStructure.java0014
org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java0014
org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java0014
org/sat4j/minisat/constraints/ClausalDataStructureWL.java0011
org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java0016
org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java0015
org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java0015
org/sat4j/minisat/constraints/card/AtLeast.java0088
org/sat4j/minisat/constraints/card/MaxWatchCard.java0075
org/sat4j/minisat/constraints/card/MinWatchCard.java00106
org/sat4j/minisat/constraints/card/package-info.java001
org/sat4j/minisat/constraints/cnf/BinaryClause.java0061
org/sat4j/minisat/constraints/cnf/Clauses.java0017
org/sat4j/minisat/constraints/cnf/HTClause.java0063
org/sat4j/minisat/constraints/cnf/LearntBinaryClause.java0020
org/sat4j/minisat/constraints/cnf/LearntHTClause.java0020
org/sat4j/minisat/constraints/cnf/LearntWLClause.java0015
org/sat4j/minisat/constraints/cnf/Lits.java0073
org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.java0022
org/sat4j/minisat/constraints/cnf/OriginalHTClause.java0023
org/sat4j/minisat/constraints/cnf/OriginalWLClause.java0019
org/sat4j/minisat/constraints/cnf/UnitClause.java0050
org/sat4j/minisat/constraints/cnf/UnitClauses.java0048
org/sat4j/minisat/constraints/cnf/WLClause.java0059
org/sat4j/minisat/constraints/cnf/package-info.java002
org/sat4j/minisat/constraints/package-info.java003
org/sat4j/minisat/core/ActivityComparator.java0011
org/sat4j/minisat/core/ActivityListener.java002
org/sat4j/minisat/core/CircularBuffer.java0019
org/sat4j/minisat/core/ConflictTimer.java008
org/sat4j/minisat/core/ConflictTimerAdapter.java0019
org/sat4j/minisat/core/ConflictTimerContainer.java0019
org/sat4j/minisat/core/Constr.java0018
org/sat4j/minisat/core/ConstrActivityListener.java004
org/sat4j/minisat/core/Counter.java0012
org/sat4j/minisat/core/DataStructureFactory.java0014
org/sat4j/minisat/core/Heap.java0050
org/sat4j/minisat/core/ICDCL.java0024
org/sat4j/minisat/core/ICDCLLogger.java007
org/sat4j/minisat/core/ILits.java0040
org/sat4j/minisat/core/IOrder.java0020
org/sat4j/minisat/core/IPhaseSelectionStrategy.java0012
org/sat4j/minisat/core/ISimplifier.java006
org/sat4j/minisat/core/IntQueue.java0014
org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.java0017
org/sat4j/minisat/core/LearnedConstraintsEvaluationType.java004
org/sat4j/minisat/core/Learner.java004
org/sat4j/minisat/core/LearningStrategy.java008
org/sat4j/minisat/core/Pair.java0010
org/sat4j/minisat/core/Propagatable.java005
org/sat4j/minisat/core/RestartStrategy.java0012
org/sat4j/minisat/core/SearchParams.java0046
org/sat4j/minisat/core/SimplificationType.java006
org/sat4j/minisat/core/Solver.java00569
org/sat4j/minisat/core/SolverStats.java0047
org/sat4j/minisat/core/Undoable.java005
org/sat4j/minisat/core/UnitPropagationListener.java0012
org/sat4j/minisat/core/VarActivityListener.java006
org/sat4j/minisat/core/VoidTracing.java0036
org/sat4j/minisat/core/package-info.java001
org/sat4j/minisat/learning/AbstractLearning.java0018
org/sat4j/minisat/learning/ActiveLearning.java0027
org/sat4j/minisat/learning/ClauseOnlyLearning.java007
org/sat4j/minisat/learning/FixedLengthLearning.java0020
org/sat4j/minisat/learning/LimitedLearning.java0024
org/sat4j/minisat/learning/MiniSATLearning.java0015
org/sat4j/minisat/learning/NoLearningButHeuristics.java007
org/sat4j/minisat/learning/NoLearningNoHeuristics.java007
org/sat4j/minisat/learning/PercentLengthLearning.java0021
org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.java0015
org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.java0017
org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.java0011
org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.java0011
org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.java0017
org/sat4j/minisat/orders/PureOrder.java0015
org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.java0012
org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.java0011
org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.java0018
org/sat4j/minisat/orders/RandomWalkDecorator.java0060
org/sat4j/minisat/orders/SubsetVarOrder.java0012
org/sat4j/minisat/orders/TabuListDecorator.java0055
org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.java0011
org/sat4j/minisat/orders/ValuedLit.java0016
org/sat4j/minisat/orders/VarOrderHeap.java0071
org/sat4j/minisat/package-info.java005
org/sat4j/minisat/restarts/ArminRestarts.java0021
org/sat4j/minisat/restarts/LubyRestarts.java0032
org/sat4j/minisat/restarts/MiniSATRestarts.java0020
org/sat4j/minisat/restarts/NoRestarts.java0017
org/sat4j/opt/AbstractSelectorVariablesDecorator.java0034
org/sat4j/opt/MaxSatDecorator.java0027
org/sat4j/opt/MinOneDecorator.java0028
org/sat4j/opt/package-info.java006
org/sat4j/reader/AAGReader.java0035
org/sat4j/reader/AIGReader.java0047
org/sat4j/reader/DimacsReader.java0053
org/sat4j/reader/EfficientScanner.java0042
org/sat4j/reader/GroupedCNFReader.java0024
org/sat4j/reader/InstanceReader.java0031
org/sat4j/reader/LecteurDimacs.java0045
org/sat4j/reader/ParseFormatException.java0012
org/sat4j/reader/Reader.java0020
org/sat4j/specs/ContradictionException.java005
org/sat4j/specs/IConstr.java008
org/sat4j/specs/IOptimizationProblem.java0027
org/sat4j/specs/IProblem.java0026
org/sat4j/specs/ISolver.java0065
org/sat4j/specs/ISolverService.java0014
org/sat4j/specs/IVec.java0032
org/sat4j/specs/IVecInt.java0069
org/sat4j/specs/IteratorInt.java006
org/sat4j/specs/Lbool.java0012
org/sat4j/specs/SearchListener.java0032
org/sat4j/specs/TimeoutException.java0011
org/sat4j/specs/package-info.java002
org/sat4j/tools/AbstractOutputSolver.java00107
org/sat4j/tools/ClausalCardinalitiesDecorator.java0025
org/sat4j/tools/ConflictDepthTracing.java0029
org/sat4j/tools/ConflictLevelTracing.java0030
org/sat4j/tools/DecisionLevelTracing.java0020
org/sat4j/tools/DecisionTracing.java0029
org/sat4j/tools/DimacsArrayReader.java0027
org/sat4j/tools/DimacsOutputSolver.java0056
org/sat4j/tools/DimacsStringSolver.java0065
org/sat4j/tools/DotSearchTracing.java0041
org/sat4j/tools/ExtendedDimacsArrayReader.java0030
org/sat4j/tools/FileBasedVisualizationTool.java0026
org/sat4j/tools/GateTranslator.java00188
org/sat4j/tools/HeuristicsTracing.java0018
org/sat4j/tools/IVisualizationTool.java0012
org/sat4j/tools/LBDTracing.java0018
org/sat4j/tools/LearnedClauseSizeTracing.java0016
org/sat4j/tools/LearnedClausesSizeTracing.java0024
org/sat4j/tools/LearnedTracing.java0019
org/sat4j/tools/LexicoDecorator.java0056
org/sat4j/tools/ManyCore.java00198
org/sat4j/tools/Minimal4CardinalityModel.java009
org/sat4j/tools/Minimal4InclusionModel.java0011
org/sat4j/tools/ModelIterator.java0029
org/sat4j/tools/MultiTracing.java0061
org/sat4j/tools/OptToSatAdapter.java0030
org/sat4j/tools/OutcomeListener.java005
org/sat4j/tools/RemiUtils.java008
org/sat4j/tools/SearchEnumeratorListener.java0018
org/sat4j/tools/SearchListenerAdapter.java0037
org/sat4j/tools/SingleSolutionDetector.java0018
org/sat4j/tools/SolutionCounter.java0015
org/sat4j/tools/SolverDecorator.java00192
org/sat4j/tools/SpeedTracing.java0041
org/sat4j/tools/TextOutputTracing.java0054
org/sat4j/tools/encoding/Binary.java0029
org/sat4j/tools/encoding/Binomial.java0025
org/sat4j/tools/encoding/Commander.java0038
org/sat4j/tools/encoding/EncodingStrategy.java0010
org/sat4j/tools/encoding/EncodingStrategyAdapter.java0031
org/sat4j/tools/encoding/Ladder.java0017
org/sat4j/tools/encoding/Policy.java0094
org/sat4j/tools/encoding/Product.java0037
org/sat4j/tools/encoding/Sequential.java0015
org/sat4j/tools/xplain/DeletionStrategy.java0016
org/sat4j/tools/xplain/Explainer.java005
org/sat4j/tools/xplain/HighLevelXplain.java0061
org/sat4j/tools/xplain/InsertionStrategy.java0023
org/sat4j/tools/xplain/MinimizationStrategy.java009
org/sat4j/tools/xplain/QuickXplain2001Strategy.java0027
org/sat4j/tools/xplain/QuickXplainStrategy.java0028
org/sat4j/tools/xplain/Xplain.java0078

Rules

RulesViolationsSeverity
JavadocPackage
  • allowLegacy: "true"
0Errors Error
NewlineAtEndOfFile9Errors Error
Translation0Errors Error
FileLength1Errors Error
FileTabCharacter
  • eachLine: "true"
90Errors Error
RegexpSingleline
  • message: "Line has trailing spaces."
  • format: "\s+$"
838Errors Error
JavadocMethod1470Errors Error
JavadocType44Errors Error
JavadocVariable454Errors Error
JavadocStyle84Errors Error
ConstantName1Errors Error
LocalFinalVariableName0Errors Error
LocalVariableName2Errors Error
MemberName5Errors Error
MethodName0Errors Error
PackageName0Errors Error
ParameterName0Errors Error
StaticVariableName0Errors Error
TypeName0Errors Error
AvoidStarImport0Errors Error
IllegalImport0Errors Error
RedundantImport0Errors Error
UnusedImports1Errors Error
LineLength485Errors Error
MethodLength1Errors Error
ParameterNumber0Errors Error
EmptyForIteratorPad0Errors Error
MethodParamPad0Errors Error
NoWhitespaceAfter3Errors Error
NoWhitespaceBefore0Errors Error
OperatorWrap0Errors Error
ParenPad0Errors Error
TypecastParenPad0Errors Error
WhitespaceAfter5Errors Error
WhitespaceAround0Errors Error
ModifierOrder9Errors Error
RedundantModifier57Errors Error
AvoidNestedBlocks0Errors Error
EmptyBlock6Errors Error
LeftCurly0Errors Error
NeedBraces0Errors Error
RightCurly0Errors Error
AvoidInlineConditionals25Errors Error
DoubleCheckedLocking0Errors Error
EmptyStatement0Errors Error
EqualsHashCode0Errors Error
HiddenField127Errors Error
IllegalInstantiation0Errors Error
InnerAssignment12Errors Error
MagicNumber98Errors Error
MissingSwitchDefault2Errors Error
RedundantThrows3Errors Error
SimplifyBooleanExpression0Errors Error
SimplifyBooleanReturn0Errors Error
DesignForExtension859Errors Error
FinalClass0Errors Error
HideUtilityClassConstructor1Errors Error
InterfaceIsType0Errors Error
VisibilityModifier99Errors Error
ArrayTypeStyle6Errors Error
FinalParameters1335Errors Error
TodoComment0Errors Error
UpperEll0Errors Error

Details

org/sat4j/AbstractLauncher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.55
ErrorsLine has trailing spaces.60
ErrorsLine contains a tab character.60
ErrorsLine contains a tab character.61
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsVariable 'beginTime' must be private and have accessor methods.70
ErrorsMissing a Javadoc comment.72
ErrorsVariable 'exitCode' must be private and have accessor methods.72
ErrorsMissing a Javadoc comment.74
ErrorsVariable 'reader' must be private and have accessor methods.74
ErrorsMissing a Javadoc comment.76
ErrorsVariable 'out' must be private and have accessor methods.76
ErrorsMissing a Javadoc comment.78
ErrorsVariable 'shutdownHook' must be private and have accessor methods.78
ErrorsMissing a Javadoc comment.85
ErrorsVariable 'solver' must be private and have accessor methods.85
ErrorsMissing a Javadoc comment.87
ErrorsVariable 'silent' must be private and have accessor methods.87
ErrorsMissing a Javadoc comment.89
ErrorsVariable 'prime' must be private and have accessor methods.89
ErrorsMissing a Javadoc comment.91
ErrorsMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsLine is longer than 80 characters.99
Errors'1000.0' is a magic number.99
ErrorsLine is longer than 80 characters.119
ErrorsMissing a Javadoc comment.123
ErrorsLine is longer than 80 characters.130
ErrorsLine has trailing spaces.132
ErrorsLine contains a tab character.132
ErrorsLine is longer than 80 characters.136
ErrorsLine is longer than 80 characters.152
ErrorsLine is longer than 80 characters.155
Errors'14' is a magic number.155
ErrorsAvoid inline conditionals.155
ErrorsLine is longer than 80 characters.161
ErrorsMethod 'displayLicense' is not designed for extension - needs to be abstract, final or empty.164
ErrorsMissing a Javadoc comment.164
ErrorsLine is longer than 80 characters.165
ErrorsLine is longer than 80 characters.166
ErrorsLine has trailing spaces.172
ErrorsMethod 'readProblem' is not designed for extension - needs to be abstract, final or empty.185
ErrorsParameter problemname should be final.185
ErrorsRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.186
ErrorsLine is longer than 80 characters.193
Errors'1000.0' is a magic number.193
ErrorsLine is longer than 80 characters.196
ErrorsLine is longer than 80 characters.203
ErrorsMissing a Javadoc comment.203
ErrorsMethod 'run' is not designed for extension - needs to be abstract, final or empty.205
ErrorsMissing a Javadoc comment.205
ErrorsParameter args should be final.205
ErrorsMissing a Javadoc comment.241
ErrorsMissing a Javadoc comment.243
ErrorsFirst sentence should end with a period.245
ErrorsLine has trailing spaces.247
ErrorsMethod 'log' is not designed for extension - needs to be abstract, final or empty.250
ErrorsParameter message should be final.250
ErrorsExpected @param tag for 'message'.250
ErrorsMethod 'solve' is not designed for extension - needs to be abstract, final or empty.256
ErrorsMissing a Javadoc comment.256
ErrorsParameter problem should be final.256
ErrorsAvoid inline conditionals.257
ErrorsFirst sentence should end with a period.261
ErrorsLine has trailing spaces.263
ErrorsParameter exitCode should be final.267
Errors'exitCode' hides a field.267
ErrorsFirst sentence should end with a period.271
ErrorsLine has trailing spaces.273
ErrorsLine has trailing spaces.283
ErrorsLine has trailing spaces.291
ErrorsLine has trailing spaces.301
ErrorsMethod 'setLogWriter' is not designed for extension - needs to be abstract, final or empty.304
ErrorsParameter out should be final.304
Errors'out' hides a field.304
ErrorsExpected @param tag for 'out'.304
ErrorsMethod 'getLogWriter' is not designed for extension - needs to be abstract, final or empty.308
ErrorsMissing a Javadoc comment.308
ErrorsMethod 'setSilent' is not designed for extension - needs to be abstract, final or empty.312
ErrorsMissing a Javadoc comment.312
ErrorsParameter b should be final.312
ErrorsMissing a Javadoc comment.316
ErrorsParameter stream should be final.316
ErrorsMethod 'showAvailableSolvers' is not designed for extension - needs to be abstract, final or empty.328
ErrorsMissing a Javadoc comment.328
ErrorsParameter afactory should be final.329
ErrorsLine contains a tab character.331
ErrorsMethod 'showAvailableSolvers' is not designed for extension - needs to be abstract, final or empty.340
ErrorsMissing a Javadoc comment.340
ErrorsParameter afactory should be final.341
ErrorsParameter framework should be final.341

org/sat4j/AbstractOptimizationLauncher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.50
ErrorsLine contains a tab character.50
ErrorsLine contains a tab character.51
ErrorsLine is longer than 80 characters.54
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMethod 'setIncomplete' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMissing a Javadoc comment.60
ErrorsParameter value should be final.60
ErrorsMethod 'setDisplaySolutionLine' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsParameter value should be final.64
ErrorsMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.68
Errors'1000.0' is a magic number.73
ErrorsMethod 'displayAnswer' is not designed for extension - needs to be abstract, final or empty.76
ErrorsMissing a Javadoc comment.76
ErrorsLine is longer than 80 characters.95
ErrorsLine is longer than 80 characters.97
ErrorsMethod 'solve' is not designed for extension - needs to be abstract, final or empty.102
ErrorsParameter problem should be final.103
ErrorsLine is longer than 80 characters.123
Errors'1000.0' is a magic number.125

org/sat4j/BasicLauncher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.43
ErrorsType Javadoc comment is missing an @param <T> tag.45
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsParameter factory should be final.54
Errors'factory' hides a field.54
ErrorsLine has trailing spaces.60
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.76
ErrorsParameter args should be final.77
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.85
ErrorsParameter theSolver should be final.86
ErrorsParameter problemname should be final.86
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.95
ErrorsParameter args should be final.96

org/sat4j/ExitCode.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.37
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.46
ErrorsLine has trailing spaces.58
Errors'str' hides a field.64

org/sat4j/LightFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsLine has trailing spaces.65
ErrorsMethod 'defaultSolver' is not designed for extension - needs to be abstract, final or empty.75
ErrorsLine is longer than 80 characters.77
Errors'1.1' is a magic number.83
Errors'100' is a magic number.83
ErrorsMethod 'lightSolver' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.92

org/sat4j/MUSLauncher.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.43
ErrorsLine has trailing spaces.46
ErrorsLine contains a tab character.46
ErrorsLine contains a tab character.47
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMethod 'usage' is not designed for extension - needs to be abstract, final or empty.56
ErrorsLine is longer than 80 characters.58
ErrorsMethod 'createReader' is not designed for extension - needs to be abstract, final or empty.61
ErrorsParameter theSolver should be final.62
ErrorsParameter problemname should be final.62
ErrorsMethod 'getInstanceName' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter args should be final.70
ErrorsMethod 'configureSolver' is not designed for extension - needs to be abstract, final or empty.77
ErrorsParameter args should be final.78
ErrorsMethod 'displayResult' is not designed for extension - needs to be abstract, final or empty.112
ErrorsLine is longer than 80 characters.115
Errors'1000.0' is a magic number.115
ErrorsLine is longer than 80 characters.130
ErrorsMethod 'run' is not designed for extension - needs to be abstract, final or empty.134
ErrorsParameter args should be final.135
ErrorsLine is longer than 80 characters.138
Errors'1000.0' is a magic number.138
ErrorsAvoid inline conditionals.143
ErrorsAvoid inline conditionals.146
ErrorsAvoid inline conditionals.150
Errors'1000.0' is a magic number.153
ErrorsAvoid inline conditionals.155
ErrorsMissing a Javadoc comment.162

org/sat4j/Messages.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsLine is longer than 80 characters.42
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsLine has trailing spaces.50
ErrorsMissing a Javadoc comment.56
ErrorsParameter key should be final.56

org/sat4j/MoreThanSAT.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.61
ErrorsMissing a Javadoc comment.67
Errors'3600' is a magic number.70
ErrorsLine is longer than 80 characters.77
ErrorsLine is longer than 80 characters.81
ErrorsLine is longer than 80 characters.82
ErrorsLine is longer than 80 characters.83
ErrorsLine is longer than 80 characters.86
ErrorsLine is longer than 80 characters.95
ErrorsLine is longer than 80 characters.97

org/sat4j/core/ASolverFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine is longer than 80 characters.46
ErrorsType Javadoc comment is missing an @param <T> tag.46
ErrorsLine has trailing spaces.49
ErrorsLine contains a tab character.49
ErrorsLine contains a tab character.50
ErrorsLine has trailing spaces.56
ErrorsMethod 'solverNames' is not designed for extension - needs to be abstract, final or empty.61
Errors'3' is a magic number.67
ErrorsLine has trailing spaces.78
ErrorsMethod 'createSolverByName' is not designed for extension - needs to be abstract, final or empty.84
ErrorsParameter solvername should be final.85
ErrorsLine has trailing spaces.109
ErrorsLine has trailing spaces.111
ErrorsLine has trailing spaces.120
ErrorsLine has trailing spaces.123
ErrorsLine has trailing spaces.125

org/sat4j/core/ConstrGroup.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsLine has trailing spaces.60
ErrorsParameter disallowNullConstraints should be final.65
Errors'disallowNullConstraints' hides a field.65
ErrorsMethod 'add' is not designed for extension - needs to be abstract, final or empty.69
ErrorsMissing a Javadoc comment.69
ErrorsParameter constr should be final.69
ErrorsLine is longer than 80 characters.72
ErrorsMethod 'clear' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsMethod 'removeFrom' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsParameter solver should be final.81
ErrorsMethod 'getConstr' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.87
ErrorsParameter i should be final.87
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.102
ErrorsMissing a Javadoc comment.102
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.106
ErrorsMissing a Javadoc comment.106
ErrorsParameter i should be final.106
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.110
ErrorsMissing a Javadoc comment.110
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.114

org/sat4j/core/DefaultComparator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsParameter a should be final.47
ErrorsParameter b should be final.47

org/sat4j/core/LiteralsUtils.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.49
ErrorsLine has trailing spaces.51
ErrorsMissing a Javadoc comment.55
ErrorsFirst sentence should end with a period.59
ErrorsLine has trailing spaces.61
ErrorsParameter p should be final.66
ErrorsLine has trailing spaces.73
ErrorsParameter p should be final.78
ErrorsLine has trailing spaces.84
ErrorsParameter var should be final.90
ErrorsLine has trailing spaces.96
ErrorsParameter var should be final.102
ErrorsLine has trailing spaces.109
ErrorsParameter p should be final.114
ErrorsAvoid inline conditionals.115
ErrorsLine has trailing spaces.121
ErrorsParameter x should be final.127
ErrorsAvoid inline conditionals.128

org/sat4j/core/ReadOnlyVec.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.4
ErrorsLine is longer than 80 characters.31
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.48
ErrorsLine contains a tab character.48
ErrorsLine contains a tab character.49
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsParameter vec should be final.54
Errors'vec' hides a field.54
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.62
ErrorsParameter copy should be final.62
ErrorsMissing a Javadoc comment.66
ErrorsParameter dest should be final.66
ErrorsMissing a Javadoc comment.70
ErrorsParameter i should be final.70
ErrorsMissing a Javadoc comment.74
ErrorsParameter nsize should be final.74
ErrorsMissing a Javadoc comment.79
ErrorsParameter i should be final.79
ErrorsMissing a Javadoc comment.83
ErrorsParameter newsize should be final.83
ErrorsParameter pad should be final.83
ErrorsMissing a Javadoc comment.87
ErrorsParameter elem should be final.87
ErrorsMissing a Javadoc comment.91
ErrorsParameter elem should be final.91
ErrorsMissing a Javadoc comment.95
ErrorsMissing a Javadoc comment.99
ErrorsMissing a Javadoc comment.103
ErrorsMissing a Javadoc comment.107
ErrorsParameter dest should be final.107
ErrorsMissing a Javadoc comment.111
ErrorsParameter dest should be final.111
ErrorsParameter source should be final.111
ErrorsMissing a Javadoc comment.115
ErrorsMissing a Javadoc comment.119
ErrorsParameter elem should be final.119
ErrorsMissing a Javadoc comment.123
ErrorsParameter elem should be final.123
ErrorsMissing a Javadoc comment.127
ErrorsParameter i should be final.127
ErrorsParameter o should be final.127
ErrorsMissing a Javadoc comment.131
ErrorsParameter nofelems should be final.131
ErrorsMissing a Javadoc comment.135
ErrorsParameter newsize should be final.135
ErrorsMissing a Javadoc comment.139
ErrorsMissing a Javadoc comment.143
ErrorsParameter comparator should be final.143
ErrorsMissing a Javadoc comment.147
ErrorsParameter comparator should be final.147
ErrorsMissing a Javadoc comment.151
ErrorsMissing a Javadoc comment.158
ErrorsParameter elem should be final.158
ErrorsExpected an @return tag.165
ErrorsParameter element should be final.165
ErrorsExpected @param tag for 'element'.165
ErrorsExpected an @return tag.172
ErrorsParameter element should be final.172
ErrorsExpected @param tag for 'element'.172

org/sat4j/core/ReadOnlyVecInt.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.44
ErrorsLine contains a tab character.44
ErrorsLine contains a tab character.45
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsParameter vec should be final.50
Errors'vec' hides a field.50
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.58
ErrorsParameter e should be final.58
ErrorsMissing a Javadoc comment.62
ErrorsParameter e should be final.62
ErrorsMissing a Javadoc comment.66
ErrorsParameter e should be final.66
ErrorsParameter from should be final.66
ErrorsMissing a Javadoc comment.70
ErrorsParameter copy should be final.70
ErrorsMissing a Javadoc comment.74
ErrorsParameter is should be final.74
ErrorsMissing a Javadoc comment.78
ErrorsParameter i should be final.78
ErrorsMissing a Javadoc comment.82
ErrorsParameter nsize should be final.82
ErrorsMissing a Javadoc comment.86
ErrorsParameter i should be final.86
ErrorsMissing a Javadoc comment.90
ErrorsParameter newsize should be final.90
ErrorsParameter pad should be final.90
ErrorsMissing a Javadoc comment.94
ErrorsParameter elem should be final.94
ErrorsMissing a Javadoc comment.98
ErrorsMissing a Javadoc comment.102
ErrorsMissing a Javadoc comment.106
ErrorsMissing a Javadoc comment.110
ErrorsParameter dest should be final.110
ErrorsMissing a Javadoc comment.114
ErrorsParameter dest should be final.114
ErrorsMissing a Javadoc comment.118
ErrorsParameter dest should be final.118
ErrorsParameter source should be final.118
ErrorsMissing a Javadoc comment.122
ErrorsParameter dest should be final.122
ErrorsMissing a Javadoc comment.126
ErrorsMissing a Javadoc comment.130
ErrorsParameter elem should be final.130
ErrorsMissing a Javadoc comment.134
ErrorsParameter elem should be final.134
ErrorsMissing a Javadoc comment.138
ErrorsParameter i should be final.138
ErrorsParameter o should be final.138
ErrorsMissing a Javadoc comment.142
ErrorsParameter nofelems should be final.142
ErrorsMissing a Javadoc comment.146
ErrorsParameter newsize should be final.146
ErrorsMissing a Javadoc comment.150
ErrorsMissing a Javadoc comment.154
ErrorsMissing a Javadoc comment.158
ErrorsMissing a Javadoc comment.162
ErrorsParameter eleem should be final.162
ErrorsMissing a Javadoc comment.166
ErrorsParameter elem should be final.166
ErrorsExpected an @return tag.173
ErrorsExpected an @return tag.180
ErrorsParameter e should be final.180
ErrorsExpected @param tag for 'e'.180
ErrorsMissing a Javadoc comment.189
ErrorsParameter sourceStartingIndex should be final.189
ErrorsParameter dest should be final.189
ErrorsLine has trailing spaces.194
ErrorsExpected an @return tag.198
ErrorsParameter cardinal should be final.198
ErrorsExpected @param tag for 'cardinal'.198

org/sat4j/core/Vec.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsType Javadoc comment is missing an @param <T> tag.46
ErrorsMissing a Javadoc comment.68
Errors'5' is a magic number.74
ErrorsLine has trailing spaces.79
ErrorsLine has trailing spaces.83
ErrorsParameter elts should be final.87
ErrorsLine has trailing spaces.94
ErrorsParameter size should be final.99
ErrorsLine has trailing spaces.106
ErrorsParameter size should be final.113
ErrorsParameter pad should be final.113
ErrorsMissing a Javadoc comment.121
ErrorsLine has trailing spaces.129
ErrorsParameter nofelems should be final.133
ErrorsFirst sentence should end with a period.140
ErrorsLine has trailing spaces.142
ErrorsMissing a Javadoc comment.164
ErrorsMissing a Javadoc comment.173
ErrorsMissing a Javadoc comment.182
ErrorsMissing a Javadoc comment.188
ErrorsLine has trailing spaces.196
ErrorsMissing a Javadoc comment.209
ErrorsMissing a Javadoc comment.222
ErrorsLine has trailing spaces.230
ErrorsMissing a Javadoc comment.238
ErrorsMissing a Javadoc comment.242
ErrorsParameter index should be final.242
ErrorsParameter elem should be final.242
ErrorsLine has trailing spaces.249
ErrorsParameter elem should be final.253
ErrorsLine has trailing spaces.267
ErrorsParameter index should be final.273
ErrorsLine has trailing spaces.284
ErrorsParameter copy should be final.287
ErrorsExpected @param tag for 'copy'.287
ErrorsExpected @param tag for '<E>'.299
ErrorsParameter dest should be final.299
ErrorsExpected @param tag for 'dest'.299
ErrorsMissing a Javadoc comment.307
ErrorsParameter dest should be final.307
ErrorsMissing a Javadoc comment.312
ErrorsParameter dest should be final.312
ErrorsParameter source should be final.312
ErrorsMissing a Javadoc comment.319
ErrorsMissing a Javadoc comment.324
ErrorsMissing a Javadoc comment.326
ErrorsLine has trailing spaces.330
ErrorsMissing a Javadoc comment.346
ErrorsParameter from should be final.346
ErrorsParameter to should be final.346
ErrorsParameter cmp should be final.346
ErrorsName 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.347
ErrorsMissing a Javadoc comment.363
ErrorsParameter from should be final.363
ErrorsParameter to should be final.363
ErrorsParameter cmp should be final.363
Errors'15' is a magic number.365
ErrorsParameter comparator should be final.398
ErrorsExpected @param tag for 'comparator'.398
ErrorsMissing a Javadoc comment.402
ErrorsParameter cmp should be final.402
ErrorsInner assignments should be avoided.416
ErrorsLine has trailing spaces.426
ErrorsParameter obj should be final.430
ErrorsLine has trailing spaces.448
ErrorsMissing a Javadoc comment.460
ErrorsMissing a Javadoc comment.481
ErrorsExpected an @return tag.488
ErrorsParameter e should be final.488
ErrorsExpected @param tag for 'e'.488
ErrorsExpected an @return tag.500
ErrorsParameter element should be final.500
ErrorsExpected @param tag for 'element'.500

org/sat4j/core/VecInt.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.47
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsLine has trailing spaces.77
ErrorsLine contains a tab character.77
ErrorsLine contains a tab character.78
ErrorsParameter nofelems should be final.85
ErrorsParameter newsize should be final.88
ErrorsParameter newsize should be final.95
ErrorsParameter pad should be final.95
ErrorsParameter nsize should be final.98
ErrorsParameter elem should be final.101
ErrorsParameter elem should be final.105
ErrorsParameter i should be final.116
ErrorsParameter i should be final.120
ErrorsParameter o should be final.120
ErrorsParameter e should be final.124
ErrorsParameter copy should be final.128
ErrorsParameter is should be final.131
ErrorsParameter dest should be final.134
ErrorsParameter dest should be final.137
ErrorsParameter dest should be final.140
ErrorsParameter elem should be final.143
ErrorsParameter elem should be final.147
ErrorsParameter i should be final.151
ErrorsParameter eleem should be final.161
ErrorsParameter e should be final.165
ErrorsParameter e should be final.169
ErrorsParameter from should be final.169
ErrorsParameter dest should be final.173
ErrorsParameter source should be final.173
ErrorsParameter e should be final.198
ErrorsParameter sourceStartingIndex should be final.207
ErrorsParameter dest should be final.207
ErrorsParameter cardinal should be final.211
ErrorsMissing a Javadoc comment.217
Errors'5' is a magic number.218
ErrorsMissing a Javadoc comment.221
ErrorsParameter size should be final.221
ErrorsLine has trailing spaces.227
ErrorsLine has trailing spaces.231
ErrorsParameter lits should be final.235
ErrorsLine has trailing spaces.242
ErrorsParameter size should be final.248
ErrorsParameter pad should be final.248
ErrorsMissing a Javadoc comment.256
ErrorsFirst sentence should end with a period.260
ErrorsLine has trailing spaces.262
ErrorsParameter nofelems should be final.265
ErrorsExpected @param tag for 'nofelems'.265
ErrorsMissing a Javadoc comment.271
ErrorsParameter newsize should be final.271
ErrorsExpected an @return tag.281
ErrorsMissing a Javadoc comment.287
ErrorsParameter newsize should be final.287
ErrorsMissing a Javadoc comment.295
ErrorsParameter nsize should be final.295
ErrorsMissing a Javadoc comment.303
ErrorsParameter elem should be final.303
ErrorsMissing a Javadoc comment.309
ErrorsParameter elem should be final.309
ErrorsMissing a Javadoc comment.313
ErrorsMissing a Javadoc comment.317
ErrorsMissing a Javadoc comment.322
ErrorsParameter i should be final.322
ErrorsMissing a Javadoc comment.327
ErrorsParameter i should be final.327
ErrorsMissing a Javadoc comment.331
ErrorsParameter i should be final.331
ErrorsParameter o should be final.331
ErrorsMissing a Javadoc comment.336
ErrorsParameter e should be final.336
ErrorsExpected an @return tag.349
ErrorsParameter e should be final.349
ErrorsExpected @param tag for 'e'.349
ErrorsMissing a Javadoc comment.359
ErrorsParameter e should be final.359
ErrorsMissing a Javadoc comment.363
ErrorsParameter e should be final.363
ErrorsParameter from should be final.363
ErrorsLine has trailing spaces.376
ErrorsParameter copy should be final.379
ErrorsExpected @param tag for 'copy'.379
ErrorsLine has trailing spaces.391
ErrorsParameter is should be final.394
ErrorsExpected @param tag for 'is'.394
ErrorsMissing a Javadoc comment.399
ErrorsParameter dest should be final.399
ErrorsMissing a Javadoc comment.404
ErrorsParameter dest should be final.404
ErrorsArray brackets at illegal position.407
ErrorsMissing a Javadoc comment.414
ErrorsParameter dest should be final.414
ErrorsParameter source should be final.414
ErrorsMissing a Javadoc comment.418
ErrorsParameter dest should be final.418
ErrorsMissing a Javadoc comment.423
ErrorsParameter sourceStartingIndex should be final.423
ErrorsParameter dest should be final.423
ErrorsLine has trailing spaces.433
ErrorsLine has trailing spaces.448
ErrorsParameter elem should be final.452
ErrorsLine has trailing spaces.465
ErrorsParameter i should be final.471
ErrorsMissing a Javadoc comment.478
ErrorsMissing a Javadoc comment.480
ErrorsLine has trailing spaces.484
ErrorsMissing a Javadoc comment.500
ErrorsParameter from should be final.500
ErrorsParameter to should be final.500
ErrorsName 'best_i' must match pattern '^[a-z][a-zA-Z0-9]*$'.501
ErrorsMissing a Javadoc comment.517
ErrorsParameter from should be final.517
ErrorsParameter to should be final.517
Errors'15' is a magic number.519
ErrorsMissing a Javadoc comment.557
ErrorsInner assignments should be avoided.570
ErrorsLine has trailing spaces.580
ErrorsLine has trailing spaces.585
ErrorsParameter obj should be final.589
ErrorsLine has trailing spaces.607
ErrorsLine has trailing spaces.621
ErrorsMissing a Javadoc comment.624
ErrorsParameter vec should be final.624
ErrorsLine has trailing spaces.636
ErrorsParameter vec should be final.641
ErrorsMissing a Javadoc comment.656
ErrorsMissing a Javadoc comment.673
ErrorsExpected an @return tag.680
ErrorsExpected an @return tag.688
ErrorsParameter cardinal should be final.688
ErrorsExpected @param tag for 'cardinal'.688
Errors'{' is followed by whitespace.696

org/sat4j/minisat/SolverFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.62
ErrorsLine has trailing spaces.68
ErrorsMissing a Javadoc comment.73
ErrorsLine has trailing spaces.77
ErrorsMissing a Javadoc comment.84
ErrorsLine has trailing spaces.92
ErrorsMissing a Javadoc comment.111
ErrorsMissing a Javadoc comment.117
ErrorsLine is longer than 80 characters.123
ErrorsMissing a Javadoc comment.123
ErrorsLine is longer than 80 characters.129
ErrorsMissing a Javadoc comment.129
Errors'1.1' is a magic number.132
Errors'100' is a magic number.132
ErrorsLine is longer than 80 characters.136
ErrorsMissing a Javadoc comment.136
Errors'512' is a magic number.138
ErrorsLine is longer than 80 characters.142
ErrorsMissing a Javadoc comment.142
ErrorsParameter dsf should be final.143
ErrorsLine is longer than 80 characters.144
Errors'1.1' is a magic number.148
Errors'100' is a magic number.148
ErrorsLine has trailing spaces.155
ErrorsExpected an @return tag.158
ErrorsLine is longer than 80 characters.159
ErrorsExpected an @return tag.173
ErrorsExpected an @return tag.182
ErrorsExpected an @return tag.192
ErrorsLine is longer than 80 characters.193
ErrorsLine has trailing spaces.197
ErrorsExpected an @return tag.200
ErrorsLine is longer than 80 characters.201
ErrorsLine has trailing spaces.205
ErrorsExpected an @return tag.208
ErrorsLine is longer than 80 characters.209
ErrorsLine has trailing spaces.213
ErrorsExpected an @return tag.216
ErrorsLine is longer than 80 characters.217
ErrorsLine is longer than 80 characters.220
Errors'10' is a magic number.221
ErrorsExpected an @return tag.230
Errors'512' is a magic number.233
ErrorsParameter dsf should be final.245
ErrorsParameter dsf should be final.273
ErrorsParameter order should be final.273
ErrorsLine is longer than 80 characters.276
ErrorsLine is longer than 80 characters.286
ErrorsLine is longer than 80 characters.287
Errors'10' is a magic number.288
ErrorsLine is longer than 80 characters.301
ErrorsLine is longer than 80 characters.302
Errors'10' is a magic number.303
Errors'1000' is a magic number.306
ErrorsMissing a Javadoc comment.329
ErrorsMissing a Javadoc comment.335
ErrorsParameter dsf should be final.336
ErrorsLine is longer than 80 characters.337
ErrorsLine is longer than 80 characters.350
ErrorsLine is longer than 80 characters.351
ErrorsLine has trailing spaces.369
ErrorsLine has trailing spaces.385
ErrorsMissing a Javadoc comment.399

org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.44
ErrorsMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.47

org/sat4j/minisat/constraints/AbstractDataStructureFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.53
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.54
ErrorsLine has trailing spaces.59
ErrorsMethod 'conflictDetectedInWatchesFor' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsParameter p should be final.64
ErrorsParameter i should be final.64
ErrorsLine has trailing spaces.72
ErrorsMethod 'getWatchesFor' is not designed for extension - needs to be abstract, final or empty.75
ErrorsMissing a Javadoc comment.75
ErrorsParameter p should be final.75
ErrorsMissing a Javadoc comment.81
ErrorsVariable 'lits' must be private and have accessor methods.81
ErrorsMissing a Javadoc comment.83
ErrorsMissing a Javadoc comment.87
ErrorsMissing a Javadoc comment.89
ErrorsLine has trailing spaces.93
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.96
ErrorsMissing a Javadoc comment.96
ErrorsMissing a Javadoc comment.100
ErrorsVariable 'solver' must be private and have accessor methods.100
ErrorsMissing a Javadoc comment.102
ErrorsVariable 'learner' must be private and have accessor methods.102
ErrorsMethod 'setUnitPropagationListener' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104
ErrorsParameter s should be final.104
ErrorsMethod 'setLearner' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMissing a Javadoc comment.108
ErrorsParameter learner should be final.108
Errors'learner' hides a field.108
ErrorsMissing a Javadoc comment.112
ErrorsMethod 'learnConstraint' is not designed for extension - needs to be abstract, final or empty.115
ErrorsMissing a Javadoc comment.115
ErrorsParameter constr should be final.115
ErrorsLine has trailing spaces.121
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsParameter literals should be final.126
ErrorsParameter degree should be final.126

org/sat4j/minisat/constraints/CardinalityDataStructure.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.46
ErrorsMissing a Javadoc comment.46
ErrorsParameter literals should be final.46
ErrorsLine has trailing spaces.52
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsParameter literals should be final.57
ErrorsLine has trailing spaces.63
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.68
ErrorsParameter literals should be final.69
ErrorsParameter degree should be final.69

org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.46
ErrorsLine has trailing spaces.50
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMissing a Javadoc comment.55
ErrorsParameter literals should be final.55
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMissing a Javadoc comment.60
ErrorsParameter literals should be final.60
ErrorsLine has trailing spaces.66
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.71
ErrorsParameter literals should be final.72
ErrorsParameter degree should be final.72

org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsLine has trailing spaces.49
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.54
ErrorsMissing a Javadoc comment.54
ErrorsParameter literals should be final.54
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsParameter literals should be final.59
ErrorsLine has trailing spaces.65
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.70
ErrorsParameter literals should be final.71
ErrorsParameter degree should be final.71

org/sat4j/minisat/constraints/ClausalDataStructureWL.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.49
ErrorsLine has trailing spaces.53
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMissing a Javadoc comment.58
ErrorsParameter literals should be final.58
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.74
ErrorsMissing a Javadoc comment.74
ErrorsParameter literals should be final.74
ErrorsMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.78

org/sat4j/minisat/constraints/MixedDataStructureDanielHT.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.47
ErrorsMissing a Javadoc comment.53
ErrorsLine has trailing spaces.57
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.62
ErrorsParameter literals should be final.63
ErrorsParameter degree should be final.63
ErrorsLine has trailing spaces.71
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.76
ErrorsMissing a Javadoc comment.76
ErrorsParameter literals should be final.76
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.92
ErrorsMissing a Javadoc comment.92
ErrorsParameter literals should be final.92
ErrorsMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.102

org/sat4j/minisat/constraints/MixedDataStructureDanielWL.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.51
ErrorsLine has trailing spaces.55
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.60
ErrorsParameter literals should be final.61
ErrorsParameter degree should be final.61
ErrorsLine has trailing spaces.69
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.74
ErrorsMissing a Javadoc comment.74
ErrorsParameter literals should be final.74
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMissing a Javadoc comment.90
ErrorsParameter literals should be final.90
ErrorsMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.100

org/sat4j/minisat/constraints/MixedDataStructureSingleWL.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.50
ErrorsLine has trailing spaces.54
ErrorsMethod 'createCardinalityConstraint' is not designed for extension - needs to be abstract, final or empty.59
ErrorsParameter literals should be final.60
ErrorsParameter degree should be final.60
ErrorsLine has trailing spaces.68
ErrorsMethod 'createClause' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsParameter literals should be final.73
ErrorsMethod 'createUnregisteredClause' is not designed for extension - needs to be abstract, final or empty.89
ErrorsMissing a Javadoc comment.89
ErrorsParameter literals should be final.89
ErrorsMethod 'createLits' is not designed for extension - needs to be abstract, final or empty.93

org/sat4j/minisat/constraints/card/AtLeast.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.49
ErrorsFirst sentence should end with a period.51
ErrorsVariable 'maxUnsatisfied' must be private and have accessor methods.52
ErrorsFirst sentence should end with a period.54
ErrorsFirst sentence should end with a period.57
ErrorsVariable 'lits' must be private and have accessor methods.60
ErrorsMissing a Javadoc comment.62
ErrorsVariable 'voc' must be private and have accessor methods.62
ErrorsParameter voc should be final.70
Errors'voc' hides a field.70
ErrorsExpected @param tag for 'voc'.70
ErrorsParameter ps should be final.70
ErrorsParameter degree should be final.70
ErrorsMissing a Javadoc comment.81
ErrorsParameter s should be final.81
ErrorsParameter voc should be final.81
ErrorsParameter ps should be final.82
ErrorsParameter deg should be final.82
ErrorsExpected an @return tag.130
ErrorsParameter s should be final.130
ErrorsExpected @param tag for 's'.130
ErrorsParameter voc should be final.130
ErrorsExpected @param tag for 'voc'.130
ErrorsParameter ps should be final.131
ErrorsExpected @param tag for 'ps'.131
ErrorsParameter n should be final.131
ErrorsExpected @param tag for 'n'.131
ErrorsExpected @throws tag for 'ContradictionException'.131
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.142
ErrorsParameter upl should be final.142
ErrorsExpected @param tag for 'upl'.142
ErrorsLine has trailing spaces.150
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.153
ErrorsMissing a Javadoc comment.153
ErrorsParameter s should be final.153
ErrorsParameter p should be final.153
ErrorsLine has trailing spaces.177
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsLine has trailing spaces.186
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.189
ErrorsMissing a Javadoc comment.189
ErrorsParameter p should be final.189
ErrorsLine has trailing spaces.195
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.198
ErrorsMissing a Javadoc comment.198
ErrorsParameter p should be final.198
ErrorsParameter outReason should be final.198
ErrorsAvoid inline conditionals.199
ErrorsLine has trailing spaces.212
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.215
ErrorsMissing a Javadoc comment.215
ErrorsLine has trailing spaces.222
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.225
ErrorsMissing a Javadoc comment.225
ErrorsMissing a Javadoc comment.229
ErrorsParameter d should be final.229
ErrorsLine has trailing spaces.234
ErrorsMissing a Javadoc comment.237
ErrorsParameter claInc should be final.237
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.243
ErrorsMissing a Javadoc comment.243
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.249
ErrorsMissing a Javadoc comment.249
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.253
ErrorsMissing a Javadoc comment.253
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.257
ErrorsMissing a Javadoc comment.257
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.261
ErrorsMissing a Javadoc comment.261
ErrorsParameter i should be final.261
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.265
ErrorsMissing a Javadoc comment.265
ErrorsParameter d should be final.265
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.269
ErrorsMissing a Javadoc comment.269
ErrorsParameter s should be final.269
ErrorsFirst sentence should end with a period.273
ErrorsLine has trailing spaces.275
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.278
ErrorsParameter claInc should be final.301
ErrorsExpected @param tag for 'claInc'.301
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.306
ErrorsMissing a Javadoc comment.306
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.310
ErrorsMissing a Javadoc comment.310

org/sat4j/minisat/constraints/card/MaxWatchCard.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.48
ErrorsFirst sentence should end with a period.55
ErrorsFirst sentence should end with a period.65
ErrorsFirst sentence should end with a period.70
ErrorsFirst sentence should end with a period.75
ErrorsLine has trailing spaces.77
ErrorsUnused @param tag for 'size'.78
ErrorsUnused @param tag for 'learnt'.80
ErrorsParameter voc should be final.83
Errors'voc' hides a field.83
ErrorsExpected @param tag for 'voc'.83
ErrorsParameter ps should be final.83
ErrorsExpected @param tag for 'ps'.83
ErrorsParameter moreThan should be final.83
Errors'moreThan' hides a field.83
ErrorsExpected @param tag for 'moreThan'.83
ErrorsParameter degree should be final.83
Errors'degree' hides a field.83
ErrorsExpected @param tag for 'degree'.83
ErrorsFirst sentence should end with a period.138
ErrorsLine has trailing spaces.140
ErrorsParameter p should be final.147
ErrorsParameter outReason should be final.147
ErrorsLine has trailing spaces.157
ErrorsLine has trailing spaces.168
ErrorsParameter claInc should be final.173
ErrorsMissing a Javadoc comment.177
ErrorsParameter d should be final.177
ErrorsFirst sentence should end with a period.180
ErrorsLine has trailing spaces.182
ErrorsFirst sentence should end with a period.191
ErrorsLine has trailing spaces.193
ErrorsLine has trailing spaces.204
ErrorsParameter s should be final.218
ErrorsParameter voc should be final.218
ErrorsParameter ps should be final.219
ErrorsParameter moreThan should be final.219
ErrorsParameter degree should be final.219
ErrorsExpected @throws tag for 'ContradictionException'.220
ErrorsFirst sentence should end with a period.265
ErrorsRedundant 'final' modifier.268
ErrorsLine has trailing spaces.284
ErrorsParameter s should be final.291
ErrorsParameter p should be final.291
ErrorsParameter upl should be final.320
ErrorsExpected @param tag for 'upl'.320
ErrorsLine has trailing spaces.328
ErrorsParameter d should be final.332
ErrorsFirst sentence should end with a period.335
ErrorsLine has trailing spaces.337
ErrorsFirst sentence should end with a period.361
ErrorsLine has trailing spaces.363
ErrorsFirst sentence should end with a period.388
ErrorsLine has trailing spaces.390
ErrorsParameter p should be final.394
ErrorsMissing a Javadoc comment.398
ErrorsMissing a Javadoc comment.402
ErrorsMissing a Javadoc comment.406
ErrorsMissing a Javadoc comment.410
ErrorsParameter i should be final.410
ErrorsMissing a Javadoc comment.414
ErrorsParameter s should be final.414
ErrorsLine has trailing spaces.420
ErrorsMissing a Javadoc comment.423
ErrorsParameter literal should be final.423
ErrorsLine has trailing spaces.429
ErrorsMissing a Javadoc comment.432
ErrorsMissing a Javadoc comment.436
ErrorsParameter claInc should be final.443
ErrorsExpected @param tag for 'claInc'.443
ErrorsMissing a Javadoc comment.448
ErrorsMissing a Javadoc comment.452

org/sat4j/minisat/constraints/card/MinWatchCard.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsFirst sentence should end with a period.53
ErrorsVariable 'degree' must be private and have accessor methods.56
ErrorsFirst sentence should end with a period.58
ErrorsFirst sentence should end with a period.63
ErrorsFirst sentence should end with a period.68
ErrorsVariable 'watchCumul' must be private and have accessor methods.71
ErrorsFirst sentence should end with a period.73
ErrorsLine has trailing spaces.81
ErrorsParameter voc should be final.91
Errors'voc' hides a field.91
ErrorsParameter ps should be final.91
ErrorsParameter moreThan should be final.91
Errors'moreThan' hides a field.91
ErrorsParameter degree should be final.91
Errors'degree' hides a field.91
ErrorsLine has trailing spaces.140
ErrorsParameter voc should be final.148
Errors'voc' hides a field.148
ErrorsParameter ps should be final.148
ErrorsParameter degree should be final.148
Errors'degree' hides a field.148
ErrorsFirst sentence should end with a period.160
ErrorsLine has trailing spaces.162
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.169
ErrorsParameter p should be final.169
ErrorsParameter outReason should be final.169
ErrorsFirst sentence should end with a period.177
ErrorsLine has trailing spaces.179
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.183
ErrorsFirst sentence should end with a period.187
ErrorsLine has trailing spaces.189
ErrorsParameter claInc should be final.194
ErrorsMissing a Javadoc comment.197
ErrorsParameter d should be final.197
ErrorsLine has trailing spaces.202
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.206
ErrorsLine has trailing spaces.212
ErrorsParameter voc should be final.220
ErrorsParameter ps should be final.220
ErrorsLine has trailing spaces.250
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.254
ErrorsLine has trailing spaces.263
ErrorsParameter s should be final.277
ErrorsParameter voc should be final.277
ErrorsParameter ps should be final.278
ErrorsParameter moreThan should be final.278
ErrorsParameter degree should be final.278
ErrorsExpected @throws tag for 'ContradictionException'.279
ErrorsFirst sentence should end with a period.325
ErrorsLine has trailing spaces.327
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.334
ErrorsParameter s should be final.334
ErrorsParameter p should be final.334
ErrorsFirst sentence should end with a period.385
ErrorsLine has trailing spaces.387
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.390
ErrorsParameter upl should be final.390
ErrorsExpected @param tag for 'upl'.390
ErrorsFirst sentence should end with a period.396
ErrorsLine has trailing spaces.398
ErrorsParameter d should be final.402
ErrorsFirst sentence should end with a period.406
ErrorsLine has trailing spaces.408
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.411
ErrorsLine has trailing spaces.424
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.427
ErrorsFirst sentence should end with a period.459
ErrorsLine has trailing spaces.461
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.465
ErrorsParameter p should be final.465
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.470
ErrorsMissing a Javadoc comment.470
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.474
ErrorsMissing a Javadoc comment.474
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.478
ErrorsMissing a Javadoc comment.478
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.482
ErrorsMissing a Javadoc comment.482
ErrorsParameter i should be final.482
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.486
ErrorsMissing a Javadoc comment.486
ErrorsParameter s should be final.486
ErrorsMethod 'computeWatches' is not designed for extension - needs to be abstract, final or empty.490
ErrorsMissing a Javadoc comment.490
ErrorsMethod 'computePropagation' is not designed for extension - needs to be abstract, final or empty.540
ErrorsMissing a Javadoc comment.540
ErrorsParameter s should be final.540
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.560
ErrorsMissing a Javadoc comment.560
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.566
ErrorsMissing a Javadoc comment.566
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.570
ErrorsParameter card should be final.571
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.602
ErrorsParameter claInc should be final.615
ErrorsExpected @param tag for 'claInc'.615
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.619
ErrorsMissing a Javadoc comment.619
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.623
ErrorsMissing a Javadoc comment.623

org/sat4j/minisat/constraints/card/package-info.java

ViolationMessageLine
ErrorsLine has trailing spaces.3

org/sat4j/minisat/constraints/cnf/BinaryClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsVariable 'activity' must be private and have accessor methods.53
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsVariable 'head' must be private and have accessor methods.57
ErrorsMissing a Javadoc comment.59
ErrorsVariable 'tail' must be private and have accessor methods.59
ErrorsFirst sentence should end with a period.61
ErrorsLine has trailing spaces.63
ErrorsParameter ps should be final.69
ErrorsParameter voc should be final.69
Errors'voc' hides a field.69
ErrorsLine has trailing spaces.79
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsParameter p should be final.82
ErrorsParameter outReason should be final.82
ErrorsLine has trailing spaces.93
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.96
ErrorsMissing a Javadoc comment.96
ErrorsParameter upl should be final.96
ErrorsLine has trailing spaces.103
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.106
ErrorsMissing a Javadoc comment.106
ErrorsLine is longer than 80 characters.107
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter s should be final.113
ErrorsParameter p should be final.113
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.125
ErrorsMissing a Javadoc comment.125
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.137
ErrorsLine has trailing spaces.155
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.160
ErrorsParameter i should be final.160
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.171
ErrorsParameter d should be final.171
ErrorsExpected @param tag for 'd'.171
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.175
ErrorsMissing a Javadoc comment.175
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.179
ErrorsMissing a Javadoc comment.179
ErrorsParameter s should be final.179
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.185
ErrorsMissing a Javadoc comment.185
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.189
ErrorsMissing a Javadoc comment.189
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.196
ErrorsParameter obj should be final.197
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.212
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.218
ErrorsMissing a Javadoc comment.218
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.223
ErrorsMissing a Javadoc comment.223
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.227
ErrorsMissing a Javadoc comment.227

org/sat4j/minisat/constraints/cnf/Clauses.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsUtility classes should not have a public or default constructor.42
ErrorsFirst sentence should end with a period.43
ErrorsLine has trailing spaces.50
ErrorsParameter ps should be final.62
ErrorsParameter voc should be final.62
ErrorsParameter s should be final.63
ErrorsFirst sentence should end with a period.102
ErrorsLine has trailing spaces.104
ErrorsUnused @param tag for 'p'.105
ErrorsParameter ps should be final.114
ErrorsExpected @param tag for 'ps'.114
ErrorsParameter s should be final.114
ErrorsLine is longer than 80 characters.117
ErrorsLine is longer than 80 characters.120

org/sat4j/minisat/constraints/cnf/HTClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.50
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsVariable 'activity' must be private and have accessor methods.60
ErrorsMissing a Javadoc comment.62
ErrorsVariable 'middleLits' must be private and have accessor methods.62
ErrorsMissing a Javadoc comment.64
ErrorsVariable 'voc' must be private and have accessor methods.64
ErrorsMissing a Javadoc comment.66
ErrorsVariable 'head' must be private and have accessor methods.66
ErrorsMissing a Javadoc comment.68
ErrorsVariable 'tail' must be private and have accessor methods.68
ErrorsFirst sentence should end with a period.70
ErrorsLine has trailing spaces.72
ErrorsParameter ps should be final.78
ErrorsParameter voc should be final.78
Errors'voc' hides a field.78
ErrorsLine has trailing spaces.94
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.97
ErrorsMissing a Javadoc comment.97
ErrorsParameter p should be final.97
ErrorsParameter outReason should be final.97
ErrorsLine has trailing spaces.114
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.117
ErrorsMissing a Javadoc comment.117
ErrorsParameter upl should be final.117
ErrorsLine has trailing spaces.124
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.127
ErrorsMissing a Javadoc comment.127
ErrorsLine is longer than 80 characters.128
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.139
ErrorsMissing a Javadoc comment.139
ErrorsParameter s should be final.139
ErrorsParameter p should be final.139
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.180
ErrorsMissing a Javadoc comment.180
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.188
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.192
ErrorsLine has trailing spaces.217
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.222
ErrorsParameter i should be final.222
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.235
ErrorsParameter d should be final.235
ErrorsExpected @param tag for 'd'.235
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.239
ErrorsMissing a Javadoc comment.239
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.243
ErrorsMissing a Javadoc comment.243
ErrorsParameter s should be final.243
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.249
ErrorsMissing a Javadoc comment.249
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.253
ErrorsMissing a Javadoc comment.253
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.261
ErrorsParameter obj should be final.262
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.293
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.302
ErrorsMissing a Javadoc comment.302
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.306
ErrorsMissing a Javadoc comment.306

org/sat4j/minisat/constraints/cnf/LearntBinaryClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.43
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.44
ErrorsMissing a Javadoc comment.47
ErrorsParameter ps should be final.47
ErrorsParameter voc should be final.47
ErrorsMissing a Javadoc comment.51
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.59
ErrorsParameter claInc should be final.59
ErrorsMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.66
ErrorsParameter claInc should be final.66
ErrorsExpected @param tag for 'claInc'.66
ErrorsMethod 'setActivity' is not designed for extension - needs to be abstract, final or empty.70
ErrorsMissing a Javadoc comment.70
ErrorsParameter d should be final.70

org/sat4j/minisat/constraints/cnf/LearntHTClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.43
ErrorsParameter ps should be final.43
ErrorsParameter voc should be final.43
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.54
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsMissing a Javadoc comment.85
ErrorsMissing a Javadoc comment.89
ErrorsParameter claInc should be final.89
ErrorsMethod 'incActivity' is not designed for extension - needs to be abstract, final or empty.96
ErrorsParameter claInc should be final.96
ErrorsExpected @param tag for 'claInc'.96
ErrorsMethod 'setActivity' is not designed for extension - needs to be abstract, final or empty.100
ErrorsMissing a Javadoc comment.100
ErrorsParameter d should be final.100

org/sat4j/minisat/constraints/cnf/LearntWLClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.35
ErrorsMissing a Javadoc comment.37
ErrorsParameter ps should be final.37
ErrorsParameter voc should be final.37
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.48
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.77
ErrorsParameter claInc should be final.84
ErrorsExpected @param tag for 'claInc'.84
ErrorsParameter claInc should be final.91
ErrorsExpected @param tag for 'claInc'.91

org/sat4j/minisat/constraints/cnf/Lits.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.45
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsArray brackets at illegal position.53
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.69
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.75
ErrorsRedundant 'final' modifier.76
ErrorsParameter nvar should be final.76
ErrorsMissing a Javadoc comment.109
ErrorsParameter x should be final.109
ErrorsMissing a Javadoc comment.135
ErrorsParameter x should be final.135
ErrorsMissing a Javadoc comment.143
ErrorsMissing a Javadoc comment.153
ErrorsParameter howmany should be final.153
ErrorsMissing a Javadoc comment.160
ErrorsParameter lit should be final.160
ErrorsMissing a Javadoc comment.166
ErrorsParameter lit should be final.166
ErrorsMissing a Javadoc comment.172
ErrorsParameter var should be final.172
ErrorsMissing a Javadoc comment.177
ErrorsParameter lit should be final.177
ErrorsMissing a Javadoc comment.181
ErrorsRedundant 'final' modifier.181
ErrorsParameter lit should be final.181
ErrorsMissing a Javadoc comment.185
ErrorsParameter lit should be final.185
ErrorsMissing a Javadoc comment.189
ErrorsParameter lit should be final.189
ErrorsMissing a Javadoc comment.199
ErrorsMissing a Javadoc comment.204
ErrorsParameter lit should be final.204
ErrorsMissing a Javadoc comment.208
ErrorsParameter lit should be final.208
ErrorsLine is longer than 80 characters.209
ErrorsAvoid inline conditionals.209
ErrorsMissing a Javadoc comment.212
ErrorsParameter lit should be final.212
ErrorsMissing a Javadoc comment.223
ErrorsParameter lit should be final.223
ErrorsMissing a Javadoc comment.227
ErrorsParameter lit should be final.227
ErrorsParameter l should be final.227
ErrorsMissing a Javadoc comment.231
ErrorsParameter lit should be final.231
ErrorsMissing a Javadoc comment.235
ErrorsParameter lit should be final.235
ErrorsParameter r should be final.235
ErrorsMissing a Javadoc comment.239
ErrorsParameter lit should be final.239
ErrorsMissing a Javadoc comment.243
ErrorsParameter lit should be final.243
ErrorsParameter c should be final.243
ErrorsMissing a Javadoc comment.247
ErrorsParameter lit should be final.247
ErrorsMissing a Javadoc comment.251
ErrorsParameter lit should be final.251
ErrorsMissing a Javadoc comment.261
ErrorsLine has trailing spaces.267
ErrorsExpected an @return tag.278
ErrorsParameter reserve should be final.278
ErrorsExpected @param tag for 'reserve'.278

org/sat4j/minisat/constraints/cnf/OriginalBinaryClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.43
ErrorsMissing a Javadoc comment.46
ErrorsParameter ps should be final.46
ErrorsParameter voc should be final.46
ErrorsMissing a Javadoc comment.50
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.54
ErrorsMissing a Javadoc comment.54
ErrorsLine has trailing spaces.60
ErrorsParameter s should be final.71
ErrorsParameter voc should be final.71
ErrorsParameter literals should be final.71
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsParameter claInc should be final.77
ErrorsParameter claInc should be final.84
ErrorsExpected @param tag for 'claInc'.84
ErrorsMissing a Javadoc comment.88
ErrorsParameter claInc should be final.88

org/sat4j/minisat/constraints/cnf/OriginalHTClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.43
ErrorsParameter ps should be final.43
ErrorsParameter voc should be final.43
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.54
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.62
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.66
ErrorsLine has trailing spaces.72
ErrorsParameter s should be final.82
ErrorsParameter voc should be final.83
ErrorsParameter literals should be final.83
ErrorsMethod 'forwardActivity' is not designed for extension - needs to be abstract, final or empty.89
ErrorsMissing a Javadoc comment.89
ErrorsParameter claInc should be final.89
ErrorsParameter claInc should be final.96
ErrorsExpected @param tag for 'claInc'.96
ErrorsMissing a Javadoc comment.100
ErrorsParameter claInc should be final.100

org/sat4j/minisat/constraints/cnf/OriginalWLClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsParameter ps should be final.38
ErrorsParameter voc should be final.38
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.62
ErrorsLine has trailing spaces.68
ErrorsParameter s should be final.78
ErrorsParameter voc should be final.79
ErrorsParameter literals should be final.79
ErrorsParameter claInc should be final.88
ErrorsExpected @param tag for 'claInc'.88
ErrorsParameter claInc should be final.95
ErrorsExpected @param tag for 'claInc'.95

org/sat4j/minisat/constraints/cnf/UnitClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.45
ErrorsVariable 'literal' must be private and have accessor methods.45
ErrorsMissing a Javadoc comment.47
ErrorsParameter value should be final.47
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.51
ErrorsMissing a Javadoc comment.51
ErrorsParameter s should be final.51
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMissing a Javadoc comment.55
ErrorsParameter p should be final.55
ErrorsParameter outReason should be final.55
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.61
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.65
ErrorsParameter claInc should be final.65
ErrorsMissing a Javadoc comment.69
ErrorsParameter claInc should be final.69
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsParameter upl should be final.81
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.85
ErrorsParameter d should be final.85
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.89
ErrorsMissing a Javadoc comment.89
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.93
ErrorsMissing a Javadoc comment.93
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.97
ErrorsMissing a Javadoc comment.97
ErrorsParameter s should be final.97
ErrorsParameter p should be final.97
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.101
ErrorsMissing a Javadoc comment.101
ErrorsParameter i should be final.101
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.108
ErrorsMissing a Javadoc comment.108
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.112
ErrorsMissing a Javadoc comment.112
ErrorsMissing a Javadoc comment.116
ErrorsParameter claInc should be final.116
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.125
ErrorsMissing a Javadoc comment.125

org/sat4j/minisat/constraints/cnf/UnitClauses.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.41
ErrorsVariable 'literals' must be private and have accessor methods.41
ErrorsMissing a Javadoc comment.43
ErrorsParameter values should be final.43
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
ErrorsParameter s should be final.48
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.54
ErrorsMissing a Javadoc comment.54
ErrorsParameter p should be final.54
ErrorsParameter outReason should be final.54
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.63
ErrorsParameter claInc should be final.63
ErrorsMissing a Javadoc comment.67
ErrorsParameter claInc should be final.67
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.71
ErrorsMissing a Javadoc comment.71
ErrorsMethod 'register' is not designed for extension - needs to be abstract, final or empty.75
ErrorsMissing a Javadoc comment.75
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter upl should be final.79
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.85
ErrorsParameter d should be final.85
ErrorsMethod 'setLearnt' is not designed for extension - needs to be abstract, final or empty.89
ErrorsMissing a Javadoc comment.89
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.93
ErrorsMissing a Javadoc comment.93
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.97
ErrorsMissing a Javadoc comment.97
ErrorsParameter s should be final.97
ErrorsParameter p should be final.97
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.101
ErrorsMissing a Javadoc comment.101
ErrorsParameter i should be final.101
ErrorsMethod 'learnt' is not designed for extension - needs to be abstract, final or empty.105
ErrorsMissing a Javadoc comment.105
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.109
ErrorsMissing a Javadoc comment.109
ErrorsMissing a Javadoc comment.113
ErrorsParameter claInc should be final.113
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.117
ErrorsMissing a Javadoc comment.117

org/sat4j/minisat/constraints/cnf/WLClause.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsMissing a Javadoc comment.47
ErrorsVariable 'activity' must be private and have accessor methods.52
ErrorsMissing a Javadoc comment.54
ErrorsVariable 'lits' must be private and have accessor methods.54
ErrorsMissing a Javadoc comment.56
ErrorsVariable 'voc' must be private and have accessor methods.56
ErrorsFirst sentence should end with a period.58
ErrorsLine has trailing spaces.60
ErrorsParameter ps should be final.66
ErrorsParameter voc should be final.66
Errors'voc' hides a field.66
ErrorsLine has trailing spaces.76
ErrorsMethod 'calcReason' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter p should be final.79
ErrorsParameter outReason should be final.79
ErrorsAvoid inline conditionals.83
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.92
ErrorsParameter upl should be final.92
ErrorsExpected @param tag for 'upl'.92
ErrorsLine has trailing spaces.100
ErrorsMethod 'simplify' is not designed for extension - needs to be abstract, final or empty.103
ErrorsMissing a Javadoc comment.103
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.112
ErrorsMissing a Javadoc comment.112
ErrorsParameter s should be final.112
ErrorsParameter p should be final.112
ErrorsMethod 'locked' is not designed for extension - needs to be abstract, final or empty.149
ErrorsMissing a Javadoc comment.149
ErrorsMethod 'getActivity' is not designed for extension - needs to be abstract, final or empty.156
ErrorsMethod 'setActivity' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsParameter d should be final.160
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.164
ErrorsLine has trailing spaces.180
ErrorsMethod 'get' is not designed for extension - needs to be abstract, final or empty.185
ErrorsParameter i should be final.185
ErrorsMethod 'rescaleBy' is not designed for extension - needs to be abstract, final or empty.192
ErrorsParameter d should be final.192
ErrorsExpected @param tag for 'd'.192
ErrorsMethod 'size' is not designed for extension - needs to be abstract, final or empty.196
ErrorsMissing a Javadoc comment.196
ErrorsMethod 'assertConstraint' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsParameter s should be final.200
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.205
ErrorsMissing a Javadoc comment.205
ErrorsMethod 'getLits' is not designed for extension - needs to be abstract, final or empty.209
ErrorsMissing a Javadoc comment.209
ErrorsMethod 'equals' is not designed for extension - needs to be abstract, final or empty.215
ErrorsParameter obj should be final.216
ErrorsMethod 'hashCode' is not designed for extension - needs to be abstract, final or empty.244
ErrorsMethod 'canBePropagatedMultipleTimes' is not designed for extension - needs to be abstract, final or empty.253
ErrorsMissing a Javadoc comment.253
ErrorsMethod 'toConstraint' is not designed for extension - needs to be abstract, final or empty.257
ErrorsMissing a Javadoc comment.257

org/sat4j/minisat/constraints/cnf/package-info.java

ViolationMessageLine
ErrorsLine has trailing spaces.3
ErrorsLine has trailing spaces.5

org/sat4j/minisat/constraints/package-info.java

ViolationMessageLine
ErrorsLine has trailing spaces.3
ErrorsLine has trailing spaces.4
ErrorsLine is longer than 80 characters.4

org/sat4j/minisat/core/ActivityComparator.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.43
ErrorsLine has trailing spaces.47
ErrorsMethod 'compare' is not designed for extension - needs to be abstract, final or empty.50
ErrorsMissing a Javadoc comment.50
ErrorsParameter c1 should be final.50
ErrorsParameter c2 should be final.50

org/sat4j/minisat/core/ActivityListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29

org/sat4j/minisat/core/CircularBuffer.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.37
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsParameter capacity should be final.46
ErrorsMethod 'push' is not designed for extension - needs to be abstract, final or empty.50
ErrorsMissing a Javadoc comment.50
ErrorsParameter value should be final.50
ErrorsMethod 'average' is not designed for extension - needs to be abstract, final or empty.70
ErrorsMissing a Javadoc comment.70
ErrorsMethod 'clear' is not designed for extension - needs to be abstract, final or empty.80
ErrorsMissing a Javadoc comment.80
ErrorsMethod 'isFull' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMissing a Javadoc comment.86

org/sat4j/minisat/core/ConflictTimer.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44

org/sat4j/minisat/core/ConflictTimerAdapter.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.44
ErrorsLine contains a tab character.44
ErrorsLine contains a tab character.45
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
Errors'bound' hides a field.52
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsMethod 'newConflict' is not designed for extension - needs to be abstract, final or empty.61
ErrorsMissing a Javadoc comment.61
ErrorsMissing a Javadoc comment.69
ErrorsMethod 'bound' is not designed for extension - needs to be abstract, final or empty.71
ErrorsMissing a Javadoc comment.71

org/sat4j/minisat/core/ConflictTimerContainer.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.47
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsMissing a Javadoc comment.51
ErrorsMethod 'add' is not designed for extension - needs to be abstract, final or empty.53
ErrorsMissing a Javadoc comment.53
ErrorsParameter timer should be final.53
ErrorsMethod 'remove' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMissing a Javadoc comment.58
ErrorsParameter timer should be final.58
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMissing a Javadoc comment.63
ErrorsMethod 'newConflict' is not designed for extension - needs to be abstract, final or empty.70
ErrorsMissing a Javadoc comment.70

org/sat4j/minisat/core/Constr.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.50
ErrorsExpected @param tag for 'upl'.54
ErrorsLine has trailing spaces.59
ErrorsLine has trailing spaces.67
ErrorsLine has trailing spaces.70
ErrorsLine has trailing spaces.81
ErrorsLine has trailing spaces.88
ErrorsLine has trailing spaces.91
ErrorsExpected @param tag for 'claInc'.94
ErrorsLine has trailing spaces.98
ErrorsLine has trailing spaces.116
ErrorsFirst sentence should end with a period.122
ErrorsLine has trailing spaces.124
ErrorsLine has trailing spaces.136

org/sat4j/minisat/core/ConstrActivityListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsRedundant 'public' modifier.41
ErrorsExpected @param tag for 'confl'.41

org/sat4j/minisat/core/Counter.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsMissing a Javadoc comment.42
ErrorsParameter initialValue should be final.42
ErrorsMethod 'inc' is not designed for extension - needs to be abstract, final or empty.46
ErrorsMissing a Javadoc comment.46
ErrorsMethod 'dec' is not designed for extension - needs to be abstract, final or empty.53
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.57
ErrorsLine has trailing spaces.63
ErrorsMethod 'getValue' is not designed for extension - needs to be abstract, final or empty.67

org/sat4j/minisat/core/DataStructureFactory.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsUnused @throws tag for 'UnsupportedOperationException'.51
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsLine has trailing spaces.62
ErrorsExpected @throws tag for 'ContradictionException'.71
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.79
ErrorsExpected @param tag for 'p'.86
ErrorsExpected @param tag for 'p'.93

org/sat4j/minisat/core/Heap.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsRedundant 'final' modifier.50
ErrorsParameter i should be final.50
ErrorsMissing a Javadoc comment.54
ErrorsRedundant 'final' modifier.54
ErrorsParameter i should be final.54
ErrorsMissing a Javadoc comment.58
ErrorsRedundant 'final' modifier.58
ErrorsParameter i should be final.58
ErrorsMissing a Javadoc comment.62
ErrorsRedundant 'final' modifier.62
ErrorsParameter a should be final.62
ErrorsParameter b should be final.62
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsRedundant 'final' modifier.72
ErrorsParameter i should be final.72
ErrorsMissing a Javadoc comment.83
ErrorsRedundant 'final' modifier.83
ErrorsParameter i should be final.83
ErrorsLine is longer than 80 characters.87
ErrorsAvoid inline conditionals.87
ErrorsMissing a Javadoc comment.100
ErrorsParameter n should be final.100
ErrorsMissing a Javadoc comment.104
ErrorsParameter activity should be final.104
Errors'activity' hides a field.104
ErrorsMissing a Javadoc comment.109
ErrorsParameter size should be final.109
ErrorsMissing a Javadoc comment.114
ErrorsParameter n should be final.114
ErrorsMissing a Javadoc comment.119
ErrorsParameter n should be final.119
ErrorsMissing a Javadoc comment.125
ErrorsMissing a Javadoc comment.129
ErrorsMissing a Javadoc comment.133
ErrorsParameter i should be final.133
ErrorsMissing a Javadoc comment.145
ErrorsParameter n should be final.145
ErrorsMissing a Javadoc comment.152
ErrorsMissing a Javadoc comment.156
ErrorsMissing a Javadoc comment.160
ErrorsParameter i should be final.160

org/sat4j/minisat/core/ICDCL.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.49
ErrorsExpected @param tag for 'learner'.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsLine has trailing spaces.70
ErrorsLine has trailing spaces.73
ErrorsLine has trailing spaces.83
ErrorsExpected @param tag for 'simp'.86
ErrorsMissing a Javadoc comment.88
ErrorsExpected @param tag for 'lcds'.95
ErrorsLine has trailing spaces.98
ErrorsLine has trailing spaces.109
ErrorsMissing a Javadoc comment.117
ErrorsMissing a Javadoc comment.119
ErrorsMissing a Javadoc comment.121
ErrorsMissing a Javadoc comment.123
ErrorsMissing a Javadoc comment.125

org/sat4j/minisat/core/ICDCLLogger.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.32
ErrorsMissing a Javadoc comment.33
ErrorsParameter message should be final.35
ErrorsMissing a Javadoc comment.40
ErrorsRedundant 'public' modifier.40

org/sat4j/minisat/core/ILits.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.42
ErrorsIncomplete HTML tag found: * literal is 2*v (v << 1) and it's negative literal is 2*v+1 ((v<<1)^1). Note44
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.54
ErrorsRedundant 'public' modifier.54
ErrorsMissing a Javadoc comment.56
ErrorsRedundant 'public' modifier.56
ErrorsLine has trailing spaces.60
ErrorsRedundant 'public' modifier.65
ErrorsLine has trailing spaces.69
ErrorsExpected @param tag for 'x'.73
ErrorsLine has trailing spaces.83
ErrorsLine has trailing spaces.91
ErrorsLine has trailing spaces.99
ErrorsLine has trailing spaces.109
ErrorsLine has trailing spaces.118
ErrorsLine has trailing spaces.127
ErrorsLine has trailing spaces.137
ErrorsRedundant 'public' modifier.149
ErrorsExpected @param tag for 'lit'.149
ErrorsFirst sentence should end with a period.151
ErrorsLine has trailing spaces.153
ErrorsRedundant 'public' modifier.156
ErrorsFirst sentence should end with a period.158
ErrorsLine has trailing spaces.160
ErrorsLine has trailing spaces.171
ErrorsExpected @param tag for 'reserve'.176
ErrorsLine has trailing spaces.180
ErrorsLine has trailing spaces.189
ErrorsLine has trailing spaces.199
ErrorsLine has trailing spaces.209
ErrorsLine has trailing spaces.218
ErrorsLine has trailing spaces.230
ErrorsLine has trailing spaces.239
ErrorsRedundant 'public' modifier.252
ErrorsLine has trailing spaces.256

org/sat4j/minisat/core/IOrder.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.54
ErrorsLine has trailing spaces.57
ErrorsLine has trailing spaces.64
ErrorsLine has trailing spaces.66
ErrorsLine has trailing spaces.74
ErrorsLine has trailing spaces.88
ErrorsLine has trailing spaces.99
ErrorsLine has trailing spaces.110
ErrorsLine has trailing spaces.116
ErrorsLine has trailing spaces.125
ErrorsExpected @param tag for 'p'.128
ErrorsMissing a Javadoc comment.130
ErrorsMissing a Javadoc comment.132
ErrorsLine has trailing spaces.137
ErrorsLine has trailing spaces.147

org/sat4j/minisat/core/IPhaseSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.54
ErrorsLine has trailing spaces.63
ErrorsLine has trailing spaces.73
ErrorsExpected @param tag for 'p'.76
ErrorsLine has trailing spaces.81
ErrorsLine has trailing spaces.85
ErrorsLine has trailing spaces.92

org/sat4j/minisat/core/ISimplifier.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsMissing a Javadoc comment.43

org/sat4j/minisat/core/IntQueue.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsLine has trailing spaces.51
ErrorsLine has trailing spaces.64
ErrorsFirst sentence should end with a period.72
ErrorsLine has trailing spaces.82
ErrorsLine has trailing spaces.91
ErrorsMissing a Javadoc comment.118
ErrorsMissing a Javadoc comment.120
ErrorsMissing a Javadoc comment.122

org/sat4j/minisat/core/LearnedConstraintsDeletionStrategy.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.45
ErrorsLine contains a tab character.45
ErrorsLine contains a tab character.46
ErrorsMissing a Javadoc comment.49
ErrorsLine has trailing spaces.54
ErrorsExpected @param tag for 'learnedConstrs'.57
ErrorsLine has trailing spaces.62
ErrorsExpected @param tag for 'outLearnt'.65
ErrorsLine has trailing spaces.69
ErrorsExpected @param tag for 'reason'.72
ErrorsLine has trailing spaces.76
ErrorsExpected @param tag for 'from'.79

org/sat4j/minisat/core/LearnedConstraintsEvaluationType.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsLine has trailing spaces.36

org/sat4j/minisat/core/Learner.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsMissing a Javadoc comment.39

org/sat4j/minisat/core/LearningStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsType Javadoc comment is missing an @param <D> tag.40
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54

org/sat4j/minisat/core/Pair.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsVariable 'backtrackLevel' must be private and have accessor methods.44
ErrorsMissing a Javadoc comment.45
ErrorsVariable 'reason' must be private and have accessor methods.45

org/sat4j/minisat/core/Propagatable.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.58

org/sat4j/minisat/core/RestartStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.61
ErrorsLine has trailing spaces.69
ErrorsLine has trailing spaces.75
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.82

org/sat4j/minisat/core/SearchParams.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.43
ErrorsLine has trailing spaces.47
Errors'0.95' is a magic number.50
Errors'0.999' is a magic number.50
Errors'1.5' is a magic number.50
Errors'100' is a magic number.50
ErrorsLine has trailing spaces.54
ErrorsParameter conflictBound should be final.58
Errors'0.95' is a magic number.59
Errors'0.999' is a magic number.59
Errors'1.5' is a magic number.59
ErrorsMissing a Javadoc comment.62
ErrorsParameter confincfactor should be final.62
ErrorsParameter conflictBound should be final.62
Errors'0.95' is a magic number.63
Errors'0.999' is a magic number.63
ErrorsParameter d should be final.76
ErrorsParameter e should be final.76
ErrorsParameter f should be final.76
ErrorsParameter i should be final.76
ErrorsMethod 'getClaDecay' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMethod 'getVarDecay' is not designed for extension - needs to be abstract, final or empty.93
ErrorsMissing a Javadoc comment.97
ErrorsMissing a Javadoc comment.99
ErrorsMissing a Javadoc comment.101
ErrorsMissing a Javadoc comment.103
ErrorsLine has trailing spaces.107
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.110
ErrorsMethod 'setConflictBoundIncFactor' is not designed for extension - needs to be abstract, final or empty.135
ErrorsParameter conflictBoundIncFactor should be final.135
Errors'conflictBoundIncFactor' hides a field.135
ErrorsMethod 'setInitConflictBound' is not designed for extension - needs to be abstract, final or empty.143
ErrorsParameter initConflictBound should be final.143
Errors'initConflictBound' hides a field.143
ErrorsMethod 'getConflictBoundIncFactor' is not designed for extension - needs to be abstract, final or empty.150
ErrorsMethod 'getInitConflictBound' is not designed for extension - needs to be abstract, final or empty.157
ErrorsMethod 'setClaDecay' is not designed for extension - needs to be abstract, final or empty.165
ErrorsParameter claDecay should be final.165
Errors'claDecay' hides a field.165
ErrorsMethod 'setVarDecay' is not designed for extension - needs to be abstract, final or empty.173
ErrorsParameter varDecay should be final.173
Errors'varDecay' hides a field.173

org/sat4j/minisat/core/SimplificationType.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.39
ErrorsMissing a Javadoc comment.39

org/sat4j/minisat/core/Solver.java

ViolationMessageLine
ErrorsFile length is 2,461 lines (max allowed is 2,000).1
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.62
ErrorsType Javadoc comment is missing an @param <D> tag.65
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsLine is longer than 80 characters.72
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsVariable 'out' must be private and have accessor methods.74
ErrorsVariable 'constrs' must be private and have accessor methods.79
ErrorsVariable 'learnts' must be private and have accessor methods.84
ErrorsFirst sentence should end with a period.96
ErrorsFirst sentence should end with a period.104
ErrorsVariable 'trail' must be private and have accessor methods.107
ErrorsFirst sentence should end with a period.111
ErrorsVariable 'trailLim' must be private and have accessor methods.114
ErrorsFirst sentence should end with a period.118
ErrorsVariable 'rootLevel' must be private and have accessor methods.121
ErrorsMissing a Javadoc comment.123
ErrorsMissing a Javadoc comment.125
ErrorsVariable 'voc' must be private and have accessor methods.125
ErrorsMissing a Javadoc comment.127
ErrorsMissing a Javadoc comment.129
ErrorsMissing a Javadoc comment.131
ErrorsMissing a Javadoc comment.133
ErrorsMissing a Javadoc comment.135
ErrorsVariable 'undertimeout' must be private and have accessor methods.135
ErrorsMissing a Javadoc comment.137
ErrorsMissing a Javadoc comment.139
ErrorsMissing a Javadoc comment.141
ErrorsVariable 'dsfactory' must be private and have accessor methods.141
ErrorsMissing a Javadoc comment.143
ErrorsMissing a Javadoc comment.145
ErrorsName '__dimacs_out' must match pattern '^[a-z][a-zA-Z0-9]*$'.145
ErrorsMissing a Javadoc comment.147
ErrorsVariable 'slistener' must be private and have accessor methods.147
ErrorsMissing a Javadoc comment.149
ErrorsLine is longer than 80 characters.151
ErrorsMissing a Javadoc comment.151
ErrorsMissing a Javadoc comment.153
ErrorsMissing a Javadoc comment.155
ErrorsMissing a Javadoc comment.157
ErrorsMissing a Javadoc comment.159
ErrorsMissing a Javadoc comment.161
ErrorsMissing a Javadoc comment.162
ErrorsMethod 'dimacs2internal' is not designed for extension - needs to be abstract, final or empty.164
ErrorsMissing a Javadoc comment.164
ErrorsParameter in should be final.164
ErrorsMethod 'registerLiteral' is not designed for extension - needs to be abstract, final or empty.182
ErrorsMissing a Javadoc comment.182
ErrorsParameter p should be final.182
ErrorsParameter learner should be final.192
Errors'learner' hides a field.192
ErrorsExpected @param tag for 'learner'.192
ErrorsParameter dsf should be final.192
ErrorsExpected @param tag for 'dsf'.192
ErrorsParameter order should be final.192
Errors'order' hides a field.192
ErrorsExpected @param tag for 'order'.192
ErrorsParameter restarter should be final.193
Errors'restarter' hides a field.193
ErrorsExpected @param tag for 'restarter'.193
ErrorsMissing a Javadoc comment.197
ErrorsParameter learner should be final.197
Errors'learner' hides a field.197
ErrorsParameter dsf should be final.197
ErrorsParameter params should be final.197
Errors'params' hides a field.197
ErrorsParameter order should be final.198
Errors'order' hides a field.198
ErrorsParameter restarter should be final.198
Errors'restarter' hides a field.198
ErrorsMissing a Javadoc comment.202
ErrorsParameter learner should be final.202
Errors'learner' hides a field.202
ErrorsParameter dsf should be final.202
ErrorsParameter params should be final.202
Errors'params' hides a field.202
ErrorsParameter order should be final.203
Errors'order' hides a field.203
ErrorsParameter restarter should be final.203
Errors'restarter' hides a field.203
ErrorsParameter logger should be final.203
ErrorsLine has trailing spaces.214
ErrorsMissing a Javadoc comment.217
ErrorsParameter dsf should be final.217
ErrorsExpected an @return tag.228
ErrorsMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.228
ErrorsMethod 'setVerbose' is not designed for extension - needs to be abstract, final or empty.236
ErrorsParameter value should be final.236
ErrorsExpected @param tag for 'value'.236
ErrorsLine has trailing spaces.242
ErrorsLine is longer than 80 characters.244
ErrorsMethod 'setSearchListener' is not designed for extension - needs to be abstract, final or empty.247
ErrorsMissing a Javadoc comment.247
ErrorsParameter sl should be final.248
ErrorsLine has trailing spaces.254
ErrorsMethod 'getSearchListener' is not designed for extension - needs to be abstract, final or empty.257
ErrorsMissing a Javadoc comment.257
ErrorsLine has trailing spaces.263
ErrorsMethod 'setLearner' is not designed for extension - needs to be abstract, final or empty.267
ErrorsMissing a Javadoc comment.267
ErrorsParameter learner should be final.267
Errors'learner' hides a field.267
ErrorsMethod 'setTimeout' is not designed for extension - needs to be abstract, final or empty.271
ErrorsMissing a Javadoc comment.271
ErrorsParameter t should be final.271
Errors'1000L' is a magic number.272
ErrorsMethod 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.276
ErrorsMissing a Javadoc comment.276
ErrorsParameter t should be final.276
ErrorsMethod 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.281
ErrorsMissing a Javadoc comment.281
ErrorsParameter count should be final.281
ErrorsLine has trailing spaces.288
ErrorsMethod 'setSearchParams' is not designed for extension - needs to be abstract, final or empty.292
ErrorsMissing a Javadoc comment.292
ErrorsParameter sp should be final.292
ErrorsLine has trailing spaces.298
ErrorsMethod 'setRestartStrategy' is not designed for extension - needs to be abstract, final or empty.303
ErrorsMissing a Javadoc comment.303
ErrorsParameter restarter should be final.303
Errors'restarter' hides a field.303
ErrorsLine has trailing spaces.309
ErrorsMethod 'getRestartStrategy' is not designed for extension - needs to be abstract, final or empty.312
ErrorsMissing a Javadoc comment.312
ErrorsMethod 'expireTimeout' is not designed for extension - needs to be abstract, final or empty.316
ErrorsMissing a Javadoc comment.316
ErrorsMethod 'nAssigns' is not designed for extension - needs to be abstract, final or empty.330
ErrorsMissing a Javadoc comment.330
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.334
ErrorsMissing a Javadoc comment.334
ErrorsMethod 'learn' is not designed for extension - needs to be abstract, final or empty.338
ErrorsMissing a Javadoc comment.338
ErrorsParameter c should be final.338
Errors'3' is a magic number.348
ErrorsMissing a Javadoc comment.356
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.360
ErrorsMissing a Javadoc comment.360
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.367
ErrorsMissing a Javadoc comment.367
ErrorsParameter howmany should be final.367
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.373
ErrorsMissing a Javadoc comment.373
ErrorsParameter literals should be final.373
ErrorsMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.378
ErrorsMissing a Javadoc comment.378
ErrorsParameter co should be final.378
ErrorsLine is longer than 80 characters.381
ErrorsExpected an @return tag.395
ErrorsMethod 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.395
ErrorsParameter co should be final.395
ErrorsExpected @param tag for 'co'.395
ErrorsLine is longer than 80 characters.398
ErrorsMethod 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.412
ErrorsMissing a Javadoc comment.412
ErrorsParameter clauses should be final.412
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.420
ErrorsMissing a Javadoc comment.420
ErrorsParameter literals should be final.420
ErrorsParameter degree should be final.420
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.430
ErrorsMissing a Javadoc comment.430
ErrorsParameter literals should be final.430
ErrorsParameter degree should be final.430
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.437
ErrorsMissing a Javadoc comment.437
ErrorsParameter literals should be final.437
ErrorsParameter n should be final.437
ErrorsMethod 'simplifyDB' is not designed for extension - needs to be abstract, final or empty.445
ErrorsMissing a Javadoc comment.445
Errors'{' is followed by whitespace.449
ErrorsLine has trailing spaces.467
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.470
ErrorsLine has trailing spaces.482
ErrorsMethod 'enqueue' is not designed for extension - needs to be abstract, final or empty.485
ErrorsMissing a Javadoc comment.485
ErrorsParameter p should be final.485
ErrorsLine has trailing spaces.491
ErrorsMethod 'enqueue' is not designed for extension - needs to be abstract, final or empty.495
ErrorsMissing a Javadoc comment.495
ErrorsParameter p should be final.495
ErrorsParameter from should be final.495
ErrorsMissing a Javadoc comment.516
ErrorsMissing a Javadoc comment.518
ErrorsMissing a Javadoc comment.520
ErrorsMethod 'analyze' is not designed for extension - needs to be abstract, final or empty.526
ErrorsParameter confl should be final.526
ErrorsExpected @param tag for 'confl'.526
ErrorsParameter results should be final.526
ErrorsExpected @param tag for 'results'.526
ErrorsLine has trailing spaces.599
ErrorsMethod 'analyzeFinalConflictInTermsOfAssumptions' is not designed for extension - needs to be abstract, final or empty.610
ErrorsParameter confl should be final.610
ErrorsParameter assumps should be final.611
ErrorsParameter conflictingLiteral should be final.611
ErrorsMissing a Javadoc comment.687
ErrorsLine has trailing spaces.689
ErrorsParameter outLearnt should be final.693
ErrorsMissing a Javadoc comment.702
ErrorsName 'SIMPLE_SIMPLIFICATION' must match pattern '^[a-z][a-zA-Z0-9]*$'.702
ErrorsVariable 'SIMPLE_SIMPLIFICATION' must be private and have accessor methods.702
ErrorsLine has trailing spaces.704
ErrorsParameter conflictToReduce should be final.708
ErrorsMissing a Javadoc comment.718
ErrorsName 'EXPENSIVE_SIMPLIFICATION' must match pattern '^[a-z][a-zA-Z0-9]*$'.718
ErrorsVariable 'EXPENSIVE_SIMPLIFICATION' must be private and have accessor methods.718
ErrorsLine has trailing spaces.721
ErrorsParameter conflictToReduce should be final.725
ErrorsLine is longer than 80 characters.735
ErrorsMissing a Javadoc comment.735
ErrorsName 'EXPENSIVE_SIMPLIFICATION_WLONLY' must match pattern '^[a-z][a-zA-Z0-9]*$'.735
ErrorsVariable 'EXPENSIVE_SIMPLIFICATION_WLONLY' must be private and have accessor methods.735
ErrorsLine has trailing spaces.738
ErrorsParameter conflictToReduce should be final.742
ErrorsLine is longer than 80 characters.748
ErrorsMissing a Javadoc comment.752
ErrorsLine has trailing spaces.756
ErrorsMethod 'setSimplifier' is not designed for extension - needs to be abstract, final or empty.759
ErrorsMissing a Javadoc comment.759
ErrorsParameter simp should be final.759
ErrorsLine has trailing spaces.772
ErrorsMethod 'setSimplifier' is not designed for extension - needs to be abstract, final or empty.777
ErrorsMissing a Javadoc comment.777
ErrorsParameter simp should be final.777
ErrorsLine has trailing spaces.783
ErrorsMethod 'getSimplifier' is not designed for extension - needs to be abstract, final or empty.786
ErrorsMissing a Javadoc comment.786
ErrorsMissing a Javadoc comment.812
ErrorsParameter conflictToReduce should be final.812
ErrorsInner assignments should be avoided.816
ErrorsMissing a Javadoc comment.835
ErrorsMissing a Javadoc comment.837
ErrorsMissing a Javadoc comment.840
ErrorsParameter conflictToReduce should be final.840
ErrorsMissing a Javadoc comment.860
ErrorsParameter p should be final.860
ErrorsMissing a Javadoc comment.904
ErrorsParameter conflictToReduce should be final.904
ErrorsMissing a Javadoc comment.924
ErrorsParameter p should be final.924
ErrorsLine has trailing spaces.959
ErrorsMethod 'undoOne' is not designed for extension - needs to be abstract, final or empty.961
ErrorsFirst sentence should end with a period.985
ErrorsLine has trailing spaces.987
ErrorsMethod 'claBumpActivity' is not designed for extension - needs to be abstract, final or empty.991
ErrorsParameter confl should be final.991
ErrorsMethod 'varBumpActivity' is not designed for extension - needs to be abstract, final or empty.1001
ErrorsMissing a Javadoc comment.1001
ErrorsParameter p should be final.1001
ErrorsMissing a Javadoc comment.1005
ErrorsMissing a Javadoc comment.1012
ErrorsMethod 'propagate' is not designed for extension - needs to be abstract, final or empty.1017
ErrorsMissing a Javadoc comment.1038
ErrorsParameter p should be final.1038
ErrorsMethod 'record' is not designed for extension - needs to be abstract, final or empty.1072
ErrorsMissing a Javadoc comment.1072
ErrorsParameter constr should be final.1072
ErrorsMethod 'assume' is not designed for extension - needs to be abstract, final or empty.1085
ErrorsParameter p should be final.1085
ErrorsExpected @param tag for 'p'.1085
ErrorsFirst sentence should end with a period.1093
ErrorsFirst sentence should end with a period.1107
ErrorsParameter learnedLiteralsLimit should be final.1110
ErrorsExpected @param tag for 'learnedLiteralsLimit'.1110
ErrorsFirst sentence should end with a period.1121
ErrorsLine has trailing spaces.1123
ErrorsMethod 'cancelUntil' is not designed for extension - needs to be abstract, final or empty.1126
ErrorsParameter level should be final.1126
ErrorsExpected @param tag for 'level'.1126
ErrorsMissing a Javadoc comment.1132
ErrorsMissing a Javadoc comment.1134
ErrorsMissing a Javadoc comment.1136
ErrorsMethod 'search' is not designed for extension - needs to be abstract, final or empty.1138
ErrorsMissing a Javadoc comment.1138
ErrorsParameter assumps should be final.1138
ErrorsLine is longer than 80 characters.1220
ErrorsLine is longer than 80 characters.1242
ErrorsMissing a Javadoc comment.1256
ErrorsMissing a Javadoc comment.1268
ErrorsParameter conflict should be final.1268
ErrorsMissing a Javadoc comment.1271
ErrorsMissing a Javadoc comment.1272
ErrorsMissing a Javadoc comment.1274
ErrorsLine has trailing spaces.1277
ErrorsMethod 'modelFound' is not designed for extension - needs to be abstract, final or empty.1279
ErrorsAvoid inline conditionals.1287
ErrorsAvoid inline conditionals.1304
ErrorsMissing a Javadoc comment.1319
ErrorsParameter var should be final.1319
ErrorsLine is longer than 80 characters.1326
ErrorsMissing a Javadoc comment.1330
ErrorsParameter p should be final.1330
ErrorsMissing a Javadoc comment.1334
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.1336
ErrorsMissing a Javadoc comment.1336
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.1398
ErrorsMissing a Javadoc comment.1398
ErrorsParameter p should be final.1398
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.1410
ErrorsMissing a Javadoc comment.1410
ErrorsParameter var should be final.1410
ErrorsMethod 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.1422
ErrorsMissing a Javadoc comment.1422
ErrorsMethod 'reduceDB' is not designed for extension - needs to be abstract, final or empty.1431
ErrorsMissing a Javadoc comment.1431
ErrorsMethod 'sortOnActivity' is not designed for extension - needs to be abstract, final or empty.1441
ErrorsLine has trailing spaces.1446
ErrorsMethod 'decayActivities' is not designed for extension - needs to be abstract, final or empty.1448
ErrorsLine has trailing spaces.1454
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.1463
ErrorsExpected @throws tag for 'TimeoutException'.1463
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.1470
ErrorsParameter global should be final.1470
ErrorsExpected @param tag for 'global'.1470
ErrorsExpected @throws tag for 'TimeoutException'.1470
ErrorsMissing a Javadoc comment.1474
ErrorsMissing a Javadoc comment.1476
ErrorsMissing a Javadoc comment.1478
ErrorsMissing a Javadoc comment.1480
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.1482
ErrorsMissing a Javadoc comment.1482
ErrorsParameter assumps should be final.1482
ErrorsLine is longer than 80 characters.1486
ErrorsMissing a Javadoc comment.1486
ErrorsParameter learnedConstrs should be final.1501
ErrorsInner assignments should be avoided.1503
ErrorsInner assignments should be avoided.1503
ErrorsLine is longer than 80 characters.1519
ErrorsLine has trailing spaces.1520
ErrorsLine is longer than 80 characters.1520
ErrorsParameter reason should be final.1526
ErrorsParameter outLearnt should be final.1531
ErrorsParameter from should be final.1549
ErrorsMissing a Javadoc comment.1556
Errors'timer' hides a field.1557
ErrorsParameter learnedConstrs should be final.1564
ErrorsInner assignments should be avoided.1567
ErrorsLine is longer than 80 characters.1581
ErrorsLine has trailing spaces.1582
ErrorsLine is longer than 80 characters.1582
ErrorsParameter constr should be final.1601
ErrorsParameter reason should be final.1606
ErrorsParameter from should be final.1612
ErrorsMissing a Javadoc comment.1618
ErrorsVariable 'memorybound' must be private and have accessor methods.1620
Errors'10' is a magic number.1620
ErrorsLine is longer than 80 characters.1636
ErrorsName 'memory_based' must match pattern '^[a-z][a-zA-Z0-9]*$'.1636
ErrorsVariable 'memory_based' must be private and have accessor methods.1636
ErrorsMissing a Javadoc comment.1638
ErrorsMissing a Javadoc comment.1640
ErrorsMissing a Javadoc comment.1641
ErrorsMissing a Javadoc comment.1642
ErrorsMissing a Javadoc comment.1645
ErrorsMissing a Javadoc comment.1647
ErrorsParameter timer should be final.1647
Errors'timer' hides a field.1647
ErrorsMissing a Javadoc comment.1651
ErrorsParameter learnedConstrs should be final.1651
ErrorsLine is longer than 80 characters.1654
ErrorsInner assignments should be avoided.1654
ErrorsLine is longer than 80 characters.1665
ErrorsLine is longer than 80 characters.1666
ErrorsMissing a Javadoc comment.1673
ErrorsMissing a Javadoc comment.1682
ErrorsMissing a Javadoc comment.1692
ErrorsParameter constr should be final.1692
ErrorsMissing a Javadoc comment.1697
ErrorsParameter constr should be final.1697
ErrorsMissing a Javadoc comment.1711
ErrorsParameter reason should be final.1711
ErrorsMissing a Javadoc comment.1715
ErrorsParameter from should be final.1715
ErrorsMissing a Javadoc comment.1720
ErrorsLine has trailing spaces.1723
ErrorsLine contains a tab character.1723
ErrorsLine contains a tab character.1724
ErrorsMissing a Javadoc comment.1727
ErrorsParameter timer should be final.1727
Errors'timer' hides a field.1727
ErrorsParameter from should be final.1737
ErrorsMissing a Javadoc comment.1749
ErrorsVariable 'glucose' must be private and have accessor methods.1783
ErrorsLine is longer than 80 characters.1786
ErrorsMissing a Javadoc comment.1786
ErrorsVariable 'learnedConstraintsDeletionStrategy' must be private and have accessor methods.1786
ErrorsLine has trailing spaces.1790
ErrorsMethod 'setLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.1795
ErrorsMissing a Javadoc comment.1795
ErrorsParameter lcds should be final.1796
ErrorsMissing a Javadoc comment.1806
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.1808
ErrorsMethod length is 159 lines (max allowed is 150).1808
ErrorsMissing a Javadoc comment.1808
ErrorsParameter assumps should be final.1808
ErrorsParameter global should be final.1808
ErrorsInner assignments should be avoided.1868
ErrorsLine is longer than 80 characters.1871
ErrorsLine is longer than 80 characters.1877
ErrorsAvoid inline conditionals.1959
ErrorsMethod 'printInfos' is not designed for extension - needs to be abstract, final or empty.1969
ErrorsMissing a Javadoc comment.1969
ErrorsParameter out should be final.1969
Errors'out' hides a field.1969
ErrorsParameter prefix should be final.1969
Errors'prefix' hides a field.1969
ErrorsMethod 'printLearntClausesInfos' is not designed for extension - needs to be abstract, final or empty.1985
ErrorsParameter out should be final.1985
Errors'out' hides a field.1985
ErrorsExpected @param tag for 'out'.1985
ErrorsParameter prefix should be final.1985
Errors'prefix' hides a field.1985
ErrorsExpected @param tag for 'prefix'.1985
ErrorsMethod 'getStats' is not designed for extension - needs to be abstract, final or empty.2003
ErrorsMissing a Javadoc comment.2003
ErrorsLine has trailing spaces.2008
ErrorsMethod 'initStats' is not designed for extension - needs to be abstract, final or empty.2012
ErrorsParameter myStats should be final.2012
ErrorsExpected @param tag for 'myStats'.2012
ErrorsLine has trailing spaces.2018
ErrorsMethod 'getOrder' is not designed for extension - needs to be abstract, final or empty.2021
ErrorsMissing a Javadoc comment.2021
ErrorsLine has trailing spaces.2027
ErrorsMethod 'setOrder' is not designed for extension - needs to be abstract, final or empty.2030
ErrorsMissing a Javadoc comment.2030
ErrorsParameter h should be final.2030
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.2035
ErrorsMissing a Javadoc comment.2035
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.2039
ErrorsMissing a Javadoc comment.2039
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.2059
ErrorsMissing a Javadoc comment.2059
ErrorsMethod 'addConstr' is not designed for extension - needs to be abstract, final or empty.2071
ErrorsParameter constr should be final.2071
ErrorsMethod 'getDSFactory' is not designed for extension - needs to be abstract, final or empty.2094
ErrorsMissing a Javadoc comment.2094
ErrorsMethod 'getOutLearnt' is not designed for extension - needs to be abstract, final or empty.2098
ErrorsMissing a Javadoc comment.2098
ErrorsLine has trailing spaces.2104
ErrorsMethod 'getIthConstr' is not designed for extension - needs to be abstract, final or empty.2109
ErrorsParameter i should be final.2109
ErrorsLine has trailing spaces.2115
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.2119
ErrorsMissing a Javadoc comment.2119
ErrorsParameter out should be final.2119
Errors'out' hides a field.2119
ErrorsParameter prefix should be final.2119
Errors'prefix' hides a field.2119
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.2123
ErrorsMissing a Javadoc comment.2123
ErrorsParameter out should be final.2123
Errors'out' hides a field.2123
ErrorsParameter prefix should be final.2123
Errors'prefix' hides a field.2123
Errors'1000' is a magic number.2125
ErrorsLine is longer than 80 characters.2127
ErrorsLine has trailing spaces.2135
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.2138
ErrorsMissing a Javadoc comment.2138
ErrorsParameter prefix should be final.2138
Errors'prefix' hides a field.2138
Errors'{' is followed by whitespace.2140
Errors'1000' is a magic number.2154
ErrorsLine is longer than 80 characters.2166
ErrorsLine has trailing spaces.2175
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.2178
ErrorsMethod 'getTimeout' is not designed for extension - needs to be abstract, final or empty.2183
ErrorsMissing a Javadoc comment.2183
ErrorsAvoid inline conditionals.2184
Errors'1000' is a magic number.2184
ErrorsExpected an @return tag.2191
ErrorsMethod 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.2191
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.2199
ErrorsMissing a Javadoc comment.2199
ErrorsParameter nb should be final.2199
ErrorsMethod 'getStat' is not designed for extension - needs to be abstract, final or empty.2203
ErrorsMissing a Javadoc comment.2203
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.2207
ErrorsMissing a Javadoc comment.2207
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.2216
ErrorsMissing a Javadoc comment.2216
ErrorsParameter assumps should be final.2216
ErrorsMethod 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.2225
ErrorsMissing a Javadoc comment.2225
ErrorsMethod 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.2229
ErrorsMissing a Javadoc comment.2229
ErrorsParameter status should be final.2229
ErrorsExpected an @return tag.2236
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.2236
ErrorsParameter reserve should be final.2236
ErrorsExpected @param tag for 'reserve'.2236
ErrorsExpected an @return tag.2243
ErrorsMethod 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.2243
ErrorsParameter literals should be final.2243
ErrorsExpected @param tag for 'literals'.2243
ErrorsExpected @throws tag for 'ContradictionException'.2244
ErrorsMethod 'unset' is not designed for extension - needs to be abstract, final or empty.2251
ErrorsParameter p should be final.2251
ErrorsExpected @param tag for 'p'.2251
ErrorsMethod 'setLogPrefix' is not designed for extension - needs to be abstract, final or empty.2272
ErrorsParameter prefix should be final.2272
Errors'prefix' hides a field.2272
ErrorsExpected @param tag for 'prefix'.2272
ErrorsExpected an @return tag.2279
ErrorsMethod 'getLogPrefix' is not designed for extension - needs to be abstract, final or empty.2279
ErrorsExpected an @return tag.2286
ErrorsMethod 'unsatExplanation' is not designed for extension - needs to be abstract, final or empty.2286
ErrorsExpected an @return tag.2296
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.2296
ErrorsExpected an @return tag.2316
ErrorsMethod 'realNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.2316
ErrorsMethod 'stop' is not designed for extension - needs to be abstract, final or empty.2323
ErrorsMissing a Javadoc comment.2327
ErrorsMethod 'backtrack' is not designed for extension - needs to be abstract, final or empty.2332
ErrorsParameter reason should be final.2332
ErrorsExpected @param tag for 'reason'.2332
ErrorsExpected an @return tag.2344
ErrorsMethod 'truthValue' is not designed for extension - needs to be abstract, final or empty.2344
ErrorsParameter literal should be final.2344
ErrorsExpected @param tag for 'literal'.2344
ErrorsExpected an @return tag.2358
ErrorsMethod 'currentDecisionLevel' is not designed for extension - needs to be abstract, final or empty.2358
ErrorsExpected an @return tag.2365
ErrorsMethod 'getLiteralsPropagatedAt' is not designed for extension - needs to be abstract, final or empty.2365
ErrorsParameter decisionLevel should be final.2365
ErrorsExpected @param tag for 'decisionLevel'.2365
ErrorsMethod 'suggestNextLiteralToBranchOn' is not designed for extension - needs to be abstract, final or empty.2372
ErrorsParameter l should be final.2372
ErrorsExpected @param tag for 'l'.2372
ErrorsMethod 'isNeedToReduceDB' is not designed for extension - needs to be abstract, final or empty.2376
ErrorsMissing a Javadoc comment.2376
ErrorsMethod 'setNeedToReduceDB' is not designed for extension - needs to be abstract, final or empty.2380
ErrorsMissing a Javadoc comment.2380
ErrorsParameter needToReduceDB should be final.2380
Errors'needToReduceDB' hides a field.2380
ErrorsMethod 'setLogger' is not designed for extension - needs to be abstract, final or empty.2384
ErrorsMissing a Javadoc comment.2384
ErrorsParameter out should be final.2384
Errors'out' hides a field.2384
ErrorsMethod 'getLogger' is not designed for extension - needs to be abstract, final or empty.2388
ErrorsMissing a Javadoc comment.2388
ErrorsMethod 'getVariableHeuristics' is not designed for extension - needs to be abstract, final or empty.2392
ErrorsMissing a Javadoc comment.2392
ErrorsMethod 'getLearnedConstraints' is not designed for extension - needs to be abstract, final or empty.2396
ErrorsMissing a Javadoc comment.2396
ErrorsMethod 'setLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.2403
ErrorsParameter timer should be final.2403
Errors'timer' hides a field.2403
ErrorsExpected @param tag for 'timer'.2403
ErrorsParameter evaluation should be final.2404
ErrorsExpected @param tag for 'evaluation'.2404
Errorsswitch without "default" clause.2410
ErrorsMethod 'setLearnedConstraintsDeletionStrategy' is not designed for extension - needs to be abstract, final or empty.2429
ErrorsParameter evaluation should be final.2430
ErrorsExpected @param tag for 'evaluation'.2430
Errors'timer' hides a field.2431
Errorsswitch without "default" clause.2433
ErrorsMethod 'isSolverKeptHot' is not designed for extension - needs to be abstract, final or empty.2449
ErrorsMissing a Javadoc comment.2449
ErrorsMethod 'setKeepSolverHot' is not designed for extension - needs to be abstract, final or empty.2453
ErrorsMissing a Javadoc comment.2453
ErrorsParameter keepHot should be final.2453
Errors'keepHot' hides a field.2453
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.2457
ErrorsMissing a Javadoc comment.2457
ErrorsParameter literals should be final.2457

org/sat4j/minisat/core/SolverStats.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsVariable 'starts' must be private and have accessor methods.47
ErrorsMissing a Javadoc comment.49
ErrorsVariable 'decisions' must be private and have accessor methods.49
ErrorsMissing a Javadoc comment.51
ErrorsVariable 'propagations' must be private and have accessor methods.51
ErrorsMissing a Javadoc comment.53
ErrorsVariable 'inspects' must be private and have accessor methods.53
ErrorsMissing a Javadoc comment.55
ErrorsVariable 'conflicts' must be private and have accessor methods.55
ErrorsMissing a Javadoc comment.57
ErrorsVariable 'learnedliterals' must be private and have accessor methods.57
ErrorsMissing a Javadoc comment.59
ErrorsVariable 'learnedbinaryclauses' must be private and have accessor methods.59
ErrorsMissing a Javadoc comment.61
ErrorsVariable 'learnedternaryclauses' must be private and have accessor methods.61
ErrorsMissing a Javadoc comment.63
ErrorsVariable 'learnedclauses' must be private and have accessor methods.63
ErrorsMissing a Javadoc comment.65
ErrorsVariable 'ignoredclauses' must be private and have accessor methods.65
ErrorsMissing a Javadoc comment.67
ErrorsVariable 'rootSimplifications' must be private and have accessor methods.67
ErrorsMissing a Javadoc comment.69
ErrorsVariable 'reducedliterals' must be private and have accessor methods.69
ErrorsMissing a Javadoc comment.71
ErrorsVariable 'changedreason' must be private and have accessor methods.71
ErrorsMissing a Javadoc comment.73
ErrorsVariable 'reduceddb' must be private and have accessor methods.73
ErrorsMissing a Javadoc comment.75
ErrorsVariable 'shortcuts' must be private and have accessor methods.75
ErrorsMissing a Javadoc comment.77
ErrorsVariable 'updateLBD' must be private and have accessor methods.77
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.98
ErrorsMissing a Javadoc comment.98
ErrorsParameter out should be final.98
ErrorsParameter prefix should be final.98
ErrorsMethod 'toMap' is not designed for extension - needs to be abstract, final or empty.123
ErrorsMissing a Javadoc comment.123
ErrorsMust have at least one statement.128
ErrorsMust have at least one statement.130

org/sat4j/minisat/core/Undoable.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsFirst sentence should end with a period.39
ErrorsLine has trailing spaces.41

org/sat4j/minisat/core/UnitPropagationListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsFirst sentence should end with a period.39
ErrorsLine has trailing spaces.41
ErrorsRedundant 'public' modifier.47
ErrorsFirst sentence should end with a period.49
ErrorsLine has trailing spaces.51
ErrorsRedundant 'public' modifier.59
ErrorsLine has trailing spaces.65
ErrorsRedundant 'public' modifier.69
ErrorsExpected @param tag for 'p'.69

org/sat4j/minisat/core/VarActivityListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.44
ErrorsIncomplete HTML tag found: * a literal (v<<1 or v<<1^1)46
ErrorsRedundant 'public' modifier.48

org/sat4j/minisat/core/VoidTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsParameter p should be final.47
ErrorsMissing a Javadoc comment.50
ErrorsParameter p should be final.50
ErrorsParameter reason should be final.50
ErrorsMissing a Javadoc comment.53
ErrorsParameter p should be final.53
ErrorsMissing a Javadoc comment.56
ErrorsParameter p should be final.56
ErrorsMissing a Javadoc comment.59
ErrorsParameter clause should be final.59
ErrorsMissing a Javadoc comment.62
ErrorsParameter clause should be final.62
ErrorsMissing a Javadoc comment.65
ErrorsParameter confl should be final.65
ErrorsParameter dlevel should be final.65
ErrorsParameter trailLevel should be final.65
ErrorsMissing a Javadoc comment.68
ErrorsParameter p should be final.68
ErrorsMissing a Javadoc comment.71
ErrorsParameter model should be final.71
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.80
ErrorsParameter result should be final.80
ErrorsMissing a Javadoc comment.83
ErrorsMissing a Javadoc comment.86
ErrorsParameter backjumpLevel should be final.86
ErrorsMissing a Javadoc comment.89
ErrorsParameter solverService should be final.89
ErrorsMissing a Javadoc comment.92

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

ViolationMessageLine
ErrorsLine has trailing spaces.3

org/sat4j/minisat/learning/AbstractLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.47
ErrorsType Javadoc comment is missing an @param <D> tag.49
ErrorsLine has trailing spaces.53
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.54
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsParameter s should be final.59
ErrorsMissing a Javadoc comment.63
ErrorsParameter s should be final.63
ErrorsMissing a Javadoc comment.67
ErrorsParameter reason should be final.67
ErrorsMissing a Javadoc comment.75

org/sat4j/minisat/learning/ActiveLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsType Javadoc comment is missing an @param <D> tag.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
Errors'0.95' is a magic number.54
ErrorsMissing a Javadoc comment.57
ErrorsParameter d should be final.57
ErrorsMissing a Javadoc comment.61
ErrorsParameter order should be final.61
Errors'order' hides a field.61
ErrorsParameter s should be final.66
ErrorsMissing a Javadoc comment.71
ErrorsParameter d should be final.71
ErrorsMissing a Javadoc comment.75
ErrorsLine has trailing spaces.81
ErrorsParameter clause should be final.87
ErrorsLine is longer than 80 characters.99
Errors'100' is a magic number.99
ErrorsMissing a Javadoc comment.102
ErrorsParameter percent should be final.102
Errors'percent' hides a field.102
ErrorsMissing a Javadoc comment.106

org/sat4j/minisat/learning/ClauseOnlyLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsUnused @param tag for '<L>'.41
ErrorsLine has trailing spaces.50
ErrorsParameter constr should be final.55

org/sat4j/minisat/learning/FixedLengthLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsType Javadoc comment is missing an @param <D> tag.41
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
Errors'3' is a magic number.51
ErrorsMissing a Javadoc comment.54
ErrorsParameter maxlength should be final.54
Errors'maxlength' hides a field.54
ErrorsLine has trailing spaces.60
ErrorsMissing a Javadoc comment.70
ErrorsParameter v should be final.70
ErrorsMissing a Javadoc comment.74
ErrorsLine is longer than 80 characters.80
ErrorsMissing a Javadoc comment.84
ErrorsParameter newbound should be final.84
ErrorsParameter constr should be final.89

org/sat4j/minisat/learning/LimitedLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsType Javadoc comment is missing an @param <D> tag.46
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsVariable 'lits' must be private and have accessor methods.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsMethod 'setSolver' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsParameter s should be final.64
ErrorsMethod 'learns' is not designed for extension - needs to be abstract, final or empty.71
ErrorsMissing a Javadoc comment.71
ErrorsParameter constr should be final.71
ErrorsMissing a Javadoc comment.80
Errors'protected' modifier out of order with the JLS suggestions.80
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsMethod 'setVarActivityListener' is not designed for extension - needs to be abstract, final or empty.87
ErrorsMissing a Javadoc comment.87
ErrorsParameter s should be final.87

org/sat4j/minisat/learning/MiniSATLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.43
ErrorsType Javadoc comment is missing an @param <D> tag.46
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsParameter dsf should be final.52
Errors'dsf' hides a field.52
ErrorsParameter s should be final.57
ErrorsMissing a Javadoc comment.62
ErrorsParameter constr should be final.62
ErrorsLine has trailing spaces.70

org/sat4j/minisat/learning/NoLearningButHeuristics.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsType Javadoc comment is missing an @param <D> tag.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsParameter reason should be final.47

org/sat4j/minisat/learning/NoLearningNoHeuristics.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsType Javadoc comment is missing an @param <D> tag.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsParameter reason should be final.47

org/sat4j/minisat/learning/PercentLengthLearning.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsType Javadoc comment is missing an @param <D> tag.42
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
Errors'10' is a magic number.53
ErrorsMissing a Javadoc comment.56
ErrorsParameter percent should be final.56
ErrorsMissing a Javadoc comment.60
ErrorsParameter percent should be final.60
ErrorsMissing a Javadoc comment.64
Errors'100' is a magic number.71
ErrorsLine is longer than 80 characters.76
ErrorsLine is longer than 80 characters.77
ErrorsMissing a Javadoc comment.80
ErrorsParameter newbound should be final.80
ErrorsParameter constr should be final.85

org/sat4j/minisat/orders/AbstractPhaserecordingSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsLine has trailing spaces.40
ErrorsLine contains a tab character.40
ErrorsLine contains a tab character.41
ErrorsMissing a Javadoc comment.44
ErrorsVariable 'phase' must be private and have accessor methods.44
ErrorsMissing a Javadoc comment.46
ErrorsParameter nlength should be final.46
ErrorsMissing a Javadoc comment.55
ErrorsParameter var should be final.55
ErrorsParameter p should be final.55
ErrorsMissing a Javadoc comment.59
ErrorsParameter var should be final.59

org/sat4j/minisat/orders/NegativeLiteralSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsLine has trailing spaces.40
ErrorsMissing a Javadoc comment.44
ErrorsParameter p should be final.44
ErrorsMissing a Javadoc comment.47
ErrorsParameter nlength should be final.47
ErrorsMissing a Javadoc comment.50
ErrorsParameter var should be final.50
ErrorsParameter p should be final.50
ErrorsMissing a Javadoc comment.53
ErrorsParameter var should be final.53
ErrorsMissing a Javadoc comment.57
ErrorsParameter p should be final.57
ErrorsMissing a Javadoc comment.65
ErrorsParameter q should be final.65

org/sat4j/minisat/orders/PhaseCachingAutoEraseStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsMissing a Javadoc comment.45
ErrorsParameter p should be final.45
ErrorsMissing a Javadoc comment.49
ErrorsParameter p should be final.49
ErrorsMissing a Javadoc comment.58
ErrorsParameter q should be final.58

org/sat4j/minisat/orders/PhaseInLastLearnedClauseSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsParameter p should be final.48
ErrorsMissing a Javadoc comment.57
ErrorsParameter p should be final.57
ErrorsMissing a Javadoc comment.60
ErrorsParameter q should be final.60

org/sat4j/minisat/orders/PositiveLiteralSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsLine has trailing spaces.40
ErrorsMissing a Javadoc comment.44
ErrorsParameter p should be final.44
ErrorsMissing a Javadoc comment.47
ErrorsParameter nlength should be final.47
ErrorsMissing a Javadoc comment.50
ErrorsParameter var should be final.50
ErrorsParameter p should be final.50
ErrorsMissing a Javadoc comment.53
ErrorsParameter var should be final.53
ErrorsMissing a Javadoc comment.57
ErrorsParameter p should be final.57
ErrorsMissing a Javadoc comment.65
ErrorsParameter q should be final.65

org/sat4j/minisat/orders/PureOrder.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.38
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
Errors'20' is a magic number.48
ErrorsMissing a Javadoc comment.51
ErrorsParameter p should be final.51
ErrorsMissing a Javadoc comment.55
ErrorsRedundant 'final' modifier.55
ErrorsParameter p should be final.55
ErrorsMissing a Javadoc comment.60
ErrorsLine has trailing spaces.66
ErrorsLine is longer than 80 characters.92

org/sat4j/minisat/orders/RSATLastLearnedClausesPhaseSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsParameter p should be final.48
ErrorsLine is longer than 80 characters.54
ErrorsMissing a Javadoc comment.57
ErrorsParameter p should be final.57
ErrorsMissing a Javadoc comment.60
ErrorsParameter p should be final.60

org/sat4j/minisat/orders/RSATPhaseSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.48
ErrorsParameter p should be final.48
ErrorsMissing a Javadoc comment.57
ErrorsParameter p should be final.57
ErrorsMissing a Javadoc comment.60
ErrorsParameter p should be final.60

org/sat4j/minisat/orders/RandomLiteralSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.50
ErrorsMissing a Javadoc comment.59
ErrorsParameter p should be final.59
ErrorsMissing a Javadoc comment.62
ErrorsParameter nlength should be final.62
ErrorsMissing a Javadoc comment.65
ErrorsParameter var should be final.65
ErrorsParameter p should be final.65
ErrorsMissing a Javadoc comment.68
ErrorsParameter var should be final.68
ErrorsMissing a Javadoc comment.75
ErrorsParameter p should be final.75
ErrorsMissing a Javadoc comment.78
ErrorsParameter q should be final.78

org/sat4j/minisat/orders/RandomWalkDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsName 'rand' must match pattern '^[A-Z][A-Z0-9]*(_[A-Z0-9]+)*$'.48
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsParameter order should be final.52
Errors'0.01' is a magic number.53
ErrorsMissing a Javadoc comment.56
ErrorsParameter order should be final.56
ErrorsParameter p should be final.56
Errors'p' hides a field.56
ErrorsMethod 'assignLiteral' is not designed for extension - needs to be abstract, final or empty.61
ErrorsMissing a Javadoc comment.61
ErrorsParameter q should be final.61
ErrorsMethod 'getPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.65
ErrorsMissing a Javadoc comment.65
ErrorsMethod 'getProbability' is not designed for extension - needs to be abstract, final or empty.69
ErrorsMissing a Javadoc comment.69
ErrorsMethod 'setProbability' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsParameter p should be final.73
Errors'p' hides a field.73
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsParameter out should be final.81
ErrorsParameter prefix should be final.81
ErrorsMethod 'select' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMissing a Javadoc comment.86
ErrorsMethod 'setLits' is not designed for extension - needs to be abstract, final or empty.103
ErrorsMissing a Javadoc comment.103
ErrorsParameter lits should be final.103
ErrorsMethod 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.109
ErrorsMissing a Javadoc comment.109
ErrorsParameter strategy should be final.109
ErrorsMethod 'setVarDecay' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter d should be final.113
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.117
ErrorsMissing a Javadoc comment.117
ErrorsParameter x should be final.117
ErrorsMethod 'updateVar' is not designed for extension - needs to be abstract, final or empty.121
ErrorsMissing a Javadoc comment.121
ErrorsParameter q should be final.121
ErrorsMethod 'varActivity' is not designed for extension - needs to be abstract, final or empty.125
ErrorsMissing a Javadoc comment.125
ErrorsParameter q should be final.125
ErrorsMethod 'varDecayActivity' is not designed for extension - needs to be abstract, final or empty.129
ErrorsMissing a Javadoc comment.129
ErrorsMethod 'updateVarAtDecisionLevel' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMissing a Javadoc comment.133
ErrorsParameter q should be final.133
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMethod 'getVariableHeuristics' is not designed for extension - needs to be abstract, final or empty.142
ErrorsMissing a Javadoc comment.142

org/sat4j/minisat/orders/SubsetVarOrder.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.38
ErrorsParameter varsToTest should be final.38
Errors'varsToTest' hides a field.38
ErrorsLine has trailing spaces.44
ErrorsLine contains a tab character.44
ErrorsLine contains a tab character.45
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.48
ErrorsLine is longer than 80 characters.60

org/sat4j/minisat/orders/TabuListDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.39
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsParameter order should be final.55
Errors'10' is a magic number.56
ErrorsMissing a Javadoc comment.59
ErrorsParameter order should be final.59
ErrorsParameter tabuSize should be final.59
Errors'tabuSize' hides a field.59
ErrorsMethod 'assignLiteral' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsParameter q should be final.64
ErrorsMethod 'getPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.68
ErrorsMissing a Javadoc comment.68
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.72
ErrorsMissing a Javadoc comment.72
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77
ErrorsParameter out should be final.77
ErrorsParameter prefix should be final.77
ErrorsMethod 'select' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsMethod 'setLits' is not designed for extension - needs to be abstract, final or empty.98
ErrorsMissing a Javadoc comment.98
ErrorsParameter lits should be final.98
ErrorsMethod 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.103
ErrorsMissing a Javadoc comment.103
ErrorsParameter strategy should be final.103
ErrorsMethod 'setVarDecay' is not designed for extension - needs to be abstract, final or empty.107
ErrorsMissing a Javadoc comment.107
ErrorsParameter d should be final.107
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.111
ErrorsMissing a Javadoc comment.111
ErrorsParameter x should be final.111
ErrorsMethod 'updateVar' is not designed for extension - needs to be abstract, final or empty.124
ErrorsMissing a Javadoc comment.124
ErrorsParameter q should be final.124
ErrorsMethod 'varActivity' is not designed for extension - needs to be abstract, final or empty.128
ErrorsMissing a Javadoc comment.128
ErrorsParameter q should be final.128
ErrorsMethod 'varDecayActivity' is not designed for extension - needs to be abstract, final or empty.132
ErrorsMissing a Javadoc comment.132
ErrorsMethod 'updateVarAtDecisionLevel' is not designed for extension - needs to be abstract, final or empty.136
ErrorsMissing a Javadoc comment.136
ErrorsParameter q should be final.136
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.140
ErrorsMethod 'getVariableHeuristics' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146

org/sat4j/minisat/orders/UserFixedPhaseSelectionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.43
ErrorsMissing a Javadoc comment.47
ErrorsParameter p should be final.47
ErrorsMissing a Javadoc comment.50
ErrorsParameter p should be final.50
ErrorsMissing a Javadoc comment.58
ErrorsParameter q should be final.58

org/sat4j/minisat/orders/ValuedLit.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsMissing a Javadoc comment.37
ErrorsVariable 'id' must be private and have accessor methods.37
ErrorsMissing a Javadoc comment.39
ErrorsVariable 'count' must be private and have accessor methods.39
ErrorsMissing a Javadoc comment.41
ErrorsParameter id should be final.41
Errors'id' hides a field.41
ErrorsParameter count should be final.41
Errors'count' hides a field.41
ErrorsMissing a Javadoc comment.46
ErrorsParameter t should be final.46
ErrorsParameter o should be final.57
ErrorsLine is longer than 80 characters.74

org/sat4j/minisat/orders/VarOrderHeap.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsVariable 'activity' must be private and have accessor methods.61
ErrorsMissing a Javadoc comment.63
ErrorsMissing a Javadoc comment.70
ErrorsVariable 'lits' must be private and have accessor methods.70
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsVariable 'heap' must be private and have accessor methods.74
ErrorsMissing a Javadoc comment.76
ErrorsVariable 'phaseStrategy' must be private and have accessor methods.76
ErrorsMissing a Javadoc comment.78
ErrorsMissing a Javadoc comment.82
ErrorsParameter strategy should be final.82
ErrorsLine has trailing spaces.88
ErrorsMethod 'setPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.91
ErrorsParameter strategy should be final.91
ErrorsExpected @param tag for 'strategy'.91
ErrorsMethod 'getPhaseSelectionStrategy' is not designed for extension - needs to be abstract, final or empty.95
ErrorsMissing a Javadoc comment.95
ErrorsMethod 'setLits' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMissing a Javadoc comment.99
ErrorsParameter lits should be final.99
Errors'lits' hides a field.99
ErrorsLine has trailing spaces.106
ErrorsMethod 'select' is not designed for extension - needs to be abstract, final or empty.109
Errors'0.0001' is a magic number.114
ErrorsLine has trailing spaces.125
ErrorsMethod 'setVarDecay' is not designed for extension - needs to be abstract, final or empty.129
ErrorsParameter d should be final.129
ErrorsLine has trailing spaces.135
ErrorsMethod 'undo' is not designed for extension - needs to be abstract, final or empty.138
ErrorsParameter x should be final.138
ErrorsExpected @param tag for 'x'.138
ErrorsLine has trailing spaces.146
ErrorsMethod 'updateVar' is not designed for extension - needs to be abstract, final or empty.150
ErrorsParameter p should be final.150
ErrorsMethod 'updateActivity' is not designed for extension - needs to be abstract, final or empty.159
ErrorsMissing a Javadoc comment.159
ErrorsInner assignments should be avoided.160
ErrorsLine has trailing spaces.166
ErrorsMethod 'varDecayActivity' is not designed for extension - needs to be abstract, final or empty.168
ErrorsLine has trailing spaces.173
ErrorsMethod 'varActivity' is not designed for extension - needs to be abstract, final or empty.182
ErrorsMissing a Javadoc comment.182
ErrorsParameter p should be final.182
ErrorsLine has trailing spaces.187
ErrorsExpected an @return tag.189
ErrorsMethod 'numberOfInterestingVariables' is not designed for extension - needs to be abstract, final or empty.189
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.203
ErrorsLine is longer than 80 characters.214
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.222
ErrorsLine is longer than 80 characters.224
ErrorsMethod 'getVocabulary' is not designed for extension - needs to be abstract, final or empty.227
ErrorsMissing a Javadoc comment.227
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.231
ErrorsMissing a Javadoc comment.231
ErrorsParameter out should be final.231
ErrorsParameter prefix should be final.231
ErrorsLine is longer than 80 characters.232
ErrorsMethod 'assignLiteral' is not designed for extension - needs to be abstract, final or empty.235
ErrorsMissing a Javadoc comment.235
ErrorsParameter p should be final.235
ErrorsMethod 'updateVarAtDecisionLevel' is not designed for extension - needs to be abstract, final or empty.239
ErrorsMissing a Javadoc comment.239
ErrorsParameter q should be final.239
ErrorsMethod 'getVariableHeuristics' is not designed for extension - needs to be abstract, final or empty.244
ErrorsMissing a Javadoc comment.244

org/sat4j/minisat/package-info.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.4
ErrorsLine has trailing spaces.6
ErrorsLine is longer than 80 characters.7
ErrorsLine is longer than 80 characters.8
ErrorsLine has trailing spaces.9

org/sat4j/minisat/restarts/ArminRestarts.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsParameter theParams should be final.55
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.82
ErrorsMissing a Javadoc comment.86
ErrorsMissing a Javadoc comment.90
ErrorsMissing a Javadoc comment.94
ErrorsMissing a Javadoc comment.98
ErrorsMissing a Javadoc comment.102
ErrorsParameter learned should be final.102
ErrorsParameter trailLevel should be final.102

org/sat4j/minisat/restarts/LubyRestarts.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.36
ErrorsMissing a Javadoc comment.41
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.69
ErrorsMissing a Javadoc comment.83
ErrorsMissing a Javadoc comment.85
ErrorsMissing a Javadoc comment.86
ErrorsMissing a Javadoc comment.88
ErrorsParameter factor should be final.97
Errors'factor' hides a field.97
ErrorsMissing a Javadoc comment.101
ErrorsRedundant 'final' modifier.101
ErrorsParameter factor should be final.101
Errors'factor' hides a field.101
ErrorsMissing a Javadoc comment.105
ErrorsMissing a Javadoc comment.109
ErrorsParameter params should be final.109
ErrorsMissing a Javadoc comment.115
ErrorsMissing a Javadoc comment.119
ErrorsMissing a Javadoc comment.130
ErrorsMissing a Javadoc comment.134
ErrorsMissing a Javadoc comment.138
ErrorsMissing a Javadoc comment.142
ErrorsMissing a Javadoc comment.146
ErrorsMissing a Javadoc comment.150
ErrorsParameter learned should be final.150
ErrorsParameter trailLevel should be final.150

org/sat4j/minisat/restarts/MiniSATRestarts.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.45
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsParameter theParams should be final.55
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.77
ErrorsMissing a Javadoc comment.81
ErrorsMissing a Javadoc comment.85
ErrorsMissing a Javadoc comment.89
ErrorsMissing a Javadoc comment.93
ErrorsParameter learned should be final.93
ErrorsParameter trailLevel should be final.93

org/sat4j/minisat/restarts/NoRestarts.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.40
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsParameter params should be final.46
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.79
ErrorsMissing a Javadoc comment.83
ErrorsParameter learned should be final.83
ErrorsParameter trailLevel should be final.83

org/sat4j/opt/AbstractSelectorVariablesDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.53
ErrorsLine contains a tab character.53
ErrorsLine contains a tab character.54
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsVariable 'prevfullmodel' must be private and have accessor methods.59
ErrorsVariable 'prevmodel' must be private and have accessor methods.64
ErrorsVariable 'prevboolmodel' must be private and have accessor methods.68
ErrorsMissing a Javadoc comment.70
ErrorsVariable 'isSolutionOptimal' must be private and have accessor methods.70
ErrorsMissing a Javadoc comment.72
ErrorsParameter solver should be final.72
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.76
ErrorsParameter nb should be final.77
ErrorsMethod 'getExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.85
ErrorsExpected an @return tag.92
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.92
ErrorsParameter assumps should be final.92
ErrorsExpected @param tag for 'assumps'.92
ErrorsExpected @throws tag for 'TimeoutException'.93
ErrorsMissing a Javadoc comment.110
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.112
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.117
ErrorsParameter var should be final.118
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.122
ErrorsMissing a Javadoc comment.122

org/sat4j/opt/MaxSatDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsParameter solver should be final.55
ErrorsMissing a Javadoc comment.59
ErrorsParameter solver should be final.59
ErrorsParameter equivalence should be final.59
Errors'equivalence' hides a field.59
ErrorsParameter nb should be final.65
ErrorsParameter literals should be final.71
ErrorsMissing a Javadoc comment.97
ErrorsMissing a Javadoc comment.101
ErrorsMissing a Javadoc comment.105
ErrorsMissing a Javadoc comment.110
ErrorsMissing a Javadoc comment.112
ErrorsMissing a Javadoc comment.114
ErrorsExpected @throws tag for 'ContradictionException'.119
ErrorsParameter assumps should be final.132
ErrorsMissing a Javadoc comment.145
ErrorsExpected an @return tag.152
ErrorsParameter forcedValue should be final.169
ErrorsExpected @param tag for 'forcedValue'.169
ErrorsExpected @throws tag for 'ContradictionException'.170

org/sat4j/opt/MinOneDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.52
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsParameter solver should be final.60
ErrorsMissing a Javadoc comment.64
ErrorsExpected an @return tag.71
ErrorsParameter assumps should be final.71
ErrorsExpected @param tag for 'assumps'.71
ErrorsExpected @throws tag for 'TimeoutException'.72
ErrorsMissing a Javadoc comment.84
ErrorsMissing a Javadoc comment.88
ErrorsMissing a Javadoc comment.92
ErrorsMissing a Javadoc comment.94
ErrorsMissing a Javadoc comment.99
ErrorsMissing a Javadoc comment.108
ErrorsMissing a Javadoc comment.110
ErrorsExpected @throws tag for 'ContradictionException'.115
ErrorsExpected an @return tag.143
ErrorsMissing a Javadoc comment.147
ErrorsParameter forcedValue should be final.154
ErrorsExpected @param tag for 'forcedValue'.154
ErrorsExpected @throws tag for 'ContradictionException'.155
ErrorsMissing a Javadoc comment.165

org/sat4j/opt/package-info.java

ViolationMessageLine
ErrorsLine has trailing spaces.3
ErrorsLine has trailing spaces.4
ErrorsLine is longer than 80 characters.4
ErrorsLine has trailing spaces.6
ErrorsLine is longer than 80 characters.7
ErrorsLine has trailing spaces.8

org/sat4j/reader/AAGReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsMissing a Javadoc comment.50
Errors'static' modifier out of order with the JLS suggestions.50
ErrorsMissing a Javadoc comment.52
Errors'static' modifier out of order with the JLS suggestions.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsParameter s should be final.60
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.64
ErrorsParameter model should be final.65
ErrorsAvoid inline conditionals.68
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.73
ErrorsParameter model should be final.74
ErrorsParameter out should be final.74
ErrorsAvoid inline conditionals.76
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.80
ErrorsParameter in should be final.81
Errors'3' is a magic number.98
ErrorsMissing a Javadoc comment.108
ErrorsParameter nbands should be final.108
ErrorsParameter output0 should be final.108
ErrorsParameter scanner should be final.108
ErrorsMissing a Javadoc comment.121
ErrorsParameter v should be final.121
ErrorsMissing a Javadoc comment.135
ErrorsParameter nboutputs should be final.135
ErrorsParameter scanner should be final.135
ErrorsMissing a Javadoc comment.144
ErrorsParameter numberOfInputs should be final.144
ErrorsParameter scanner should be final.144

org/sat4j/reader/AIGReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsMissing a Javadoc comment.49
Errors'static' modifier out of order with the JLS suggestions.49
ErrorsMissing a Javadoc comment.51
Errors'static' modifier out of order with the JLS suggestions.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsParameter s should be final.59
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.63
ErrorsParameter model should be final.64
ErrorsAvoid inline conditionals.67
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.72
ErrorsParameter model should be final.73
ErrorsParameter out should be final.73
ErrorsAvoid inline conditionals.75
ErrorsMethod 'parseInt' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter in should be final.79
ErrorsParameter expected should be final.79
ErrorsInner assignments should be avoided.89
Errors'10' is a magic number.90
ErrorsLine has trailing spaces.102
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.105
ErrorsParameter in should be final.106
Errors'3' is a magic number.126
ErrorsLine is longer than 80 characters.135
ErrorsMissing a Javadoc comment.135
ErrorsParameter in should be final.135
ErrorsMissing a Javadoc comment.143
ErrorsParameter in should be final.143
ErrorsInner assignments should be avoided.147
Errors'0x80' is a magic number.147
Errors'0x7f' is a magic number.149
Errors'7' is a magic number.149
Errors'7' is a magic number.151
ErrorsMissing a Javadoc comment.154
ErrorsParameter nbands should be final.154
ErrorsParameter output0 should be final.154
ErrorsParameter in should be final.154
ErrorsParameter startid should be final.154
ErrorsMissing a Javadoc comment.169
ErrorsParameter v should be final.169

org/sat4j/reader/DimacsReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.56
ErrorsLine has trailing spaces.59
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsVariable 'expectedNbOfConstr' must be private and have accessor methods.68
ErrorsMissing a Javadoc comment.70
ErrorsVariable 'solver' must be private and have accessor methods.70
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsVariable 'formatString' must be private and have accessor methods.74
ErrorsVariable 'scanner' must be private and have accessor methods.79
ErrorsMissing a Javadoc comment.81
ErrorsParameter solver should be final.81
Errors'solver' hides a field.81
ErrorsMissing a Javadoc comment.85
ErrorsParameter solver should be final.85
Errors'solver' hides a field.85
ErrorsParameter format should be final.85
ErrorsMethod 'disableNumberOfConstraintCheck' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMissing a Javadoc comment.90
ErrorsLine has trailing spaces.96
ErrorsUnused @param tag for 'in'.97
ErrorsMethod 'skipComments' is not designed for extension - needs to be abstract, final or empty.103
ErrorsUnused @param tag for 'in'.108
ErrorsMethod 'readProblemLine' is not designed for extension - needs to be abstract, final or empty.116
Errors'4' is a magic number.125
Errors'3' is a magic number.137
ErrorsVariable 'literals' must be private and have accessor methods.145
ErrorsUnused @param tag for 'in'.148
ErrorsMethod 'readConstrs' is not designed for extension - needs to be abstract, final or empty.158
ErrorsLine is longer than 80 characters.185
ErrorsLine has trailing spaces.203
ErrorsMethod 'flushConstraint' is not designed for extension - needs to be abstract, final or empty.207
ErrorsExpected @throws tag for 'ContradictionException'.207
ErrorsExpected an @return tag.220
ErrorsMethod 'handleLine' is not designed for extension - needs to be abstract, final or empty.220
ErrorsExpected @throws tag for 'ContradictionException'.220
ErrorsExpected @throws tag for 'IOException'.220
ErrorsExpected @throws tag for 'ParseFormatException'.221
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.239
ErrorsParameter in should be final.240
ErrorsUnused @param tag for 'in'.247
ErrorsExpected an @return tag.254
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.270
ErrorsParameter model should be final.271
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.281
ErrorsParameter model should be final.282
ErrorsParameter out should be final.282
ErrorsMethod 'getSolver' is not designed for extension - needs to be abstract, final or empty.290
ErrorsMissing a Javadoc comment.290

org/sat4j/reader/EfficientScanner.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.54
Errors'static' modifier out of order with the JLS suggestions.54
ErrorsMissing a Javadoc comment.56
Errors'final' modifier out of order with the JLS suggestions.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.65
ErrorsParameter commentChar should be final.65
Errors'commentChar' hides a field.65
ErrorsMissing a Javadoc comment.70
ErrorsMethod 'close' is not designed for extension - needs to be abstract, final or empty.74
ErrorsMissing a Javadoc comment.74
ErrorsMethod 'skipComments' is not designed for extension - needs to be abstract, final or empty.79
ErrorsExpected @throws tag for 'IOException'.79
ErrorsLine has trailing spaces.95
ErrorsExpected an @return tag.100
ErrorsMethod 'nextInt' is not designed for extension - needs to be abstract, final or empty.100
ErrorsExpected @throws tag for 'IOException'.100
ErrorsExpected @throws tag for 'ParseFormatException'.100
Errors'10' is a magic number.117
ErrorsAvoid inline conditionals.123
ErrorsLine is longer than 80 characters.126
ErrorsMethod 'nextBigInteger' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsExpected an @return tag.151
ErrorsMethod 'next' is not designed for extension - needs to be abstract, final or empty.151
ErrorsExpected @throws tag for 'IOException'.151
ErrorsMethod 'skipSpaces' is not designed for extension - needs to be abstract, final or empty.161
ErrorsMissing a Javadoc comment.161
ErrorsMethod 'nextLine' is not designed for extension - needs to be abstract, final or empty.171
ErrorsMissing a Javadoc comment.171
ErrorsMethod 'skipRestOfLine' is not designed for extension - needs to be abstract, final or empty.181
ErrorsMissing a Javadoc comment.181
ErrorsMethod 'eof' is not designed for extension - needs to be abstract, final or empty.188
ErrorsMissing a Javadoc comment.188
ErrorsMethod 'currentChar' is not designed for extension - needs to be abstract, final or empty.192
ErrorsMissing a Javadoc comment.192
Errors'10' is a magic number.193

org/sat4j/reader/GroupedCNFReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsLine has trailing spaces.41
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.51
ErrorsParameter solver should be final.51
ErrorsUnused @param tag for 'in'.57
ErrorsMethod 'readProblemLine' is not designed for extension - needs to be abstract, final or empty.65
Errors'5' is a magic number.76
Errors'3' is a magic number.89
Errors'4' is a magic number.91
ErrorsExpected an @return tag.98
ErrorsMethod 'handleLine' is not designed for extension - needs to be abstract, final or empty.98
ErrorsExpected @throws tag for 'ContradictionException'.99
ErrorsExpected @throws tag for 'IOException'.99
ErrorsExpected @throws tag for 'ParseFormatException'.100
ErrorsLine has trailing spaces.131
ErrorsMethod 'flushConstraint' is not designed for extension - needs to be abstract, final or empty.135
ErrorsExpected @throws tag for 'ContradictionException'.136

org/sat4j/reader/InstanceReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.45
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsParameter solver should be final.62
Errors'solver' hides a field.62
ErrorsMissing a Javadoc comment.67
Errors';' is not followed by whitespace.69
ErrorsLine is longer than 80 characters.70
ErrorsMissing a Javadoc comment.75
Errors';' is not followed by whitespace.77
ErrorsLine is longer than 80 characters.78
ErrorsMissing a Javadoc comment.83
ErrorsMissing a Javadoc comment.90
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.97
ErrorsParameter filename should be final.98
ErrorsRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.99
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.144
ErrorsParameter model should be final.146
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.150
ErrorsParameter model should be final.151
ErrorsParameter out should be final.151
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.155
ErrorsParameter in should be final.156
ErrorsLine is longer than 80 characters.159

org/sat4j/reader/LecteurDimacs.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.49
ErrorsLine has trailing spaces.51
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.60
Errors'static' modifier out of order with the JLS suggestions.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.69
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.76
ErrorsParameter s should be final.76
Errors's' hides a field.76
ErrorsFirst sentence should end with a period.105
ErrorsExpected an @return tag.106
ErrorsExpected @throws tag for 'IOException'.106
ErrorsFirst sentence should end with a period.124
ErrorsExpected an @return tag.125
ErrorsExpected @throws tag for 'IOException'.125
ErrorsLine is longer than 80 characters.129
Errors'10' is a magic number.134
ErrorsLine is longer than 80 characters.138
Errors'10' is a magic number.143
ErrorsLine has trailing spaces.154
ErrorsParameter car should be final.157
ErrorsExpected @param tag for 'car'.157
ErrorsExpected @throws tag for 'IOException'.157
ErrorsExpected @throws tag for 'ContradictionException'.158
ErrorsExpected @throws tag for 'ParseFormatException'.158
Errors'10' is a magic number.178
ErrorsAvoid inline conditionals.187
ErrorsFirst sentence should end with a period.203
ErrorsExpected an @return tag.204
ErrorsExpected @throws tag for 'IOException'.204
ErrorsExpected an @return tag.215
ErrorsExpected @throws tag for 'IOException'.215
ErrorsExpected an @return tag.224
ErrorsExpected @throws tag for 'IOException'.224
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.232
ErrorsParameter model should be final.233
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.243
ErrorsParameter model should be final.244
ErrorsParameter out should be final.244

org/sat4j/reader/ParseFormatException.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.41
ErrorsLine has trailing spaces.52
ErrorsParameter message should be final.56
ErrorsLine has trailing spaces.62
ErrorsParameter message should be final.68
ErrorsParameter cause should be final.68
ErrorsLine has trailing spaces.74
ErrorsParameter cause should be final.78

org/sat4j/reader/Reader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.53
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.68
ErrorsRedundant throws: 'FileNotFoundException' is subclass of 'IOException'.69
ErrorsLine has trailing spaces.104
ErrorsLine has trailing spaces.108
ErrorsLine has trailing spaces.124
ErrorsLine has trailing spaces.126
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.138
ErrorsParameter in should be final.139
ErrorsLine has trailing spaces.147
ErrorsLine has trailing spaces.157
ErrorsMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.165
ErrorsMissing a Javadoc comment.165
ErrorsMethod 'setVerbosity' is not designed for extension - needs to be abstract, final or empty.169
ErrorsMissing a Javadoc comment.169
ErrorsParameter b should be final.169
ErrorsMissing a Javadoc comment.173

org/sat4j/specs/ContradictionException.java

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

org/sat4j/specs/IConstr.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.34
ErrorsLine has trailing spaces.36
ErrorsFirst sentence should end with a period.50
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.61
ErrorsLine has trailing spaces.71

org/sat4j/specs/IOptimizationProblem.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.38
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.43
ErrorsLine is longer than 80 characters.57
ErrorsLine is longer than 80 characters.60
ErrorsLine has trailing spaces.73
ErrorsLine has trailing spaces.75
ErrorsLine has trailing spaces.81
ErrorsLine has trailing spaces.92
ErrorsLine has trailing spaces.106
ErrorsLine has trailing spaces.115
ErrorsLine has trailing spaces.119
ErrorsLine has trailing spaces.128
ErrorsLine has trailing spaces.131
ErrorsLine has trailing spaces.141
ErrorsLine has trailing spaces.149
ErrorsLine has trailing spaces.151
ErrorsExpected @param tag for 'forcedValue'.155
ErrorsExpected @throws tag for 'ContradictionException'.156
ErrorsLine has trailing spaces.160
ErrorsLine has trailing spaces.163
ErrorsLine has trailing spaces.173
ErrorsLine has trailing spaces.183
ErrorsExpected an @return tag.186

org/sat4j/specs/IProblem.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.55
ErrorsLine has trailing spaces.67
ErrorsLine has trailing spaces.68
ErrorsLine has trailing spaces.78
ErrorsLine has trailing spaces.88
ErrorsExpected @throws tag for 'TimeoutException'.91
ErrorsLine has trailing spaces.96
ErrorsExpected @throws tag for 'TimeoutException'.108
ErrorsLine has trailing spaces.113
ErrorsExpected @throws tag for 'TimeoutException'.120
ErrorsLine has trailing spaces.125
ErrorsExpected @throws tag for 'TimeoutException'.132
ErrorsLine has trailing spaces.141
ErrorsLine has trailing spaces.143
ErrorsLine has trailing spaces.159
ErrorsLine has trailing spaces.161
ErrorsExpected @param tag for 'assumps'.168
ErrorsLine has trailing spaces.173
ErrorsLine has trailing spaces.183
ErrorsLine has trailing spaces.195
ErrorsLine has trailing spaces.198
ErrorsLine has trailing spaces.206

org/sat4j/specs/ISolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsUnused import - org.sat4j.tools.ModelIterator.37
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.67
ErrorsLine has trailing spaces.70
ErrorsLine has trailing spaces.85
ErrorsLine has trailing spaces.89
ErrorsLine has trailing spaces.99
ErrorsLine has trailing spaces.102
ErrorsLine has trailing spaces.114
ErrorsLine has trailing spaces.129
ErrorsExpected an @return tag.135
ErrorsExpected @param tag for 'literals'.135
ErrorsExpected @throws tag for 'ContradictionException'.135
ErrorsLine has trailing spaces.140
ErrorsLine has trailing spaces.142
ErrorsLine has trailing spaces.153
ErrorsLine has trailing spaces.155
ErrorsLine has trailing spaces.158
ErrorsLine has trailing spaces.162
ErrorsLine has trailing spaces.175
ErrorsFirst sentence should end with a period.187
ErrorsLine has trailing spaces.190
ErrorsFirst sentence should end with a period.207
ErrorsLine has trailing spaces.210
ErrorsLine has trailing spaces.229
ErrorsLine has trailing spaces.246
ErrorsLine has trailing spaces.255
ErrorsLine has trailing spaces.258
ErrorsLine has trailing spaces.267
ErrorsLine has trailing spaces.275
ErrorsLine has trailing spaces.282
ErrorsLine has trailing spaces.301
ErrorsExpected @param tag for 'out'.308
ErrorsFirst sentence should end with a period.310
ErrorsLine has trailing spaces.312
ErrorsExpected @param tag for 'out'.318
ErrorsLine has trailing spaces.323
ErrorsLine has trailing spaces.330
ErrorsLine has trailing spaces.345
ErrorsExpected @param tag for 'status'.349
ErrorsLine has trailing spaces.354
ErrorsExpected an @return tag.358
ErrorsLine has trailing spaces.363
ErrorsExpected @param tag for '<S>'.368
ErrorsLine has trailing spaces.372
ErrorsExpected @param tag for '<S>'.376
ErrorsLine has trailing spaces.380
ErrorsFirst sentence should end with a period.386
ErrorsLine has trailing spaces.388
ErrorsLine has trailing spaces.398
ErrorsLine has trailing spaces.406
ErrorsLine has trailing spaces.413
ErrorsLine has trailing spaces.418
ErrorsLine has trailing spaces.433
ErrorsLine has trailing spaces.436
ErrorsLine has trailing spaces.440
ErrorsLine has trailing spaces.451
ErrorsLine has trailing spaces.455
ErrorsLine has trailing spaces.458
ErrorsLine has trailing spaces.469
ErrorsLine has trailing spaces.480

org/sat4j/specs/ISolverService.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.68
ErrorsLine has trailing spaces.76
ErrorsFirst sentence should end with a period.83
ErrorsExpected an @return tag.86
ErrorsLine has trailing spaces.90
ErrorsExpected an @return tag.94
ErrorsLine has trailing spaces.98
ErrorsLine has trailing spaces.108
ErrorsLine has trailing spaces.119
ErrorsLine has trailing spaces.126

org/sat4j/specs/IVec.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.38
ErrorsType Javadoc comment is missing an @param <T> tag.41
ErrorsLine has trailing spaces.52
ErrorsFirst sentence should end with a period.58
ErrorsLine has trailing spaces.60
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.76
ErrorsLine has trailing spaces.80
ErrorsExpected @param tag for 'elem'.83
ErrorsLine has trailing spaces.89
ErrorsMissing a Javadoc comment.95
ErrorsMissing a Javadoc comment.97
ErrorsLine has trailing spaces.102
ErrorsMissing a Javadoc comment.107
ErrorsMissing a Javadoc comment.109
ErrorsLine has trailing spaces.113
ErrorsLine has trailing spaces.122
ErrorsLine has trailing spaces.133
ErrorsExpected @param tag for 'copy'.136
ErrorsMissing a Javadoc comment.138
ErrorsLine has trailing spaces.144
ErrorsLine has trailing spaces.152
ErrorsLine has trailing spaces.161
ErrorsMissing a Javadoc comment.172
ErrorsMissing a Javadoc comment.174
ErrorsFirst sentence should end with a period.176
ErrorsLine has trailing spaces.178
ErrorsMissing a Javadoc comment.184
ErrorsLine has trailing spaces.187

org/sat4j/specs/IVecInt.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.36
ErrorsMissing a Javadoc comment.41
ErrorsRedundant 'public' modifier.41
ErrorsFirst sentence should end with a period.43
ErrorsLine has trailing spaces.45
ErrorsRedundant 'public' modifier.48
ErrorsExpected @param tag for 'nofelems'.48
ErrorsMissing a Javadoc comment.50
ErrorsRedundant 'public' modifier.50
ErrorsExpected an @return tag.56
ErrorsRedundant 'public' modifier.56
ErrorsMissing a Javadoc comment.58
ErrorsRedundant 'public' modifier.58
ErrorsMissing a Javadoc comment.60
ErrorsRedundant 'public' modifier.60
ErrorsMissing a Javadoc comment.62
ErrorsRedundant 'public' modifier.62
ErrorsLine has trailing spaces.67
ErrorsExpected @param tag for 'elem'.70
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsRedundant 'public' modifier.74
ErrorsMissing a Javadoc comment.76
ErrorsRedundant 'public' modifier.76
ErrorsMissing a Javadoc comment.78
ErrorsRedundant 'public' modifier.78
ErrorsMissing a Javadoc comment.80
ErrorsRedundant 'public' modifier.80
ErrorsMissing a Javadoc comment.82
ErrorsRedundant 'public' modifier.82
ErrorsExpected an @return tag.89
ErrorsRedundant 'public' modifier.89
ErrorsExpected @param tag for 'e'.89
ErrorsLine has trailing spaces.93
ErrorsRedundant 'public' modifier.98
ErrorsLine has trailing spaces.103
ErrorsRedundant 'public' modifier.110
ErrorsLine has trailing spaces.115
ErrorsRedundant 'public' modifier.118
ErrorsExpected @param tag for 'copy'.118
ErrorsRedundant 'public' modifier.123
ErrorsExpected @param tag for 'is'.123
ErrorsMissing a Javadoc comment.128
ErrorsRedundant 'public' modifier.128
ErrorsMissing a Javadoc comment.130
ErrorsRedundant 'public' modifier.130
ErrorsMissing a Javadoc comment.132
ErrorsRedundant 'public' modifier.132
ErrorsMissing a Javadoc comment.134
ErrorsRedundant 'public' modifier.134
ErrorsLine has trailing spaces.139
ErrorsLine has trailing spaces.151
ErrorsRedundant 'public' modifier.155
ErrorsLine has trailing spaces.159
ErrorsRedundant 'public' modifier.163
ErrorsLine has trailing spaces.168
ErrorsRedundant 'public' modifier.174
ErrorsMissing a Javadoc comment.176
ErrorsRedundant 'public' modifier.176
ErrorsMissing a Javadoc comment.178
ErrorsRedundant 'public' modifier.178
ErrorsFirst sentence should end with a period.180
ErrorsLine has trailing spaces.182
ErrorsMissing a Javadoc comment.188
ErrorsLine has trailing spaces.194
ErrorsLine has trailing spaces.202
ErrorsRedundant 'public' modifier.209

org/sat4j/specs/IteratorInt.java

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

org/sat4j/specs/Lbool.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsLine has trailing spaces.37
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.54
ErrorsParameter symbol should be final.54
Errors'symbol' hides a field.54
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.69

org/sat4j/specs/SearchListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsLine has trailing spaces.39
ErrorsType Javadoc comment is missing an @param <S> tag.43
ErrorsLine has trailing spaces.47
ErrorsFirst sentence should end with a period.54
ErrorsLine has trailing spaces.56
ErrorsExpected @param tag for 'p'.59
ErrorsFirst sentence should end with a period.61
ErrorsLine has trailing spaces.63
ErrorsExpected @param tag for 'p'.68
ErrorsFirst sentence should end with a period.70
ErrorsLine has trailing spaces.72
ErrorsExpected @param tag for 'p'.75
ErrorsFirst sentence should end with a period.77
ErrorsExpected @param tag for 'p'.80
ErrorsFirst sentence should end with a period.82
ErrorsLine has trailing spaces.84
ErrorsExpected @param tag for 'c'.87
ErrorsFirst sentence should end with a period.89
ErrorsExpected @param tag for 'clause'.92
ErrorsLine has trailing spaces.96
ErrorsLine has trailing spaces.103
ErrorsLine has trailing spaces.109
ErrorsLine has trailing spaces.117
ErrorsLine has trailing spaces.120
ErrorsFirst sentence should end with a period.124
ErrorsLine has trailing spaces.131
ErrorsLine has trailing spaces.137
ErrorsLine has trailing spaces.150
ErrorsExpected @param tag for 'backjumpLevel'.153

org/sat4j/specs/TimeoutException.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.37
ErrorsMissing a Javadoc comment.42
ErrorsLine has trailing spaces.53
ErrorsParameter message should be final.57
ErrorsLine has trailing spaces.63
ErrorsParameter message should be final.69
ErrorsParameter cause should be final.69
ErrorsLine has trailing spaces.75
ErrorsParameter cause should be final.79

org/sat4j/specs/package-info.java

ViolationMessageLine
ErrorsLine has trailing spaces.8
ErrorsLine has trailing spaces.26

org/sat4j/tools/AbstractOutputSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsVariable 'nbvars' must be private and have accessor methods.47
ErrorsMissing a Javadoc comment.49
ErrorsVariable 'nbclauses' must be private and have accessor methods.49
ErrorsMissing a Javadoc comment.51
ErrorsVariable 'fixedNbClauses' must be private and have accessor methods.51
ErrorsMissing a Javadoc comment.53
ErrorsVariable 'firstConstr' must be private and have accessor methods.53
ErrorsLine has trailing spaces.56
ErrorsLine contains a tab character.56
ErrorsLine contains a tab character.57
ErrorsMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMissing a Javadoc comment.60
ErrorsParameter c should be final.60
ErrorsMethod 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.64
ErrorsMissing a Javadoc comment.64
ErrorsParameter clauses should be final.64
ErrorsMissing a Javadoc comment.69
ErrorsParameter t should be final.69
ErrorsMissing a Javadoc comment.74
ErrorsParameter t should be final.74
ErrorsMethod 'getTimeout' is not designed for extension - needs to be abstract, final or empty.78
ErrorsMissing a Javadoc comment.78
ErrorsExpected an @return tag.85
ErrorsMethod 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.89
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.94
ErrorsMissing a Javadoc comment.94
ErrorsParameter assumps should be final.94
ErrorsParameter global should be final.94
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMissing a Javadoc comment.99
ErrorsParameter global should be final.99
ErrorsMissing a Javadoc comment.103
ErrorsParameter output should be final.103
ErrorsParameter prefix should be final.103
ErrorsMissing a Javadoc comment.106
ErrorsParameter count should be final.106
ErrorsMethod 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.110
ErrorsMissing a Javadoc comment.110
ErrorsMissing a Javadoc comment.114
ErrorsParameter status should be final.114
ErrorsMissing a Javadoc comment.118
ErrorsParameter output should be final.118
ErrorsParameter prefix should be final.118
ErrorsMissing a Javadoc comment.122
ErrorsParameter output should be final.122
ErrorsParameter prefix should be final.122
ErrorsMethod 'getStat' is not designed for extension - needs to be abstract, final or empty.127
ErrorsMissing a Javadoc comment.127
ErrorsMissing a Javadoc comment.132
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMissing a Javadoc comment.137
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsParameter var should be final.141
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMissing a Javadoc comment.145
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.149
ErrorsMissing a Javadoc comment.149
ErrorsParameter assumps should be final.149
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.153
ErrorsMissing a Javadoc comment.153
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.157
ErrorsMissing a Javadoc comment.157
ErrorsParameter assumps should be final.157
ErrorsExpected an @return tag.164
ErrorsMethod 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.164
ErrorsParameter c should be final.164
ErrorsExpected @param tag for 'c'.164
ErrorsExpected an @return tag.171
ErrorsMethod 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.171
ErrorsParameter literals should be final.171
ErrorsExpected @param tag for 'literals'.171
ErrorsExpected @throws tag for 'ContradictionException'.172
ErrorsExpected an @return tag.179
ErrorsMethod 'getSearchListener' is not designed for extension - needs to be abstract, final or empty.179
ErrorsExpected @param tag for '<S>'.179
ErrorsExpected @param tag for '<S>'.186
ErrorsParameter sl should be final.187
ErrorsExpected @param tag for 'sl'.187
ErrorsExpected an @return tag.193
ErrorsMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.193
ErrorsParameter value should be final.200
ErrorsExpected @param tag for 'value'.200
ErrorsParameter prefix should be final.207
ErrorsExpected @param tag for 'prefix'.207
ErrorsExpected an @return tag.215
ErrorsMethod 'getLogPrefix' is not designed for extension - needs to be abstract, final or empty.215
ErrorsExpected an @return tag.222
ErrorsMethod 'unsatExplanation' is not designed for extension - needs to be abstract, final or empty.222
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.226
ErrorsMissing a Javadoc comment.226
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.230
ErrorsMissing a Javadoc comment.230
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.235
ErrorsMissing a Javadoc comment.235
ErrorsParameter howmany should be final.235
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.240
ErrorsMissing a Javadoc comment.240
ErrorsMethod 'isSolverKeptHot' is not designed for extension - needs to be abstract, final or empty.245
ErrorsMissing a Javadoc comment.245
ErrorsMissing a Javadoc comment.249
ErrorsParameter value should be final.249

org/sat4j/tools/ClausalCardinalitiesDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.4
ErrorsLine is longer than 80 characters.31
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.52
ErrorsLine contains a tab character.52
ErrorsLine contains a tab character.53
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsParameter solver should be final.58
ErrorsMissing a Javadoc comment.63
ErrorsParameter solver should be final.63
ErrorsParameter encodingAd should be final.64
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter literals should be final.70
ErrorsParameter k should be final.70
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.79
ErrorsParameter literals should be final.80
ErrorsParameter k should be final.80
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.89
ErrorsParameter literals should be final.90
ErrorsParameter k should be final.90
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.100
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.105
ErrorsParameter prefix should be final.106

org/sat4j/tools/ConflictDepthTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine is longer than 80 characters.39
ErrorsLine has trailing spaces.42
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.43
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.61
ErrorsParameter conflictDepthVisu should be final.61
Errors'conflictDepthVisu' hides a field.61
ErrorsParameter conflictDepthRestartVisu should be final.62
Errors'conflictDepthRestartVisu' hides a field.62
ErrorsParameter conflictDepthCleanVisu should be final.63
Errors'conflictDepthCleanVisu' hides a field.63
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.70
ErrorsParameter confl should be final.71
ErrorsParameter dlevel should be final.71
ErrorsParameter trailLevel should be final.71
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.79
ErrorsParameter result should be final.80
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.94
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter solverService should be final.102
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.106

org/sat4j/tools/ConflictLevelTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine is longer than 80 characters.39
ErrorsLine has trailing spaces.42
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.43
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsParameter visuTool should be final.57
Errors'visuTool' hides a field.57
ErrorsParameter restartVisuTool should be final.58
Errors'restartVisuTool' hides a field.58
ErrorsParameter cleanTool should be final.58
Errors'cleanTool' hides a field.58
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.67
ErrorsParameter confl should be final.68
ErrorsParameter dlevel should be final.68
ErrorsParameter trailLevel should be final.68
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.78
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.85
ErrorsParameter result should be final.86
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.92
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter solverService should be final.102
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.106

org/sat4j/tools/DecisionLevelTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine is longer than 80 characters.39
ErrorsLine has trailing spaces.42
ErrorsLine contains a tab character.42
ErrorsLine contains a tab character.43
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsParameter visuTool should be final.50
Errors'visuTool' hides a field.50
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.56
ErrorsParameter confl should be final.57
ErrorsParameter dlevel should be final.57
ErrorsParameter trailLevel should be final.57
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.61
ErrorsParameter result should be final.62
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.66
ErrorsMethod 'backjump' is not designed for extension - needs to be abstract, final or empty.71
ErrorsParameter backjumpLevel should be final.72

org/sat4j/tools/DecisionTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsParameter positiveVisu should be final.58
Errors'positiveVisu' hides a field.58
ErrorsParameter negativeVisu should be final.59
Errors'negativeVisu' hides a field.59
ErrorsParameter restartVisu should be final.59
Errors'restartVisu' hides a field.59
ErrorsParameter cleanVisu should be final.60
Errors'cleanVisu' hides a field.60
ErrorsMethod 'assuming' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter p should be final.70
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.83
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.91
ErrorsParameter result should be final.92
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.104
ErrorsParameter solverService should be final.105
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.113

org/sat4j/tools/DimacsArrayReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.45
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsVariable 'solver' must be private and have accessor methods.53
ErrorsMissing a Javadoc comment.55
ErrorsParameter solver should be final.55
Errors'solver' hides a field.55
ErrorsMethod 'handleConstr' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsParameter gateType should be final.59
ErrorsParameter output should be final.59
ErrorsParameter inputs should be final.59
ErrorsExpected an @return tag.83
ErrorsMethod 'parseInstance' is not designed for extension - needs to be abstract, final or empty.83
ErrorsParameter gateType should be final.83
ErrorsParameter outputs should be final.83
ErrorsParameter inputs should be final.83
ErrorsParameter maxVar should be final.84
ErrorsMethod 'decode' is not designed for extension - needs to be abstract, final or empty.94
ErrorsMissing a Javadoc comment.94
ErrorsParameter model should be final.94
Errors'4' is a magic number.95
ErrorsMethod 'getSolver' is not designed for extension - needs to be abstract, final or empty.104
ErrorsMissing a Javadoc comment.104

org/sat4j/tools/DimacsOutputSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.51
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.61
ErrorsParameter pw should be final.61
ErrorsMissing a Javadoc comment.65
ErrorsParameter stream should be final.65
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.69
ErrorsMissing a Javadoc comment.69
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.73
ErrorsParameter howmany should be final.74
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.80
ErrorsMissing a Javadoc comment.80
ErrorsParameter nb should be final.80
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.86
ErrorsMissing a Javadoc comment.86
ErrorsParameter literals should be final.86
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.100
ErrorsMissing a Javadoc comment.100
ErrorsParameter literals should be final.100
ErrorsParameter degree should be final.100
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.122
ErrorsMissing a Javadoc comment.122
ErrorsParameter literals should be final.122
ErrorsParameter degree should be final.122
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.132
ErrorsMissing a Javadoc comment.132
ErrorsParameter literals should be final.132
ErrorsParameter n should be final.132
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.144
ErrorsMissing a Javadoc comment.144
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.150
ErrorsMissing a Javadoc comment.150
ErrorsParameter prefix should be final.150
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.154
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.159
ErrorsExpected an @return tag.167
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.167
ErrorsParameter reserve should be final.167
ErrorsExpected @param tag for 'reserve'.167
ErrorsExpected an @return tag.177
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.177
ErrorsExpected an @return tag.184
ErrorsMethod 'realNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.184
ErrorsMethod 'registerLiteral' is not designed for extension - needs to be abstract, final or empty.191
ErrorsParameter p should be final.191
ErrorsExpected @param tag for 'p'.191
ErrorsExpected an @return tag.198
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.198
ErrorsParameter p should be final.198
ErrorsExpected @param tag for 'p'.198

org/sat4j/tools/DimacsStringSolver.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
Errors'16' is a magic number.62
ErrorsMissing a Javadoc comment.65
ErrorsParameter initSize should be final.65
ErrorsMethod 'getOut' is not designed for extension - needs to be abstract, final or empty.70
ErrorsMissing a Javadoc comment.70
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.74
ErrorsMissing a Javadoc comment.74
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.78
ErrorsParameter howmany should be final.79
ErrorsMethod 'setNbVars' is not designed for extension - needs to be abstract, final or empty.84
ErrorsMissing a Javadoc comment.84
ErrorsParameter howmany should be final.84
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.89
ErrorsMissing a Javadoc comment.89
ErrorsParameter nb should be final.89
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.96
ErrorsMissing a Javadoc comment.96
ErrorsParameter literals should be final.96
Errors'7' is a magic number.99
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.116
ErrorsMissing a Javadoc comment.116
ErrorsParameter literals should be final.116
ErrorsParameter degree should be final.116
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMissing a Javadoc comment.145
ErrorsParameter literals should be final.145
ErrorsParameter n should be final.145
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.157
ErrorsMissing a Javadoc comment.157
ErrorsParameter literals should be final.157
ErrorsParameter degree should be final.157
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.167
ErrorsMissing a Javadoc comment.167
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.174
ErrorsMissing a Javadoc comment.174
ErrorsParameter prefix should be final.174
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.178
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.183
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.188
ErrorsExpected an @return tag.198
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.198
ErrorsParameter reserve should be final.198
ErrorsExpected @param tag for 'reserve'.198
ErrorsExpected an @return tag.208
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.208
ErrorsMethod 'realNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.212
ErrorsMissing a Javadoc comment.212
ErrorsMethod 'registerLiteral' is not designed for extension - needs to be abstract, final or empty.216
ErrorsMissing a Javadoc comment.216
ErrorsParameter p should be final.216
ErrorsExpected an @return tag.223
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.223
ErrorsParameter p should be final.223
ErrorsExpected @param tag for 'p'.223

org/sat4j/tools/DotSearchTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.50
ErrorsLine has trailing spaces.53
ErrorsType Javadoc comment is missing an @param <T> tag.57
ErrorsLine has trailing spaces.60
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsLine is longer than 80 characters.77
ErrorsExpected @param tag for 'fileNameToSave'.77
ErrorsParameter mapping should be final.77
Errors'mapping' hides a field.77
ErrorsExpected @param tag for 'mapping'.77
ErrorsMissing a Javadoc comment.87
ErrorsParameter dimacs should be final.87
ErrorsExpected @param tag for 'p'.124
ErrorsParameter reason should be final.124
ErrorsExpected @param tag for 'reason'.124
ErrorsAvoid inline conditionals.130
ErrorsExpected @param tag for 'clause'.160
ErrorsParameter confl should be final.171
ErrorsExpected @param tag for 'confl'.171
ErrorsParameter dlevel should be final.171
ErrorsExpected @param tag for 'dlevel'.171
ErrorsParameter trailLevel should be final.171
ErrorsExpected @param tag for 'trailLevel'.171
ErrorsParameter p should be final.180
ErrorsExpected @param tag for 'p'.180
ErrorsParameter model should be final.186
ErrorsParameter result should be final.204
ErrorsExpected @param tag for 'result'.204
ErrorsMissing a Javadoc comment.208
ErrorsRedundant 'final' modifier.208
ErrorsMissing a Javadoc comment.212
ErrorsRedundant 'final' modifier.212
ErrorsMissing a Javadoc comment.223
ErrorsParameter stream should be final.223

org/sat4j/tools/ExtendedDimacsArrayReader.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.42
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.60
ErrorsMissing a Javadoc comment.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.74
ErrorsMissing a Javadoc comment.76
ErrorsMissing a Javadoc comment.78
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.82
ErrorsParameter solver should be final.82
ErrorsLine has trailing spaces.89
ErrorsMethod 'handleConstr' is not designed for extension - needs to be abstract, final or empty.101
ErrorsParameter gateType should be final.102
ErrorsParameter output should be final.102
ErrorsParameter inputs should be final.102
ErrorsExpected @throws tag for 'ContradictionException'.103
Errors'3' is a magic number.135

org/sat4j/tools/FileBasedVisualizationTool.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.7
ErrorsMissing a Javadoc comment.9
ErrorsMissing a Javadoc comment.10
ErrorsMissing a Javadoc comment.12
ErrorsParameter filename should be final.12
Errors'filename' hides a field.12
ErrorsMethod 'updateWriter' is not designed for extension - needs to be abstract, final or empty.17
ErrorsMissing a Javadoc comment.17
ErrorsMethod 'getFilename' is not designed for extension - needs to be abstract, final or empty.26
ErrorsMissing a Javadoc comment.26
ErrorsMethod 'setFilename' is not designed for extension - needs to be abstract, final or empty.30
ErrorsMissing a Javadoc comment.30
ErrorsParameter filename should be final.30
Errors'filename' hides a field.30
ErrorsMethod 'addPoint' is not designed for extension - needs to be abstract, final or empty.34
ErrorsMissing a Javadoc comment.34
ErrorsParameter x should be final.34
ErrorsParameter y should be final.34
ErrorsMethod 'addInvisiblePoint' is not designed for extension - needs to be abstract, final or empty.38
ErrorsMissing a Javadoc comment.38
ErrorsParameter x should be final.38
ErrorsParameter y should be final.38
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.42
ErrorsMissing a Javadoc comment.42
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.46
ErrorsMissing a Javadoc comment.46

org/sat4j/tools/GateTranslator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.51
ErrorsMissing a Javadoc comment.55
ErrorsParameter solver should be final.55
ErrorsLine has trailing spaces.61
ErrorsExpected an @return tag.68
ErrorsMethod 'gateFalse' is not designed for extension - needs to be abstract, final or empty.68
ErrorsParameter y should be final.68
ErrorsLine has trailing spaces.76
ErrorsExpected an @return tag.82
ErrorsMethod 'gateTrue' is not designed for extension - needs to be abstract, final or empty.82
ErrorsParameter y should be final.82
ErrorsExpected @throws tag for 'ContradictionException'.82
ErrorsLine has trailing spaces.90
ErrorsExpected an @return tag.99
ErrorsMethod 'ite' is not designed for extension - needs to be abstract, final or empty.99
ErrorsParameter y should be final.99
ErrorsExpected @param tag for 'y'.99
ErrorsParameter x1 should be final.99
ErrorsParameter x2 should be final.99
ErrorsExpected @param tag for 'x2'.99
ErrorsParameter x3 should be final.99
ErrorsExpected @param tag for 'x3'.99
ErrorsExpected @throws tag for 'ContradictionException'.100
Errors'6' is a magic number.101
Errors'5' is a magic number.102
Errors'3' is a magic number.122
Errors'4' is a magic number.125
Errors'5' is a magic number.131
ErrorsLine has trailing spaces.137
ErrorsExpected an @return tag.144
ErrorsLine is longer than 80 characters.144
ErrorsMethod 'and' is not designed for extension - needs to be abstract, final or empty.144
ErrorsParameter y should be final.144
ErrorsExpected @param tag for 'y'.144
ErrorsParameter literals should be final.144
ErrorsExpected @throws tag for 'ContradictionException'.144
ErrorsFirst sentence should end with a period.165
ErrorsLine has trailing spaces.167
ErrorsExpected an @return tag.174
ErrorsMethod 'and' is not designed for extension - needs to be abstract, final or empty.174
ErrorsParameter y should be final.174
ErrorsExpected @param tag for 'y'.174
ErrorsParameter x1 should be final.174
ErrorsExpected @param tag for 'x1'.174
ErrorsParameter x2 should be final.174
ErrorsExpected @param tag for 'x2'.174
ErrorsExpected @throws tag for 'ContradictionException'.174
Errors'4' is a magic number.175
Errors'3' is a magic number.176
ErrorsLine has trailing spaces.194
ErrorsExpected an @return tag.200
ErrorsMethod 'or' is not designed for extension - needs to be abstract, final or empty.200
ErrorsParameter y should be final.200
ErrorsExpected @param tag for 'y'.200
ErrorsParameter literals should be final.200
ErrorsExpected @param tag for 'literals'.200
ErrorsExpected @throws tag for 'ContradictionException'.200
ErrorsLine has trailing spaces.221
ErrorsExpected an @return tag.227
ErrorsMethod 'halfOr' is not designed for extension - needs to be abstract, final or empty.227
ErrorsParameter y should be final.227
ErrorsExpected @param tag for 'y'.227
ErrorsParameter literals should be final.227
ErrorsExpected @param tag for 'literals'.227
ErrorsExpected @throws tag for 'ContradictionException'.228
ErrorsLine is longer than 80 characters.241
ErrorsMissing a Javadoc comment.241
ErrorsParameter clause should be final.241
ErrorsLine has trailing spaces.247
ErrorsExpected an @return tag.253
ErrorsMethod 'not' is not designed for extension - needs to be abstract, final or empty.253
ErrorsParameter y should be final.253
ErrorsExpected @param tag for 'y'.253
ErrorsParameter x should be final.253
ErrorsExpected @param tag for 'x'.253
ErrorsExpected @throws tag for 'ContradictionException'.253
Errors'3' is a magic number.255
ErrorsLine has trailing spaces.269
ErrorsExpected an @return tag.275
ErrorsLine is longer than 80 characters.275
ErrorsMethod 'xor' is not designed for extension - needs to be abstract, final or empty.275
ErrorsParameter y should be final.275
ErrorsExpected @param tag for 'y'.275
ErrorsParameter literals should be final.275
ErrorsExpected @param tag for 'literals'.275
ErrorsExpected @throws tag for 'ContradictionException'.275
ErrorsLine has trailing spaces.288
ErrorsExpected an @return tag.294
ErrorsLine is longer than 80 characters.294
ErrorsMethod 'iff' is not designed for extension - needs to be abstract, final or empty.294
ErrorsParameter y should be final.294
ErrorsExpected @param tag for 'y'.294
ErrorsParameter literals should be final.294
ErrorsExpected @param tag for 'literals'.294
ErrorsExpected @throws tag for 'ContradictionException'.294
ErrorsMethod 'xor' is not designed for extension - needs to be abstract, final or empty.308
ErrorsParameter x should be final.308
ErrorsExpected @param tag for 'x'.308
ErrorsParameter a should be final.308
ErrorsExpected @param tag for 'a'.308
ErrorsParameter b should be final.308
ErrorsExpected @param tag for 'b'.308
ErrorsExpected @throws tag for 'ContradictionException'.308
Errors'3' is a magic number.309
ErrorsMissing a Javadoc comment.324
ErrorsParameter f should be final.324
ErrorsParameter prefix should be final.324
ErrorsParameter negation should be final.324
ErrorsParameter constrs should be final.325
ErrorsAvoid inline conditionals.331
ErrorsMissing a Javadoc comment.351
ErrorsParameter f should be final.351
ErrorsParameter prefix should be final.351
ErrorsParameter negation should be final.351
ErrorsParameter constrs should be final.352
ErrorsAvoid inline conditionals.358
ErrorsMethod 'fullAdderSum' is not designed for extension - needs to be abstract, final or empty.381
ErrorsParameter x should be final.381
ErrorsExpected @param tag for 'x'.381
ErrorsParameter a should be final.381
ErrorsExpected @param tag for 'a'.381
ErrorsParameter b should be final.381
ErrorsExpected @param tag for 'b'.381
ErrorsParameter c should be final.381
ErrorsExpected @param tag for 'c'.381
ErrorsExpected @throws tag for 'ContradictionException'.382
Errors'4' is a magic number.383
ErrorsMethod 'fullAdderCarry' is not designed for extension - needs to be abstract, final or empty.415
ErrorsParameter x should be final.415
ErrorsExpected @param tag for 'x'.415
ErrorsParameter a should be final.415
ErrorsExpected @param tag for 'a'.415
ErrorsParameter b should be final.415
ErrorsExpected @param tag for 'b'.415
ErrorsParameter c should be final.415
ErrorsExpected @param tag for 'c'.415
ErrorsExpected @throws tag for 'ContradictionException'.416
Errors'3' is a magic number.417
ErrorsMethod 'additionalFullAdderConstraints' is not designed for extension - needs to be abstract, final or empty.441
ErrorsParameter xcarry should be final.441
ErrorsExpected @param tag for 'xcarry'.441
ErrorsParameter xsum should be final.441
ErrorsExpected @param tag for 'xsum'.441
ErrorsParameter a should be final.441
ErrorsExpected @param tag for 'a'.441
ErrorsParameter b should be final.442
ErrorsExpected @param tag for 'b'.442
ErrorsParameter c should be final.442
ErrorsExpected @param tag for 'c'.442
ErrorsExpected @throws tag for 'ContradictionException'.442
Errors'3' is a magic number.443
ErrorsLine is longer than 80 characters.461
ErrorsMethod 'halfAdderSum' is not designed for extension - needs to be abstract, final or empty.461
ErrorsParameter x should be final.461
ErrorsExpected @param tag for 'x'.461
ErrorsParameter a should be final.461
ErrorsExpected @param tag for 'a'.461
ErrorsParameter b should be final.461
ErrorsExpected @param tag for 'b'.461
ErrorsExpected @throws tag for 'ContradictionException'.461
ErrorsMethod 'halfAdderCarry' is not designed for extension - needs to be abstract, final or empty.468
ErrorsParameter x should be final.468
ErrorsExpected @param tag for 'x'.468
ErrorsParameter a should be final.468
ErrorsExpected @param tag for 'a'.468
ErrorsParameter b should be final.468
ErrorsExpected @param tag for 'b'.468
ErrorsExpected @throws tag for 'ContradictionException'.469
ErrorsLine has trailing spaces.477
ErrorsMethod 'optimisationFunction' is not designed for extension - needs to be abstract, final or empty.480
ErrorsParameter literals should be final.480
ErrorsExpected @param tag for 'literals'.480
ErrorsParameter coefs should be final.480
ErrorsExpected @param tag for 'coefs'.480
ErrorsParameter result should be final.481
ErrorsExpected @param tag for 'result'.481
ErrorsExpected @throws tag for 'ContradictionException'.481
Errors'3' is a magic number.500
ErrorsLine has trailing spaces.537
ErrorsExpected an @return tag.542
ErrorsParameter buckets should be final.542
ErrorsExpected @param tag for 'buckets'.542
ErrorsParameter i should be final.542
ErrorsExpected @param tag for 'i'.542

org/sat4j/tools/HeuristicsTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.34
ErrorsLine has trailing spaces.37
ErrorsLine contains a tab character.37
ErrorsLine contains a tab character.38
ErrorsMissing a Javadoc comment.41
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsParameter visuTool should be final.44
Errors'visuTool' hides a field.44
ErrorsMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.48
ErrorsParameter model should be final.49
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.53
ErrorsMissing a Javadoc comment.58
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter solverService should be final.70
Errors'solverService' hides a field.70

org/sat4j/tools/IVisualizationTool.java

ViolationMessageLine
ErrorsMissing a Javadoc comment.3
ErrorsMissing a Javadoc comment.5
ErrorsRedundant 'public' modifier.5
Errors'static' modifier out of order with the JLS suggestions.5
ErrorsMissing a Javadoc comment.7
ErrorsRedundant 'public' modifier.7
ErrorsMissing a Javadoc comment.9
ErrorsRedundant 'public' modifier.9
ErrorsMissing a Javadoc comment.11
ErrorsRedundant 'public' modifier.11
ErrorsMissing a Javadoc comment.13
ErrorsRedundant 'public' modifier.13

org/sat4j/tools/LBDTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.37
ErrorsLine has trailing spaces.40
ErrorsLine contains a tab character.40
ErrorsLine contains a tab character.41
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.45
ErrorsMissing a Javadoc comment.47
ErrorsParameter visuTool should be final.47
Errors'visuTool' hides a field.47
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.52
ErrorsParameter confl should be final.53
ErrorsParameter dlevel should be final.53
ErrorsParameter trailLevel should be final.53
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.64
ErrorsParameter result should be final.65

org/sat4j/tools/LearnedClauseSizeTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.44
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsParameter visuTool should be final.50
Errors'visuTool' hides a field.50
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.55
ErrorsParameter confl should be final.56
ErrorsParameter dlevel should be final.56
ErrorsParameter trailLevel should be final.56
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.61
ErrorsParameter result should be final.62

org/sat4j/tools/LearnedClausesSizeTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsLine contains a tab character.43
ErrorsLine contains a tab character.44
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsParameter visuTool should be final.53
Errors'visuTool' hides a field.53
ErrorsParameter restartTool should be final.54
Errors'restartTool' hides a field.54
ErrorsParameter cleanTool should be final.54
Errors'cleanTool' hides a field.54
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.62
ErrorsParameter result should be final.63
ErrorsMethod 'learn' is not designed for extension - needs to be abstract, final or empty.69
ErrorsParameter c should be final.70
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.90
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.97

org/sat4j/tools/LearnedTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsLine has trailing spaces.39
ErrorsLine contains a tab character.39
ErrorsLine contains a tab character.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsParameter visuTool should be final.46
Errors'visuTool' hides a field.46
ErrorsMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.50
ErrorsParameter model should be final.51
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMissing a Javadoc comment.60
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.72
ErrorsParameter solverService should be final.73
Errors'solverService' hides a field.73
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.77

org/sat4j/tools/LexicoDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.47
ErrorsVariable 'criteria' must be private and have accessor methods.47
ErrorsMissing a Javadoc comment.49
ErrorsVariable 'currentCriterion' must be private and have accessor methods.49
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMissing a Javadoc comment.55
ErrorsVariable 'prevfullmodel' must be private and have accessor methods.55
ErrorsMissing a Javadoc comment.56
ErrorsVariable 'prevboolmodel' must be private and have accessor methods.56
ErrorsMissing a Javadoc comment.58
ErrorsLine has trailing spaces.61
ErrorsLine contains a tab character.61
ErrorsLine contains a tab character.62
ErrorsMissing a Javadoc comment.65
ErrorsParameter solver should be final.65
ErrorsMethod 'addCriterion' is not designed for extension - needs to be abstract, final or empty.69
ErrorsMissing a Javadoc comment.69
ErrorsParameter literals should be final.69
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.75
ErrorsMissing a Javadoc comment.75
ErrorsMethod 'admitABetterSolution' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter assumps should be final.79
ErrorsMissing a Javadoc comment.94
ErrorsMethod 'numberOfCriteria' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsMethod 'fixCriterionValue' is not designed for extension - needs to be abstract, final or empty.130
ErrorsMissing a Javadoc comment.130
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.142
ErrorsParameter var should be final.143
ErrorsMethod 'hasNoObjectiveFunction' is not designed for extension - needs to be abstract, final or empty.147
ErrorsMissing a Javadoc comment.147
ErrorsMethod 'nonOptimalMeansSatisfiable' is not designed for extension - needs to be abstract, final or empty.151
ErrorsMissing a Javadoc comment.151
ErrorsMethod 'calculateObjective' is not designed for extension - needs to be abstract, final or empty.155
ErrorsMissing a Javadoc comment.155
ErrorsMethod 'getObjectiveValue' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsMethod 'forceObjectiveValueTo' is not designed for extension - needs to be abstract, final or empty.164
ErrorsMissing a Javadoc comment.164
ErrorsParameter forcedValue should be final.164
ErrorsMethod 'discard' is not designed for extension - needs to be abstract, final or empty.169
ErrorsMissing a Javadoc comment.169
ErrorsMethod 'discardCurrentSolution' is not designed for extension - needs to be abstract, final or empty.174
ErrorsMissing a Javadoc comment.174
ErrorsMethod 'discardSolutionsForOptimizing' is not designed for extension - needs to be abstract, final or empty.189
ErrorsMissing a Javadoc comment.189
ErrorsMethod 'evaluate' is not designed for extension - needs to be abstract, final or empty.195
ErrorsMissing a Javadoc comment.195
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.209
ErrorsMissing a Javadoc comment.209

org/sat4j/tools/ManyCore.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.54
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.60
ErrorsMissing a Javadoc comment.66
ErrorsMissing a Javadoc comment.68
ErrorsLine has trailing spaces.71
ErrorsLine contains a tab character.71
ErrorsLine contains a tab character.72
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.77
ErrorsVariable 'solvers' must be private and have accessor methods.77
ErrorsMissing a Javadoc comment.78
ErrorsVariable 'numberOfSolvers' must be private and have accessor methods.78
ErrorsMissing a Javadoc comment.79
ErrorsMissing a Javadoc comment.80
ErrorsMissing a Javadoc comment.81
ErrorsMissing a Javadoc comment.82
ErrorsMissing a Javadoc comment.83
ErrorsMissing a Javadoc comment.85
ErrorsMissing a Javadoc comment.87
ErrorsParameter factory should be final.87
ErrorsParameter solverNames should be final.87
ErrorsLine has trailing spaces.100
ErrorsParameter names should be final.106
ErrorsParameter solverObjects should be final.106
ErrorsMissing a Javadoc comment.113
ErrorsParameter solverObjects should be final.113
ErrorsMethod 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.126
ErrorsMissing a Javadoc comment.126
ErrorsParameter clauses should be final.126
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMissing a Javadoc comment.133
ErrorsParameter literals should be final.133
ErrorsParameter degree should be final.133
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.142
ErrorsMissing a Javadoc comment.142
ErrorsParameter literals should be final.142
ErrorsParameter degree should be final.142
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.151
ErrorsMissing a Javadoc comment.151
ErrorsParameter literals should be final.151
ErrorsParameter n should be final.151
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsParameter literals should be final.160
ErrorsMethod 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.168
ErrorsMissing a Javadoc comment.168
ErrorsMethod 'expireTimeout' is not designed for extension - needs to be abstract, final or empty.174
ErrorsMissing a Javadoc comment.174
ErrorsMethod 'getStat' is not designed for extension - needs to be abstract, final or empty.181
ErrorsMissing a Javadoc comment.181
ErrorsMethod 'getTimeout' is not designed for extension - needs to be abstract, final or empty.185
ErrorsMissing a Javadoc comment.185
ErrorsMethod 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.189
ErrorsMissing a Javadoc comment.189
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.193
ErrorsMissing a Javadoc comment.193
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.197
ErrorsMissing a Javadoc comment.197
ErrorsParameter howmany should be final.197
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.205
ErrorsMissing a Javadoc comment.205
ErrorsParameter out should be final.206
ErrorsParameter prefix should be final.206
ErrorsLine is longer than 80 characters.209
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.215
ErrorsMissing a Javadoc comment.215
ErrorsParameter out should be final.215
ErrorsParameter prefix should be final.215
ErrorsLine is longer than 80 characters.218
ErrorsMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.224
ErrorsMissing a Javadoc comment.224
ErrorsParameter c should be final.224
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.242
ErrorsMissing a Javadoc comment.242
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.248
ErrorsMissing a Javadoc comment.248
ErrorsParameter nb should be final.248
ErrorsMethod 'setTimeout' is not designed for extension - needs to be abstract, final or empty.254
ErrorsMissing a Javadoc comment.254
ErrorsParameter t should be final.254
ErrorsMethod 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.260
ErrorsMissing a Javadoc comment.260
ErrorsParameter t should be final.260
ErrorsMethod 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.266
ErrorsMissing a Javadoc comment.266
ErrorsParameter count should be final.266
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.272
ErrorsMissing a Javadoc comment.272
ErrorsParameter prefix should be final.272
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.292
ErrorsMissing a Javadoc comment.292
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.300
ErrorsMissing a Javadoc comment.300
ErrorsParameter assumps should be final.300
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.308
ErrorsMissing a Javadoc comment.308
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.312
ErrorsMissing a Javadoc comment.312
ErrorsParameter assumps should be final.312
ErrorsParameter globalTimeout should be final.313
ErrorsMust have at least one statement.325
ErrorsLine is longer than 80 characters.335
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.335
ErrorsMissing a Javadoc comment.335
ErrorsParameter globalTimeout should be final.335
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.339
ErrorsMissing a Javadoc comment.339
ErrorsParameter assumps should be final.339
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.343
ErrorsMissing a Javadoc comment.343
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.347
ErrorsMissing a Javadoc comment.347
ErrorsParameter var should be final.347
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.351
ErrorsMissing a Javadoc comment.351
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.355
ErrorsMissing a Javadoc comment.355
ErrorsMethod 'printInfos' is not designed for extension - needs to be abstract, final or empty.359
ErrorsMissing a Javadoc comment.359
ErrorsParameter out should be final.359
ErrorsParameter prefix should be final.359
ErrorsMethod 'onFinishWithAnswer' is not designed for extension - needs to be abstract, final or empty.367
ErrorsMissing a Javadoc comment.367
ErrorsParameter finished should be final.367
ErrorsParameter result should be final.368
ErrorsParameter index should be final.368
ErrorsMethod 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.386
ErrorsMissing a Javadoc comment.386
ErrorsMethod 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.390
ErrorsMissing a Javadoc comment.390
ErrorsParameter status should be final.390
ErrorsMethod 'setSearchListener' is not designed for extension - needs to be abstract, final or empty.396
ErrorsMissing a Javadoc comment.396
ErrorsParameter sl should be final.397
ErrorsExpected an @return tag.406
ErrorsMethod 'getSearchListener' is not designed for extension - needs to be abstract, final or empty.406
ErrorsExpected @param tag for '<I>'.406
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.410
ErrorsMissing a Javadoc comment.410
ErrorsParameter reserve should be final.410
ErrorsMethod 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.418
ErrorsMissing a Javadoc comment.418
ErrorsParameter literals should be final.418
ErrorsMethod 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.427
ErrorsMissing a Javadoc comment.427
ErrorsParameter c should be final.427
ErrorsMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.446
ErrorsMissing a Javadoc comment.446
ErrorsMethod 'setVerbose' is not designed for extension - needs to be abstract, final or empty.450
ErrorsMissing a Javadoc comment.450
ErrorsParameter value should be final.450
ErrorsMethod 'setLogPrefix' is not designed for extension - needs to be abstract, final or empty.456
ErrorsMissing a Javadoc comment.456
ErrorsParameter prefix should be final.456
ErrorsMethod 'getLogPrefix' is not designed for extension - needs to be abstract, final or empty.463
ErrorsMissing a Javadoc comment.463
ErrorsMethod 'unsatExplanation' is not designed for extension - needs to be abstract, final or empty.467
ErrorsMissing a Javadoc comment.467
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.471
ErrorsMissing a Javadoc comment.471
ErrorsExpected an @return tag.478
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.478
ErrorsParameter p should be final.478
ErrorsExpected @param tag for 'p'.478
ErrorsMethod 'getSolvers' is not designed for extension - needs to be abstract, final or empty.482
ErrorsMissing a Javadoc comment.482
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.486
ErrorsMissing a Javadoc comment.486
ErrorsMethod 'realNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.490
ErrorsMissing a Javadoc comment.490
ErrorsMethod 'registerLiteral' is not designed for extension - needs to be abstract, final or empty.494
ErrorsMissing a Javadoc comment.494
ErrorsParameter p should be final.494
ErrorsMethod 'isSolverKeptHot' is not designed for extension - needs to be abstract, final or empty.501
ErrorsMissing a Javadoc comment.501
ErrorsMethod 'setKeepSolverHot' is not designed for extension - needs to be abstract, final or empty.505
ErrorsMissing a Javadoc comment.505
ErrorsParameter value should be final.505
ErrorsMissing a Javadoc comment.513
ErrorsMissing a Javadoc comment.515
ErrorsMissing a Javadoc comment.516
ErrorsMissing a Javadoc comment.517
ErrorsMissing a Javadoc comment.518
ErrorsMissing a Javadoc comment.519
ErrorsMissing a Javadoc comment.521
ErrorsParameter i should be final.521
ErrorsParameter solver should be final.521
Errors'solver' hides a field.521
ErrorsParameter assumps should be final.521
Errors'assumps' hides a field.521
ErrorsParameter globalTimeout should be final.522
Errors'globalTimeout' hides a field.522
ErrorsParameter ol should be final.522
Errors'ol' hides a field.522
ErrorsMissing a Javadoc comment.530

org/sat4j/tools/Minimal4CardinalityModel.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.43
ErrorsMissing a Javadoc comment.49
ErrorsParameter solver should be final.54
ErrorsExpected @param tag for 'solver'.54
ErrorsLine has trailing spaces.60
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMust have at least one statement.84

org/sat4j/tools/Minimal4InclusionModel.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.49
ErrorsMissing a Javadoc comment.54
ErrorsParameter solver should be final.59
ErrorsExpected @param tag for 'solver'.59
ErrorsLine has trailing spaces.65
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.68
ErrorsMust have at least one statement.90

org/sat4j/tools/ModelIterator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.54
ErrorsLine has trailing spaces.56
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.62
ErrorsMissing a Javadoc comment.67
ErrorsMissing a Javadoc comment.69
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.71
ErrorsLine has trailing spaces.77
ErrorsParameter solver should be final.86
ErrorsLine has trailing spaces.96
ErrorsParameter solver should be final.108
ErrorsParameter bound should be final.108
Errors'bound' hides a field.108
ErrorsLine has trailing spaces.115
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.118
ErrorsLine has trailing spaces.136
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.139
ErrorsLine has trailing spaces.150
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.153
ErrorsParameter assumps should be final.154
ErrorsLine has trailing spaces.164
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.167
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.174
ErrorsLine has trailing spaces.192
ErrorsMethod 'numberOfModelsFoundSoFar' is not designed for extension - needs to be abstract, final or empty.196

org/sat4j/tools/MultiTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.51
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52
ErrorsLine is longer than 80 characters.55
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.57
ErrorsParameter listeners should be final.57
Errors'listeners' hides a field.57
ErrorsMissing a Javadoc comment.61
ErrorsParameter listenersList should be final.61
ErrorsMethod 'assuming' is not designed for extension - needs to be abstract, final or empty.65
ErrorsMissing a Javadoc comment.65
ErrorsParameter p should be final.65
ErrorsMethod 'propagating' is not designed for extension - needs to be abstract, final or empty.72
ErrorsMissing a Javadoc comment.72
ErrorsParameter p should be final.72
ErrorsParameter reason should be final.72
ErrorsMethod 'backtracking' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter p should be final.79
ErrorsMethod 'adding' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.85
ErrorsParameter p should be final.85
ErrorsMethod 'learn' is not designed for extension - needs to be abstract, final or empty.92
ErrorsMissing a Javadoc comment.92
ErrorsParameter c should be final.92
ErrorsMethod 'delete' is not designed for extension - needs to be abstract, final or empty.99
ErrorsMissing a Javadoc comment.99
ErrorsParameter clause should be final.99
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.106
ErrorsMissing a Javadoc comment.106
ErrorsParameter confl should be final.106
ErrorsParameter dlevel should be final.106
ErrorsParameter trailLevel should be final.106
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter p should be final.113
ErrorsMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMissing a Javadoc comment.120
ErrorsParameter model should be final.120
ErrorsMethod 'beginLoop' is not designed for extension - needs to be abstract, final or empty.127
ErrorsMissing a Javadoc comment.127
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMissing a Javadoc comment.133
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.140
ErrorsMissing a Javadoc comment.140
ErrorsParameter result should be final.140
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.146
ErrorsMissing a Javadoc comment.146
ErrorsMethod 'backjump' is not designed for extension - needs to be abstract, final or empty.153
ErrorsMissing a Javadoc comment.153
ErrorsParameter backjumpLevel should be final.153
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.160
ErrorsMissing a Javadoc comment.160
ErrorsParameter solverService should be final.160
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.166
ErrorsMissing a Javadoc comment.166

org/sat4j/tools/OptToSatAdapter.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.38
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.45
ErrorsVariable 'problem' must be private and have accessor methods.45
ErrorsMissing a Javadoc comment.47
ErrorsVariable 'modelComputed' must be private and have accessor methods.47
ErrorsMissing a Javadoc comment.48
ErrorsVariable 'optimalValueForced' must be private and have accessor methods.48
ErrorsMissing a Javadoc comment.50
ErrorsParameter problem should be final.50
Errors'problem' hides a field.50
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.55
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.61
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.67
ErrorsParameter global should be final.68
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.73
ErrorsParameter assumps should be final.74
ErrorsParameter global should be final.74
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.79
ErrorsParameter assumps should be final.80
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.84
ErrorsMust have at least one statement.104
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.122
ErrorsParameter var should be final.123
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.130
ErrorsParameter prefix should be final.131
ErrorsLine has trailing spaces.139
ErrorsMethod 'isOptimal' is not designed for extension - needs to be abstract, final or empty.142

org/sat4j/tools/OutcomeListener.java

ViolationMessageLine
ErrorsFile does not end with a newline.0
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.35
ErrorsMissing a Javadoc comment.41

org/sat4j/tools/RemiUtils.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.37
ErrorsLine has trailing spaces.39
ErrorsMissing a Javadoc comment.44
ErrorsLine has trailing spaces.50
ErrorsParameter s should be final.57
ErrorsExpected @throws tag for 'TimeoutException'.57

org/sat4j/tools/SearchEnumeratorListener.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.39
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.47
ErrorsLine contains a tab character.47
ErrorsLine contains a tab character.48
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.53
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.55
ErrorsParameter solverService should be final.56
Errors'solverService' hides a field.56
ErrorsMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.60
ErrorsParameter model should be final.61
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.71
ErrorsParameter result should be final.72
ErrorsMethod 'getNumberOfSolutionFound' is not designed for extension - needs to be abstract, final or empty.77
ErrorsMissing a Javadoc comment.77

org/sat4j/tools/SearchListenerAdapter.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.37
ErrorsLine has trailing spaces.41
ErrorsLine contains a tab character.41
ErrorsLine contains a tab character.42
ErrorsMissing a Javadoc comment.57
ErrorsParameter solverService should be final.57
ErrorsMissing a Javadoc comment.60
ErrorsParameter p should be final.60
ErrorsMissing a Javadoc comment.63
ErrorsParameter p should be final.63
ErrorsParameter reason should be final.63
ErrorsMissing a Javadoc comment.66
ErrorsParameter p should be final.66
ErrorsMissing a Javadoc comment.69
ErrorsParameter p should be final.69
ErrorsMissing a Javadoc comment.72
ErrorsParameter c should be final.72
ErrorsMissing a Javadoc comment.75
ErrorsParameter clause should be final.75
ErrorsMissing a Javadoc comment.78
ErrorsParameter confl should be final.78
ErrorsParameter dlevel should be final.78
ErrorsParameter trailLevel should be final.78
ErrorsMissing a Javadoc comment.81
ErrorsParameter p should be final.81
ErrorsMissing a Javadoc comment.84
ErrorsParameter model should be final.84
ErrorsMissing a Javadoc comment.87
ErrorsMissing a Javadoc comment.90
ErrorsMissing a Javadoc comment.93
ErrorsParameter result should be final.93
ErrorsMissing a Javadoc comment.96
ErrorsMissing a Javadoc comment.99
ErrorsParameter backjumpLevel should be final.99
ErrorsMissing a Javadoc comment.102

org/sat4j/tools/SingleSolutionDetector.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.47
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.62
ErrorsLine has trailing spaces.67
ErrorsMissing a Javadoc comment.71
ErrorsParameter solver should be final.71
ErrorsLine has trailing spaces.78
ErrorsLine has trailing spaces.84
ErrorsMethod 'hasASingleSolution' is not designed for extension - needs to be abstract, final or empty.90
ErrorsExpected @throws tag for 'TimeoutException'.90
ErrorsLine has trailing spaces.97
ErrorsMethod 'hasASingleSolution' is not designed for extension - needs to be abstract, final or empty.104
ErrorsParameter assumptions should be final.104
ErrorsExpected @throws tag for 'TimeoutException'.105

org/sat4j/tools/SolutionCounter.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.40
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.59
ErrorsLine has trailing spaces.61
ErrorsLine has trailing spaces.66
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.72
ErrorsParameter solver should be final.72
ErrorsLine has trailing spaces.78
ErrorsMethod 'lowerBound' is not designed for extension - needs to be abstract, final or empty.82
ErrorsLine has trailing spaces.90
ErrorsMethod 'countSolutions' is not designed for extension - needs to be abstract, final or empty.95

org/sat4j/tools/SolverDecorator.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.49
ErrorsType Javadoc comment is missing an @param <T> tag.52
ErrorsLine has trailing spaces.55
ErrorsLine contains a tab character.55
ErrorsLine contains a tab character.56
ErrorsMethod 'isDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.59
ErrorsMissing a Javadoc comment.59
ErrorsMethod 'setDBSimplificationAllowed' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMissing a Javadoc comment.63
ErrorsParameter status should be final.63
ErrorsLine has trailing spaces.69
ErrorsMethod 'setTimeoutOnConflicts' is not designed for extension - needs to be abstract, final or empty.72
ErrorsMissing a Javadoc comment.72
ErrorsParameter count should be final.72
ErrorsLine has trailing spaces.78
ErrorsMethod 'printInfos' is not designed for extension - needs to be abstract, final or empty.82
ErrorsMissing a Javadoc comment.82
ErrorsParameter out should be final.82
ErrorsParameter prefix should be final.82
ErrorsLine has trailing spaces.88
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.91
ErrorsMissing a Javadoc comment.91
ErrorsParameter global should be final.91
ErrorsLine has trailing spaces.97
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.101
ErrorsMissing a Javadoc comment.101
ErrorsParameter assumps should be final.101
ErrorsParameter global should be final.101
ErrorsLine has trailing spaces.108
ErrorsMethod 'clearLearntClauses' is not designed for extension - needs to be abstract, final or empty.111
ErrorsMissing a Javadoc comment.111
ErrorsLine has trailing spaces.117
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.120
ErrorsMissing a Javadoc comment.120
ErrorsLine has trailing spaces.126
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.129
ErrorsMissing a Javadoc comment.129
ErrorsParameter assumps should be final.129
ErrorsLine has trailing spaces.135
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.138
ErrorsMissing a Javadoc comment.138
ErrorsParameter var should be final.138
ErrorsMethod 'setExpectedNumberOfClauses' is not designed for extension - needs to be abstract, final or empty.142
ErrorsMissing a Javadoc comment.142
ErrorsParameter nb should be final.142
ErrorsLine has trailing spaces.148
ErrorsMethod 'getTimeout' is not designed for extension - needs to be abstract, final or empty.151
ErrorsMissing a Javadoc comment.151
ErrorsExpected an @return tag.158
ErrorsMethod 'getTimeoutMs' is not designed for extension - needs to be abstract, final or empty.158
ErrorsLine has trailing spaces.164
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.167
ErrorsMissing a Javadoc comment.167
ErrorsParameter prefix should be final.167
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.171
ErrorsLine has trailing spaces.178
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.182
ErrorsMissing a Javadoc comment.182
ErrorsParameter out should be final.183
ErrorsParameter prefix should be final.183
ErrorsMethod 'printStat' is not designed for extension - needs to be abstract, final or empty.187
ErrorsMissing a Javadoc comment.187
ErrorsParameter out should be final.187
ErrorsParameter prefix should be final.187
ErrorsMissing a Javadoc comment.191
ErrorsLine has trailing spaces.194
ErrorsParameter solver should be final.196
Errors'solver' hides a field.196
ErrorsExpected @param tag for 'solver'.196
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.200
ErrorsMissing a Javadoc comment.200
ErrorsLine has trailing spaces.207
ErrorsMethod 'newVar' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMissing a Javadoc comment.210
ErrorsParameter howmany should be final.210
ErrorsLine has trailing spaces.216
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.219
ErrorsMissing a Javadoc comment.219
ErrorsParameter literals should be final.219
ErrorsMethod 'addAllClauses' is not designed for extension - needs to be abstract, final or empty.223
ErrorsMissing a Javadoc comment.223
ErrorsParameter clauses should be final.223
ErrorsExpected an @return tag.231
ErrorsMethod 'addBlockingClause' is not designed for extension - needs to be abstract, final or empty.231
ErrorsParameter literals should be final.231
ErrorsExpected @param tag for 'literals'.231
ErrorsExpected @throws tag for 'ContradictionException'.232
ErrorsLine has trailing spaces.238
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.241
ErrorsMissing a Javadoc comment.241
ErrorsParameter literals should be final.241
ErrorsParameter degree should be final.241
ErrorsLine has trailing spaces.248
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.251
ErrorsMissing a Javadoc comment.251
ErrorsParameter literals should be final.251
ErrorsParameter degree should be final.251
ErrorsLine has trailing spaces.258
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.261
ErrorsMissing a Javadoc comment.261
ErrorsLine has trailing spaces.267
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.270
ErrorsMissing a Javadoc comment.270
ErrorsLine has trailing spaces.276
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.279
ErrorsMissing a Javadoc comment.279
ErrorsParameter assumps should be final.279
ErrorsLine has trailing spaces.285
ErrorsMethod 'setTimeout' is not designed for extension - needs to be abstract, final or empty.288
ErrorsMissing a Javadoc comment.288
ErrorsParameter t should be final.288
ErrorsLine has trailing spaces.294
ErrorsMethod 'setTimeoutMs' is not designed for extension - needs to be abstract, final or empty.297
ErrorsMissing a Javadoc comment.297
ErrorsParameter t should be final.297
ErrorsLine has trailing spaces.303
ErrorsMethod 'expireTimeout' is not designed for extension - needs to be abstract, final or empty.306
ErrorsMissing a Javadoc comment.306
ErrorsLine has trailing spaces.312
ErrorsMethod 'nConstraints' is not designed for extension - needs to be abstract, final or empty.315
ErrorsMissing a Javadoc comment.315
ErrorsLine has trailing spaces.321
ErrorsMethod 'nVars' is not designed for extension - needs to be abstract, final or empty.324
ErrorsMissing a Javadoc comment.324
ErrorsLine has trailing spaces.330
ErrorsMethod 'reset' is not designed for extension - needs to be abstract, final or empty.333
ErrorsMissing a Javadoc comment.333
ErrorsMethod 'decorated' is not designed for extension - needs to be abstract, final or empty.337
ErrorsMissing a Javadoc comment.337
ErrorsLine has trailing spaces.344
ErrorsMethod 'clearDecorated' is not designed for extension - needs to be abstract, final or empty.347
ErrorsLine has trailing spaces.355
ErrorsMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.358
ErrorsMissing a Javadoc comment.358
ErrorsParameter c should be final.358
ErrorsLine has trailing spaces.364
ErrorsMethod 'getStat' is not designed for extension - needs to be abstract, final or empty.367
ErrorsMissing a Javadoc comment.367
ErrorsMethod 'setSearchListener' is not designed for extension - needs to be abstract, final or empty.374
ErrorsExpected @param tag for '<S>'.374
ErrorsParameter sl should be final.375
ErrorsExpected @param tag for 'sl'.375
ErrorsExpected an @return tag.382
ErrorsMethod 'nextFreeVarId' is not designed for extension - needs to be abstract, final or empty.382
ErrorsParameter reserve should be final.382
ErrorsExpected @param tag for 'reserve'.382
ErrorsExpected an @return tag.389
ErrorsMethod 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.389
ErrorsParameter c should be final.389
ErrorsExpected @param tag for 'c'.389
ErrorsExpected an @return tag.396
ErrorsMethod 'getSearchListener' is not designed for extension - needs to be abstract, final or empty.396
ErrorsExpected @param tag for '<S>'.396
ErrorsExpected an @return tag.403
ErrorsMethod 'isVerbose' is not designed for extension - needs to be abstract, final or empty.403
ErrorsMethod 'setVerbose' is not designed for extension - needs to be abstract, final or empty.410
ErrorsParameter value should be final.410
ErrorsExpected @param tag for 'value'.410
ErrorsMethod 'setLogPrefix' is not designed for extension - needs to be abstract, final or empty.417
ErrorsParameter prefix should be final.417
ErrorsExpected @param tag for 'prefix'.417
ErrorsExpected an @return tag.424
ErrorsMethod 'getLogPrefix' is not designed for extension - needs to be abstract, final or empty.424
ErrorsExpected an @return tag.431
ErrorsMethod 'unsatExplanation' is not designed for extension - needs to be abstract, final or empty.431
ErrorsExpected an @return tag.438
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.438
ErrorsExpected an @return tag.445
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.445
ErrorsParameter literals should be final.445
ErrorsExpected @param tag for 'literals'.445
ErrorsParameter n should be final.445
ErrorsExpected @param tag for 'n'.445
ErrorsExpected @throws tag for 'ContradictionException'.446
ErrorsExpected an @return tag.453
ErrorsMethod 'modelWithInternalVariables' is not designed for extension - needs to be abstract, final or empty.453
ErrorsExpected an @return tag.460
ErrorsMethod 'realNumberOfVariables' is not designed for extension - needs to be abstract, final or empty.460
ErrorsMethod 'registerLiteral' is not designed for extension - needs to be abstract, final or empty.467
ErrorsParameter p should be final.467
ErrorsExpected @param tag for 'p'.467
ErrorsExpected an @return tag.474
ErrorsMethod 'isSolverKeptHot' is not designed for extension - needs to be abstract, final or empty.474
ErrorsMethod 'setKeepSolverHot' is not designed for extension - needs to be abstract, final or empty.481
ErrorsParameter value should be final.481
ErrorsExpected @param tag for 'value'.481
ErrorsExpected an @return tag.488
ErrorsMethod 'primeImplicant' is not designed for extension - needs to be abstract, final or empty.488
ErrorsParameter p should be final.488
ErrorsExpected @param tag for 'p'.488

org/sat4j/tools/SpeedTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsMissing a Javadoc comment.36
ErrorsMissing a Javadoc comment.40
ErrorsMissing a Javadoc comment.42
ErrorsMissing a Javadoc comment.43
ErrorsMissing a Javadoc comment.44
ErrorsMissing a Javadoc comment.46
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsParameter visuTool should be final.54
Errors'visuTool' hides a field.54
ErrorsLine is longer than 80 characters.55
ErrorsParameter cleanVisuTool should be final.55
Errors'cleanVisuTool' hides a field.55
ErrorsParameter restartVisuTool should be final.55
Errors'restartVisuTool' hides a field.55
ErrorsMethod 'propagating' is not designed for extension - needs to be abstract, final or empty.70
ErrorsParameter p should be final.71
ErrorsParameter reason should be final.71
Errors'2000' is a magic number.74
Errors'1000' is a magic number.77
Errors'1000.0' is a magic number.81
Errors'1000.0' is a magic number.82
Errors'1000.0' is a magic number.83
ErrorsMethod 'end' is not designed for extension - needs to be abstract, final or empty.90
ErrorsParameter result should be final.91
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.97
Errors'1000.0' is a magic number.101
Errors'1000' is a magic number.102
Errors'1000.0' is a magic number.103
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.108
Errors'1000' is a magic number.112
Errors'1000.0' is a magic number.113
Errors'1000.0' is a magic number.117
ErrorsMethod 'start' is not designed for extension - needs to be abstract, final or empty.121
ErrorsMethod 'init' is not designed for extension - needs to be abstract, final or empty.132
ErrorsParameter solverService should be final.133

org/sat4j/tools/TextOutputTracing.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsType Javadoc comment is missing an @param <T> tag.45
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.49
ErrorsParameter mapping should be final.54
Errors'mapping' hides a field.54
ErrorsExpected @param tag for 'mapping'.54
ErrorsMissing a Javadoc comment.58
ErrorsParameter dimacs should be final.58
ErrorsMethod 'assuming' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsParameter p should be final.73
ErrorsMethod 'propagating' is not designed for extension - needs to be abstract, final or empty.80
ErrorsParameter p should be final.80
ErrorsExpected @param tag for 'p'.80
ErrorsParameter reason should be final.80
ErrorsExpected @param tag for 'reason'.80
ErrorsMethod 'backtracking' is not designed for extension - needs to be abstract, final or empty.84
ErrorsMissing a Javadoc comment.84
ErrorsParameter p should be final.84
ErrorsMethod 'adding' is not designed for extension - needs to be abstract, final or empty.88
ErrorsMissing a Javadoc comment.88
ErrorsParameter p should be final.88
ErrorsMethod 'learn' is not designed for extension - needs to be abstract, final or empty.95
ErrorsParameter clause should be final.95
ErrorsExpected @param tag for 'clause'.95
ErrorsMissing a Javadoc comment.100
ErrorsParameter clause should be final.100
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.107
ErrorsParameter confl should be final.107
ErrorsExpected @param tag for 'confl'.107
ErrorsParameter dlevel should be final.107
ErrorsExpected @param tag for 'dlevel'.107
ErrorsParameter trailLevel should be final.107
ErrorsExpected @param tag for 'trailLevel'.107
ErrorsMethod 'conflictFound' is not designed for extension - needs to be abstract, final or empty.114
ErrorsParameter p should be final.114
ErrorsExpected @param tag for 'p'.114
ErrorsMethod 'solutionFound' is not designed for extension - needs to be abstract, final or empty.118
ErrorsMissing a Javadoc comment.118
ErrorsParameter model should be final.118
ErrorsMissing a Javadoc comment.122
ErrorsMissing a Javadoc comment.125
ErrorsParameter result should be final.131
ErrorsExpected @param tag for 'result'.131
ErrorsMethod 'restarting' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMethod 'backjump' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsParameter backjumpLevel should be final.141
ErrorsParameter solverService should be final.148
ErrorsExpected @param tag for 'solverService'.148
ErrorsMethod 'cleaning' is not designed for extension - needs to be abstract, final or empty.154

org/sat4j/tools/encoding/Binary.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.62
ErrorsExpected an @return tag.64
ErrorsMethod 'addAtMostOne' is not designed for extension - needs to be abstract, final or empty.64
ErrorsParameter solver should be final.65
ErrorsExpected @param tag for 'solver'.65
ErrorsParameter literals should be final.65
ErrorsExpected @param tag for 'literals'.65
ErrorsExpected @throws tag for 'ContradictionException'.66
ErrorsArray brackets at illegal position.73
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.121
ErrorsParameter solver should be final.122
ErrorsParameter literals should be final.122
ErrorsParameter k should be final.122
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.180
ErrorsParameter solver should be final.181
ErrorsParameter literals should be final.181
ErrorsParameter k should be final.181
ErrorsMethod 'addExactlyOne' is not designed for extension - needs to be abstract, final or empty.192
ErrorsParameter solver should be final.193
ErrorsParameter literals should be final.193
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.203
ErrorsParameter solver should be final.204
ErrorsParameter literals should be final.204
ErrorsParameter degree should be final.204

org/sat4j/tools/encoding/Binomial.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.49
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.55
ErrorsParameter solver should be final.56
ErrorsParameter literals should be final.56
ErrorsParameter degree should be final.56
ErrorsMethod 'addAtMostOne' is not designed for extension - needs to be abstract, final or empty.77
ErrorsParameter solver should be final.78
ErrorsParameter literals should be final.78
ErrorsMethod 'addExactlyOne' is not designed for extension - needs to be abstract, final or empty.95
ErrorsParameter solver should be final.96
ErrorsParameter literals should be final.96
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.106
ErrorsParameter solver should be final.107
ErrorsParameter literals should be final.107
ErrorsParameter degree should be final.107
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.117
ErrorsParameter solver should be final.118
ErrorsParameter literals should be final.118
ErrorsParameter degree should be final.118
ErrorsMethod 'addAtLeastOne' is not designed for extension - needs to be abstract, final or empty.133
ErrorsParameter solver should be final.134
ErrorsParameter literals should be final.134

org/sat4j/tools/encoding/Commander.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.46
ErrorsLine has trailing spaces.51
ErrorsExpected an @return tag.62
ErrorsMethod 'addAtMostOne' is not designed for extension - needs to be abstract, final or empty.62
ErrorsParameter solver should be final.63
ErrorsExpected @param tag for 'solver'.63
ErrorsParameter literals should be final.63
ErrorsExpected @param tag for 'literals'.63
ErrorsExpected @throws tag for 'ContradictionException'.64
Errors'3' is a magic number.66
ErrorsLine is longer than 80 characters.69
ErrorsMissing a Javadoc comment.69
ErrorsParameter solver should be final.69
ErrorsParameter literals should be final.69
ErrorsParameter groupSize should be final.69
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.142
ErrorsParameter solver should be final.143
ErrorsParameter literals should be final.143
ErrorsParameter degree should be final.143
ErrorsMissing a Javadoc comment.149
ErrorsParameter solver should be final.149
ErrorsParameter literals should be final.149
ErrorsParameter k should be final.149
ErrorsParameter groupSize should be final.150
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.253
ErrorsParameter solver should be final.254
ErrorsParameter literals should be final.254
ErrorsParameter k should be final.254
ErrorsMethod 'addExactlyOne' is not designed for extension - needs to be abstract, final or empty.265
ErrorsParameter solver should be final.266
ErrorsParameter literals should be final.266
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.276
ErrorsParameter solver should be final.277
ErrorsParameter literals should be final.277
ErrorsParameter degree should be final.277

org/sat4j/tools/encoding/EncodingStrategy.java

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

org/sat4j/tools/encoding/EncodingStrategyAdapter.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.48
ErrorsMissing a Javadoc comment.48
ErrorsParameter solver should be final.48
ErrorsParameter literals should be final.48
ErrorsParameter degree should be final.48
ErrorsMethod 'addAtLeastOne' is not designed for extension - needs to be abstract, final or empty.58
ErrorsMissing a Javadoc comment.58
ErrorsParameter solver should be final.58
ErrorsParameter literals should be final.58
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.63
ErrorsMissing a Javadoc comment.63
ErrorsParameter solver should be final.63
ErrorsParameter literals should be final.63
ErrorsParameter degree should be final.63
ErrorsMethod 'addAtMostOne' is not designed for extension - needs to be abstract, final or empty.68
ErrorsMissing a Javadoc comment.68
ErrorsParameter solver should be final.68
ErrorsParameter literals should be final.68
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.73
ErrorsMissing a Javadoc comment.73
ErrorsParameter solver should be final.73
ErrorsParameter literals should be final.73
ErrorsParameter degree should be final.73
ErrorsMethod 'addExactlyOne' is not designed for extension - needs to be abstract, final or empty.78
ErrorsMissing a Javadoc comment.78
ErrorsParameter solver should be final.78
ErrorsParameter literals should be final.78
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.83

org/sat4j/tools/encoding/Ladder.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsLine has trailing spaces.43
ErrorsLine has trailing spaces.47
ErrorsMethod 'addAtMostOne' is not designed for extension - needs to be abstract, final or empty.53
ErrorsLine has trailing spaces.55
ErrorsLine has trailing spaces.56
ErrorsParameter solver should be final.59
ErrorsParameter literals should be final.59
ErrorsArray brackets at illegal position.65
ErrorsMethod 'addExactlyOne' is not designed for extension - needs to be abstract, final or empty.133
ErrorsLine has trailing spaces.135
ErrorsLine has trailing spaces.136
ErrorsParameter solver should be final.139
ErrorsParameter literals should be final.139
ErrorsArray brackets at illegal position.144

org/sat4j/tools/encoding/Policy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.41
ErrorsMissing a Javadoc comment.47
ErrorsMissing a Javadoc comment.48
ErrorsMissing a Javadoc comment.49
ErrorsMissing a Javadoc comment.50
ErrorsMissing a Javadoc comment.51
ErrorsMissing a Javadoc comment.52
ErrorsMissing a Javadoc comment.54
ErrorsMissing a Javadoc comment.55
ErrorsMissing a Javadoc comment.56
ErrorsMissing a Javadoc comment.57
ErrorsMissing a Javadoc comment.58
ErrorsMissing a Javadoc comment.59
ErrorsMissing a Javadoc comment.61
ErrorsParameter encodingName should be final.62
ErrorsMethod 'getAtMostOneEncoding' is not designed for extension - needs to be abstract, final or empty.81
ErrorsMissing a Javadoc comment.81
ErrorsLine is longer than 80 characters.85
ErrorsMethod 'setAtMostOneEncoding' is not designed for extension - needs to be abstract, final or empty.85
ErrorsMissing a Javadoc comment.85
ErrorsParameter atMostOneEncoding should be final.85
Errors'atMostOneEncoding' hides a field.85
ErrorsMethod 'setAtMostOneEncoding' is not designed for extension - needs to be abstract, final or empty.89
ErrorsMissing a Javadoc comment.89
ErrorsParameter atMostOneEncoding should be final.89
Errors'atMostOneEncoding' hides a field.89
ErrorsMethod 'getAtMostKEncoding' is not designed for extension - needs to be abstract, final or empty.93
ErrorsMissing a Javadoc comment.93
ErrorsMethod 'setAtMostKEncoding' is not designed for extension - needs to be abstract, final or empty.97
ErrorsMissing a Javadoc comment.97
ErrorsParameter atMostKEncoding should be final.97
Errors'atMostKEncoding' hides a field.97
ErrorsMethod 'setAtMostKEncoding' is not designed for extension - needs to be abstract, final or empty.101
ErrorsMissing a Javadoc comment.101
ErrorsParameter atMostKEncoding should be final.101
Errors'atMostKEncoding' hides a field.101
ErrorsMethod 'getExactlyOneEncoding' is not designed for extension - needs to be abstract, final or empty.105
ErrorsMissing a Javadoc comment.105
ErrorsLine is longer than 80 characters.109
ErrorsMethod 'setExactlyOneEncoding' is not designed for extension - needs to be abstract, final or empty.109
ErrorsMissing a Javadoc comment.109
ErrorsParameter exactlyOneEncoding should be final.109
Errors'exactlyOneEncoding' hides a field.109
ErrorsMethod 'setExactlyOneEncoding' is not designed for extension - needs to be abstract, final or empty.113
ErrorsMissing a Javadoc comment.113
ErrorsParameter exactlyOneEncoding should be final.113
Errors'exactlyOneEncoding' hides a field.113
ErrorsLine is longer than 80 characters.114
ErrorsMethod 'getExactlyKEncoding' is not designed for extension - needs to be abstract, final or empty.117
ErrorsMissing a Javadoc comment.117
ErrorsMethod 'setExactlyKEncoding' is not designed for extension - needs to be abstract, final or empty.121
ErrorsMissing a Javadoc comment.121
ErrorsParameter exactlyKEncoding should be final.121
Errors'exactlyKEncoding' hides a field.121
ErrorsMethod 'setExactlyKEncoding' is not designed for extension - needs to be abstract, final or empty.125
ErrorsMissing a Javadoc comment.125
ErrorsParameter exactlyKEncoding should be final.125
Errors'exactlyKEncoding' hides a field.125
ErrorsMethod 'getAtLeastOneEncoding' is not designed for extension - needs to be abstract, final or empty.129
ErrorsMissing a Javadoc comment.129
ErrorsLine is longer than 80 characters.133
ErrorsMethod 'setAtLeastOneEncoding' is not designed for extension - needs to be abstract, final or empty.133
ErrorsMissing a Javadoc comment.133
ErrorsParameter atLeastOneEncoding should be final.133
Errors'atLeastOneEncoding' hides a field.133
ErrorsMethod 'setAtLeastOneEncoding' is not designed for extension - needs to be abstract, final or empty.137
ErrorsMissing a Javadoc comment.137
ErrorsParameter atLeastOneEncoding should be final.137
Errors'atLeastOneEncoding' hides a field.137
ErrorsLine is longer than 80 characters.138
ErrorsMethod 'getAtLeastKEncoding' is not designed for extension - needs to be abstract, final or empty.141
ErrorsMissing a Javadoc comment.141
ErrorsMethod 'setAtLeastKEncoding' is not designed for extension - needs to be abstract, final or empty.145
ErrorsMissing a Javadoc comment.145
ErrorsParameter atLeastKEncoding should be final.145
Errors'atLeastKEncoding' hides a field.145
ErrorsMethod 'setAtLeastKEncoding' is not designed for extension - needs to be abstract, final or empty.149
ErrorsMissing a Javadoc comment.149
ErrorsParameter atLeastKEncoding should be final.149
Errors'atLeastKEncoding' hides a field.149
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.153
ErrorsParameter solver should be final.154
ErrorsParameter literals should be final.154
ErrorsParameter k should be final.154
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.178
ErrorsParameter solver should be final.179
ErrorsParameter literals should be final.179
ErrorsParameter n should be final.179
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.194
ErrorsParameter solver should be final.195
ErrorsParameter literals should be final.195
ErrorsParameter n should be final.195

org/sat4j/tools/encoding/Product.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.53
ErrorsLine has trailing spaces.56
ErrorsMethod 'addAtMostNonOpt' is not designed for extension - needs to be abstract, final or empty.60
ErrorsMissing a Javadoc comment.60
ErrorsParameter solver should be final.60
ErrorsParameter literals should be final.60
ErrorsParameter k should be final.60
Errors'7' is a magic number.80
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.161
ErrorsParameter solver should be final.162
ErrorsParameter literals should be final.162
ErrorsParameter k should be final.162
ErrorsMethod 'addAtMostOne' is not designed for extension - needs to be abstract, final or empty.167
ErrorsParameter solver should be final.168
ErrorsParameter literals should be final.168
Errors'7' is a magic number.177
ErrorsMissing a Javadoc comment.217
ErrorsParameter n should be final.217
ErrorsParameter p should be final.217
ErrorsParameter nbBits should be final.217
ErrorsMissing a Javadoc comment.234
ErrorsParameter tab should be final.234
ErrorsParameter p should be final.234
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.243
ErrorsParameter solver should be final.244
ErrorsParameter literals should be final.244
ErrorsParameter k should be final.244
ErrorsMethod 'addExactlyOne' is not designed for extension - needs to be abstract, final or empty.255
ErrorsParameter solver should be final.256
ErrorsParameter literals should be final.256
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.266
ErrorsParameter solver should be final.267
ErrorsParameter literals should be final.267
ErrorsParameter degree should be final.267

org/sat4j/tools/encoding/Sequential.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.48
ErrorsLine has trailing spaces.51
ErrorsExpected an @return tag.60
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.60
ErrorsParameter solver should be final.61
ErrorsExpected @param tag for 'solver'.61
ErrorsParameter literals should be final.61
ErrorsExpected @param tag for 'literals'.61
ErrorsParameter k should be final.61
ErrorsExpected @param tag for 'k'.61
ErrorsExpected @throws tag for 'ContradictionException'.62
ErrorsArray brackets at illegal position.66

org/sat4j/tools/xplain/DeletionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.45
ErrorsLine has trailing spaces.51
ErrorsLine contains a tab character.51
ErrorsLine contains a tab character.52
ErrorsMissing a Javadoc comment.55
ErrorsMethod 'cancelExplanationComputation' is not designed for extension - needs to be abstract, final or empty.57
ErrorsMissing a Javadoc comment.57
ErrorsMethod 'explain' is not designed for extension - needs to be abstract, final or empty.61
ErrorsMissing a Javadoc comment.61
ErrorsParameter solver should be final.61
ErrorsParameter constrs should be final.61
ErrorsParameter assumps should be final.62
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.163

org/sat4j/tools/xplain/Explainer.java

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

org/sat4j/tools/xplain/HighLevelXplain.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.50
ErrorsLine has trailing spaces.52
ErrorsMissing a Javadoc comment.60
ErrorsVariable 'constrs' must be private and have accessor methods.60
ErrorsMissing a Javadoc comment.62
ErrorsVariable 'assump' must be private and have accessor methods.62
ErrorsMissing a Javadoc comment.64
ErrorsMissing a Javadoc comment.65
ErrorsMissing a Javadoc comment.67
ErrorsLine is longer than 80 characters.68
ErrorsMissing a Javadoc comment.68
ErrorsMissing a Javadoc comment.70
ErrorsParameter solver should be final.70
ErrorsLine has trailing spaces.75
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.83
ErrorsParameter literals should be final.83
ErrorsParameter desc should be final.83
ErrorsExpected @throws tag for 'ContradictionException'.84
ErrorsLine has trailing spaces.100
ErrorsExpected an @return tag.105
ErrorsMethod 'createNewVar' is not designed for extension - needs to be abstract, final or empty.105
ErrorsParameter literals should be final.105
ErrorsExpected @param tag for 'literals'.105
ErrorsMethod 'discardLastestVar' is not designed for extension - needs to be abstract, final or empty.114
ErrorsMissing a Javadoc comment.114
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.118
ErrorsParameter literals should be final.119
ErrorsParameter degree should be final.119
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.124
ErrorsParameter literals should be final.125
ErrorsParameter degree should be final.125
ErrorsLine has trailing spaces.131
ErrorsLine contains a tab character.131
ErrorsLine contains a tab character.132
ErrorsExpected an @return tag.140
ErrorsExpected @throws tag for 'TimeoutException'.140
ErrorsMethod 'minimalExplanation' is not designed for extension - needs to be abstract, final or empty.149
ErrorsMissing a Javadoc comment.149
ErrorsExpected an @return tag.165
ErrorsMethod 'explain' is not designed for extension - needs to be abstract, final or empty.165
ErrorsExpected @throws tag for 'TimeoutException'.165
ErrorsMethod 'cancelExplanation' is not designed for extension - needs to be abstract, final or empty.177
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.181
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.191
ErrorsParameter assumps should be final.192
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.202
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.212
ErrorsParameter global should be final.213
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.222
ErrorsParameter assumps should be final.223
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.233
ErrorsParameter assumps should be final.234
ErrorsParameter global should be final.234
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.245
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.261
ErrorsParameter prefix should be final.262
ErrorsMethod 'setMinimizationStrategy' is not designed for extension - needs to be abstract, final or empty.269
ErrorsMissing a Javadoc comment.269
ErrorsParameter strategy should be final.269

org/sat4j/tools/xplain/InsertionStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.41
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.56
ErrorsLine has trailing spaces.59
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.67
ErrorsLine contains a tab character.67
ErrorsLine contains a tab character.68
ErrorsMissing a Javadoc comment.71
ErrorsMethod 'cancelExplanationComputation' is not designed for extension - needs to be abstract, final or empty.76
ErrorsExpected an @return tag.83
ErrorsMethod 'explain' is not designed for extension - needs to be abstract, final or empty.83
ErrorsParameter solver should be final.83
ErrorsExpected @param tag for 'solver'.83
ErrorsParameter constrs should be final.83
ErrorsExpected @param tag for 'constrs'.83
ErrorsParameter assumps should be final.84
ErrorsExpected @param tag for 'assumps'.84
ErrorsExpected @throws tag for 'TimeoutException'.84
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.170

org/sat4j/tools/xplain/MinimizationStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.42
ErrorsLine has trailing spaces.49
ErrorsExpected an @return tag.57
ErrorsExpected @param tag for 'solver'.57
ErrorsExpected @param tag for 'constrs'.57
ErrorsExpected @param tag for 'assumps'.57
ErrorsExpected @throws tag for 'TimeoutException'.58

org/sat4j/tools/xplain/QuickXplain2001Strategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.41
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.56
ErrorsLine has trailing spaces.59
ErrorsLine has trailing spaces.60
ErrorsLine has trailing spaces.66
ErrorsLine contains a tab character.66
ErrorsLine contains a tab character.67
ErrorsMissing a Javadoc comment.70
ErrorsMethod 'cancelExplanationComputation' is not designed for extension - needs to be abstract, final or empty.72
ErrorsMissing a Javadoc comment.72
ErrorsMethod 'explain' is not designed for extension - needs to be abstract, final or empty.76
ErrorsMissing a Javadoc comment.76
ErrorsParameter solver should be final.76
ErrorsParameter constrs should be final.76
ErrorsParameter assumps should be final.77
ErrorsInner assignments should be avoided.95
ErrorsMissing a Javadoc comment.105
ErrorsParameter solver should be final.105
ErrorsParameter encodingAssumptions should be final.106
ErrorsParameter start should be final.106
ErrorsParameter end should be final.106
ErrorsParameter result should be final.106
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.151

org/sat4j/tools/xplain/QuickXplainStrategy.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsFirst sentence should end with a period.41
ErrorsLine has trailing spaces.44
ErrorsLine has trailing spaces.51
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.58
ErrorsLine has trailing spaces.62
ErrorsLine has trailing spaces.63
ErrorsLine has trailing spaces.69
ErrorsLine contains a tab character.69
ErrorsLine contains a tab character.70
ErrorsMissing a Javadoc comment.73
ErrorsMethod 'cancelExplanationComputation' is not designed for extension - needs to be abstract, final or empty.75
ErrorsMissing a Javadoc comment.75
ErrorsMethod 'explain' is not designed for extension - needs to be abstract, final or empty.79
ErrorsMissing a Javadoc comment.79
ErrorsParameter solver should be final.79
ErrorsParameter constrs should be final.79
ErrorsParameter assumps should be final.80
ErrorsMissing a Javadoc comment.129
ErrorsParameter solver should be final.129
ErrorsParameter constrs should be final.129
ErrorsParameter encodingAssumptions should be final.130
ErrorsParameter start should be final.130
ErrorsParameter end should be final.130
ErrorsParameter result should be final.130
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.169

org/sat4j/tools/xplain/Xplain.java

ViolationMessageLine
ErrorsLine is longer than 80 characters.2
ErrorsLine is longer than 80 characters.29
ErrorsLine has trailing spaces.50
ErrorsLine has trailing spaces.52
ErrorsLine has trailing spaces.55
ErrorsLine has trailing spaces.57
ErrorsMissing a Javadoc comment.65
ErrorsVariable 'constrs' must be private and have accessor methods.65
ErrorsMissing a Javadoc comment.67
ErrorsVariable 'assump' must be private and have accessor methods.67
ErrorsMissing a Javadoc comment.69
ErrorsMissing a Javadoc comment.70
ErrorsMissing a Javadoc comment.71
ErrorsMissing a Javadoc comment.72
ErrorsMissing a Javadoc comment.73
ErrorsMissing a Javadoc comment.75
ErrorsMissing a Javadoc comment.77
ErrorsParameter solver should be final.77
ErrorsParameter skipDuplicatedEntries should be final.77
Errors'skipDuplicatedEntries' hides a field.77
ErrorsMissing a Javadoc comment.82
ErrorsParameter solver should be final.82
ErrorsMethod 'addClause' is not designed for extension - needs to be abstract, final or empty.86
ErrorsParameter literals should be final.87
ErrorsLine has trailing spaces.108
ErrorsExpected an @return tag.113
ErrorsMethod 'createNewVar' is not designed for extension - needs to be abstract, final or empty.113
ErrorsParameter literals should be final.113
ErrorsExpected @param tag for 'literals'.113
ErrorsMethod 'discardLastestVar' is not designed for extension - needs to be abstract, final or empty.128
ErrorsMissing a Javadoc comment.128
ErrorsMethod 'addExactly' is not designed for extension - needs to be abstract, final or empty.132
ErrorsParameter literals should be final.133
ErrorsParameter n should be final.133
ErrorsLine is longer than 80 characters.136
ErrorsMethod 'addAtLeast' is not designed for extension - needs to be abstract, final or empty.139
ErrorsParameter literals should be final.140
ErrorsParameter degree should be final.140
ErrorsLine is longer than 80 characters.143
ErrorsMethod 'addAtMost' is not designed for extension - needs to be abstract, final or empty.146
ErrorsParameter literals should be final.147
ErrorsParameter degree should be final.147
ErrorsLine is longer than 80 characters.150
ErrorsLine has trailing spaces.154
ErrorsLine contains a tab character.154
ErrorsLine contains a tab character.155
ErrorsExpected an @return tag.163
ErrorsExpected @throws tag for 'TimeoutException'.163
ErrorsMethod 'minimalExplanation' is not designed for extension - needs to be abstract, final or empty.172
ErrorsMissing a Javadoc comment.172
ErrorsExpected an @return tag.190
ErrorsMethod 'explain' is not designed for extension - needs to be abstract, final or empty.190
ErrorsExpected @throws tag for 'TimeoutException'.190
ErrorsMethod 'cancelExplanation' is not designed for extension - needs to be abstract, final or empty.202
ErrorsLine has trailing spaces.207
ErrorsExpected an @return tag.210
ErrorsMethod 'getConstraints' is not designed for extension - needs to be abstract, final or empty.210
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.214
ErrorsMethod 'findModel' is not designed for extension - needs to be abstract, final or empty.224
ErrorsParameter assumps should be final.225
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.235
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.245
ErrorsParameter global should be final.246
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.255
ErrorsParameter assumps should be final.256
ErrorsMethod 'isSatisfiable' is not designed for extension - needs to be abstract, final or empty.266
ErrorsParameter assumps should be final.267
ErrorsParameter global should be final.267
ErrorsMethod 'model' is not designed for extension - needs to be abstract, final or empty.278
ErrorsMethod 'toString' is not designed for extension - needs to be abstract, final or empty.294
ErrorsParameter prefix should be final.295
ErrorsMethod 'setMinimizationStrategy' is not designed for extension - needs to be abstract, final or empty.301
ErrorsMissing a Javadoc comment.301
ErrorsParameter strategy should be final.301
ErrorsMethod 'removeConstr' is not designed for extension - needs to be abstract, final or empty.305
ErrorsParameter c should be final.306
ErrorsMethod 'removeSubsumedConstr' is not designed for extension - needs to be abstract, final or empty.314
ErrorsParameter c should be final.315