CheckStyle Audit
Designed for use with CheckStyle and Ant.

Summary

FilesErrors
4037737

Files

NameErrors
/usr/local/anthill/work/core/src/org/sat4j/AbstractLauncher.java63
/usr/local/anthill/work/core/src/org/sat4j/AbstractOptimizationLauncher.java19
/usr/local/anthill/work/core/src/org/sat4j/core/ASolverFactory.java33
/usr/local/anthill/work/core/src/org/sat4j/core/DefaultComparator.java24
/usr/local/anthill/work/core/src/org/sat4j/core/package.html0
/usr/local/anthill/work/core/src/org/sat4j/core/Vec.java172
/usr/local/anthill/work/core/src/org/sat4j/core/VecInt.java166
/usr/local/anthill/work/core/src/org/sat4j/CSPLauncher.java28
/usr/local/anthill/work/core/src/org/sat4j/ExitCode.java22
/usr/local/anthill/work/core/src/org/sat4j/GenericOptLauncher.java25
/usr/local/anthill/work/core/src/org/sat4j/Lanceur.java91
/usr/local/anthill/work/core/src/org/sat4j/LanceurPseudo2005.java23
/usr/local/anthill/work/core/src/org/sat4j/LanceurPseudo2007.java19
/usr/local/anthill/work/core/src/org/sat4j/MaxSatLauncher.java23
/usr/local/anthill/work/core/src/org/sat4j/Messages.java16
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/AbstractCardinalityDataStructure.java13
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/AbstractDataStructureFactory.java67
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/AbstractPBClauseCardConstrDataStructure.java21
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/AbstractPBDataStructureFactory.java14
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/AtLeast.java31
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MaxWatchCard.java52
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/MinWatchCard.java62
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/card/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructure.java17
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMax.java14
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/CardinalityDataStructureYanMin.java15
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/ClausalDataStructureCB.java30
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/ClausalDataStructureCBWL.java16
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/ClausalDataStructureWL.java16
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/BinaryClauses.java69
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/CBClause.java92
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/DefaultWLClause.java22
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/LearntWLClause.java18
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/Lits.java128
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/Lits2.java21
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/Lits23.java22
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/MarkableLits.java61
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/MixableCBClause.java30
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/OriginalWLClause.java22
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/TernaryClauses.java68
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/cnf/WLClause.java31
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureDaniel.java18
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureDanielCBWL.java5
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinary.java21
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/MixedDataStructureWithBinaryAndTernary.java19
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/AtLeastPB.java19
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMap.java766
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapCardinality.java14
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapClause.java39
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/ConflictMapMerging.java40
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/IConflict.java24
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/IDataStructurePB.java25
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/IInternalPBConstraintCreator.java13
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MapPb.java111
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MaxWatchPb.java37
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchCardPB.java37
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MinWatchPb.java42
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/MixableCBClausePB.java46
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PBConstr.java20
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PBSolver.java97
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PBSolverClause.java34
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PBSolverMerging.java38
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PBSolverWithImpliedClause.java29
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/PuebloMinWatchPb.java25
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WatchPb.java78
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/pb/WLClausePB.java32
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxCBClauseCardConstrDataStructure.java16
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxClauseAtLeastConstrDataStructure.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxClauseCardConstrDataStructure.java13
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMaxDataStructure.java14
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMinClauseCardConstrDataStructure.java13
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PBMinDataStructure.java18
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseAtLeastConstrDataStructure.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinClauseCardConstrDataStructure.java16
/usr/local/anthill/work/core/src/org/sat4j/minisat/constraints/PuebloPBMinDataStructure.java18
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/ActivityListener.java7
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/AssertingClauseGenerator.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Constr.java18
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/ConstrActivityListener.java10
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/DataStructureFactory.java14
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/DotSearchListener.java44
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Handle.java15
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Heap.java63
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/ILits.java66
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/ILits2.java12
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/ILits23.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/IMarkableLits.java25
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/IntQueue.java20
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/IOrder.java29
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Lbool.java17
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Learner.java9
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/LearningStrategy.java19
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/LiteralsUtils.java17
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/NullSearchListener.java27
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Propagatable.java10
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/RestartStrategy.java5
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/SearchListener.java30
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/SearchParams.java52
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Solver.java198
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/SolverStats.java55
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/TextOutputListener.java34
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/Undoable.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/UnitPropagationListener.java15
/usr/local/anthill/work/core/src/org/sat4j/minisat/core/VarActivityListener.java11
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/AbstractLearning.java29
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/ActiveLearning.java65
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/ClauseOnlyLearning.java20
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/FixedLengthLearning.java42
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/LimitedLearning.java53
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/MiniSATLearning.java43
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/NoLearningButHeuristics.java20
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/NoLearningNoHeuristics.java19
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/learning/PercentLengthLearning.java37
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/JWOrder.java35
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/MyOrder.java26
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/PureOrder.java27
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/ValuedLit.java22
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrder.java83
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeap.java75
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapObjective.java36
/usr/local/anthill/work/core/src/org/sat4j/minisat/orders/VarOrderHeapRsat.java19
/usr/local/anthill/work/core/src/org/sat4j/minisat/package.html0
/usr/local/anthill/work/core/src/org/sat4j/minisat/restarts/ArminRestarts.java21
/usr/local/anthill/work/core/src/org/sat4j/minisat/restarts/LubyRestarts.java40
/usr/local/anthill/work/core/src/org/sat4j/minisat/restarts/MiniSATRestarts.java16
/usr/local/anthill/work/core/src/org/sat4j/minisat/restarts/package.html1
/usr/local/anthill/work/core/src/org/sat4j/minisat/SolverFactory.java894
/usr/local/anthill/work/core/src/org/sat4j/minisat/uip/DecisionUIP.java21
/usr/local/anthill/work/core/src/org/sat4j/minisat/uip/FirstUIP.java20
/usr/local/anthill/work/core/src/org/sat4j/minisat/uip/package.html0
/usr/local/anthill/work/core/src/org/sat4j/MoreThanSAT.java19
/usr/local/anthill/work/core/src/org/sat4j/opt/AbstractSelectorVariablesDecorator.java32
/usr/local/anthill/work/core/src/org/sat4j/opt/MaxSatDecorator.java13
/usr/local/anthill/work/core/src/org/sat4j/opt/MinCostDecorator.java40
/usr/local/anthill/work/core/src/org/sat4j/opt/MinOneDecorator.java14
/usr/local/anthill/work/core/src/org/sat4j/opt/ObjectiveFunction.java51
/usr/local/anthill/work/core/src/org/sat4j/opt/package.html0
/usr/local/anthill/work/core/src/org/sat4j/opt/PseudoOptDecorator.java18
/usr/local/anthill/work/core/src/org/sat4j/opt/WeightedMaxSatDecorator.java31
/usr/local/anthill/work/core/src/org/sat4j/package.html0
/usr/local/anthill/work/core/src/org/sat4j/reader/AAGReader.java41
/usr/local/anthill/work/core/src/org/sat4j/reader/AIGReader.java42
/usr/local/anthill/work/core/src/org/sat4j/reader/CardDimacsReader.java14
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/AllDiff.java10
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/BessiereSupports.java17
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/BinarySupportEncoding.java32
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Clausifiable.java12
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Constant.java21
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/DirectEncoding.java27
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Domain.java14
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Encoding.java15
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/EnumeratedDomain.java32
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Evaluable.java13
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/GeneralizedSupportEncoding.java31
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/GentSupports.java17
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Nogoods.java21
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/package.html0
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Predicate.java34
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/RangeDomain.java34
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Relation.java12
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/SingletonDomain.java30
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Supports.java28
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/Var.java28
/usr/local/anthill/work/core/src/org/sat4j/reader/csp/WalshSupports.java17
/usr/local/anthill/work/core/src/org/sat4j/reader/CSPExtSupportReader.java16
/usr/local/anthill/work/core/src/org/sat4j/reader/CSPReader.java84
/usr/local/anthill/work/core/src/org/sat4j/reader/CSPSupportReader.java16
/usr/local/anthill/work/core/src/org/sat4j/reader/DimacsReader.java32
/usr/local/anthill/work/core/src/org/sat4j/reader/ExtendedDimacsReader.java30
/usr/local/anthill/work/core/src/org/sat4j/reader/GoodOPBReader.java34
/usr/local/anthill/work/core/src/org/sat4j/reader/InstanceReader.java37
/usr/local/anthill/work/core/src/org/sat4j/reader/LecteurDimacs.java25
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2005.java76
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2006.java18
/usr/local/anthill/work/core/src/org/sat4j/reader/OPBReader2007.java15
/usr/local/anthill/work/core/src/org/sat4j/reader/package.html0
/usr/local/anthill/work/core/src/org/sat4j/reader/ParseFormatException.java16
/usr/local/anthill/work/core/src/org/sat4j/reader/Reader.java12
/usr/local/anthill/work/core/src/org/sat4j/reader/XMLCSPReader.java22
/usr/local/anthill/work/core/src/org/sat4j/ResultCode.java19
/usr/local/anthill/work/core/src/org/sat4j/ResultsManager.java59
/usr/local/anthill/work/core/src/org/sat4j/specs/ContradictionException.java10
/usr/local/anthill/work/core/src/org/sat4j/specs/IConstr.java12
/usr/local/anthill/work/core/src/org/sat4j/specs/IOptimizationProblem.java10
/usr/local/anthill/work/core/src/org/sat4j/specs/IProblem.java21
/usr/local/anthill/work/core/src/org/sat4j/specs/ISolver.java28
/usr/local/anthill/work/core/src/org/sat4j/specs/IVec.java59
/usr/local/anthill/work/core/src/org/sat4j/specs/IVecInt.java65
/usr/local/anthill/work/core/src/org/sat4j/specs/package.html0
/usr/local/anthill/work/core/src/org/sat4j/specs/TimeoutException.java16
/usr/local/anthill/work/core/src/org/sat4j/tools/DimacsArrayReader.java17
/usr/local/anthill/work/core/src/org/sat4j/tools/DimacsArrayToDimacsConverter.java20
/usr/local/anthill/work/core/src/org/sat4j/tools/DimacsOutputSolver.java32
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayReader.java32
/usr/local/anthill/work/core/src/org/sat4j/tools/ExtendedDimacsArrayToDimacsConverter.java30
/usr/local/anthill/work/core/src/org/sat4j/tools/GateTranslator.java21
/usr/local/anthill/work/core/src/org/sat4j/tools/Minimal4CardinalityModel.java15
/usr/local/anthill/work/core/src/org/sat4j/tools/Minimal4InclusionModel.java19
/usr/local/anthill/work/core/src/org/sat4j/tools/ModelIterator.java22
/usr/local/anthill/work/core/src/org/sat4j/tools/package.html0
/usr/local/anthill/work/core/src/org/sat4j/tools/RemiUtils.java13
/usr/local/anthill/work/core/src/org/sat4j/tools/SingleSolutionDetector.java19
/usr/local/anthill/work/core/src/org/sat4j/tools/SolutionCounter.java15
/usr/local/anthill/work/core/src/org/sat4j/tools/SolverDecorator.java36