CheckStyle Audit
Designed for use with CheckStyle and Ant.

File /usr/local/anthill/work/RELEASE_1_6/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
Commentaire javadoc manquant.22
Line has trailing spaces.26
La ligne excède 80 caractères.27
Commentaire javadoc manquant.29
Line has trailing spaces.40
La ligne excède 80 caractères.41