CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_5/SAT4J/src/org/sat4j/minisat/learning/AbstractLearning.java

Error DescriptionLine
Commentaire javadoc manquant.7
Commentaire javadoc manquant.9
Commentaire javadoc manquant.11
Commentaire javadoc manquant.16
Le paramètre constr devrait être final.16
Commentaire javadoc manquant.21
Le paramètre s devrait être final.21
Commentaire javadoc manquant.25
Le paramètre reason devrait être final.25