CheckStyle Audit

Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/core/src/org/sat4j/minisat/constraints/cnf/Lits23.java

Error DescriptionLine
Commentaire javadoc manquant.17
Commentaire javadoc manquant.19
Line has trailing spaces.22
Commentaire javadoc manquant.28
Le paramètre p devrait être final.28
Le paramètre q devrait être final.28
Le paramètre r devrait être final.28
Commentaire javadoc manquant.43
La méthode 'ternaryClauses' 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 lit1 devrait être final.43
Le paramètre lit2 devrait être final.43
Le paramètre lit3 devrait être final.43
Commentaire javadoc manquant.49
La méthode 'nTernaryClauses' n'est pas conçue pour être dérivée - il faut la déclarer abstraite, finale ou la laisser vide.49
Le paramètre p devrait être final.49