CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Commentaire javadoc manquant.7
Commentaire javadoc manquant.9
Commentaire javadoc manquant.11
Le paramètre s devrait être final.11
Commentaire javadoc manquant.15
Le paramètre reason devrait être final.15
Commentaire javadoc manquant.23