CheckStyle Audit
Designed for use with CheckStyle and Ant.

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

Error DescriptionLine
Il manque un caractère NewLine à la fin du fichier0
Exception levée : java.lang.RuntimeException: Impossible d'obtenir les informations relatives à ContradictionException.0
La ligne excède 80 caractères.2
Line has trailing spaces.3
Line has trailing spaces.5
Line has trailing spaces.9
Line has trailing spaces.14
Line has trailing spaces.19
Line has trailing spaces.23
Commentaire javadoc manquant.41
Line has trailing spaces.45
La ligne excède 80 caractères.46
Commentaire javadoc manquant.48
Line has trailing spaces.59
La ligne excède 80 caractères.60