CheckStyle Audit
Designed for use with CheckStyle and Ant.

Summary

FilesErrors
32610307

Files

NameErrors
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/AbstractLauncher.java228
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/AbstractOptimizationLauncher.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/ASolverFactory.java24
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/DefaultComparator.java22
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/Vec.java174
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/core/VecInt.java180
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/CSPLauncher.java80
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/ExitCode.java12
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/Lanceur.java82
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/LanceurPseudo2005.java22
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/MaxSatLauncher.java28
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/Messages.java21
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java3
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java48
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/AbstractPBClauseCardConstrDataStructure.java106
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/AbstractPBDataStructureFactory.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/AtLeast.java242
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java71
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java536
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/card/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/CardinalityDataStructure.java10
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/ClausalDataStructureCB.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/ClausalDataStructureCBWL.java5
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/ClausalDataStructureWL.java5
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java63
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/CBClause.java85
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/Lits.java139
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/Lits2.java14
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/Lits23.java15
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/MarkableLits.java56
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/MixableCBClause.java23
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java62
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java42
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/MixedDataStructureDaniel.java5
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java12
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ArrayPb.java255
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java84
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArray.java360
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArrayCard.java51
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictArrayClause.java53
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java311
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/IConflict.java48
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/IDataStructurePB.java34
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/IInternalPBConstraintCreator.java6
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MapPb.java238
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java269
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java167
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java420
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java98
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PBConstr.java29
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PBSolver.java129
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PBSolverCard.java35
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PBSolverClause.java32
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PBSolverWithImpliedClause.java37
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java161
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/WatchPb.java545
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java88
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMaxCBClauseCardConstrDataStructure.java24
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java22
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMaxClauseCardConstrDataStructure.java20
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMaxDataStructure.java10
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PBMinDataStructure.java11
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java20
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseCardConstrDataStructure.java38
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/PuebloPBMinDataStructure.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/ActivityListener.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/AssertingClauseGenerator.java11
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Constr.java16
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/ConstrActivityListener.java10
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/DataStructureFactory.java3
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/DotSearchListener.java30
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Handle.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Heap.java63
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/ILits.java54
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/ILits2.java4
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/ILits23.java3
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/IMarkableLits.java32
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/IntQueue.java11
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/IOrder.java15
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Lbool.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Learner.java1
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/LearningStrategy.java10
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/LiteralsUtils.java15
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/NullSearchListener.java26
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Propagatable.java3
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SearchListener.java24
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SearchParams.java58
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Solver.java1016
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/SolverStats.java81
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/TextOutputListener.java29
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/Undoable.java3
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/UnitPropagationListener.java14
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/core/VarActivityListener.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/AbstractLearning.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/ActiveLearning.java20
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/FixedLengthLearning.java21
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/LimitedLearning.java39
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/MiniSATLearning.java17
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/NoLearningButHeuristics.java12
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/NoLearningNoHeuristics.java11
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/JWOrder.java49
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/MyOrder.java35
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/PureOrder.java14
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrder.java64
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrderHeap.java63
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/orders/VarOrderHeapObjective.java42
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/SolverFactory.java709
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/uip/DecisionUIP.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/uip/FirstUIP.java18
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/uip/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/MoreThanSAT.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/MaxSatDecorator.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/MinOneDecorator.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/PseudoOptDecorator.java50
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java106
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CardDimacsReader.java101
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/BinarySupportsACEncoding.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/Nogoods.java14
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/Relation.java5
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/SupportsDirectEncoding.java19
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/SupportsGeneralizedACEncoding.java7
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/csp/Var.java24
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CSPExtSupportReader.java12
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CSPReader.java31
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/CSPSupportReader.java16
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/DimacsReader.java45
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/ExtendedDimacsReader.java25
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/GoodOPBReader.java35
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/InstanceReader.java42
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/LecteurDimacs.java42
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/ObjectiveFunction.java47
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/OPBReader2005.java70
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/OPBReader2006.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/ParseFormatException.java16
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/reader/Reader.java35
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/ResultCode.java33
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/ResultsManager.java185
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/ContradictionException.java4
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/IConstr.java4
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/IOptimizationProblem.java3
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/IProblem.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/ISolver.java58
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/IVec.java54
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/IVecInt.java60
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/specs/TimeoutException.java13
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/Minimal4CardinalityModel.java9
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/Minimal4InclusionModel.java14
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/ModelIterator.java17
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/package.html0
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/RemiUtils.java39
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/SATRaceDecorator.java25
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/SingleSolutionDetector.java68
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/SolutionCounter.java8
/usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/tools/SolverDecorator.java63