CheckStyle Audit

Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
Commentaire javadoc manquant.12
La ligne contient un caractère tabulation.13
La ligne contient un caractère tabulation.15
Line has trailing spaces.16
La ligne contient un caractère tabulation.16
La ligne contient un caractère tabulation.17
La ligne contient un caractère tabulation.18
La ligne contient un caractère tabulation.20
Commentaire javadoc manquant.20
La ligne contient un caractère tabulation.21
La ligne excède 80 caractères.22
La ligne contient un caractère tabulation.22
La ligne contient un caractère tabulation.23
La ligne contient un caractère tabulation.25
La ligne contient un caractère tabulation.26
La ligne excède 80 caractères.27
La ligne contient un caractère tabulation.27
La ligne contient un caractère tabulation.28
La ligne contient un caractère tabulation.29