CheckStyle Audit
Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/learning/NoLearningButHeuristics.java

Error DescriptionLine
Line has trailing spaces.2
Line has trailing spaces.4
Line has trailing spaces.6
Line has trailing spaces.8
Line has trailing spaces.9
Line has trailing spaces.11
Line has trailing spaces.25
Line has trailing spaces.36
Commentaire javadoc manquant.41
Commentaire javadoc manquant.43
La méthode 'learns' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.43
Le paramètre reason devrait être final.43